29 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] |
16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
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] |
23706 | Hume's Dictum says no connections are necessary - so mass and spacetime warping could separate [Friend/Kimpton-Nye] |