Semantik und Extension

Hallo nochmals,

habe mir das eben kurz angesehen; bin im Moment zu faul und zu wenig an der Sache interessiert, um mich in das Verständnis eures Seminars von "Normalform" einzulesen.
Ich erinnere mich nur noch an Lambda-Konversion, nicht aber an Beta-Reduktion.

Als ich mich mit intensionaler Typentheorie befasste, galt als hilfreich:
Horst Lohnstein: "Formale Semantik und natürliche Sprache"

Für mich am spannendsten und didaktisch am besten war:
L.T.F Gamut : "Logic, Language, and Meaning", Band 2

So weit erst mal ...


Oh, ich sehe gerade: GAMUT ist im Netz: https://www.phil-fak.uni-duesseldorf.de/...amut_2.PDF

Nochmals zur Typentheorie:
Sie interessiert mich eigentlich zurzeit gar nicht, denn meines Wissens beruht sie immer noch auf dem alten Russell'schen Vorschlag zur Vermeidung der nach ihm benannten Antinomie. Und dazu gibt es längst andere Vorschläge, die Mengen zulassen, die sich selbst enthalten (Barwise/Moss "Vicious Circles").
Ähnlich der Liar ("ich lüge jetzt"), zu dem Barwise und Etchemendy einen situationssemantischen Vorschlag machten.

Der Kompositionalität sollte Semantik dennoch gerecht werden. Einen situatonssemantischen Vorschlag dazu gibt es, wenn ich mich richtig erinnere, von Robin Cooper.
Doch ich nehme mir nun erst mal - reichlich spät - den Liar von Barwise/Etchemendy vor.

Das nur dazu, dass ich einfach keine Lust habe, mich in technische Raffitücken in der Montague-Tradition einzulesen. An der Uni gehört das sicher zur technischen Schulung; und das ist wohl OK, bevor man sich alles im Dunst des Kognitiven auflösen lässt ...

(16.01.2018, 21:10:42)kunnukun schrieb: Ich erinnere mich nur noch an Lambda-Konversion, nicht aber an Beta-Reduktion.

Beta-Konversion ist nichts anderes als Applikation

lx (α(x))  (b)  =   α (b)

?


So auch bei Cooper in seiner didaktisch netten Fassung

A Working Person's Guide to Situation Theory

(S. 7)

Nun ist er emeritiert, und schon ist der Text nicht mehr ganz leicht verfügbar. Aber auf Umwegen hier: https://www.researchgate.net/publication...ion_Theory