20 ideas
9108 | From an impossibility anything follows [William of Ockham] |
19125 | If we define truth, we can eliminate it [Halbach/Leigh] |
9107 | A proposition is true if its subject and predicate stand for the same thing [William of Ockham] |
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] |
16300 | Ockham had an early axiomatic account of truth [William of Ockham, by Halbach] |
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] |
9106 | The word 'every' only signifies when added to a term such as 'man', referring to all men [William of Ockham] |
9113 | Just as unity is not a property of a single thing, so numbers are not properties of many things [William of Ockham] |
9110 | The words 'thing' and 'to be' assert the same idea, as a noun and as a verb [William of Ockham] |
19121 | We can reduce properties to true formulas [Halbach/Leigh] |
15388 | Universals are single things, and only universal in what they signify [William of Ockham] |
19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
9109 | If essence and existence were two things, one could exist without the other, which is impossible [William of Ockham] |
9105 | Some concepts for propositions exist only in the mind, and in no language [William of Ockham] |
5655 | Happiness is not satisfaction of desires, but fulfilment of values [Bradley, by Scruton] |