@misc{Lexikon der Argumente,
title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 29 Mar 2024},
author = {Bigelow,John},
subject = {Regeln},
note = {I 98
Regeln/Zusammensetzung/Zusammensetzungsregeln/Syntax/Bigelow/Pargetter: ...man kann auch den anderen Weg gehen, und die Regeln vereinfachen wollen. Das macht die
λ-kategoriale Sprache/Lambda-Kalkül/Lambda-Notation/Lambda-Abstraktion/Bigelow/Pargetter: ((siehe auch Cresswell I und II. sowie Montague).
>Lambda-Abstraktion, >Lambda-Kalkül, >M.J. Cresswell, >R. Montague.
Bsp: Negation: ihr kann man verblüffenderweise einen Referenten zuordnen, und sie so aus den Regeln heraushalten.
>Referenz, >Negation, >Regeln.
I 99
Vs: Wir haben dann eine weitere referentielle Schicht in der Theorie.
Bsp
Negation: können wir ein mengentheoretisches Symbol zuordnen, das den Wert „wahr“ bzw. „falsch“ abbildet.
((s) Wahrheitswerte/Frege/(s): ordnet der Negation einen Referenten, ein “Ding” zu: “das
Falsche”.)
>Wahrheitswerte, >Wahrheitswerte/Frege.
Bigelow/Pargetter: Dann haben wir eine Bewertungsfunktion die einem Symbol a den semantischen Wert (oder Referenten) V(a) zuschreibt.
1: sei „wahr“
0: sei „falsch“. +
Def semantischer Wert: (der Negation V(a)) ist dann die Funktion ω ~, so dass
ω~ (1) = 0 ω ~ (0) = 1
entsprechend für zusammengesetzte Ausdrücke (innere/äußere Negation, Konjunktion usw.)
>Innere Negation.},
note = {Bigelow, John
I John Bigelow, Robert Pargetter
Science and Necessity Cambridge University Press 1990
},
file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=864244}
url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=864244}
}