FIL2405 ¨C Filosofisk logikk og matematikkens filosofi

Kort om emnet

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.

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 s?ke og f? plass p? undervisningen og melde seg til eksamen i Studentweb.

Dersom du ikke allerede har studieplass ved UiO, kan du s?ke opptak til v?re studieprogrammer, eller s?ke om ? bli enkeltemnestudent.

Anbefalte forkunnskaper

Det forutsettes kjennskap til element?r logikk tilsvarende pensum i EXFAC03-FIL ¨C Examen facultatum, filosofivariant fra perioden h?sten 2007 til h?sten 2011 eller FIL1006 ¨C 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 ¨C Filosofisk logikk og matematikkens filosofi.
• 10 studiepoeng overlapp med FIL4406 ¨C 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

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
• 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.