@misc{Lexikon der Argumente,
title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 29 Mar 2024},
author = {Bigelow,John},
subject = {Lambda-Kalkül},
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/Lambda-Kalkül/Lambda-Notation/Lambda-Abstraktion/Bigelow/Pargetter: ((siehe auch Cresswell I und II. sowie Montague).
>Lambda-Abstraktion/Cresswell, >R. Montague.
Bsp: Negation: ihr kann man verblüffenderweise einen Referenten zuordnen, und sie so aus den Regeln heraushalten:
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) Wahrheitswert/Frege/(s): ordnet der Negation einen Referenten, ein “Ding” zu: “das
Falsche”.)
>Wahrheitswerte, >Existenz, >Gegenstände, >Referenz, >Mengenlehre.
Bigelow/Pargetter: Dann haben wir eine Bewertungsfunktion die einem Symbol a den semantischen Wert (oder Referenten) V(a) zuschreibt.
>Bewertung.
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.)
>Semantischer Wert, >Äußere Negation, >Negation, >Konjunktion.
I 100
Lambda-kategoriale Sprache/λ/Lambda/Regeln/Bigelow/Pargetter: Solche Sprachen haben extrem wenig Zusammensetzungsregeln.
Dafür haben wir mehr referierende Symbole.
>Regeln, >Symbole.
Realismus: Der Realismus würde dies als ontologisch ehrlich bezeichnen.
>Realismus.
Semantik/Bigelow/Pargetter: Aber der Realist muss sich gar nicht auf eine Semantik anstelle einer anderen festlegen. Die Semantik entscheidet nicht über die Ontologie.
>Semantik, >Ontologie.},
note = {Bigelow, John
I John Bigelow, Robert Pargetter
Science and Necessity Cambridge University Press 1990
},
file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=864075}
url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=864075}
}