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

Lec. Yakup KAYA

Introduction to Modern Logic

Course Code	: İLH448
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	: 4

Objectives of the Course

Students will be able to recognize modern logic topics and concepts and learn the thinking characteristics of these topics and concepts.

Course Content

Modern logic, truth-focusing logic, formal inference method, quantification logic, logic theory

Name of Lecturer(s)

Learning Outcomes

1.	Recognizes the problems of modern logic.
2.	Understands the relationship between modern logic and other sciences.
3.	Explains the difference between modern logic and classical logic.
4.	Expresses propositions and reasoning with symbols
5.	It uses the axiomatic method.
6.	It establishes a connection between logic and mathematics.

Recommended or Required Reading

1.	Doğan Özlem, Logic, Istanbul 1996
2.	Cemal Yıldırım, Logic Correct Thinking Method Bilgi Publishing House
3.	Teo Grunberg, Symbolic Logic, Handbook, METU Development Foundation Publishing

Weekly Detailed Course Contents

Week 1 - Theoretical

Introduction: Foundations of Modern Logic

Week 2 - Theoretical

Truth Function Logic

Week 3 - Theoretical

Truth Function Logic

Week 4 - Theoretical

Formal Inference Method

Week 5 - Theoretical

Formal Inference Method

Week 6 - Theoretical

Quantization Logic

Week 7 - Theoretical

Quantization Logic

Week 8 - Theoretical

Quantization Logic

Week 9 - Theoretical

Axiomatic Method

Week 10 - Theoretical

Problems with Logic

Week 11 - Theoretical

Problems with Logic

Week 12 - Theoretical

Philosophy, Science and Logic

Week 13 - Theoretical

Philosophy of Logic

Week 14 - Theoretical

End of Term General Evaluation

Assessment Methods and Criteria

Type of Assessment	Count	Percent
Attending Lectures	1	%5
Verbal Examination	1	%5
Midterm Examination	1	%30
Final Examination	1	%60

Workload Calculation

Activities	Count	Preparation	Time	Total Work Load (hours)
Lecture - Theory	14	4	3	98
Midterm Examination	1	2	2	4
Final Examination	1	2	2	4
TOTAL WORKLOAD (hours)				106

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	PÇ-18	PÇ-19	PÇ-20
OÇ-1		4	3		4			5	4					5	4		4	4	4	4
OÇ-2		4	3		4			5	4					5	4		4	4	4	4
OÇ-3		4	3		4			5	4					5	4		4	4	4	4
OÇ-4		4	3		4			5	4					5	4		4	4	4	4
OÇ-5		4	3		4			5	4					5	4		4	4	4	4
OÇ-6		4	3		4			5	4					5	4		4	4	4	4

Person Responsible for Information Package

Lec. Yakup KAYA