FIL4405 – Filosofisk logikk og matematikkens filosofi

Timeplan, pensum og eksamensdato

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?

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.