19 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] |
| 8983 | If 'red' is vague, then membership of the set of red things is vague, so there is no set of red things [Sainsbury] |
| 8986 | We should abandon classifying by pigeon-holes, and classify around paradigms [Sainsbury] |
| 8982 | Vague concepts are concepts without boundaries [Sainsbury] |
| 8984 | If concepts are vague, people avoid boundaries, can't spot them, and don't want them [Sainsbury] |
| 8985 | Boundaryless concepts tend to come in pairs, such as child/adult, hot/cold [Sainsbury] |
| 18239 | What is contemplated must have a higher value than contemplation [Kant, by Korsgaard] |
| 18238 | Only a good will can give man's being, and hence the world, a final purpose [Kant] |
| 22053 | The Critique of Judgement aims for a principle that unities humanity and nature [Kant, by Bowie] |
| 18237 | Without men creation would be in vain, and without final purpose [Kant] |