Philosophy Dictionary of ArgumentsHome
| |||
|
| |||
| Abstraction-Operator: An abstraction operator in philosophy is a symbol or process used to isolate and represent a specific aspect or characteristic of an object or concept, while ignoring other details. It helps in focusing on essential features for analysis or discussion, aiding in clarity and precision in philosophical reasoning._____________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 |
|---|---|---|---|
|
Maxwell J. Cresswell on Abstraction-Operator - Dictionary of Arguments
I 128/9 Abstraction operator/Cresswell: basic law for him: ((λx) F (x)) (t) ↔ F (t) - to be an x such that F (x) is true iff t. F(t). t: any Term. - This applies to neo-Russellian language, but fails if F is an intensional predicate, because then we would have O((λx) Oφx)(s) ↔ OOφs. and the distinction would collapse. Solution/Stalnaker: Do not use descriptions as names. But treat them as close as possible. CresswellVsStalnaker: this will not always work because not all are real names. >Names, >Descriptions, >Abstraction, >Operators, >Lambda-abstraction, >Intensionality, >Intensions._____________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. |
Cr I M. J. Cresswell Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988 Cr II M. J. Cresswell Structured Meanings Cambridge Mass. 1984 |
||
> Counter arguments against Cresswell
> Counter arguments in relation to Abstraction-Operator
