Visa allastudier.se som: Mobil
Sammanfattning
Fristående kurser (grundnivå)
Stockholm
7.5 hp
Deltid
Klassrum

Logik II

Kursen förutsätter Logik I, och fördjupar bekantskapen med första ordningens logik. Större vikt läggs vid förmågan att ge strukturella induktionsbevis. Förståelse av predikatlogikens uttryckskraft förbättras genom mer avancerade översättningsövningar mellan naturligt språk och det formella språket. Vid sidan av tablåmetoden introduceras två nya härledningssystem: axiomatiska system och naturlig deduktion, och vi övar på att bevisa logisk följd genom att genomföra härledningar i framför allt naturlig deduktion. Vi fördjupar förståelsen av det semantiska begreppet logisk konsekvens, och besläktade begrepp, genom att gå igenom några av dessa begrepps metateoretiska egenskaper, och genom att fortsätta öva på att konstruera motexempelsmodeller till ogiltiga argument, och till satser som är kontingenta eller logiskt falska. Den begreppsliga skillnaden mellan den semantiska (logisk konsekvens) och den syntaktiska (härledbarhet) definitionen av logisk följd diskuteras, och relationen mellan dessa två sorters definitioner beskrivs. Studenten får också fördjupa sin förståelse av elementär mängdlära, i så måtto att denna behövs för modellteorin för första ordningens logik. Kursen avslutas med en diskussion av logiska system som avviker från första ordningens predikatlogik, såsom i första hand intuitionistisk logik, samt system som går utöver första ordningens logik, såsom andra ordningens logik

Förkunskaper

Logik I, 7.5 hp. Engelska 6.

Stockholms universitet

Stockholms universitet

Stockholms universitet

En utbildning från Stockholms universitet är en merit som skapar goda förutsättningar för arbete och karriär, både nationellt och internationellt. Du kan välja bland över 200 program och 1900 fristående kurser inom humaniora, juridik, lärarutbildning, naturvetenskap, samhällsvetenskap och språk. Vid...


Läs mer om Stockholms universitet och visa alla utbildningar

Hitta till utbildaren

Stockholms universitet

Recensioner

Det finns inga recensioner för Logik II

Jobb & Lön

Var finns framtidens jobb & hur mycket kommer jag att tjäna?

Få koll på vad du kan tjäna efter din utbildning och om den branschen är värd att investera din tid i.

Till Jobb & Lön

Du kanske också är intresserad av: