Combining Texts

All the ideas for 'fragments/reports', 'Intention, Plans, and Practical Reason' and 'Philosophy of Mathematics'

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

---

9 ideas

2. Reason / D. Definition / 8. Impredicative Definition

10882

Predicative definitions only refer to entities outside the defined collection [Horsten]

5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms

10884

A theory is 'categorical' if it has just one model up to isomorphism [Horsten]

6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics

10885

Computer proofs don't provide explanations [Horsten]

6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory

10881

The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]

20. Action / B. Preliminaries of Action / 1. Intention to Act / a. Nature of intentions

20034

Intentions must be mutually consistent, affirm appropriate means, and fit the agent's beliefs [Bratman, by Wilson/Schpall]

20033

Intentions are normative, requiring commitment and further plans [Bratman, by Wilson/Schpall]

20. Action / B. Preliminaries of Action / 1. Intention to Act / b. Types of intention

20026

Intention is either the aim of an action, or a long-term constraint on what we can do [Bratman, by Wilson/Schpall]

20. Action / B. Preliminaries of Action / 1. Intention to Act / c. Reducing intentions

20032

Bratman rejected reducing intentions to belief-desire, because they motivate, and have their own standards [Bratman, by Wilson/Schpall]

21. Aesthetics / C. Artistic Issues / 7. Art and Morality

468	Musical performance can reveal a range of virtues [Damon of Ath.]