Combining Philosophers

Ideas for Alcmaeon, Socrates and Robert S. Wolf

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

display all the ideas for this combination of philosophers

---

6 ideas

5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models

13519

Model theory uses sets to show that mathematical deduction fits mathematical truth [Wolf,RS]

13531

Model theory reveals the structures of mathematics [Wolf,RS]

13532

Model theory 'structures' have a 'universe', some 'relations', some 'functions', and some 'constants' [Wolf,RS]

13533

First-order model theory rests on completeness, compactness, and the Löwenheim-Skolem-Tarski theorem [Wolf,RS]

5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms

13537

An 'isomorphism' is a bijection that preserves all structural components [Wolf,RS]

5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems

13539

The LST Theorem is a serious limitation of first-order logic [Wolf,RS]