@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} }