23 ideas
9108 | From an impossibility anything follows [William of Ockham] |
9107 | A proposition is true if its subject and predicate stand for the same thing [William of Ockham] |
16300 | Ockham had an early axiomatic account of truth [William of Ockham, by Halbach] |
7785 | The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos] |
10699 | Does a bowl of Cheerios contain all its sets and subsets? [Boolos] |
10225 | Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro] |
10736 | Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo] |
10780 | Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo] |
10697 | Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos] |
9106 | The word 'every' only signifies when added to a term such as 'man', referring to all men [William of Ockham] |
13671 | Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro] |
10267 | We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro] |
10698 | Plural forms have no more ontological commitment than to first-order objects [Boolos] |
7806 | Boolos invented plural quantification [Boolos, by Benardete,JA] |
9113 | Just as unity is not a property of a single thing, so numbers are not properties of many things [William of Ockham] |
9110 | The words 'thing' and 'to be' assert the same idea, as a noun and as a verb [William of Ockham] |
10700 | First- and second-order quantifiers are two ways of referring to the same things [Boolos] |
15388 | Universals are single things, and only universal in what they signify [William of Ockham] |
9109 | If essence and existence were two things, one could exist without the other, which is impossible [William of Ockham] |
12900 | How could 'S knows he has hands' not have a fixed content? [Bach] |
12901 | If contextualism is right, knowledge sentences are baffling out of their context [Bach] |
12902 | Sceptics aren't changing the meaning of 'know', but claiming knowing is tougher than we think [Bach] |
9105 | Some concepts for propositions exist only in the mind, and in no language [William of Ockham] |