@misc{Lexikon der Argumente,
title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 28 Mar 2024},
author = {Quine,W.V.O.},
subject = {Abstraktion},
note = {I 286
Intensionale Abstraktion/Quine: Bsp "Hund sein", "Das Kuchenbacken", "Das Irren".
I 289
Klassenabstraktion zurückgeführt auf singuläre Kennzeichnungen: (iy)(x)(x aus y genau dann, wenn
..x..). Statt: x^(..x..). Dies geht nicht für intensionale Abstraktion.
I 295
Abstraktion von Relationen, Propositionen und Eigenschaften: sind undurchsichtig (Planeten-Bsp).
I 322
Eigenschaftsabstraktion (Elimination) statt "a = x(..x..)". Neu: ist irreduzibler zweistelliger
Operator "0": "a0x (..x..)". Die Variablen bleiben als Einziges! Vorrangstellung des Pronomens.
IX 12ff
Klassenabstraktion/Quine: "{x: Fx}" bezeichnet die Klasse aller Objekte x mit Fx. In der eliminierbaren Kombination, die wir im Sinn haben, kommt "ε" nur vor einem Klassenabstraktionsterm vor und Klassenabstraktionsterme kommen nur nach "ε" vor. Die gesamte Kombination "y ε {x: Fx}" reduziert sich nach einem Gesetz:
Konkretisierungsgesetz/Quine: das Konkretisierungsgesetz reduziert "y ε {x: Fx}" auf "Fy". Existenz/Ontologie: damit bleibt kein Hinweis, dass ein solches Ding, wie die Klasse {x:Fx} überhaupt existiert.
Einführung: es wäre ein Fehler, Bsp "*(Fx)" für "x = 1 u EyFy" zu schreiben. Denn es wäre falsch, "*(F0) *(F1)" aus "F0 F1" zu schließen. Daher müssen wir unserer Definition 2.1 misstrauen, die "Fx" im Definiendum, aber nicht im Definiens aufweist.
IX 16
Relationenabstraktion/Relationsabstraktion/Quine: "{xy:Fxy}" soll die Beziehung eines gewissen x zu einem gewissen y derart, dass Fxy darstellen. Relation/Zutreffen/Quine: parallel zur Elementbeziehung gibt es für Relationen den Begriff des Zutreffens.
Def Konkretisierungsgesetz für Relationen/Quine: das Konkretisierungsgesetz für Relationen ist gleichzeitig die Def Zutreffen/Relation: "z{xy: Fxy}w steht für "Fzw". >Relationen/Quine.
IX 52
Funktionenabstraktion/Lambdaoperator/Quine: Funktionenabstraktion/Lambdaoperator vor Terme, erzeugt Terme (Ausdrücke). (Frege/Church: hier auch von Aussagen, damit ein zweites Mal Klassenabstraktion, aber bei den beiden werden Aussagen unter Terme und Klassen unter Funktionen subsumiert.) (QuineVsFrege, QuineVsChurch). Def Lambdaoperator/Quine: wenn "...x..." x als freie Variable enthält, so ist λx (...x...) diejenige Funktion, deren Wert für jedes Argument x gleich ...x... ist. Also ist λx (x²) die Funktion "Quadrat von". Allgemein: "λx (...x...)" steht für "{‹x,y›: y = ...x...}". Identität: λx x {‹x,y›: y = x } = I. - λx {z: Fxy} = {‹x,y›: y = {z : Fxz}}. - "λx a" steht für "{‹x,y›: y = a}"- Neu: das Gleichheitszeichen steht jetzt auch zwischen Variable und Klassenabstraktion.
IX 181
Abstraktion/Ordnung/Quine: die Ordnung des abstrahierenden Ausdrucks darf nicht kleiner als die der freien Variablen sein. >Variablen/Quine.},
note = {W.V.O. Quine
I Quine Wort und Gegenstand Stuttgart 1980, Reclam
II Quine Theorien und Dinge Frankfurt/M 1985, Suhrkamp
III Quine Grundzüge der Logik Frankfurt/M 1978
IV Oliver R. Scholz "Quine" aus Hügli (Hrsg) Philosophie im 20. Jahrh., Reinbek 1993
V Quine Wurzeln der Referenz Frankfurt 1989
VI Quine Unterwegs zur Wahrheit Paderborn 1995, Schöningh
VII Quine From a logical point of view Cambridge 1953
IX Quine Mengenlehre und ihre Logik 1967, Vieweg
X Quine Philosophie der Logik Bamberg 2005
XI Henri Lauener Quine München 1982
XII Quine Ontologische Relativität, Frankfurt/M. 2003
Sprechen über Gegenstände,
Naturalisierte Erkenntnistheorie
},
file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=197869}
url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=197869}
}