model-theoretic love

model-theoretic

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.)

    Edmund S. Phelps - Autobiography 2007

  • 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.