27 ideas
| 19125 | If we define truth, we can eliminate it [Halbach/Leigh] |
| 19128 | If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh] |
| 19120 | Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh] |
| 19127 | The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh] |
| 19124 | A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh] |
| 19126 | If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new [Halbach/Leigh] |
| 19129 | The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh] |
| 19130 | KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh] |
| 23708 | Humeans see properties as having no more essential features and relations than their distinctness [Friend/Kimpton-Nye, by PG] |
| 23709 | Dispositions are what individuate properties, and they constitute their essence [Friend/Kimpton-Nye] |
| 19121 | We can reduce properties to true formulas [Halbach/Leigh] |
| 23707 | Powers are properties which necessitate dispositions [Friend/Kimpton-Nye] |
| 23714 | Dispositional essentialism (unlike the grounding view) says only fundamental properties are powers [Friend/Kimpton-Nye] |
| 23711 | A power is a property which consists entirely of dispositions [Friend/Kimpton-Nye] |
| 23712 | Powers are qualitative properties which fully ground dispositions [Friend/Kimpton-Nye] |
| 23698 | Dispositions have directed behaviour which occurs if triggered [Friend/Kimpton-Nye] |
| 23699 | 'Masked' dispositions fail to react because something intervenes [Friend/Kimpton-Nye] |
| 23700 | A disposition is 'altered' when the stimulus reverses the disposition [Friend/Kimpton-Nye] |
| 23701 | A disposition is 'mimicked' if a different cause produces that effect from that stimulus [Friend/Kimpton-Nye] |
| 23702 | A 'trick' can look like a stimulus for a disposition which will happen without it [Friend/Kimpton-Nye] |
| 23703 | Some dispositions manifest themselves without a stimulus [Friend/Kimpton-Nye] |
| 23704 | We could analyse dispositions as 'possibilities', with no mention of a stimulus [Friend/Kimpton-Nye] |
| 19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
| 23710 | Dispositionalism says modality is in the powers of this world, not outsourced to possible worlds [Friend/Kimpton-Nye] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 23706 | Hume's Dictum says no connections are necessary - so mass and spacetime warping could separate [Friend/Kimpton-Nye] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |