18 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] |
19121 | We can reduce properties to true formulas [Halbach/Leigh] |
19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
594 | Speusippus suggested underlying principles for every substance, and ended with a huge list [Speussipus, by Aristotle] |
20878 | We can discuss the criteria of a judgment, or the weight given to them, or their application [LaFollette] |
20877 | Errors in moral practice might be inconsistent or inappropriate principles, or inappropriate application [LaFollette] |
20881 | The act/omission distinction is important for duties, but less so for consequences [LaFollette] |
20886 | Are we only obligated by agreement, or should we always help the weak? [LaFollette] |
20879 | Too many options may open us to unwanted pressures, like being paid very little [LaFollette] |
20880 | Should people be forced to make choices? [LaFollette] |
2632 | Speusippus said things were governed by some animal force rather than the gods [Speussipus, by Cicero] |