31 ideas
| 19215 | Arguers often turn the opponent's modus ponens into their own modus tollens [Merricks] |
| 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] |
| 19205 | 'Snow is white' only contingently expresses the proposition that snow is white [Merricks] |
| 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] |
| 15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
| 15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
| 19209 | Simple Quantified Modal Logc doesn't work, because the Converse Barcan is a theorem [Merricks] |
| 19208 | The Converse Barcan implies 'everything exists necessarily' is a consequence of 'necessarily, everything exists' [Merricks] |
| 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] |
| 19207 | Sentence logic maps truth values; predicate logic maps objects and sets [Merricks] |
| 19214 | In twinning, one person has the same origin as another person [Merricks] |
| 19217 | I don't accept that if a proposition is directly about an entity, it has a relation to the entity [Merricks] |
| 19203 | A sentence's truth conditions depend on context [Merricks] |
| 19200 | Propositions are standardly treated as possible worlds, or as structured [Merricks] |
| 19206 | 'Cicero is an orator' represents the same situation as 'Tully is an orator', so they are one proposition [Merricks] |
| 19202 | Propositions are necessary existents which essentially (but inexplicably) represent things [Merricks] |
| 19204 | True propositions existed prior to their being thought, and might never be thought [Merricks] |
| 19210 | The standard view of propositions says they never change their truth-value [Merricks] |
| 19201 | Propositions can be 'about' an entity, but that doesn't make the entity a constituent of it [Merricks] |
| 19211 | Early Russell says a proposition is identical with its truthmaking state of affairs [Merricks] |
| 19212 | Unity of the proposition questions: what unites them? can the same constituents make different ones? [Merricks] |
| 19213 | We want to explain not just what unites the constituents, but what unites them into a proposition [Merricks] |
| 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] |