25 ideas
| 15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
| 18996 | A statement S is 'partly true' if it has some wholly true parts [Yablo] |
| 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] |
| 19006 | An 'enthymeme' is an argument with an indispensable unstated assumption [Yablo] |
| 15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
| 18999 | y is only a proper part of x if there is a z which 'makes up the difference' between them [Yablo] |
| 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] |
| 19001 | 'Pegasus doesn't exist' is false without Pegasus, yet the absence of Pegasus is its truthmaker [Yablo] |
| 19002 | A nominalist can assert statements about mathematical objects, as being partly true [Yablo] |
| 18998 | Parthood lacks the restriction of kind which most relations have [Yablo] |
| 19004 | Gettier says you don't know if you are confused about how it is true [Yablo] |
| 19007 | A theory need not be true to be good; it should just be true about its physical aspects [Yablo] |
| 18993 | If sentences point to different evidence, they must have different subject-matter [Yablo] |
| 19003 | Most people say nonblack nonravens do confirm 'all ravens are black', but only a tiny bit [Yablo] |
| 18992 | Sentence-meaning is the truth-conditions - plus factors responsible for them [Yablo] |
| 18994 | The content of an assertion can be quite different from compositional content [Yablo] |
| 18997 | Truth-conditions as subject-matter has problems of relevance, short cut, and reversal [Yablo] |
| 19005 | Not-A is too strong to just erase an improper assertion, because it actually reverses A [Yablo] |
| 21229 | If everyone is treated with equal injustice, at least that is fair [Morgenbesser] |