Philosophy Lexicon of Arguments

Author Item Excerpt Meta data
Quine, Willard Van Orman
Books on Amazon
Proxy Function VI 43
Proxy function/Quine: every explicit and reversibly unambiguous transformation f - E.g. if Px originally meant that x was a P, we therefore re-interpret Px so that it means that x is now f of a P -according for multi-digit predicates - the predicates then apply to the correlates fx instead to x - all sentences stay as they are - observation sentences remain correlated to the same stimuli - but the objects of the theory have changed dramatically - ((s) Example There is a Gödel number of x.)
VI 45
Ontology/Loewenheim/Proxy function/Quine: the different ontologies resulting from both are unambiguously correlatable - and as a whole empirically indistinguishable. - E.g. Tabhita: only Geach’s cat or cosmos minus cat - distinction: relativistic: by the role that one plays relatively around the other - even link to trained stimuli remains intact - the nodes where we assume the objects are neutral.
XI 145
Definition proxy function/Proxy function/Quine/Lauener: a function that assigns to each object of the original theory such a one from the new theory. - E.g. The Goedel number of - to reduce one theory to another. Proxy function/(s): maintains number of digits of the predicates (fulfillment of n-tuples of arguments by n-tuples of values). - Thus it averts the trivialization of a reduction to a theory of natural numbers (> Loewenheim).
XII 72
Proxy function/PF/Reduction/Quine: must not be reversibly unambiguous. - E.g. irreversible proxy function which reduces a theory of expressions and fractions: Expressions by Goedel numbers, fractions with diagonal process. - Then the same number can stand for a fraction or an expression. - That’s ok, because fractures and expressions are so different that the question of identity does not arise, therefore, the original theory does not benefit from the differences. -> multi-sorted logic - if, in contrast, all elements of the initial theory are distinguishable. (E.g. pure arithmetic of rational or real numbers) you need a reversibly unambiguous proxy function.
XII 74
Apparent class/Quine: given by open formula - E.g. proxy function can be construed as apparent class, if it is a function as an open formula with two free variables. - (> apparent quantification).

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

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file
Ed. Martin Schulz, access date 2017-04-26