Combining Texts

All the ideas for 'The Epic of Gilgamesh', 'Gentzen's Analysis of First-Order Proofs' and 'Armstrong on combinatorial possibility'

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

9 ideas

1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
15545 Armstrong's analysis seeks truthmakers rather than definitions [Lewis]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
15546 Predications aren't true because of what exists, but of how it exists [Lewis]
3. Truth / B. Truthmakers / 5. What Makes Truths / d. Being makes truths
15548 Say 'truth is supervenient on being', but construe 'being' broadly [Lewis]
3. Truth / B. Truthmakers / 9. Making Past Truths
14399 Presentism says only the present exists, so there is nothing for tensed truths to supervene on [Lewis]
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 / D. Theories of Reality / 9. States of Affairs
15543 How do things combine to make states of affairs? Constituents can repeat, and fail to combine [Lewis]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
8659 The gods alone live forever with Shamash. The days of humans are numbered. [Anon (Gilg)]