Definitions
Sorry, no definitions found. Check out and contribute to the discussion of this word!
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word model-theoretic.
Examples
-
Insofar as they follow Boole, modern textbooks of logic establish that English arguments are valid by reducing them to model-theoretic consequences.
Model Theory Hodges, Wilfrid 2009
-
Several philosophers of science have pursued the idea of using an informal version of model-theoretic models for scientific modelling.
Model Theory Hodges, Wilfrid 2009
-
Since the class of model-theoretic consequences, at least in first-order logic, has none of the vaguenesses of the old argument forms, textbooks of logic in this style have long since ceased to have a chapter on fallacies.
Model Theory Hodges, Wilfrid 2009
-
For instance the model-theoretic consequence relation for some logics of time presupposes some facts about the physical structure of time.
Model Theory Hodges, Wilfrid 2009
-
Another way of saying that I is a model of S is to say that S is true in I, and so we have the notion of model-theoretic truth, which is truth in a particular interpretation.
Model Theory Hodges, Wilfrid 2009
-
But realistic examples of reductions between scientific theories seem generally to be much subtler than this simple-minded model-theoretic idea will allow.
Model Theory Hodges, Wilfrid 2009
-
The second, by Philip Johnson-Laird, is largely about reasoning, and makes several appeals to ˜model-theoretic semantics™ in our sense.
Model Theory Hodges, Wilfrid 2009
-
(This is probably the best interpretation of the term "model-theoretic expectations" that Frydman and I sometimes used.)
-
On the other hand if your English argument translates into an invalid model-theoretic consequence, a counterexample to the consequence may well give clues about how you can describe a situation that would make the premises of your argument true and the conclusion false.
Model Theory Hodges, Wilfrid 2009
-
The model-theoretic account that we now take as a correct description of this line of work seems to have surfaced first in the group around Giuseppe Peano in the 1890s, and it reached the English-speaking world through Bertrand Russell's Principles of Mathematics in
Model Theory Hodges, Wilfrid 2009
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.