18 ideas
| 19389 | Truth is a characteristic of possible thoughts [Leibniz] |
| 19388 | True and false seem to pertain to thoughts, yet unthought propositions seem to be true or false [Leibniz] |
| 5745 | Quine says quantified modal logic creates nonsense, bad ontology, and false essentialism [Melia on Quine] |
| 8789 | Various strategies try to deal with the ontological commitments of second-order logic [Hale/Wright on Quine] |
| 16966 | Philosophers tend to distinguish broad 'being' from narrower 'existence' - but I reject that [Quine] |
| 16965 | All we have of general existence is what existential quantifiers express [Quine] |
| 16963 | Existence is implied by the quantifiers, not by the constants [Quine] |
| 16964 | Theories are committed to objects of which some of its predicates must be true [Quine] |
| 4216 | Express a theory in first-order predicate logic; its ontology is the types of bound variable needed for truth [Quine, by Lowe] |
| 18966 | Ontological commitment of theories only arise if they are classically quantified [Quine] |
| 14490 | You can be implicitly committed to something without quantifying over it [Thomasson on Quine] |
| 16961 | In formal terms, a category is the range of some style of variables [Quine] |
| 23651 | Universals are not objects of sense and cannot be imagined - but can be conceived [Reid] |
| 23650 | Only individuals exist [Reid] |
| 23649 | No one thinks two sheets possess a single whiteness, but all agree they are both white [Reid] |
| 11874 | Real identity admits of no degrees [Reid] |
| 23652 | We must first conceive things before we can consider them [Reid] |
| 23648 | First we notice and name attributes ('abstracting'); then we notice that subjects share them ('generalising') [Reid] |