27 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] |
| 18851 | Pairing (with Extensionality) guarantees an infinity of sets, just from a single element [Rosen] |
| 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] |
| 18852 | A Meinongian principle might say that there is an object for any modest class of properties [Rosen] |
| 18849 | Metaphysical necessity is absolute and universal; metaphysical possibility is very tolerant [Rosen] |
| 18850 | 'Metaphysical' modality is the one that makes the necessity or contingency of laws of nature interesting [Rosen] |
| 18858 | Sets, universals and aggregates may be metaphysically necessary in one sense, but not another [Rosen] |
| 18857 | Standard Metaphysical Necessity: P holds wherever the actual form of the world holds [Rosen] |
| 18856 | Non-Standard Metaphysical Necessity: when ¬P is incompatible with the nature of things [Rosen] |
| 18848 | Something may be necessary because of logic, but is that therefore a special sort of necessity? [Rosen] |
| 18855 | Combinatorial theories of possibility assume the principles of combination don't change across worlds [Rosen] |
| 18853 | A proposition is 'correctly' conceivable if an ominiscient being could conceive it [Rosen] |
| 22465 | We see a moral distinction between doing and allowing to happen [Foot] |
| 22466 | We see a moral distinction between our aims and their foreseen consequences [Foot] |
| 22467 | Acts and omissions only matter if they concern doing something versus allowing it [Foot] |
| 22470 | A good moral system benefits its participants, and so demands reciprocity [Foot] |
| 22468 | Virtues can have aims, but good states of affairs are not among them [Foot] |
| 22469 | Some virtues imply rules, and others concern attachment [Foot] |
| 18854 | The MRL view says laws are the theorems of the simplest and strongest account of the world [Rosen] |