23 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] |
8525 | Relations need terms, so they must be second-order entities based on first-order tropes [Campbell,K] |
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] |
8518 | Events are trope-sequences, in which tropes replace one another [Campbell,K] |
8513 | Two red cloths are separate instances of redness, because you can dye one of them blue [Campbell,K] |
8514 | Red could only recur in a variety of objects if it was many, which makes them particulars [Campbell,K] |
8522 | Tropes solve the Companionship Difficulty, since the resemblance is only between abstract particulars [Campbell,K] |
8523 | Tropes solve the Imperfect Community problem, as they can only resemble in one respect [Campbell,K] |
8524 | Trope theory makes space central to reality, as tropes must have a shape and size [Campbell,K] |
8521 | Nominalism has the problem that without humans nothing would resemble anything else [Campbell,K] |
8515 | Tropes are basic particulars, so concrete particulars are collections of co-located tropes [Campbell,K] |
8519 | Bundles must be unique, so the Identity of Indiscernibles is a necessity - which it isn't! [Campbell,K] |
4033 | Two pure spheres in non-absolute space are identical but indiscernible [Campbell,K] |
8512 | Abstractions come before the mind by concentrating on a part of what is presented [Campbell,K] |
18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |
8517 | Causal conditions are particular abstract instances of properties, which makes them tropes [Campbell,K] |
8516 | Davidson can't explain causation entirely by events, because conditions are also involved [Campbell,K] |
3029 | Stilpo said if Athena is a daughter of Zeus, then a statue is only the child of a sculptor, and so is not a god [Stilpo, by Diog. Laertius] |