Combining Texts

Ideas for 'Philosophy of Mathematics', 'On the Syllogism IV' and 'Second Philosophy'

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

display all the ideas for this combination of texts

---

4 ideas

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic

10594

Henkin semantics is more plausible for plural logic than for second-order logic [Maddy]

5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic

17744

De Morgan started the study of relations and their properties [De Morgan, by Walicki]

13501

De Morgan found inferences involving relations, which eluded Aristotle's syllogistic [De Morgan, by Hart,WD]

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]