23 ideas
1597 | Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales] |
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] |
9358 | There are several logics, none of which will ever derive falsehoods from truth [Lewis,CI] |
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] |
9357 | Excluded middle is just our preference for a simplified dichotomy in experience [Lewis,CI] |
10697 | Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos] |
9364 | Names represent a uniformity in experience, or they name nothing [Lewis,CI] |
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] |
10700 | First- and second-order quantifiers are two ways of referring to the same things [Boolos] |
9362 | Necessary truths are those we will maintain no matter what [Lewis,CI] |
3013 | Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius] |
9365 | We can maintain a priori principles come what may, but we can also change them [Lewis,CI] |
9361 | We have to separate the mathematical from physical phenomena by abstraction [Lewis,CI] |
1494 | Thales said water is the first principle, perhaps from observing that food is moist [Thales, by Aristotle] |
9363 | Science seeks classification which will discover laws, essences, and predictions [Lewis,CI] |
1713 | Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle] |
1742 | Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius] |