FIL2405 – Filosofisk logikk og matematikkens filosofi
Beskrivelse av emnet
Kort om emnet
Emnets innhold kan variere fra gang til gang, men tar utgangspunkt i:
- logiske og filosofiske fordypninger av klassisk setnings- og predikatlogikk,
- logiske og filosofiske fordypninger i utvalgte ekstensjoner av/alternativer til slik klassisk logikk, eller
- 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.
Hva lærer du?
Etter bestått eksamen er det først og fremst forventet at du har
- tilegnet deg en dypere forståelse av hva logikk og/eller matematikk er
- tilegnet deg en dypere forståelse av hvordan formalisering som filosofisk metode fungerer og hva det kan brukes til, samt en dypere forståelse av de filosofiske og logiske og matematiske grunnbegrepene som har vært diskutert i emnet
- tilegnet deg nok forståelse av filosofisk logikk og/eller matematikkens filosofi til å lettere kunne fordype deg videre i dette på egen hånd.
Opptak til emnet
Studenter må hvert semester i Studentweb.
Dersom du ikke allerede har studieplass ved UiO, kan du søke opptak til våre , eller søke om å bli .
Anbefalte forkunnskaper
Det forutsettes kjennskap til elementær logikk tilsvarende pensum i EXFAC03-FIL – Examen facultatum, filosofivariant fra perioden høsten 2007 til høsten 2011 eller FIL1006 – Innføring i logikk eller tilsvarende.
Dersom du er i tvil om du har gode nok forkunnskaper anbefales det at du kontakter emneansvarlig lærer.
Overlappende emner
- 10 studiepoeng overlapp med FIL4405 – Filosofisk logikk og matematikkens filosofi.
- 10 studiepoeng overlapp med FIL4406 – Filosofisk logikk og matematikkens filosofi (nedlagt).
Undervisning
12 dobbelttimer som vil være en kombinasjon av seminar og forelesning. Det forventes aktiv deltakelse i form av diskusjoner og muntlige bidrag. Undervisningen er felles med studenter på masternivå som følger FIL4405.
Obligatoriske undervisningsaktiviteter:
- 4 obligatoriske innleveringer/oppgavesett
- et utkast til semesteroppgaven
- 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
En semesteroppgave på 6-8 sider (en normalside tilsvarer seg 2300 tegn), ikke inkludert litteraturliste. Oppgaven leveres i Inspera
Merk at godkjente obligatoriske aktiviteter er en forutsetning for å få avlegge eksamen.
For informasjon om vurdering av eksamensbesvarelsen(e), se Sensorveiledning V22
·¡°ì²õ²¹³¾±ð²Ô²õ²õ±è°ùÃ¥°ì
Eksamensoppgaven blir gitt på engelsk, og du skal besvare eksamenen på engelsk.
Karakterskala
Emnet bruker karakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen.
Mer om eksamen ved UiO
- Tilrettelegging på eksamen
- Trekk fra eksamen
- Syk på eksamen / utsatt eksamen
- Begrunnelse og klage
- Ta eksamen på nytt
- Fusk/forsøk på fusk
Andre veiledninger og ressurser finner du på fellessiden om eksamen ved UiO.