Information Package / Course Catalogue
Modern Logic I
Course Code: FEL267
Course Type: Area Elective
Couse Group: First Cycle (Bachelor's Degree)
Education Language: Turkish
Work Placement: N/A
Theory: 3
Prt.: 0
Credit: 3
Lab: 0
ECTS: 6
Objectives of the Course

Definition of some basic logical terms, such as proposition, term, consistency, inconsistency, validity and invalidity

Course Content

Definition of some basic logical terms, such as proposition, term, consistency, inconsistency, validity and invalidity

Name of Lecturer(s)
Prof. Cengiz İskender ÖZKAN
Learning Outcomes
1.Knowing relations between Logic, Philosophy and Language
2.Learning logical rules and logical cocepts
3.Acquiring and improving ability of logical thinking.
4.Testing the consistency of propositions and the validity of inferences
5.Translating the ordinary language statements into the symbolic language of Modern propositional logic
Recommended or Required Reading
1.Özkan, Cengiz İskender (2022) Introduction to Logic, Say Yayınları.
2.Modern Mantık, İstanbul: Lisans Yayıncılık, 2017.
Weekly Detailed Course Contents
Week 1 - Theoretical
Description of the Course, Course Material
Week 2 - Theoretical
A Brief History of Modern Logic
Week 3 - Theoretical
Introduction to Propositional (Sentential) Logic
Week 4 - Theoretical
Construction of Propositional Logic
Week 5 - Theoretical
Logical Connectives
Week 6 - Theoretical
Translations to Symbolic Language
Week 7 - Theoretical
Truth Tables
Week 8 - Theoretical
Tautologies, Contradictions and Equivalences
Week 9 - Theoretical
Natural Deduction
Week 10 - Theoretical
Proving Invalidity
Week 11 - Theoretical
Tautologies and Zero-Premiss Proofs
Week 12 - Theoretical
Semantic Tableaux: Tree Method
Week 13 - Theoretical
Checking Consistency, Validity and Equivalency of Propositions
Week 14 - Theoretical
Validity of Inferences
Assessment Methods and Criteria
Type of AssessmentCountPercent
Midterm Examination1%40
Final Examination1%60
Workload Calculation
ActivitiesCountPreparationTimeTotal Work Load (hours)
Lecture - Theory140342
Assignment140228
Individual Work150115
Midterm Examination125126
Final Examination135136
TOTAL WORKLOAD (hours)147
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
4
4
4
3
4
4
4
OÇ-2
4
4
4
3
4
4
3
4
5
OÇ-3
4
4
4
5
4
4
5
4
5
OÇ-4
5
4
4
4
4
4
4
4
4
OÇ-5
4
4
4
5
5
4
4
5
Adnan Menderes University - Information Package / Course Catalogue
2026