## 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). |
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-26