Philosophie Lexikon der Argumente

Suche  
 
Abstraktion: Zusammenfassung von Gegenständen durch Nichtberücksichtigung gewisser Eigenschaften. Siehe auch Äquivalenzrelation, Konkretion, Konkreta.

_____________
Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.
 
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
I 286
Intensionale Abstraktion : "Hund sein", "Das Kuchenbacken", "Das Irren"
I 289 Klassenabstraktion zurückgeführt auf sing Kennzeichnungen: (iy)(x)(x aus y genau dann, wenn
..x..) - statt: x^(..x..)- geht nicht für intensionale Abstraktion
I 295
Abstraktion von Relationen, Propositionen und Eigenschaften: undurchsichtig (Planeten-Bsp)
I 322
Eigenschaftsabstraktion (Elimination) statt "a = x(..x..)" - neu: irreduzibler zweistelliger
Operator "0": "a0x (..x..)" - Variablen bleiben als einziges! - Vorangstellung 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 "e" nur vor einem Klassenabstraktionsterm vor und Klassen-Abstraktionsterme kommen nur nach "e" vor - die gesamte Kombination "y e {x: Fx}" reduziert sich nach einem Gesetz:
Konkretisierungsgesetz/Quine: reduziert "y e {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: ist gleichzeitig die Def Zutreffen/Relation: "z{xy: Fxy}w steht für "Fzw".
IX 52
Funktionenabstraktion/Lambdaoperator/Quine: 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: Gleichheitszeichen jetzt auch zwischen Variabler und Klassenabstraktion.
IX 181
Abstraktion/Ordnung/Quine: die Ordnung des abstrahierenden Ausdrucks darf nicht kleiner als die der freien Variablen sein.

_____________
Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders.

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

> Gegenargumente gegen Quine
> Gegenargumente zu Abstraktion



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 23.06.2017