27 ideas
13070 | If definitions must be general, and general terms can't individuate, then Socrates can't be defined [Aquinas, by Cover/O'Leary-Hawthorne] |
11197 | The definitions expressing identity are used to sort things [Aquinas] |
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] |
11195 | If affirmative propositions express being, we affirm about what is absent [Aquinas] |
10700 | First- and second-order quantifiers are two ways of referring to the same things [Boolos] |
11201 | Properties have an incomplete essence, with definitions referring to their subject [Aquinas] |
11205 | If the form of 'human' contains 'many', Socrates isn't human; if it contains 'one', Socrates is Plato [Aquinas] |
13090 | The principle of diversity for corporeal substances is their matter [Aquinas, by Cover/O'Leary-Hawthorne] |
11202 | It is by having essence that things exist [Aquinas] |
11203 | Specific individual essence is defined by material, and generic essence is defined by form [Aquinas] |
11200 | The definition of a physical object must include the material as well as the form [Aquinas] |
11196 | Essence is something in common between the natures which sort things into categories [Aquinas] |
11208 | A simple substance is its own essence [Aquinas] |
11198 | Definition of essence makes things understandable [Aquinas] |
11206 | The mind constructs complete attributions, based on the unified elements of the real world [Aquinas] |
11207 | A cause can exist without its effect, but the effect cannot exist without its cause [Aquinas] |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
6610 | I believe because it is absurd [Tertullian] |