COURSE SYLLABUS

SYMBOLIC LOGIC II

1	Course Title:	SYMBOLIC LOGIC II
2	Course Code:	FLS3010
3	Type of Course:	Compulsory
4	Level of Course:	First Cycle
5	Year of Study:	3
6	Semester:	6
7	ECTS Credits Allocated:	3
8	Theoretical (hour/week):	2
9	Practice (hour/week) :	0
10	Laboratory (hour/week) :	0
11	Prerequisites:	None
12	Recommended optional programme components:	None
13	Language:	Turkish
14	Mode of Delivery:	Face to face
15	Course Coordinator:	Doç. Dr. FİKRET OSMAN
16	Course Lecturers:	Yok
17	Contactinformation of the Course Coordinator:	Doç. Dr. Fikret OSMAN fikretosman@uludag.edu.tr; Uludağ Üniversitesi Felsefe Bölümü Fen-Edebiyat Fakültesi, 16059 Görükle, Bursa - Türkiye. Tel: +90 224 2755096
18	Website:
19	Objective of the Course:	Aim of this course is to teach the symbolization of quantitative expressions in ordinary language, the interpretation of quantitative expressions in terms of ordinary language, how to check the quantitative expressions and how to interpret traditional logic in terms of symbolic logic.
20	Contribution of the Course to Professional Development	The student can teach the logic lesson.

Learning Outcomes:

1	Learn two-dimensional notation of quantitative expressions.;
2	Learn prefix notation of quantitative expressions.;
3	Learn infix notation of quantitative expressions.;
4	Learn suffix notation of quantitative expressions.;
5	Learn interpretation of the symbolized quantitative expressions in terms of ordinary language.;
6	Test the consistency of propositions in quantificational logic.;
7	Test the equivalency of propositions in quantificational logic.;
8	Test the validity of inferences in quantificational logic.;
9	Evaluate the relation of opposition and equivalence in terms of modern logic.;
10	Evaluate of syllogisms in terms of modern logic.;

22	Course Content:

Week	Theoretical	Practical
1	Introduction to quantificational logic
2	Two-dimensional notation of quantitative expressions
3	Prefix notation of quantitative expressions
4	Dot notation of quantitative expressions
5	Bracket notation of quantitative expressions
6	Suffix notation of quantitative expressions
7	Interpretation of the symbolized quantitative expressions in terms of ordinary language
8	Checking the consistency of propositions in quantificational logic
9	Checking the equivalency of propositions in quantificational logic
10	Checking the validity of inferences in quantificational logic
11	Evaluation the relation of opposition in terms of modern logic
12	Evaluation the relation of equivalence in terms of modern logic
13	Evaluation of syllogisms in terms of modern logic
14	General evaluation or comments

23	Textbooks, References and/or Other Materials:	1. Fikret OSMAN, Notasyonlar Mantığı: Önek, İçek ve Sonek Notasyonları, Sentez Yayıncılık, 2025. 2. Fikret OSMAN, Mantığın Aritmetik Denklem Dilinin Geleneksel/Klasik Akıl Yürütme Biçimlerine Uygulanması: Frege'nin Begriffsschrift'i Bağlamında Doğrudan ve Dolaylı Çıkarımların İki Boyutlu Notasyonu, Emin Yayınları, 2023. 3. Fikret Osman, Geleneksel/Klasik Mantığın Modern/Sembolik Yorumu, 2. Baskı, Sentez Yayıncılık, 2024.
24	Assesment

TERM LEARNING ACTIVITIES	NUMBER	PERCENT
Midterm Exam	1	40
Quiz	0	0
Homeworks, Performances	0	0
Final Exam	1	60
Total	2	100
Contribution of Term (Year) Learning Activities to Success Grade		40
Contribution of Final Exam to Success Grade		60
Total		100
Measurement and Evaluation Techniques Used in the Course	The system of relative of evaluation is applied.
Information	Two exams are administered.

ECTS / WORK LOAD TABLE

CONTRIBUTION OF LEARNING OUTCOMES TO PROGRAMME QUALIFICATIONS

LO: Learning Objectives

PQ: Program Qualifications

Contribution Level:

1 Very Low

2 Low

3 Medium

4 High

5 Very High