FIL4406 – Filosofisk logikk og matematikkens filosofi
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 og adgangsregulering
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.
Forutsetter opptak til masterprogrammet i filosofi.
V?r oppmerksom p? at 30-poengsvariantene av masteremnene i filosofi kun er ?pne for studenter som skriver Mastergradsessay, FIL4091, istedenfor Masteroppgave, FIL4090, og derfor trenger ytterligere 30 studiepoeng. Se programsidene for mer informasjon om programmets oppbygging.
Overlappende emner
- 10 studiepoeng overlapp mot FIL2405 – Filosofisk logikk og matematikkens filosofi
- 10 studiepoeng overlapp mot FIL4405 – Filosofisk logikk og matematikkens filosofi
Undervisning
14 dobbelttimer som vil v?re en kombinasjon av seminar og forelesning. Undervisningen er felles med studenter p? bachelorniv? som f?lger FIL2405.
Obligatoriske aktiviteter:
- én obligatorisk aktivitet i form av et muntlig fremlegg Aktiviteten bed?mmes til godkjent/ikke godkjent og er gyldig kun i ett semester.
Godkjent obligatorisk aktivitet er en forutsetning for ? kunne f? avlegge eksamen. Det forventes for ?vrig aktiv deltakelse i form av diskusjoner og muntlige bidrag.
Eksamen
Essay p? 25-50 sider à 2.300 tegn ikke medregnet litteraturliste. Valg av tema skjer i samr?d med fagl?rer. Semesteroppgaven skal du levere i Fronter.
N?r du skriver semesteroppgave, har du krav p? individuell veiledning fra l?rer. En forutsetning for dette er at du leverer et utkast til semesteroppgaven. Det forutsettes at utkastet tilfredsstiller visse minimumskrav. N?rmere opplysninger om veiledning og innlevering av utkast blir gitt av fagl?rer i forbindelse med undervisningen. Din rett til veiledning bortfaller dersom du ikke leverer utkast innen fastsatt frist, eller dersom utkastet ikke tilfredsstiller de fastsatte minimumskrav.
Karakterskala
Emnet bruker karakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen.
Begrunnelse og klage
Adgang til ny eller utsatt eksamen
Tilrettelagt eksamen
S?knadskjema, krav og frist for tilrettelagt eksamen.
Evaluering av emnet
Tilbakemelding fra studentene v?re er avgj?rende for at vi skal kunne tilby best mulige emner og studieprogrammer. Vi gjennomf?rer fortl?pende evaluering av dette emnet, og med jevne mellomrom ber vi studentene delta i en mer omfattende, periodisk evaluering av emnet.
Alle rapporter fra periodisk evaluering av emner ved IFIKK publiseres samlet p? instituttets studiekvalitetssider