Combining Texts

All the ideas for 'fragments/reports', 'Human Freedom and the Self' and 'Gentzen's Analysis of First-Order Proofs'

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


10 ideas

5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Logic is based on transitions between sentences [Prawitz]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
16. Persons / F. Free Will / 4. For Free Will
If actions are not caused by other events, and are not causeless, they must be caused by the person [Chisholm]
16. Persons / F. Free Will / 5. Against Free Will
For Hobbes (but not for Kant) a person's actions can be deduced from their desires and beliefs [Chisholm]
If free will miraculously interrupts causation, animals might do that; why would we want to do it? [Frankfurt on Chisholm]
20. Action / C. Motives for Action / 4. Responsibility for Actions
Responsibility seems to conflict with events being either caused or not caused [Chisholm]
Desires may rule us, but are we responsible for our desires? [Chisholm]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
Musical performance can reveal a range of virtues [Damon of Ath.]
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
Causation among objects relates either events or states [Chisholm]