17 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] |
9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
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] |
9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
22709 | We should first decide what are the great works of art, with aesthetic theory following from that [Murdoch] |
22715 | Great art proves the absurdity of art for art's sake [Murdoch] |
22714 | Because art is love, it improves us morally [Murdoch] |
22712 | Art and morals are essentially the same, and are both identical with love [Murdoch] |
22713 | Love is realising something other than oneself is real [Murdoch] |