1	Course Title:	ADVANCED LOGIC I
2	Course Code:	FEL5123
3	Type of Course:	Optional
4	Level of Course:	Second Cycle
5	Year of Study:	1
6	Semester:	1
7	ECTS Credits Allocated:	4
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:	To teach set theory, identity logic, free logic and modal logic.
20	Contribution of the Course to Professional Development	The student does advanced logic work.

21

Learning Outcomes:

1 Learn singular formulas and general formulas.; 2 Learn semantics. ; 3 Learn symbolization.; 4 Learn law of identity logic.; 5 Learn law of free logic.; 6 Learn modalities of possibility and necessity.; 7 Learn law of modal logic.; 8 Learn the method of derivation.; 9 Learn Russellian semantics; 10 Lean Set theory;

22	Course Content:

Week	Theoretical	Practical
1	Syntax in identity logic.
2	Semantics in identity logic.
3	Symbolizations
4	Law of identity logic.
5	Law of identity logic.
6	Free logic.
7	Free logic.
8	Symbolizations
9	Modalities of Necessity and Possibilities.
10	Modal logic.
11	Modal logic.
12	Modal logic.
13	Set Theory
14	Set Theory

23	Textbooks, References and/or Other Materials:	Teo Grünberg, Modern Logic, Metu Press, Ankara 2002. Teo Grünberg, Sembolik Mantık El Kitabı, c. 2, Ankara 2000. J. Lemmon, Introduction to Axiomatic Set Theory.
24	Assesment

TERM LEARNING ACTIVITIES	NUMBER	PERCENT
Midterm Exam	0	0
Quiz	0	0
Homeworks, Performances	0	0
Final Exam	1	100
Total	1	100
Contribution of Term (Year) Learning Activities to Success Grade		0
Contribution of Final Exam to Success Grade		100
Total		100
Measurement and Evaluation Techniques Used in the Course	The system of relative of evaluation is applied
Information	Logic is studied in advanced degree. One exam is applied.

25

ECTS / WORK LOAD TABLE

Activites	NUMBER	TIME [Hour]	Total WorkLoad [Hour]
Theoretical	14	2	28
Practicals/Labs	0	0	0
Self Study and Preparation	14	5	70
Homeworks, Performances	0	0	0
Projects	0	0	0
Field Studies	0	0	0
Midtermexams	0	0	0
Others	0	0	0
Final Exams	1	22	22
Total WorkLoad			120
Total workload/ 30 hr			4
ECTS Credit of the Course			4

26	CONTRIBUTION OF LEARNING OUTCOMES TO PROGRAMME QUALIFICATIONS
PQ1 PQ2 PQ3 PQ4 PQ5 PQ6 PQ7 PQ8 PQ9 PQ10 PQ11 PQ12 LO1 5 0 4 0 0 0 0 0 5 0 0 0 LO2 0 0 0 0 5 0 0 0 0 0 0 0 LO3 0 0 0 0 0 0 5 0 0 0 0 0 LO4 0 0 0 4 0 0 0 0 0 0 5 0 LO5 0 0 0 0 0 0 4 0 0 0 0 0 LO6 0 0 0 0 0 0 0 5 0 0 0 0 LO7 0 0 0 0 0 0 0 0 0 5 0 0 LO8 0 0 0 0 0 5 0 0 0 0 0 0 LO9 0 5 0 3 0 0 0 0 0 0 0 0 LO10 4 0 0 0 0 0 0 0 0 0 0 5

LO: Learning Objectives

PQ: Program Qualifications

Contribution Level:

1 Very Low

2 Low

3 Medium

4 High

5 Very High