Combining Texts

Ideas for 'works', 'Ontology and Mathematical Truth' and 'Philosophy of Mathematics'

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

display all the ideas for this combination of texts

---

6 ideas

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

18108

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

18109

The completeness of first-order logic implies its compactness [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 / J. Model Theory in Logic / 1. Logical Models

9968	A model is 'fundamental' if it contains only concrete entities [Jubien]

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]