Logisk teori

Om utbildningen

The course provides a solid foundation in the theory formation of logic through a comprehensive presentation of syntax, semantics and proof systems for propositional logic and classical first-order predicate logic. As examples of other logics, second-order and intuitionistic logic are presented together with completeness results. Basic proof theory is introduced and lead up to a proof of normalisation for natural deduction. Gödel's incompleteness theorems and basic recursion theory are also included. The course does not require mathematical skills, but it is an advantage if you have the habit of reading mathematical text.

Behörighet

För tillträde till kursen krävs godkänt resultat om - minst 60 hp sammanlagt inom ämnesområdena matematik, logik, datavetenskap eller formell lingvistik, eller - minst 90 hp inom filosofi eller lingvistik, samt minst 30 hp sammanlagt inom ämnesområdena matematik, logik, datavetenskap eller formell lingvistik, eller motsvarande kunskaper. Dessutom krävs språkkunskaper motsvarande Engelska 6.

Rekommenderade förkunskaper: uh

Alla tillfällen (1)

Liknande utbildningar

• Logik: Formella språkUniversitet/högskola
• ModellteoriUniversitet/högskola
• ModallogikUniversitet/högskola
• Matematisk logikUniversitet/högskola