Philosophy Lexicon of Arguments

Search  
 
Models, philosophy, logic: A model is obtained when a logical formula provides true statements by inserting objects instead of the free variables. One problem is the exclusion of unintended models. See also model theory.
 
Author Item Excerpt Meta data

 
Books on Amazon
II 255
Model / Hoyningen-Huene: a model of a formula P is a valuation that assigns the truth value t of P - satisfaction: those valuations that assign t to a formula P satisfy the formula.
Logic Texts
Me I Albert Menne Folgerichtig Denken Darmstadt 1988
HH II Hoyningen-Huene Formale Logik, Stuttgart 1998
Re III Stephen Read Philosophie der Logik Hamburg 1997
Sal IV Wesley C. Salmon Logik Stuttgart 1983
Sai V R.M.Sainsbury Paradoxien Stuttgart 2001


> Counter arguments in relation to Models



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
 
Ed. Martin Schulz, access date 2017-05-27