27 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] |
14508 | A 'thisness' is a thing's property of being identical with itself (not the possession of self-identity) [Adams,RM] |
14511 | There are cases where mere qualities would not ensure an intrinsic identity [Adams,RM] |
16463 | Adams says actual things have haecceities, but not things that only might exist [Adams,RM, by Stalnaker] |
12031 | Essences are taken to be qualitative properties [Adams,RM] |
12034 | If the universe was cyclical, totally indiscernible events might occur from time to time [Adams,RM] |
14510 | Two events might be indiscernible yet distinct, if there was a universe cyclical in time [Adams,RM] |
16455 | Black's two globes might be one globe in highly curved space [Adams,RM] |
14507 | Are possible worlds just qualities, or do they include primitive identities as well? [Adams,RM] |
11964 | Possible worlds are world-stories, maximal descriptions of whole non-existent worlds [Adams,RM, by Molnar] |
16451 | Adams says anti-haecceitism reduces all thisness to suchness [Adams,RM, by Stalnaker] |
11901 | Haecceitism may or may not involve some logical connection to essence [Adams,RM, by Mackie,P] |
14512 | Moderate Haecceitism says transworld identities are primitive, but connected to qualities [Adams,RM] |
7301 | The phenomenalist says that to be is to be perceivable [Cardinal/Hayward/Jones] |
7302 | Linguistic phenomenalism says we can eliminate talk of physical objects [Cardinal/Hayward/Jones] |
7303 | If we lack enough sense-data, are we to say that parts of reality are 'indeterminate'? [Cardinal/Hayward/Jones] |
7299 | Primary qualities can be described mathematically, unlike secondary qualities [Cardinal/Hayward/Jones] |
7300 | An object cannot remain an object without its primary qualities [Cardinal/Hayward/Jones] |
7297 | My justifications might be very coherent, but totally unconnected to the world [Cardinal/Hayward/Jones] |
12032 | Direct reference is by proper names, or indexicals, or referential uses of descriptions [Adams,RM] |
18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |