1	Course Title:	SYMBOLIC LOGIC II
2	Course Code:	FLS3010
3	Type of Course:	Optional
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:	Öğr.Gör. CANER ÇİÇEKDAĞI
16	Course Lecturers:	Prof. Dr. A. Kadir Çüçen - Caner Çiçekdağı
17	Contactinformation of the Course Coordinator:	Kadir@uludag.edu.tr; Uludağ Üniversitesi Felsefe Bölümü Fen-Edebiyat Fakültesi, 16059 Görükle, Bursa - Türkiye. Tel: +90 224 2941826
18	Website:	http://felsefe.uludag.edu.tr/site/node/153
19	Objective of the Course:	To teach how to control to propositions’ consistency, validity and equality and deductions’ validity in propositional and quantifier logic by analytic table. To realize symbolization. To recognize relation between truth table and analytic table. To introduce bivalent, trivalent and polyvalent logics and differences between themselves.
20	Contribution of the Course to Professional Development

21

Learning Outcomes:

1 Introduction to analytic table, Acknowledging connection between truth table and analytic table; 2 Knowing symbols of quantifiers and the others, Recognizing the bases of analytic table; 3 Learning analytic table’s rules, Controlling proposition’s consistency and propositions’ equality and together consistency in propositional logic by analytic table; 4 Controlling propositions’ validity and deduction’s validity in propositional logic by analytic table; 5 Learning and controlling propositions’ status: totology, contradictory and contingency, Understanding relation between truth table and analytic table; 6 Knowing quantifiers logic, types of propositions, its rules and its structure; 7 Realizing symbolization; transforming propositions and deductions from spoken language to quantifier logic’s language and from quantifier logic to spoken language; 8 Controlling proposition’s consistency and propositions’ equality and together consistency in quantifier logic by analytic table; 9 Controlling propositions’ validity and deduction’s validity in quantifier logic by analytic table; 10 Learning alternative logics: trivalent and polyvalent logics;

22	Course Content:

Week	Theoretical	Practical
1	Introduction to analytic table
2	Acknowledging connection between truth table and analytic table
3	Knowing symbols of quantifiers and the others
4	Recognizing the bases of analytic table
5	Learning analytic table’s rules
6	Controlling proposition’s consistency and propositions’ equality and together consistency in propositional logic by analytic table
7	Controlling propositions’ validity and deduction’s validity in propositional logic by analytic table
8	Learning and controlling propositions’ status: totology, contradictory and contingency
9	Understanding relation between truth table and analytic table
10	Knowing quantifiers logic, types of propositions, its rules and its structure
11	Realizing symbolization; transforming propositions and deductions from spoken language to quantifier logic’s language and from quantifier logic to spoken language
12	Controlling proposition’s consistency and propositions’ equality and together consistency in quantifier logic by analytic table
13	Controlling propositions’ validity and deduction’s validity in quantifier logic by analytic table
14	Learning alternative logics: trivalent and polyvalent logics

23	Textbooks, References and/or Other Materials:	Çüçen, Kadir (2012) Logic, Bursa: Sentez Publishing. Kutlusoy, Zekiye (2003) Basic Symbolic Logic, Ankara: Art Publishing
24	Assesment

TERM LEARNING ACTIVITIES	NUMBER	PERCENT
Midterm Exam	1	30
Quiz	0	0
Homeworks, Performances	4	20
Final Exam	1	50
Total	6	100
Contribution of Term (Year) Learning Activities to Success Grade		50
Contribution of Final Exam to Success Grade		50
Total		100
Measurement and Evaluation Techniques Used in the Course
Information

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	7	3	21
Homeworks, Performances	4	2	8
Projects	0	0	0
Field Studies	0	0	0
Midtermexams	1	5	5
Others	4	2	8
Final Exams	1	20	20
Total WorkLoad			90
Total workload/ 30 hr			3
ECTS Credit of the Course			3

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

LO: Learning Objectives

PQ: Program Qualifications

Contribution Level:

1 Very Low

2 Low

3 Medium

4 High

5 Very High