11 ideas
14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
11970 | Logicians like their entities to exhibit a maximum degree of purity [Kaplan] |
16901 | The equivalent algebra model of geometry loses some essential spatial meaning [Burge] |
16902 | Peano arithmetic requires grasping 0 as a primitive number [Burge] |
14262 | Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K] |
11969 | Models nicely separate particulars from their clothing, and logicians often accept that metaphysically [Kaplan] |
11971 | The simplest solution to transworld identification is to adopt bare particulars [Kaplan] |
11973 | Unusual people may have no counterparts, or several [Kaplan] |
11972 | Essence is a transworld heir line, rather than a collection of properties [Kaplan] |
16892 | Is apriority predicated mainly of truths and proofs, or of human cognition? [Burge] |
11967 | Sentences might have the same sense when logically equivalent - or never have the same sense [Kaplan] |