Philosophy Lexicon of Arguments

Author Item Excerpt Meta data
Quine, Willard Van Orman
Books on Amazon
Stronger/weaker IX 237ff
Stronger/weaker/theory/system/Quine: Problem: Comparability: it fails if both of the two systems have theorems that cannot be found in the other - it also depends on contingencies of interpretation and not on structure - if we can interpret the primitive logic characters (only "ε" in set theory) new so that we can ensure that all theorems of this system are made to translations of the theorems of the other system, then the latter system is at least as strong as the other. - If this is not possible in the other direction, one system is stronger than the other one. - Definition "ordinal strength"/set theory: numerical measure: the smallest transfinite ordinal number whose existence you cannot prove anymore in the system. - The smallest transfinite number after blocking of the apparatus shows how strong the apparatus was. - Relative strength/proof theory: Goedel incompleteness sentence: since the number theory can be developed in set theory, this means that the class of all theorems (in reality all Goedel numbers of theorems) of a present set theory can be defined in this same set theory, and different things can be proven about them - one can produce an endless series of further based on a arbitrary set theory, of which each in the proof-theoretic sense is stronger than its predecessors, and which is consistent when its predecessors were. - One must only add via Goedel numbering a new arithmetic axiom of the content so that the previous axioms are consistent. - Ordinal strength: is the richness of the universe.
X 71
Metalanguage/Set Theory/Quine: in the metalanguage a stronger set theory is possible than in the object language. In the metalanguage a set of z is possible so that satisfaction relation z applies. - ((s) A set that is the fulfillment relation (in form of a set of arranged pairs) - not in the object language, otherwise Grelling paradox.

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

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

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

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

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

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

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

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

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

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

> Counter arguments against Quine

back to list view | > Suggest your own contribution | > Suggest a correction
Ed. Martin Schulz, access date 2017-03-28