I 289
Class abst">

Psychology Dictionary of Arguments

Home Screenshot Tabelle Begriffe

 
Abstraction: Subsumption of objects by non-consideration of certain properties. See also equivalence relation, concretion, concreta, indiscernibility.
_____________
Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments.

 
Author Concept Summary/Quotes Sources

W.V.O. Quine on Abstraction - Dictionary of Arguments

I 286
Intensional abstraction means "the act of being a dog", "the act of baking a cake", "the act of erring".
I 289
Class abstraction re-traced to singular descriptions: (iy)(x)(x from y iff
..x..) - instead of: x^(..x..) - is not possible for intensional abstraction.
I 295
Abstraction of relations, propositions and properties is opaque (E.g. of the planet).
I 322
Property abstraction (elimination) instead of "a = x(..x..)". New is the irreducible two-digit Operator "0": "a0x(..x..)". Variables are the only thing that remains. The pronoun has primacy.
IX 12ff
Class Abstraction/Quine: class abstraction "{x:Fx}" refers to "the class of all objects x with Fx". In the eliminable combination that we have in mind "ε" appears only in front of a class abstraction term and class abstraction terms appear only after "ε". The whole combination "y ε {x: Fx}" is then reduced according to a law:
Concretization Law/Quine: reduces "y ε {x: Fx}" to "Fy".
Existence/Ontology: thus no indication remains that such a thing as the class {x:Fx} exists at all.
Introduction: it would be a mistake, e.g. to write "*(Fx)" for "x = 1 and EyFy". Because it would be wrong to conclude "*(F0) *(F1)" from "F0 F1". Therefore we have to mistrust our definition 2.1 which has "Fx" in the definiendum, but does not have it in the definiens.
IX 16
Relations Abstraction/Relation Abstraction/Quine: "{xy:Fxy}" is to represent the relationship of a certain x to a certain y such that Fxy.
Relation/Correctness/Quine: parallel to the element relationship there is the concept of correctness for relations. Definition concretization law for relations/Quine: is also the definition correctness/relation: "z{xy: Fxy}w stands for "Fzw".
IX 52
Function Abstraction/lambda operator/Quine: before terms one must generate terms (expressions). (Frege/Church: is here also valid of statements and thus a second time class abstraction, but both group statements are under terms and classes under functions (QuineVsFrege,QuineVsChurch).
Definition lambda operator/Quine: if "...x..." contains x as a free variable, λx (...x...) is that function whose value is ...x... for each argument x - therefore λx(x²) the function "the "square of" - general: "λx(...x...)" stands for "{ : y = ...x...}" - identity: λx x{: y = x } = λ. - λx {z: Fxy} = {: y = {z: Fxz}} -. "λx a" stands for "{: y = a}". The equal sign now stands between variable and a class abstraction term.
IX 181
Abstraction/Order/Quine: the order of the abstracting expression must not be less than that of the free variables.


_____________
Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments
The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.

Quine I
W.V.O. Quine
Word and Object, Cambridge/MA 1960
German Edition:
Wort und Gegenstand Stuttgart 1980

Quine II
W.V.O. Quine
Theories and Things, Cambridge/MA 1986
German Edition:
Theorien und Dinge Frankfurt 1985

Quine III
W.V.O. Quine
Methods of Logic, 4th edition Cambridge/MA 1982
German Edition:
Grundzüge der Logik Frankfurt 1978

Quine V
W.V.O. Quine
The Roots of Reference, La Salle/Illinois 1974
German Edition:
Die Wurzeln der Referenz Frankfurt 1989

Quine VI
W.V.O. Quine
Pursuit of Truth, Cambridge/MA 1992
German Edition:
Unterwegs zur Wahrheit Paderborn 1995

Quine VII
W.V.O. Quine
From a logical point of view Cambridge, Mass. 1953

Quine VII (a)
W. V. A. Quine
On what there is
In
From a Logical Point of View, , Cambridge, MA 1953

Quine VII (b)
W. V. A. Quine
Two dogmas of empiricism
In
From a Logical Point of View, , Cambridge, MA 1953

Quine VII (c)
W. V. A. Quine
The problem of meaning in linguistics
In
From a Logical Point of View, , Cambridge, MA 1953

Quine VII (d)
W. V. A. Quine
Identity, ostension and hypostasis
In
From a Logical Point of View, , Cambridge, MA 1953

Quine VII (e)
W. V. A. Quine
New foundations for mathematical logic
In
From a Logical Point of View, , Cambridge, MA 1953

Quine VII (f)
W. V. A. Quine
Logic and the reification of universals
In
From a Logical Point of View, , Cambridge, MA 1953

Quine VII (g)
W. V. A. Quine
Notes on the theory of reference
In
From a Logical Point of View, , Cambridge, MA 1953

Quine VII (h)
W. V. A. Quine
Reference and modality
In
From a Logical Point of View, , Cambridge, MA 1953

Quine VII (i)
W. V. A. Quine
Meaning and existential inference
In
From a Logical Point of View, , Cambridge, MA 1953

Quine VIII
W.V.O. Quine
Designation and Existence, in: The Journal of Philosophy 36 (1939)
German Edition:
Bezeichnung und Referenz
In
Zur Philosophie der idealen Sprache, J. Sinnreich (Hg), München 1982

Quine IX
W.V.O. Quine
Set Theory and its Logic, Cambridge/MA 1963
German Edition:
Mengenlehre und ihre Logik Wiesbaden 1967

Quine X
W.V.O. Quine
The Philosophy of Logic, Cambridge/MA 1970, 1986
German Edition:
Philosophie der Logik Bamberg 2005

Quine XII
W.V.O. Quine
Ontological Relativity and Other Essays, New York 1969
German Edition:
Ontologische Relativität Frankfurt 2003

Quine XIII
Willard Van Orman Quine
Quiddities Cambridge/London 1987


Send Link
> Counter arguments against Quine
> Counter arguments in relation to Abstraction

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Concepts A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z