Philosophy Lexicon of Arguments

Domain: In model theory a set of defined objects, for which a model is satisfiable. In logic a set of objects that can be related to statements.
Author Item Excerpt Meta data

Books on Amazon
Re III 57
Substitution criterion / Vssubstitution criterion / VsBolzano: leads to absurd results: because it declares certain invalid inferences for valid - e.g. "there are at least two things." It is not a matter of logic, that there are at least two things - one can just as well say "there are two things, so there are 76 things" - solution / Tarski: establish a domain - then "there are at least 2 things" might be falsified and is not a logical truth any more.
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

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