FIL4405 – Filosofisk logikk og matematikkens filosofi
Beskrivelse av emnet
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.