31 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] |
13913 | The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward] |
13914 | Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward] |
13915 | Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward] |
13916 | Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward] |
13850 | In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward] |
13849 | Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward] |
13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
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] |