Course Description
It is an introduction to modern logic for humanities majors. Its purpose is to familiarize students with main formal methods for representing and evaluating reasoning.
Contact information
Instructor: Dr. Oleksandr Kulyk
Office: Gagarin ave, 72, 813
Email: prof.kulyk@gmail.com
Course Webpages: https://sites.google.com/site/kuliktexts/en/courses/lo
Required texts
Marcus R. (2018). Introduction to Formal Logic. Oxford University Press.
Chiswell, I. and Hodges, W. (2007). Mathematical Logic. Oxford University Press.
Конверський, А. Є. (2008). Логіка (традиційна та сучасна): підруч. для студ. вищих навч. закл. К. : Центр навч. літ-ри.
Davoren J., Restall G. (2015). Logic: Language & Information. Melbourne: The University of Melbourne.
Student Learning Outcomes
By the end of this course, students will be able to:
• distill the logical structure of a proposition;
• reduce certain practical problems to questions about the consistency of logical formulas;
• give precise meanings to the terms and sentences of the symbolic languages.
Evaluation
Grades will be based on a 100-point scale distributed as follows:
Requirement
Participation (20%) – 20 points
Homework exercises (40%) – 40 points
Exam – (40%) – 40 points
Final grade
А 90–100 points
В 82–89 points
С 75–81 points
D 64–74 points
Е 60–63 points
F 0–59 points
Course Requirements
Participation
To participate is to come to class and regularly contribute to discussions throughout the semester. This includes discussions in class and with the instructor during office hours.
Homework exercises
After each lecture students take set of exercises for individual work at home.
Exam
There will be a final exam in which students will respond to two questions about the material covered. The first question will be a theoretical one. In the second question a student will find an exercise.
Tentative Timeline
September
Lecture:
Introduction to Logic
Lecture:
History of Logic
Lecture:
Logic and Language
October
Lecture:
Propositional Logic
Lecture:
Truth Tables
Lecture:
Valid and Invalid Arguments
November
Lecture:
Rules of Inference
Lecture:
Predicate Logic
Lecture:
Paradoxes of Material Implication
December
Lecture:
Many-Valued Logic
Lecture:
Modal Logic
Lecture:
Temporal Logic
January
Revision before the exam
Consultation
Exam