26 ideas
| 19066 | Philosophy aims to understand the world, through ordinary experience and science [Dummett] |
| 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] |
| 19067 | A successful proof requires recognition of truth at every step [Dummett] |
| 19060 | Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett] |
| 11066 | Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna] |
| 19058 | Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett] |
| 19063 | Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett] |
| 19059 | In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett] |
| 19062 | Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett] |
| 19065 | Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett] |
| 11195 | If affirmative propositions express being, we affirm about what is absent [Aquinas] |
| 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] |
| 18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |
| 19061 | An explanation is often a deduction, but that may well beg the question [Dummett] |
| 11198 | Definition of essence makes things understandable [Aquinas] |
| 19064 | Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett] |
| 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] |