@misc{Lexikon der Argumente,
title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 28 Mar 2024},
author = {Cresswell,Maxwell J.},
subject = {Abstraktionsoperator},
note = {I 128/9
Abstraktions-Operator/Cresswell: grundlegendes Gesetz für den Abstraktionsoperator:
((λx)F(x))(t) ↔ F(t)
ein x zu sein, so dass F(x) wahr ist von t gdw. F(t).
t: irgendein Term.
Das gilt für Neo-Russellsche Sprache, schlägt hier aber fehl, wenn F ein intensionales Prädikat ist, denn dann hätten wir
O((λx)Ofx)(s) ↔ OOfs,
und die Unterscheidung bräche zusammen.
Lösung/Stalnaker: Wir dürfen Kennzeichnungen nicht durchweg als Namen behandeln. - Aber möglichst nahe behandeln.
CresswellVsStalnaker: Das geht nicht immer, weil nicht alle echte Namen sind.
>Namen, >Kennzeichnungen, >Abstraktion, >Operatoren, >Lambda-Abstraktion, >Intensionalität, >Intensionen.},
note = {M.J. Cresswell
Hughes I G.E. Hughes M.J.Cresswell
Einführung in die Modallogik Berlin New York 1978
I Cresswell Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988
II Cresswell Structured Meanings Die Semantik propositionaler Einstellungen 1984 Cambridge Maß, MIT Press Bradford Books
},
file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=197930}
url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=197930}
}