Combining Texts

Ideas for 'Mathematical Methods in Philosophy', 'Philosophies of Mathematics' and 'Journals'

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

display all the ideas for this combination of texts

---

3 ideas

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

10129

A 'model' is a meaning-assignment which makes all the axioms true [George/Velleman]

18744

Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew]

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

10105

Differences between isomorphic structures seem unimportant [George/Velleman]