ONT Re: Logic Of Relatives
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
LOR. Discussion Note 23
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Howard,
In trying to answer the rest of your last note,
it seems that we cannot go any further without
achieving some concrete clarity as to what is
denominated by "standard predicate calculus",
that is, "first order logic", or whatever.
There is a "canonical" presentation of the subject, as I remember it, anyway,
in the following sample of materials from Chang & Keisler's 'Model Theory'.
(There's a newer edition of the book, but this part of the subject hasn't
really changed all that much in ages.)
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Model Theory
1. Introduction
1.1. What Is Model Theory?
01. http://suo.ieee.org/ontology/msg03985.html
02. http://suo.ieee.org/ontology/msg03986.html
03. http://suo.ieee.org/ontology/msg03987.html
1.2. Model Theory for Sentential Logic
04. http://suo.ieee.org/ontology/msg03988.html
05. http://suo.ieee.org/ontology/msg03989.html
06. http://suo.ieee.org/ontology/msg03991.html
07. http://suo.ieee.org/ontology/msg03992.html
08. http://suo.ieee.org/ontology/msg03993.html
09. http://suo.ieee.org/ontology/msg03994.html
10. http://suo.ieee.org/ontology/msg03995.html
11. http://suo.ieee.org/ontology/msg03996.html
12. http://suo.ieee.org/ontology/msg03997.html
13. http://suo.ieee.org/ontology/msg03999.html
14. http://suo.ieee.org/ontology/msg04000.html
15. http://suo.ieee.org/ontology/msg04001.html
16. http://suo.ieee.org/ontology/msg04002.html
17. http://suo.ieee.org/ontology/msg04003.html
18. http://suo.ieee.org/ontology/msg04004.html
1.3. Languages, Models, and Satisfaction
19. http://suo.ieee.org/ontology/msg04005.html
20. http://suo.ieee.org/ontology/msg04006.html
21. http://suo.ieee.org/ontology/msg04007.html
22. http://suo.ieee.org/ontology/msg04008.html
23. http://suo.ieee.org/ontology/msg04009.html
24. http://suo.ieee.org/ontology/msg04010.html
25. http://suo.ieee.org/ontology/msg04011.html
26. http://suo.ieee.org/ontology/msg04012.html
27. http://suo.ieee.org/ontology/msg04016.html
28. http://suo.ieee.org/ontology/msg04017.html
29. http://suo.ieee.org/ontology/msg04019.html
30. http://suo.ieee.org/ontology/msg04020.html
31. http://suo.ieee.org/ontology/msg04021.html
1.4. Theories and Examples of Theories
32. http://suo.ieee.org/ontology/msg04022.html
33. http://suo.ieee.org/ontology/msg04023.html
34. http://suo.ieee.org/ontology/msg04024.html
35. http://suo.ieee.org/ontology/msg04025.html
36. http://suo.ieee.org/ontology/msg04026.html
37. http://suo.ieee.org/ontology/msg04027.html
38. http://suo.ieee.org/ontology/msg04028.html
1.5. Elimination of Quantifiers
39. http://suo.ieee.org/ontology/msg04029.html
The above material is excerpted from:
| C.C. Chang and H.J. Keisler, 'Model Theory',
| North-Holland, Amsterdam, Netherlands, 1973.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o