Logik II
Kursen fördjupar bekantskapen med första ordningens logik, och förbereder studenter för vidare studier inom logik och metalogik.
Förkunskapskrav: Kursen förutsätter 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).
-
Kursupplägg
Mer om kursens innehåll: Kursen Logik II är en fortsättning på Logik I där vi fördjupar de kunskaper om satslogik och predikatlogik som ni har med er från den föregående kursen. En grundläggande introduktion till mängdlära ges, och ett nytt härledningssystem kallat naturlig deduktion introduceras. Vi tar även några första steg mot metalogiken, där mer generella egenskaper hos begreppet logisk konsekvens studeras. Vi går igenom en av de viktigaste bevismetoderna inom logiken, så kallad strukturell induktion, och visar hur induktionsbevis kan användas för att bevisa generella påståenden som till exempel normalformer.
Läroplattform: Läsanvisningar, detaljerad kursplanering, mm 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.
Lärare höstterminen 2024: Karl Nygren och Sebastian Enqvist.
Undervisningsform: Undervisningen kommer att bedrivas i form av föreläsningar och övningar. Se kursplan för närvarokrav.
Examination: Inlämningsuppgifter och avslutande salskrivning.
Förväntade studieresultat, samt uppgifter om betygsskalan: Se kursplanen.
-
Schema
Schema finns tillgängligt senast en månad före kursstart. Vi rekommenderar inte utskrift av scheman då vissa ändringar kan ske. Vid kursstart meddelar utbildningsansvarig institution var du hittar ditt schema under utbildningen. -
Kurslitteratur
Observera att kurslitteraturen kan ändras fram till två månader före kursstart. -
Kontakt
Studierektor Mattias Högström mattias.hogstrom@philosophy.su.se
Studievägledning studievagledning@philosophy.su.se
Lärare: Karl Nygren karl.nygren@philosophy.su.se
och Sebastian Enqvist sebastian.enqvist@philosophy.su.se.
