Information Package / Course Catalogue - Adnan Menderes University

General Information Unit Staff Academic Information Programme Outcomes Course Structure Diagram Contact Information

Person Responsible for Information Package

Modern Logic II

Course Code	: FEL268
Course Type	: Area Elective
Couse Group	: First Cycle (Bachelor's Degree)
Education Language	: Turkish
Work Placement	: N/A

Theory	: 2
Prt.	: 0
Credit	: 2
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.	Learning logical rules and logical concepts
2.	Acquiring and improving ability of logical thinking.
3.	Knowing relations between Logic, Social Sciences and Language.
4.	Translating the ordinary language statements into the symbolic language of modern predicate logic
5.	To be able to understand the relationship between logic and axiomatic systems

Recommended or Required Reading

1.	Özlem, Doğan, Mantık, İnkilap Kitabevi, İstanbul, 2004
2.	Hüseyin Batuhan, Grünberg, Teo, Modern Mantık, ODTÜ Yayınları, Ankara, 1970
3.	Modern Mantık, İstanbul: Lisans Yayıncılık, 2017.
4.	Copi, I. Symbolic Logic, New York: Macmillan, 1965
5.	Grünberg, T. Onart, A., Batuhan, H. Modern Mantık ve Uygulamaları, İstanbul: Milli Eğitim Basımevi, Ankara, 1974
6.	Grünberg, T. Onart, A. Mantık Terimleri Sözlüğü, İstanbul: Ara Yayıncılık, 1989

Weekly Detailed Course Contents

Week 1 - Theoretical

Introduction to Predicate Logic

Week 2 - Theoretical

Translations to Predicate Logic's Symbolic Language

Week 3 - Theoretical

Exercises

Week 4 - Theoretical

Advanced Translations to Predicate Logic's Symbolic Language

Week 5 - Theoretical

Exercises

Week 6 - Theoretical

Relational Statements

Week 7 - Theoretical

Exercises

Week 8 - Theoretical

Identity and the Definite Descriptions

Week 9 - Theoretical

Exercises

Week 10 - Theoretical

Semantic Tableux: Tree Method in Predicate Logic

Week 11 - Theoretical

Exercises

Week 12 - Theoretical

Axiomatic Method and Axiomatic Systems

Week 13 - Theoretical

Axiomatic Set Theory

Week 14 - Theoretical

Proofs of Theorems in Axiomatic Set Theory

Assessment Methods and Criteria

Type of Assessment	Count	Percent
Midterm Examination	1	%40
Final Examination	1	%60

Workload Calculation

Activities	Count	Preparation	Time	Total Work Load (hours)
Lecture - Theory	14	0	3	42
Assignment	14	0	2	28
Individual Work	14	0	2	28
Midterm Examination	1	25	1	26
Final Examination	1	30	1	31
TOTAL WORKLOAD (hours)				155

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	5	4	4	5		4	4
OÇ-2	4	4		4	4		4	4		4	5
OÇ-3	5	4	4	4	4		4	4	4	5	5
OÇ-4	4	4	5	4	4		4	4	5	4	4
OÇ-5	4	4	5	5	5	4	4	4	4		4

Person Responsible for Information Package