Combining Texts

All the ideas for 'Logical Consequence', 'plays (frags)' and 'Action'

expand these ideas     |    start again     |     specify just one area for these texts

24 ideas

4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
10688 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
10690 Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
10691 Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
10695 Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 8. Material Implication
10689 A step is a 'material consequence' if we need contents as well as form [Beall/Restall]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
10696 A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10693 Models are mathematical structures which interpret the non-logical primitives [Beall/Restall]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
10692 Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall]
10. Modality / C. Sources of Modality / 2. Necessity as Primitive
74 Even God could not undo what has been done [Agathon]
20. Action / A. Definition of Action / 1. Action Theory
20014 Actions include: the involuntary, the purposeful, the intentional, and the self-consciously autonomous [Wilson/Schpall]
20. Action / A. Definition of Action / 4. Action as Movement
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]
20. Action / B. Preliminaries of Action / 1. Intention to Act / a. Nature of intentions
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]
20. Action / B. Preliminaries of Action / 1. Intention to Act / c. Reducing intentions
20031 On one model, an intention is belief-desire states, and intentional actions relate to beliefs and desires [Wilson/Schpall]
20. Action / B. Preliminaries of Action / 1. Intention to Act / d. Group intentions
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]
20. Action / C. Motives for Action / 2. Acting on Beliefs / b. Action cognitivism
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]
20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism
20012 Maybe the explanation of an action is in the reasons that make it intelligible to the agent [Wilson/Schpall]
20. Action / C. Motives for Action / 3. Acting on Reason / c. Reasons as causes
20029 Causalists allow purposive explanations, but then reduce the purpose to the action's cause [Wilson/Schpall]
20013 It is generally assumed that reason explanations are causal [Wilson/Schpall]