Combining Texts

All the ideas for 'A Specimen of Discoveries', 'Gentzen's Analysis of First-Order Proofs' and 'The Structure of Science'

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

---

7 ideas

2. Reason / A. Nature of Reason / 4. Aims of Reason

5035	The two basics of reasoning are contradiction and sufficient reason [Leibniz]

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 / C. Structure of Existence / 2. Reduction

3425	Reduction has been defined as deriving one theory from another by logic and maths [Nagel,E, by Kim]

17. Mind and Body / A. Mind-Body Dualism / 5. Parallelism

5038	Assume that mind and body follow their own laws, but God has harmonised them [Leibniz]

29. Religion / D. Religious Issues / 3. Problem of Evil / b. Human Evil

5037	God doesn't decide that Adam will sin, but that sinful Adam's existence is to be preferred [Leibniz]