26 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] |
3750 | "It is true that x" means no more than x [Ramsey] |
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] |
18818 | Sentence meaning is given by the actions to which it would lead [Ramsey] |
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] |