25 ideas
19125 | If we define truth, we can eliminate it [Halbach/Leigh] |
19128 | If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh] |
19120 | Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh] |
19127 | The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh] |
19124 | A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh] |
19126 | If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new [Halbach/Leigh] |
19129 | The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh] |
19130 | KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh] |
8525 | Relations need terms, so they must be second-order entities based on first-order tropes [Campbell,K] |
8518 | Events are trope-sequences, in which tropes replace one another [Campbell,K] |
19121 | We can reduce properties to true formulas [Halbach/Leigh] |
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] |
19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
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] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
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] |