Combining Texts

All the ideas for 'works', 'Free Will as Involving Determinism' and 'Principles of Theoretical Logic'

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

---

5 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC

17750

The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]

5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction

10121

Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal]

16. Persons / F. Free Will / 6. Determinism / a. Determinism

22371

Determinism threatens free will if actions can be causally traced to external factors [Foot]

20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism

22372

Not all actions need motives, but it is irrational to perform troublesome actions with no motive [Foot]

23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / e. Character

22373

People can act out of vanity without being vain, or even vain about this kind of thing [Foot]