Logik, 15 hp

De centrala begreppen logisk följd och logisk sanning presenteras dels allmänt dels inom ramen för predikatlogik. Stor vikt läggs vid att analysera den logiska strukturen hos satser i vanligt språk och att påvisa giltighet respektive ogiltighet vid såväl informell som formell argumentation. I kursens senare del behandlas olika metoder för att systematiskt pröva om logisk följd föreligger. Speciellt presenteras begreppen härledbarhet och bevisbarhet. Kursen innehåller också ett avsnitt om utvidgningar av predikatlogik samt en översikt över logikens historia.