[{"id":"F0007S","semesterYearStr":null,"data":{"paragraphMap":{"besk_ing":{"kod":"besk_ing","rubrik":{"en":"Ingress","sv":"Ingress"},"html":false,"text":{"en":null,"sv":"Läran om korrekta slutledningar. Introduktion av predikatlogik som ett formellt system. Även modallogik och metalogik."}},"besk_text":{"kod":"besk_text","rubrik":{"en":"Description","sv":"Beskrivning"},"html":true,"text":{"en":null,"sv":"Logik är läran om korrekta slutledningar. Denna kurs introducerar predikatlogik som ett formellt system och övar den studerandes förmåga att genomföra predikatlogiska härledningar. Kursen ger också en kort introduktion till modallogik och metalogik. Utöver att utgöra en del i utbildningen för studerande som läser filosofi på B-nivå vänder sig kursen till studerande med förkunskaper i matematik."}}},"kontaktPersonList":[{"uid":"guho","mail":null,"pnr":"","phone":null,"surname":"Höglund","givenName":"Gunnel","name":"Gunnel Höglund","active":false,"sokbar":true},{"uid":"andper","mail":null,"pnr":"","phone":null,"surname":"Persson","givenName":"Anders","name":"Anders Persson","active":false,"sokbar":false}],"termin":{"period":null,"year":2011,"termin":"ht"}}}]