Information Package / Course Catalogue
Advanced Logic
Course Code: FEL207
Course Type: Required
Couse Group: First Cycle (Bachelor's Degree)
Education Language: Turkish
Work Placement: N/A
Theory: 3
Prt.: 0
Credit: 3
Lab: 0
ECTS: 4
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.To be able to comprehend relations between Logic, Philosophy and Language
2.To be able to comprehend logical rules and logical cocepts.
3.To be able to think logically.
4.To be able to translate ordinary language statements into the language of symbolic logic
5.To be able to understand the relationship between logic and axiomatic systems
Recommended or Required Reading
1.Batuhan, H. – Grünberg, T.: Modern Mantık, Ankara: MEB, 1970
2.Yıldırım C. (2021).Logic, Ankara: Fol Kitap.
Weekly Detailed Course Contents
Week 1 - Preparation Work
Definition of the Course, Syllabus and Course Material
Week 2 - Theoretical
Modern Predicate Logic: Quantificational Theory
Week 2 - Preparation Work
Book, Internet and Library Browsing
Week 3 - Theoretical
The Construction of Predicate Logic and Symbolic Language
Week 3 - Preparation Work
Book, Internet and Library Browsing
Week 4 - Theoretical
Translations of One-Placed Predicates to Symbolic Language
Week 4 - Preparation Work
Book, Internet and Library Browsing
Week 5 - Theoretical
One-Placed Predicates and the Application of Tree Method
Week 5 - Preparation Work
Book, Internet and Library Browsing
Week 6 - Theoretical
Relational Propositions and n-Placed Predicates
Week 6 - Preparation Work
Book, Internet and Library Browsing
Week 7 - Theoretical
The Order of Quantifiers
Week 7 - Preparation Work
Book, Internet and Library Browsing
Week 8 - Theoretical
Identity and its Translation to Symbolic Language
Week 9 - Theoretical
Superlatives and Numerical Statements
Week 9 - Preparation Work
Book, Internet and Library Browsing
Week 10 - Theoretical
Definite Descriptions
Week 10 - Preparation Work
Book, Internet and Library Browsing
Week 11 - Theoretical
Axiomatic Method and Axiomatic Systems
Week 11 - Preparation Work
Book, Internet and Library Browsing
Week 12 - Theoretical
Russell Paradox
Week 12 - Preparation Work
Book, Internet and Library Browsing
Week 13 - Theoretical
Axiomatic Set Theory
Week 13 - Preparation Work
Book, Internet and Library Browsing
Week 14 - Theoretical
Proofs of Theorems in Axiomatic Set Theory
Week 14 - Preparation Work
Book, Internet and Library Browsing
Assessment Methods and Criteria
Type of AssessmentCountPercent
Midterm Examination1%40
Final Examination1%60
Workload Calculation
ActivitiesCountPreparationTimeTotal Work Load (hours)
Lecture - Theory140342
Reading140228
Midterm Examination115217
Final Examination115217
TOTAL WORKLOAD (hours)104
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
PÇ-12
PÇ-13
PÇ-14
PÇ-15
PÇ-16
PÇ-17
OÇ-1
2
5
OÇ-2
2
5
OÇ-3
2
5
OÇ-4
2
5
OÇ-5
2
5
Adnan Menderes University - Information Package / Course Catalogue
2026