Information Package / Course Catalogue
Formal Logic
Course Code: CSE104
Course Type: Required
Couse Group: First Cycle (Bachelor's Degree)
Education Language: English
Work Placement: N/A
Theory: 3
Prt.: 0
Credit: 3
Lab: 0
ECTS: 5
Objectives of the Course

The main objective of this course is to enable the students to understand: - what logic is about, - how logical reasoning can be discretized and formalized in: - propositional logic, - predicate logic, and - intensional logic; - why formal logic cannot handle all what is reasonable.

Course Content

The topics to be covered are the following: • Basic concepts of logic • Arguments and argument schemata • Logical constants • Logic systems • Propositional logic • Analysis of propositions into predicates and arguments • Formal languages • Syntax of a formal language • Backus-Naur form • Semantics of a formal language • Syntactic validity • Semantic validity • First-order predicate logic • Deduction systems

Name of Lecturer(s)
Prof. İnci ERHAN
Learning Outcomes
1.Have a good understanding of fundamental notions of formal logic;
2.Formulate complex propositions in propositional logic and first-order predicate logic,
3.Translate natural language statements into formal logic formulas;
4.Construct and analyze lengthy arguments in formal languages.
5.To be able to use logical notation schemes;
Recommended or Required Reading
1.Theory and Problems of Discrete Mathematics, Third Edition, Seymour Lipschutz, Marc Lars Lipson, Schaum’s Outline Series, McGraw-Hill, 2007.
2.Introduction to Logic: Logic, Language, and Meaning (Volume 1), Gamut, L.T.F. Chicago: The University of Chicago Press, 1991.
3.Introduction to Montague Semantics. Dowty D. R., Wall R. E. and Peters S. Dordrecht, The Netherlands: Kluwer Academic Publishers, 1981.
Weekly Detailed Course Contents
Week 1 - Theoretical
Introduction to logic.
Week 2 - Theoretical
Arguments and argument schemata.
Week 3 - Theoretical
Propositional logic (constants).
Week 4 - Theoretical
Propositional logic (syntax).
Week 5 - Theoretical
Propositional logic (semantic).
Week 6 - Theoretical
Propositional logic (semantic validity).
Week 7 - Theoretical
Propositional logic (symantic validity).
Week 8 - Theoretical
First-order predicate logic (constants).
Week 9 - Theoretical
First-order predicate logic (syntax).
Week 10 - Theoretical
First-order predicate logic (semantics).
Week 11 - Theoretical
First-order predicate logic (semantic validity).
Week 12 - Theoretical
First-order predicate logic (syntactic validity).
Week 13 - Theoretical
Arguments- natural deduction
Week 14 - Theoretical
An overview of other logical systems.
Assessment Methods and Criteria
Type of AssessmentCountPercent
Midterm Examination1%30
Final Examination1%60
Quiz4%10
Workload Calculation
ActivitiesCountPreparationTimeTotal Work Load (hours)
Lecture - Theory142370
Quiz44018
Midterm Examination113215
Final Examination120222
TOTAL WORKLOAD (hours)125
Contribution of Learning Outcomes to Programme Outcomes
PÇ-1
PÇ-2
PÇ-3
PÇ-4
PÇ-5
PÇ-6
PÇ-7
PÇ-8
PÇ-9
PÇ-10
PÇ-11
OÇ-1
3
OÇ-2
4
3
3
OÇ-3
4
4
2
3
3
OÇ-4
5
5
3
3
OÇ-5
3
4
2
3
Adnan Menderes University - Information Package / Course Catalogue
2026