Satskonnektiv och kvantifikatorer, analys av logisk struktur hos satser, fria och bundna variabler, formella härledningar i intuitionistisk och klassisk predikatlogik, grundläggande mängdteoretiska begrepp, första ordningens modellteori, begreppen sundhet och fullständighet. I mån av tid något om alternativa härledningsformat, konstruktivistisk kritik av klassisk logik, samt Gödels ofullständighetssatser. Kursen syftar inte huvudsakligen till teknisk skicklighet, utan till teoretisk insikt och en förmåga till kritisk eftertanke kring logisk teori som en form av filosofisk begreppsanalys.
FAK3001 Inledande kurs i logik 7,5 hp
Information per kursomgång
Kursomgångar saknas för aktuella eller kommande terminer.
Kursplan som PDF
Notera: all information från kursplanen visas i tillgängligt format på denna sida.
Kursplan FAK3001 (VT 2019–)Rubriker med innehåll från kursplan FAK3001 (VT 2019–) är markerade med en asterisk ( )
Innehåll och lärandemål
Kursinnehåll
Lärandemål
Efter genomgången kurs ska studenten kunna
- analysera och i vedertagen symbolik framställa den predikatlogiska strukturen hos satser i vardagligt språk,
- i vardagligt språk formulera innebörden hos satser innehållande predikatlogisk symbolik,
- konstruera härledningar i ett formellt system för intuitionistisk predikatlogik,
- konstruera härledningar i ett formellt system för klassisk predikatlogik,
- tillämpa grundläggande klassiska modellteoretiska begrepp som modell, satisfikation, sanning, och logisk konsekvens,
- redogöra för innebörden hos begreppen sundhet och fullständighet,
- kritiskt reektera över likheter och skillnader mellan, å ena sidan, vardagsspråkets logiska vokabulär och,å den andra, deras motsvarigheter i vedertagen logisk teoribildning.
(Begreppet predikatlogik skall i ovanstående punkter förstås som predikatlogik av första ordningen, innefattande satslogik.)
Kurslitteratur och förberedelser
Särskild behörighet
Behörighet till utbildning på forskarnivå.
Kurslitteratur
Du hittar information om kurslitteratur antingen i kursomgångens kurs-PM eller i kursomgångens kursrum i Canvas.
Examination och slutförande
Betygsskala
P, F
Examination
- HEM1 - Hemuppgifter, 7,5 hp, betygsskala: P, F
Examinator beslutar, baserat på rekommendation från KTH:s handläggare av stöd till studenter med funktionsnedsättning, om eventuell anpassad examination för studenter med dokumenterad, varaktig funktionsnedsättning.
Examinator får medge annan examinationsform vid omexamination av enstaka studenter.
När kurs inte längre ges har student möjlighet att examineras under ytterligare två läsår.
Löpande hemuppgifter under kursens lopp.
Övriga krav för slutbetyg
Nöjaktigt fullgjorda hemuppgifter.
Examinator
Etiskt förhållningssätt
- Vid grupparbete har alla i gruppen ansvar för gruppens arbete.
- Vid examination ska varje student ärligt redovisa hjälp som erhållits och källor som använts.
- Vid muntlig examination ska varje student kunna redogöra för hela uppgiften och hela lösningen.
Ytterligare information
Kursrum i Canvas
Registrerade studenter hittar information för genomförande av kursen i kursrummet i Canvas. En länk till kursrummet finns under fliken Studier i Personliga menyn vid kursstart.
Ges av
Utbildningsnivå
Forskarnivå