25 ideas
18261 | A simplification which is complete constitutes a definition [Kant] |
15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
15134 | The truthmaker principle requires some specific named thing to make the difference [Williamson] |
15141 | Truthmaker is incompatible with modal semantics of varying domains [Williamson] |
15140 | The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson] |
15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [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] |
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] |
15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
15131 | If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson] |
15135 | If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson] |
15139 | Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson] |
15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
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] |
18492 | Not all quantification is either objectual or substitutional [Williamson] |
15136 | Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson] |
15138 | Not all quantification is objectual or substitutional [Williamson] |
15137 | If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson] |
15142 | Our ability to count objects across possibilities favours the Barcan formulas [Williamson] |
18260 | If we knew what we know, we would be astonished [Kant] |
15133 | A thing can't be the only necessary existent, because its singleton set would be as well [Williamson] |