## Philosophy Lexicon of Arguments | |||

General validity: within a calculus a formula that is satisfied by any interpretation (variable assignment with expressions for objects) is valid. See also satisfaction, satisfiability, interpretation. | |||

Author | Item | Excerpt | Meta data |
---|---|---|---|

Quine, Willard Van Orman Books on Amazon |
Validity | VII 116 Validity/Quine: even validity and extension of predicates can be eliminated in favor of truth value tables - validity in the quantifier theory can be eliminated by proof theory. --- VII 161 Validity/Quine: sentences that are valid for a universe, are also valid for a small universe - except for an empty universe. - Therefore, laws for large universes also should consider possible smaller universes. - Test, whether theorems are also valid for empty universes: put all universal quantifiers as true and all existential quantifiers as false. --- X 77 Validity/valid/Quine: There are two definitions of validity, a) (so far) as a property of schemes that refer to insertion. b) uses the set theory: therefore two auxiliary terms: 1. Auxiliary term "set-theoretic analogue": a logical scheme, open sentence of set theory: instead of predications "Fx", "Fy", "Gx" etc., so we write "X ε a" y ε α "x ε β" etc. the values of the variable "α", "β" etc. are amounts. Two-digit predicate letters. For "Hxy" we use ordered pairs Existential quantification: E.g. (Ex)(Fx.Gx): Set-theoretic analogue: the open sentence "Ex(x ε α. x ε β)". N.B.: This sentence talks about quantities and allows quantification about them. E.g. "(α)". Scheme letters "F" etc. on the other hand, only predicates represent and are not variables that take values. Set-theoretic analogue/s.a.: while the scheme is only the logical form of sentences, the set-theoretic analogue is actually a sentence of this form. 2. Auxiliary term for the new definition of validity: 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 InZur 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**

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file

Ed. Martin Schulz, access date 2017-04-29