FIL2405 – Filosofisk logikk og matematikkens filosofi

Timeplan, pensum og eksamensdato

Velg semester

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 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, eller søke om å bli enkeltemnestudent.

Forkunnskaper

Anbefalte forkunnskaper

Det forutsettes kjennskap til elementær logikk tilsvarende pensum i EXFAC03-FIL – Exfac, 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.

Undervisning

1 dobbelttime seminarundervisning over 14 uker. For å kunne fremstille deg til eksamen må du ha gjennomført og fått godkjent følgende
obligatoriske undervisningsaktiviteter:

  • du må levere 9 av 11 korte ukentlige oppgaver.

Den obligatoriske aktiviteten er gyldige kun det semesteret den godkjennes for første gang. Godkjente obligatoriske aktiviteter er en forutsetning for å få avlegge eksamen.

Eksamen

4-timers avsluttende skoleeksamen.

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

Kildebruk og referanser

Ved oppgaveskriving plikter du å gjøre deg kjent med reglene for kildebruk og referanser. Ved brudd på reglene kan du bli mistenkt for fusk/forsøk på fusk. Se eksempel på hvordan du refererer riktig.

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.

Begrunnelse og klage

Adgang til ny eller utsatt eksamen

Tilrettelagt eksamen

Søknadskjema, krav og frist for tilrettelagt eksamen.

Evaluering av emnet

Vi gjennomfører fortløpende evaluering av emnet, og med jevne mellomrom ber vi studentene delta i en mer omfattende evaluering.

Fra og med våren 2010 publiseres alle rapporter fra periodisk evaluering av emner ved IFIKK samlet på instituttes studiekvalitetssider

Fakta om emnet

Studiepoeng

10

Nivå

Bachelor

Undervisning

Vår 2018

Høst 2016

Emnet tilbys uregelmessig, men stort sett minst hvert tredje semester.

Eksamen

Vår 2018

Høst 2016

Emnet tilbys uregelmessig, men stort sett minst hvert tredje semester.

Undervisningsspråk

Engelsk