26 ideas
7910 | Pursue truth with the urgency of someone whose clothes are on fire [Ashvaghosha] |
11103 | We aren't stuck with our native conceptual scheme; we can gradually change it [Quine] |
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] |
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] |
11092 | A river is a process, with stages; if we consider it as one thing, we are considering a process [Quine] |
11093 | We don't say 'red' is abstract, unlike a river, just because it has discontinuous shape [Quine] |
11101 | General terms don't commit us ontologically, but singular terms with substitution do [Quine] |
10700 | First- and second-order quantifiers are two ways of referring to the same things [Boolos] |
11096 | Discourse generally departmentalizes itself to some degree [Quine] |
11099 | Understanding 'is square' is knowing when to apply it, not knowing some object [Quine] |
11094 | 'Red' is a single concrete object in space-time; 'red' and 'drop' are parts of a red drop [Quine] |
11097 | Red is the largest red thing in the universe [Quine] |
17595 | To unite a sequence of ostensions to make one object, a prior concept of identity is needed [Quine] |
11095 | We should just identify any items which are indiscernible within a given discourse [Quine] |
11104 | Concepts are language [Quine] |
11102 | Apply '-ness' or 'class of' to abstract general terms, to get second-level abstract singular terms [Quine] |
7909 | The Eightfold Path concerns morality, wisdom, and tranquillity [Ashvaghosha] |
7908 | At the end of a saint, he is not located in space, but just ceases to be disturbed [Ashvaghosha] |