tag:blogger.com,1999:blog-21308815.post1663364892856977855..comments2023-10-08T15:51:17.426+00:00Comments on Beyond Necessity: Existential import at Answers.comEdward Ockhamhttp://www.blogger.com/profile/07583379503310147119noreply@blogger.comBlogger6125tag:blogger.com,1999:blog-21308815.post-669282251006181762011-03-02T11:44:23.069+00:002011-03-02T11:44:23.069+00:001. >> I am saying that ‘some F is G’ is tru...1. >> I am saying that ‘some F is G’ is truth-functionally equivalent to ‘Some F-G exists’, i.e. if one is true, so is the other, for whatever F, G.<br /><br />OK, that's good, we agree on that.<br /><br />2. Glad we agree on the equivocation on 'exists'. Regarding Zalta, it's certainly his aim 'To account for the deviant logic [of] propositional attitude reports, explain the informativeness of identity statements, and give a general account of the objective and cognitive content of natural language', to quote from <a href="http://mally.stanford.edu/objectives.html" rel="nofollow">here</a>. I can't say how he goes about this---I don't have access to <a href="http://www.amazon.co.uk/Intentional-Logic-Metaphysics-Intentionality-Bradford/dp/0262240270" rel="nofollow">his book</a> (note the miss-spelling), and the stuff published on the net rapidly gets too technical for me to follow. I doubt that it follows the simple recipe you suggest for exactly the reason you give. It's not that the thinking has an abstraction as its object. Rather the thinking itself is characterised by an abstraction. If I ask myself just what thinking of a mermaid consists in, it seems to me to be a rehearsal of just those properties that a mermaid is supposed to possess, and it's just those properties that are encoded by the abstraction we label 'mermaid'.<br /><br />3. Am I denying unrestricted quantification? Probably. I think we should proceed with care. We know that 'the set of all sets' gets us into deep water. At the least in any discussion we should seek to clarify what we are quantifying over. See my comments with regard to quantification over directions and the like <a href="http://ocham.blogspot.com/2011/02/thinking-about-something.html" rel="nofollow">here</a>.David Brightlyhttps://www.blogger.com/profile/06757969974801621186noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-49891994625428579172011-02-28T11:56:34.631+00:002011-02-28T11:56:34.631+00:00EO >> I am disagreeing with their conflation...EO >> I am disagreeing with their conflation of 'some x is F' and 'some x-that-is-F exists'. Strictly speaking, 'existential' means 'uses the term exists.<br />DB >>This may be why I'm confused. Surely this conflation is exactly the 'Brentano thesis' which elsewhere you have advocated?<br /><br />I have advocated Brentano’s thesis of ‘convertibility’. That doesn’t mean I regard ‘existential proposition’ as having the same meaning as ‘particular proposition’. Indeed, if ‘existential proposition’ means ‘proposition that uses the term exist’ then they don’t have the same meaning. Perhaps I am being picky. I am saying that ‘some F is G’ is truth-functionally equivalent to ‘Some F-G exists’, i.e. if one is true, so is the other, for whatever F, G. But the second is properly existential, the first is not.<br /><br />>>The only way to make 'Ex, x does not exist' come out true is to equivocate on the 'exists' embedded in '∃' and the 'exists' of 'x does not exist'. <br /><br />Yes.<br /><br />>>This is what happens in Zalta's system, where the predicate 'E!' is introduced to mean 'has a spatio-temporal location'. At the moment, this is the only way I can make sense of the idea of quantifying over 'non-existents'.<br /><br />The trouble with this, as I have pointed out, is that it solves nothing. Zalta and co probably want to explain the consistency of “John is thinking of a mermaid, but there are no mermaids” by having the first occurrence of ‘mermaid’ as ranging over objects that may not have spatio-temporal location, and the second occurrence as ranging only over ordinary spatio-temporal objects. As I discussed<a href="http://ocham.blogspot.com/2011/02/quantifying-over-intentional-objects.html" rel="nofollow">here</a> that won’t work. Intentional cigarettes are no good to smoke, nor to want to smoke.<br /><br />>> I don't think it [the existential quantifier] can have any 'existential import' in any absolute sense. ∃x.x*x+1=0 is false relative to the domain of real numbers but true relative to the complex numbers.<br /><br />You are denying the possibility of unrestricted quantification then?Edward Ockhamhttps://www.blogger.com/profile/07583379503310147119noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-88616367645789658082011-02-27T21:03:27.181+00:002011-02-27T21:03:27.181+00:001. >> I am disagreeing with their conflatio...1. >> I am disagreeing with their conflation of 'some x is F' and 'some x-that-is-F exists'. Strictly speaking, 'existential' means 'uses the term exists.<br /><br />This may be why I'm confused. Surely this conflation is exactly the 'Brentano thesis' which elsewhere you have advocated?<br /><br />2. >> The question is whether ∃x Fx has "existential import". If we are allowed to quantify over non-existents, so that ∃x, x does not exist, then clearly not.<br /><br />The only way to make '∃x, x does not exist' come out true is to equivocate on the 'exists' embedded in '∃' and the 'exists' of 'x does not exist'. I think we will agree that we want to retain the interconvertibility of ∀ and ~∃~. This ties the interpretation of the 'exists' inside ∃ to the interpretation of 'all' in ∀, giving it, as it were, the widest scope possible. Hence the 'exists' in 'x does not exist' must have a narrower interpretation, such as 'x is not real (as opposed to imaginary)' or 'x is not concrete (as opposed to abstract)'. This is what happens in Zalta's system, where the predicate 'E!' is introduced to mean 'has a spatio-temporal location'. At the moment, this is the only way I can make sense of the idea of quantifying over 'non-existents'.<br /><br />3. >> E.g. Google "quantifying over non-existents" and you will see what I mean. Clearly if we are allowed to do so, and nothing in the predicate calculus prevents this, then the existential quantifier, despite its name, does not have 'existential import'.<br /><br />Well, I don't think it can have any 'existential import' in any absolute sense. ∃x.x*x+1=0 is false relative to the domain of real numbers but true relative to the complex numbers.David Brightlyhttps://www.blogger.com/profile/06757969974801621186noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-63026714024320568412011-02-26T14:47:36.983+00:002011-02-26T14:47:36.983+00:00E.g. Google "quantifying over non-existents&q...E.g. Google "quantifying over non-existents" and you will see what I mean. Clearly if we are allowed to do so, and nothing in the predicate calculus prevents this, then the existential quantifier, despite its name, does not have 'existential import'.Edward Ockhamhttps://www.blogger.com/profile/07583379503310147119noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-55978386047381333182011-02-26T14:43:49.851+00:002011-02-26T14:43:49.851+00:00>>My understanding has always been that ther...>>My understanding has always been that there is a standard interpretation of the quantifiers in predicate calculus such that ∀ has no existential import and ∃ does. <br /><br />The standard interpretation is that (x) Fx does not imply Ex Fx. That is all. The question is whether Ex Fx has "existential import". If we are allowed to quantify over non-existents, so that Ex, x does not exist, then clearly not. <br /><br />>>So I see nothing with which to disagree in the quote from Answers.com.<br /><br />I am disagreeing with their conflation of 'some x is F' and 'some x-that-is-F <i>exists</i>'. Strictly speaking, 'existential' means 'uses the term <i>exists</i>.Edward Ockhamhttps://www.blogger.com/profile/07583379503310147119noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-26374581322733918322011-02-26T14:31:20.086+00:002011-02-26T14:31:20.086+00:00Oh dear. This seriously muddies the waters. My u...Oh dear. This seriously muddies the waters. My understanding has always been that there is a <i>standard interpretation</i> of the quantifiers in predicate calculus such that ∀ has no existential import and ∃ does. So I see nothing with which to disagree in the quote from Answers.com.<br /><br />BV has said on several occasions that he is no Meinongian. I agree that it's hard to grasp just what he is claiming with regard to intentionality at times, but to abandon predicate calculus in order to accommodate him strikes me as a disastrous move. After all, Zalta's neo-Meinongian system, which I think may be a vehicle for expressing Bill's position, is formulated within classical logic. I'd like to continue to engage with him to try to tease out what he is getting at. But he is skulking in his tent at the moment, to judge by his lack of response to our most recent comments.David Brightlyhttps://www.blogger.com/profile/06757969974801621186noreply@blogger.com