Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data

 
Books on Amazon
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).

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



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