display all the ideas for this combination of texts
3 ideas
| 10473 | Model theory studies formal or natural language-interpretation using set-theory [Hodges,W] |
| Full Idea: Model theory is the study of the interpretation of any language, formal or natural, by means of set-theoretic structures, with Tarski's truth definition as a paradigm. | |
| From: Wilfrid Hodges (Model Theory [2005], Intro) | |
| A reaction: My attention is caught by the fact that natural languages are included. Might we say that science is model theory for English? That sounds like Quine's persistent message. |
| 10475 | A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W] |
| Full Idea: A 'structure' in model theory is an interpretation which explains what objects some expressions refer to, and what classes some quantifiers range over. | |
| From: Wilfrid Hodges (Model Theory [2005], 1) | |
| A reaction: He cites as examples 'first-order structures' used in mathematical model theory, and 'Kripke structures' used in model theory for modal logic. A structure is also called a 'universe'. |
| 10481 | Models in model theory are structures, not sets of descriptions [Hodges,W] |
| Full Idea: The models in model-theory are structures, but there is also a common use of 'model' to mean a formal theory which describes and explains a phenomenon, or plans to build it. | |
| From: Wilfrid Hodges (Model Theory [2005], 5) | |
| A reaction: Hodges is not at all clear here, but the idea seems to be that model-theory offers a set of objects and rules, where the common usage offers a set of descriptions. Model-theory needs homomorphisms to connect models to things, |