20 ideas
15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
15086 | Absolute necessity might be achievable either logically or metaphysically [Hale] |
8261 | Maybe not-p is logically possible, but p is metaphysically necessary, so the latter is not absolute [Hale] |
15081 | A strong necessity entails a weaker one, but not conversely; possibilities go the other way [Hale] |
15080 | 'Relative' necessity is just a logical consequence of some statements ('strong' if they are all true) [Hale] |
15082 | Metaphysical necessity says there is no possibility of falsehood [Hale] |
15085 | 'Broadly' logical necessities are derived (in a structure) entirely from the concepts [Hale] |
15088 | Logical necessities are true in virtue of the nature of all logical concepts [Hale] |
15087 | Conceptual necessities are made true by all concepts [Hale] |
20759 | Feelings are prior to intelligence; we should be content to live with our simplest feelings [Rousseau] |
19854 | We all owe labour in return for our keep, and every idle citizen is a thief [Rousseau] |