27 ideas
| 13560 | A wise man is not subservient to anything [Seneca] |
| 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] |
| 18755 | Validity is explained as truth in all models, because that relies on the logical terms [McGee] |
| 18751 | Natural language includes connectives like 'because' which are not truth-functional [McGee] |
| 18761 | Second-order variables need to range over more than collections of first-order objects [McGee] |
| 18753 | An ontologically secure semantics for predicate calculus relies on sets [McGee] |
| 18754 | Logically valid sentences are analytic truths which are just true because of their logical words [McGee] |
| 18757 | Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee] |
| 18760 | The culmination of Euclidean geometry was axioms that made all models isomorphic [McGee] |
| 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] |
| 18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |
| 13558 | The supreme good is harmony of spirit [Seneca] |
| 13559 | I seek virtue, because it is its own reward [Seneca] |
| 13561 | Virtue is always moderate, so excess need not be feared [Seneca] |
| 13562 | It is shameful to not even recognise your own slaves [Seneca] |
| 13564 | There is far more scope for virtue if you are wealthy; poverty only allows endurance [Seneca] |
| 13565 | If wealth was a good, it would make men good [Seneca] |
| 13563 | Why does your wife wear in her ears the income of a wealthy house? [Seneca] |
| 13557 | Unfortunately the majority do not tend to favour what is best [Seneca] |