FIL4405 – 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?
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.
Opptak til emnet
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.
Anbefalte forkunnskaper
FIL1006 - Innf?ring i logikk eller tilsvarende
Overlappende emner
- 10 studiepoeng overlapp med FIL4406 – Filosofisk logikk og matematikkens filosofi (nedlagt).
- 10 studiepoeng overlapp med FIL2405 – Filosofisk logikk og matematikkens filosofi.
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? bachelorniv? som f?lger FIL2405.
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 godkjennes for f?rste gang. 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
Eksamensspr?k
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
- Kildebruk og referanser
- Hvordan bruke KI som student
- 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.