23 ideas
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
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] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
7949 | Varied descriptions of an event will explain varied behaviour relating to it [Davidson, by Macdonald,C] |
19121 | We can reduce properties to true formulas [Halbach/Leigh] |
19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
20020 | If one action leads directly to another, they are all one action [Davidson, by Wilson/Schpall] |
20072 | We explain an intention by giving an account of acting with an intention [Davidson, by Stout,R] |
20045 | Acting for a reason is a combination of a pro attitude, and a belief that the action is appropriate [Davidson] |
23734 | The best explanation of reasons as purposes for actions is that they are causal [Davidson, by Smith,M] |
23737 | Reasons can give purposes to actions, without actually causing them [Smith,M on Davidson] |
20075 | Early Davidson says intentional action is caused by reasons [Davidson, by Stout,R] |
6664 | Reasons must be causes when agents act 'for' reasons [Davidson, by Lowe] |
3395 | Davidson claims that what causes an action is the reason for doing it [Davidson, by Kim] |