FIL4405 – Filosofisk logikk og matematikkens filosofi

Emnets innhold kan variere fra gang til gang, men tar utgangspunkt i:

1. logiske og filosofiske fordypninger av klassisk setnings- og predikatlogikk,
2. logiske og filosofiske fordypninger i utvalgte ekstensjoner av/alternativer til slik klassisk logikk, eller
3. sentrale spørsmål innen matematikkens filosofi.

Eksempler på fordypning i klassisk logikk kan være meta-bevis som for eksempel sunnhets- og kompletthetsbeviset, deduksjonsteoremet, osv.

Eksempler på fordypning i ekstensjoner av/alternativer til klassisk logikk kan være Gödel’s ufullstendighetsbevis, forskjellige systemer av modal logikk (for eksempel K, T, S4, S5), og videre tolkninger i form av deontisk logikk, temporal logikk, eller doksastisk logikk.Andre eksempler på fordypning kan være innenfor identitetsteori, kvantifikasjonsteori, modellteori, mengdelære, andre-ordens logikk, logisk konsekvensteori, kondisjonaler, kontrafaktiske kondisjonaler, intuisjonistisk logikk, relevanslogikk, og diverse logiske paradokser som Russell’s Paradoks, Løgnerparadokset, osv.

Eksempler på fordypning i matematikkens filosofi kan være matematisk kunnskap, matematiske objekter, sannhet i matematikken og matematikkens anvendbarhet.

Når du har gjennomført emnet vil du ha

• tilegnet deg en grundig forståelse av hva logikk og/eller matematikk er
• tilegnet deg en grundig forståelse av de viktigste filosofiske spørsmålene som oppstår i forbindelse med en eller begge av disse formalvitenskapene, samt en evne til å tenke selvstendig om hvordan disse spørsmålene bør besvares

Bestått eksamen i emnet vil og gjøre deg i stand til å forstå og orientere deg i faglitteraturen på dette feltet.

Studenter med studierett på program må hvert semester søke og få plass på undervisningen og melde seg til eksamen i Studentweb.

Studenter tatt opp til andre masterprogrammer, kan etter søknad få adgang til emnet hvis dette er klarert med eget program.

Dersom du ikke allerede har studieplass ved UiO, kan du søke om opptak til våre studieprogrammer.

Forutsetter opptak til masterprogrammet i filosofi.

12 dobbelttimer med kombinerte forelesninger og seminarer. Det forventes aktiv deltakelse i form av diskusjoner og muntlige bidrag. Undervisningen er felles med studenter på bachelor som følger FIL2405.

Obligatoriske undervisningsaktiviteter:

• du må sende inn et spørsmål i tilknytning til ukas relevante pensumtekst(er) minst 9 av 12 ganger
• du må levere et utkast til eksamensessayet
• du må holde et muntlig fremlegg i forbindelse med seminarundervisningen

De obligatoriske aktivitetene er gyldige kun det semesteret de gjennomføres. Godkjente obligatoriske aktiviteter er en forutsetning for å få avlegge eksamen.

Slik søker du om gyldig fravær fra undervisningen / utsettelse av obligatorisk aktivitet.

Eksamen består av to deler; et essay på ca 5 sider (en normalside tilsvarer ca 2300 tegn), ikke inkludert litteraturliste, og en 2-timers skoleeksamen. Essayet vektes 40% mens skoleeksamen vektes 60%.

Merk at godkjente obligatoriske aktiviteter er en forutsetning for å få avlegge eksamen.