Combining Texts

All the ideas for 'Action', 'On the Foundations of Logic and Arithmetic' and 'Constructibility and Mathematical Existence'

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

21 ideas

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
8758 We could talk of open sentences, instead of sets [Chihara, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
17697 The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
10265 Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro]
8759 We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
17698 Logic already contains some arithmetic, so the two must be developed together [Hilbert]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
10264 Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro]
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]