Combining Texts

All the ideas for 'fragments/reports', 'Barcan Formulae' and 'Gentzen's Analysis of First-Order Proofs'

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

8 ideas

1. Philosophy / D. Nature of Philosophy / 4. Divisions of Philosophy
20771 Six parts: dialectic, rhetoric, ethics, politics, physics, theology [Cleanthes, by Diog. Laertius]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
15380 Barcan:nothing comes into existence; Converse:nothing goes out; Both:domain is unchanging [Vervloesem]
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]
17. Mind and Body / A. Mind-Body Dualism / 8. Dualism of Mind Critique
6028 Bodies interact with other bodies, and cuts cause pain, and shame causes blushing, so the soul is a body [Cleanthes, by Nemesius]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
20831 The soul suffers when the body hurts, creates redness from shame, and pallor from fear [Cleanthes]
28. God / B. Proving God / 3. Proofs of Evidence / b. Teleological Proof
5993 The ascending scale of living creatures requires a perfect being [Cleanthes, by Tieleman]