Philosophy
Philosophy – Bachelor’s Degree 2014
Recommended Year of Study: 1
Recommended Semester: 1
ECTS Credits Allocated: 14.00
Logic
Status: compulsory Recommended Year of Study: 1
Recommended Semester: 1
ECTS Credits Allocated: 14.00
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.
---