Combining Texts

All the ideas for 'General Draft', 'Gentzen's Analysis of First-Order Proofs' and 'On the Ultimate Origination of Things'

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

12 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
19336 Wisdom involves the desire to achieve perfection [Leibniz]
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
22026 Philosophy is homesickness - the urge to be at home everywhere [Novalis]
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 / A. Nature of Existence / 5. Reason for Existence
7696 Leibniz first asked 'why is there something rather than nothing?' [Leibniz, by Jacquette]
19341 There must be a straining towards existence in the essence of all possible things [Leibniz]
19428 Because something does exist, there must be a drive in possible things towards existence [Leibniz]
10. Modality / A. Necessity / 7. Natural Necessity
5047 The world is physically necessary, as its contrary would imply imperfection or moral absurdity [Leibniz]
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
19591 Desire for perfection is an illness, if it turns against what is imperfect [Novalis]
20. Action / C. Motives for Action / 3. Acting on Reason / a. Practical reason
19343 We follow the practical rule which always seeks maximum effect for minimum cost [Leibniz]
26. Natural Theory / A. Speculations on Nature / 1. Nature
19429 The principle of determination in things obtains the greatest effect with the least effort [Leibniz]