21 ideas
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] |
13076 | Scholastics treat relations as two separate predicates of the relata [Cover/O'Leary-Hawthorne] |
13102 | If you individuate things by their origin, you still have to individuate the origins themselves [Cover/O'Leary-Hawthorne] |
13103 | Numerical difference is a symmetrical notion, unlike proper individuation [Cover/O'Leary-Hawthorne] |
13104 | Haecceity as property, or as colourless thisness, or as singleton set [Cover/O'Leary-Hawthorne] |
13100 | Maybe 'substance' is more of a mass-noun than a count-noun [Cover/O'Leary-Hawthorne] |
13068 | We can ask for the nature of substance, about type of substance, and about individual substances [Cover/O'Leary-Hawthorne] |
13069 | The general assumption is that substances cannot possibly be non-substances [Cover/O'Leary-Hawthorne] |
13072 | Modern essences are sets of essential predicate-functions [Cover/O'Leary-Hawthorne] |
17080 | Modern essentialists express essence as functions from worlds to extensions for predicates [Cover/O'Leary-Hawthorne] |
13101 | Necessity-of-origin won't distinguish ex nihilo creations, or things sharing an origin [Cover/O'Leary-Hawthorne] |
13081 | Even extreme modal realists might allow transworld identity for abstract objects [Cover/O'Leary-Hawthorne] |
13071 | We can go beyond mere causal explanations if we believe in an 'order of being' [Cover/O'Leary-Hawthorne] |
18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |
23692 | Good and bad are a matter of actions, not of internal dispositions [Foot] |