Modallogik E2018

Bøger henvist til:

FOML First-Order Modal Logic. Fitting and Mendelsohn. Kluwer. 1998.

ML Modal Logic. Blackburn, de Rijke and Venema. Cambridge UP. 2001.

Gamut Logic, Language and Meaning – Volume 2 Intensional Logic and Logical
Grammar. L. T. F. Gamut. Chicago UP. 1991.

MEL Moderne Elementær Logik. Hendricks and Pedersen. 2nd ed. Automatic
Press / VIP. 2011.

MP More Precisely: The Math You Need to do Philosophy. E. Steinhart.

Broadview. 2009.

Plan:

Uge 38 Introduktion: Fra udsagnslogik til modallogik.

Hvad er modaliter, logikker og mængder?
Læsning: MP 1.1–1.12. MEL 2.1–2.2 (særligt s. 25–27). MEL s. 267–
270. FOML 1.0–1.5. Evt.: Gamut, kap. 1.

Uge 39 Possible worlds semantics.

Kripke-modeller, tilfredshed og validitet. Relationskriterier.
Læsning: Gamut s. 16–28. FOML 1.6–1.8. MEL s. 271–278. MP
1.17–2.3.

Uge 40 Logikker: Fra semantik, fra træer og fra aksiomsystemer.

Læsning: MEL 3.7, 3.8, Sætning 3.5 (s. 121). FOML 2.0–2.3, 3.1–3.2.
ML 1.6. Evt.: Resten af FOML kap. 2 samt Gamut 2.3.3.

Uge 41 Onsdag: Patrick Blackburn.

Uge 42 Efterårsferie.

1
Uge 43 til uge 48: Ikke planlagt i detaljer pt., men jeg tænker at vi kunne se på
konditionaler (læsning: SEP) som opvarmning til Vincent, der kommer
og taler om truth tracking a la Nozick, om deontisk logik (læsning: dis-
tribuerbart håndbogskapitel), og noget om kvantificeret modallogik,
inkl. rigide designatorer og Barcan-formler (læsning FOML). Vi får
endvidere besøg af Thomas Bolander (DTU) i denne periode, og mit
gæt er at han vil tale om doxastisk/epistemisk logik og theory of mind.