Combining Texts

Ideas for 'Philosophy of Mathematics', 'Science without Numbers' and 'True to the Facts'

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

display all the ideas for this combination of texts

---

2 ideas

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

10260

Logical consequence is defined by the impossibility of P and ¬q [Field,H, by Shapiro]

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

10884

A theory is 'categorical' if it has just one model up to isomorphism [Horsten]