Skip to main content
Logic
Undergraduate Program Status
Course Description

Learning objectives: The course offers an introduction to basic topics in formal logic relevant to philosophy and to some of their applications. 

Learning activities/teaching methods: Homework will be given to most classes, and parts of it will be discussed in class. Each assignment will be returned with comments. 

Learning Outcomes

Students will be familiar with the basics of propositional and predicate logic, properties of propositions (tautology, contradiction etc.), relations between propositions (consistency, entailment…) and properties of calculi (soundness, completeness…). They will also be familiar with several proof methods (truth tables, natural deduction). 

Assessment

Class attendance and participation: 10% 

Homework: 40% 

Final exam: 50% 

File attachments
logic-syllabus.pdf (127.48 KB)
Course Level
Bachelor's
Academic Year
2023-2024
Term
Fall
US Credits
2
ECTS Credits
4
Course Code
UGST4053