Combining Texts

All the ideas for 'Events and Their Names', 'Lecture on Nominalism' and 'Gentzen's Analysis of First-Order Proofs'

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

8 ideas

2. Reason / F. Fallacies / 1. Fallacy
21697 The Struthionic Fallacy is that of burying one's head in the sand [Quine]
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 / E. Structures of Logic / 6. Relations in Logic
21698 All relations, apart from ancestrals, can be reduced to simpler logic [Quine]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
13823 In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
6. Mathematics / C. Sources of Mathematics / 3. Mathematical Nominalism
21696 Nominalism rejects both attributes and classes (where extensionalism accepts the classes) [Quine]
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]
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]