FIL2405 - Filosofisk logikk

Kort om emnet

Emnets innhold kan variere fra gang til gang, men tar utgangspunkt i enten logiske og filosofiske fordypninger av klassisk setnings- og predikatlogikk, eller logiske og filosofiske fordypninger i utvalgte ekstensjoner av/alternativer til slik klassisk logikk. 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.

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 er, hvordan formalisering som filosofisk metode fungerer og hva det kan brukes til, samt har tilegnet deg en dypere forståelse av de filosofiske og logiske grunnbegrepene som har vært diskutert i emnet. Det er også forventet at du har tilegnet deg nok forståelse av logikk og dets filosofiske bakgrunn til å lettere kunne fordype deg videre i dette på egen hånd.

Opptak og adgangsregulering

Studenter må hvert semester søke 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.

Det er ikke anledning til å avlegge eksamen i dette emnet uten innvilget undervisningsopptak.

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:

4 korte obligatoriske innleveringer som du skal levere i
Fronter

Frister vil bli publisert på semestersidene innen semesterstart.

Godkjente kvalifiseringsoppgaver er gyldige de to neste gangene emnet tilbys.

Eksamen

4 timers avsluttende skoleeksamen

Karakterskala

Emnet bruker karakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen.

Begrunnelse og klage

Hvordan be om begrunnelse
Hvordan klage på karakterfastsetting eller formelle feil

Adgang til ny eller utsatt eksamen

Syk? – Hvordan søke utsatt eksamen

Tilrettelagt eksamen

En student som har en funksjonshemning og/eller kroniske eller akutte helseproblemer som fører til vesentlige ulemper i eksamenssituasjonen i forhold til andre studenter, kan søke om tilrettelegging ved eksamen. Mødre som ammer kan søke om tilleggstid på 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.

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