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] |
| 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] |
| 20921 | How can we state relativism of sweet and sour, if they have no determinate nature? [Theophrastus] |
| 20014 | Actions include: the involuntary, the purposeful, the intentional, and the self-consciously autonomous [Wilson/Schpall] |
| 20019 | Maybe bodily movements are not actions, but only part of an agent's action of moving [Wilson/Schpall] |
| 20021 | Is the action the arm movement, the whole causal process, or just the trying to do it? [Wilson/Schpall] |
| 20022 | To be intentional, an action must succeed in the manner in which it was planned [Wilson/Schpall] |
| 20023 | If someone believes they can control the lottery, and then wins, the relevant skill is missing [Wilson/Schpall] |
| 20025 | We might intend two ways to acting, knowing only one of them can succeed [Wilson/Schpall] |
| 20031 | On one model, an intention is belief-desire states, and intentional actions relate to beliefs and desires [Wilson/Schpall] |
| 20028 | Groups may act for reasons held by none of the members, so maybe groups are agents [Wilson/Schpall] |
| 20027 | If there are shared obligations and intentions, we may need a primitive notion of 'joint commitment' [Wilson/Schpall] |
| 20016 | Strong Cognitivism identifies an intention to act with a belief [Wilson/Schpall] |
| 20017 | Weak Cognitivism says intentions are only partly constituted by a belief [Wilson/Schpall] |
| 20018 | Strong Cognitivism implies a mode of 'practical' knowledge, not based on observation [Wilson/Schpall] |
| 20012 | Maybe the explanation of an action is in the reasons that make it intelligible to the agent [Wilson/Schpall] |
| 20013 | It is generally assumed that reason explanations are causal [Wilson/Schpall] |
| 20029 | Causalists allow purposive explanations, but then reduce the purpose to the action's cause [Wilson/Schpall] |
| 5990 | Theophrastus doubted whether nature could be explained teleologically [Theophrastus, by Gottschalk] |