Combining Texts

Ideas for 'Intro to 'Philosophical Essays'', 'Philosophy of Mathematics' and 'Logic as Semiotic: Theory of Signs'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

5 ideas

5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic

18109

The completeness of first-order logic implies its compactness [Bostock]

18108

First-order logic is not decidable: there is no test of whether any formula is valid [Bostock]

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification

18123

Substitutional quantification is just standard if all objects in the domain have a name [Bostock]

5. Theory of Logic / H. Proof Systems / 4. Natural Deduction

18120

The Deduction Theorem is what licenses a system of natural deduction [Bostock]

5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / c. Berry's paradox

18125

Berry's Paradox considers the meaning of 'The least number not named by this name' [Bostock]