Jeg lovte ? komme med ¡­

Jeg lovte ? komme med forslag til lesing fram til p?ske. Jeg har delt lesingen opp i fire uker.

Uke 1: L?ringsm?l - bruke og forst? analysetr?r for modal logikkene i kap 1. Som sagt er dette kjernen i kurset. Dere m? for det f?rste kunne analysere de modal logiske setningene som er i kapitlet. Dette er rimelig kurant, men m? gj?res. Deretter er det ? skj?nne kompletthet og avgj?rbarhet av logikkene. Til kompletthet er det interessant ? reflektere over de to delene. Spesielt se hvordan en fra en falsifikasjon av en setning, f?r en falsifikasjon som en del av et analysetr?r. (her er det et gap - en falsifikasjon kan v?re hva som helst, en falsifikasjon i et analysetre er en spesiell syntaktisk konstruksjon.) Videre ser en etter at de to delene av kompletthetsteoremet bruker forskjellige former for induksjon (over analyseprosessen versus over oppbyggingen av formler)

Uke 2: L?ringsm?l - gitt en Kripkemodell, lag en modallogisk setning som "lager" modellen. Dette vil gi dere eksempler p? hvordan en kan bruke modal logikk til ? "beskrive" tr?r.

Uke 3: L?ringsm?l - skj?nne kompleksitet knytttet til OR-tr?r og ANDOR-tr?r. Dette er bakgrunnsstoff som kommer inn her - og mange andre steder.

Uke 4: L?ringsm?l - skj?nne Hilbert-Frege formalismer av modal logikk. Analysetr?rne er en variant av Gentzens formalismer. Dere skal se p? overgangen mellom disse to typer formalismer.