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 210
Models/QuineVsKripke: they enable proof of consistency, but no clear interpretation - when are objects identical? -Bischof Buttler ("no other thing"): identity does not follow necessarily.
---
IX 223
Model: exists where contradictions cannot be deduced.
---
X 77
Model/Quine: of a scheme: is a quantity-n-tuple: a set corresponds to each schema letters (for predicates), at the beginning of the n-tuple is a non-empty set U, the universal set or the range of values ​​of the variables x, y, etc. the remaining sets of the model are the values ​​of the set variables a, b, etc. Fulfillment: a model fulfills a scheme, if its set-theoretic analogue (sentence) is true -" X 78 E.g. a Model.

Q I
W.V.O. Quine
Wort und Gegenstand Stuttgart 1980

Q II
W.V.O. Quine
Theorien und Dinge Frankfurt 1985

Q III
W.V.O. Quine
Grundzüge der Logik Frankfurt 1978

Q IX
W.V.O. Quine
Mengenlehre und ihre Logik Wiesbaden 1967

Q V
W.V.O. Quine
Die Wurzeln der Referenz Frankfurt 1989

Q VI
W.V.O. Quine
Unterwegs zur Wahrheit Paderborn 1995

Q VII
W.V.O. Quine
From a logical point of view Cambridge, Mass. 1953

Q VIII
W.V.O. Quine
Bezeichnung und Referenz
In
Zur Philosophie der idealen Sprache, J. Sinnreich (Hg), München 1982

Q X
W.V.O. Quine
Philosophie der Logik Bamberg 2005

Q XII
W.V.O. Quine
Ontologische Relativität Frankfurt 2003


> Counter arguments against Quine
> Counter arguments in relation to Models



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