FAK3001 Introductory Course in Logic 7.5 credits

Sentential connectives and quantifiers; analysis of the logical structure of sentences; free and bound variables; formal deductions in intuitionistic and classical predicate logic; basic set-theoretical concepts; first-order model theory; the concepts of soundness and completeness. If time allows, some mention of alternative deduction formats, constructivist criticism of classical logic, and Gödel's incompleteness theorems. The principal aim of the course is not technical prowess, but theoretical insight and a capacity for critical reection on logical theory as a form of philosophical conceptual analysis.

Upon completing the course, the student should be able to

- analyze, and exhibit in standard logical symbolism, the predicatelogical structure of ordinary-language sentences;

- express in ordinary language the content of sentences containing logical symbolism;

- construct deductions in a formal system of intuitionistic predicate logic;

- construct deductions in a formal system of classical predicate logic;

- apply fundamental concepts of classical model theory, such as model, satisfaction, truth, and logical consequence;

- explain the concepts of soundess and completeness;

- engage in critical reection on similarities and di_erences between, on the one hand, the logical vocabulary of ordinary language, and, on the other, their counterparts in logical theory.

(The concept of predicate logic, as applied above, is to be understood in

the sense of _rst-order predicate logic, including sentential logic.)

Entry requirements for Ph.D. studies.

If the course is discontinued, students may request to be examined during the following two academic years.

• HEM1 - Home assignments, 7.5 credits, grading scale: P, F

Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.

The examiner may apply another examination format when re-examining individual students.

Home assignments spread out over the length of the course. 

Satisfactory completion of home assignments.

Tor Sandqvist

• All members of a group are responsible for the group's work.
• In any assessment, every student shall honestly disclose any help received and sources used.
• In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.