27 ideas
19125 | If we define truth, we can eliminate it [Halbach/Leigh] |
12463 | Unlike correspondence, truthmaking can be one truth to many truthmakers, or vice versa [Jacobs] |
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] |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
14375 | If structures result from intrinsic natures of properties, the 'relations' between them can drop out [Jacobs] |
19121 | We can reduce properties to true formulas [Halbach/Leigh] |
14378 | Science aims at identifying the structure and nature of the powers that exist [Jacobs] |
12467 | Powers come from concrete particulars, not from the laws of nature [Jacobs] |
19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
14377 | Possibilities are manifestations of some power, and impossibilies rest on no powers [Jacobs] |
14376 | States of affairs are only possible if some substance could initiate a causal chain to get there [Jacobs] |
14379 | Counterfactuals invite us to consider the powers picked out by the antecedent [Jacobs] |
14372 | Possible worlds are just not suitable truthmakers for modality [Jacobs] |
12466 | All modality is in the properties and relations of the actual world [Jacobs] |
14371 | We can base counterfactuals on powers, not possible worlds, and hence define necessity [Jacobs] |
12465 | Concrete worlds, unlike fictions, at least offer evidence of how the actual world could be [Jacobs] |
12464 | If some book described a possibe life for you, that isn't what makes such a life possible [Jacobs] |
12469 | Possible worlds semantics gives little insight into modality [Jacobs] |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |