Filosofisk logik I
Registrering
I god tid före kursstart skickas mail ut till alla antagna studenter, med information och instruktioner. Antagna studenter förväntas registrera sig själva (webregistrering).
Mer om kursens innehåll
På kursen tar vi upp en kort genomgång av den filosofiska logikens historia, såsom Aristoteles syllogismlära, och de logiska idéerna hos de stoiska och den megariska skolorna; nödvändighet och möjlighet, dvs. aletisk modallogik med hjälp av möjliga världar-modeller och grundläggande Kripke semantik; introduktion till deduktiva system för modallogik, såsom axiomatiska system, naturlig deduktion samt semantiska tablåer; slutledningar som involverar temporala begrepp och tidslogik; logiska system för representation av kunskap och övertygelse; introduktion till logiker för handling och agenter; en introduktion till intuitionistisk och flervärdig logik; modaliteter och kvantifiering, med en informell introduktion till första ordningens modallogik; introduktion till logik för villkorssatser och relevanslogik.
Läroplattform: Läsanvisningar, detaljerad kursplanering med mera kommer att läggas upp på kursens Athenasida. Antagna studenter som har aktiverat sitt studentkonto och blivit registrerade på kursen blir automatiskt deltagare på kursens Athenasida.
Course webpage with detailed programme and schedule
on this webpage
Lärare och examinator, vårterminen 2026: Valentin Goranko
Undervisningsspråk vårterminen 2026: Engelska
Förväntade studieresultat, samt uppgifter om betygsskalan: Se kursplanen.
Betygskriterier pdf, 82.1 kB. (82 Kb)
Undervisning
Kursen ges under vårterminen -26 i hybridformat. Lektionerna ges på campus, men görs åtkomliga för distansstudenter genom att föreläsningarna sänds över Zoom.
Examination
Kursen examineras med inlämningsuppgifter.
