display all the ideas for this combination of texts
6 ideas
6042 | The quantifier is overrated as an analytical tool [McGinn] |
Full Idea: The quantifier has been overrated as a tool of logical and linguistic analysis. | |
From: Colin McGinn (Logical Properties [2000], Pref) | |
A reaction: I find this proposal quite thrilling. Twentieth century analytical philosophy has been in thrall to logic, giving the upper hand in philosophical discussion to the logicians, who are often not very good at philosophy. |
6067 | Existential quantifiers just express the quantity of things, leaving existence to the predicate 'exists' [McGinn] |
Full Idea: What the existential quantifier does is indicate the quantity of things in question - it says that some are; it is left up to the predicate 'exists' to express existence. | |
From: Colin McGinn (Logical Properties [2000], Ch.2) | |
A reaction: This seems right. The whole quantification business seems like a conjuring trick to conceal the embarrassingly indefinable and 'metaphysical' notion of 'existence'. Cf Idea 7697. |
11149 | Affirming/denying sentences are universal, particular, or indeterminate [Aristotle] |
Full Idea: Affirming/denying sentences are universal, particular, or indeterminate. Belonging 'to every/to none' is universal; belonging 'to some/not to some/not to every' is particular; belonging or not belonging (without universal/particular) is indeterminate. | |
From: Aristotle (Prior Analytics [c.328 BCE], 24a16) |
8079 | Aristotelian logic has two quantifiers of the subject ('all' and 'some') [Aristotle, by Devlin] |
Full Idea: Aristotelian logic has two quantifiers of the subject ('all' and 'some'), and two ways to combine the subject with the predicate ('have', and 'have not'), giving four propositions: all-s-have-p, all-s-have-not-p, some-s-have-p, and some-s-have-not-p. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by Keith Devlin - Goodbye Descartes Ch.2 | |
A reaction: Frege seems to have switched from 'some' to 'at-least-one'. Since then other quantifiers have been proposed. See, for example, Ideas 7806 and 6068. |
6069 | 'Partial quantifier' would be a better name than 'existential quantifier', as no existence would be implied [McGinn] |
Full Idea: We would do much better to call 'some' the 'partial quantifier' (rather than the 'existential quantifier'), on analogy with the universal quantifier - as neither of them logically implies existence. | |
From: Colin McGinn (Logical Properties [2000], Ch.2) | |
A reaction: Like McGinn's other suggestions in this chapter, this strikes me as a potentially huge clarification in linguistic analysis. I wait with interest to see whether the philosophical logicians take it up. I bet they don't. |
6068 | We need an Intentional Quantifier ("some of the things we talk about.."), so existence goes into the proposition [McGinn] |
Full Idea: We could introduce an 'intentional quantifier' (Ix) which means 'some of the things we talk about..'; we could then say 'some of the things we talk about are F and exist' (Ix, x is F and x exists). | |
From: Colin McGinn (Logical Properties [2000], Ch.2) | |
A reaction: This immediately strikes me as a promising contribution to the analytical toolkit. McGinn is supporting his view that existence is a predicate, and so belongs inside the proposition, not outside. |