Combining Texts

All the ideas for 'Events and Their Names', 'The Mind and the Soul' and 'Gentzen's Analysis of First-Order Proofs'

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

9 ideas

5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
13831 Logic is based on transitions between sentences [Prawitz]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
13825 Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
13823 In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
7. Existence / B. Change in Existence / 4. Events / c. Reduction of events
8978 Events are made of other things, and are not fundamental to ontology [Bennett]
8. Modes of Existence / B. Properties / 1. Nature of Properties
9295 Not only substances have attributes; events, actions, states and qualities can have them [Teichmann]
17. Mind and Body / A. Mind-Body Dualism / 2. Interactionism
9293 Body-spirit interaction ought to result in losses and increases of energy in the material world [Teichmann]
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
10364 Facts are about the world, not in it, so they can't cause anything [Bennett]
29. Religion / D. Religious Issues / 2. Immortality / b. Soul
9292 The Soul has no particular capacity (in the way thinking belongs to the mind) [Teichmann]
9294 No individuating marks distinguish between Souls [Teichmann]