Combining Texts

All the ideas for 'Letters to Bentley', 'Semantics, Conceptual Role' and 'Gentzen's Analysis of First-Order Proofs'

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

10 ideas

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]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
13152 We can talk of 'innumerable number', about the infinite points on a line [Newton]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
13151 Not all infinites are equal [Newton]
19. Language / A. Nature of Meaning / 7. Meaning Holism / c. Meaning by Role
18033 The meaning of a representation is its role in thought, perception or decisions [Block]
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
15863 The principles of my treatise are designed to fit with a belief in God [Newton]
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
8340 I do not pretend to know the cause of gravity [Newton]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / e. Anti scientific essentialism
13150 The motions of the planets could only derive from an intelligent agent [Newton]
12178 That gravity should be innate and essential to matter is absurd [Newton]