The course offers a broad introduction to the main topics in the field of formal logic. It aims to familiarize the participants with its theoretical framework and terminology, while placing emphasis on their practical applications, especially as used within philosophy.
By the end of the course the participants will be able to define propositional and predicate logic and their vocabulary, properties of propositions (tautology, contradiction etc.) and relations between propositions (consistency, entailment etc.). They will be able to identify and apply the appropriate methods and tools (semantic tables and trees, natural deduction etc.) in dealing with logical problems and questions.
Class attendance and participation: 10%
Final exam: 50%