Logic

Pre-requisites: None

Course objectives: Student should learn the formal language of first-order predicate logic, they should learn to decide what formulae are tautologies and to construct proofs in a natural deduction system for classical first-order predicate logic.

Course description: Classical propositional and first-order predicate logic, basic concepts about syntax and semantics, basic concepts about natural deduction.

Learning Outcomes: Student have mastered the formal language of first-order predicate logic, they have learned to decide what formulae are tautologies, and they can construct proofs in a natural deduction system for classical first-order predicate logic.

Literature/Reading:

• M.A.E. Dummett, Elements of Intuitionism G.E. Hughes and M.J. Cresswell, A New Introduction to Modal Logic Ž. Mijajlović i drugi, Hilbertovi problemi i logika (drugo poglavlje) Z. Šikić (prir.), Novija filozofija matematike (radovi Hejti