Klassisk logik

Kursen ger en grundlig introduktion till klassisk sats- och predikatlogik, med identitet.

• Kursupplägg

  Mer om kursens innehåll

  Kursen presenterar de centrala begreppen logisk konsekvens, logisk sanning, logisk konsistens (motsägelsefrihet), logisk ekvivalens samt satisfierbarhet inom ramen för sats- och predikatlogik (med identitet). Kursen presenterar rigorösa definitioner av dessa språks syntax och semantik. Idéer om induktiva (rekursiva) definitioner, samt strukturell induktion, presenteras och diskuteras informellt. Ett formellt härledningssystem - semantiska tablåer - för både sats- och predikatlogik presenteras. Ytterligare ett härledningssystemet - naturlig deduktion - presenteras men endast begränsat till satslogik. Kursen innehåller också en introduktion till läran om mängder, relationer och funktioner inklusive operationer på dessa.

  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 vårterminen 2022: Valentin Goranko.

  Undervisningsspråk vårterminen 2022: engelska.
  Undervisningsform: Undervisningen kommer att bedrivas i form av föreläsningar och övningar.

  Examination: Kursen examineras med en 4 timmar lång salstentamen.

  Förväntade studieresultat, samt uppgifter om betygsskalan: Se kursplanen.

  Betygskriterier: Hittas på kursens Athenasida inför kursstart.

• 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.

  • Schema FIKL10 VT 2022 Deltid dag

• Kurslitteratur
  Observera att kurslitteraturen kan ändras fram till två månader före kursstart.

  • Gäller från Våren 2022

  • Kurslitteratur FIKL10 Halvfart 50% - gäller från VT 2022

  Se planarkivet för alla listor

• Kontakt

  Lärare Valentin Goranko

  Valentin.Goranko@philosophy.su.se

  Studievägledare Sama Agahi

  Sama.Agahi@philosophy.su.se

  Studierektor i teoretisk filosofi Mattias Högström

  Mattias.Hogstrom@philosophy.su.se

  Expedition

  info@philosophy.su.se