COURSE SYLLABUS

LOGIC I

1	Course Title:	LOGIC I
2	Course Code:	FLS 3007
3	Type of Course:	Compulsory
4	Level of Course:	First Cycle
5	Year of Study:	3
6	Semester:	5
7	ECTS Credits Allocated:	3
8	Theoretical (hour/week):	3
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. Aytekin Özel
16	Course Lecturers:
17	Contactinformation of the Course Coordinator:	Doç. Dr. Aytekin Özel. Uludağ Üniversitesi, İlahiyat Fak., Fethiye Mahallesi Kırlangıç Sokak No:2B 16140 Nilüfer Bursa.
18	Website:	http://felsefe.uludag.edu.tr/site/node/153
19	Objective of the Course:	To recognize how Aristotle’s logic evolved through symbolic logic and a mathematical structure. To teach how to control propositions’ consistency, validity and equality and deductions’ validity by truth tables and analytic table.
20	Contribution of the Course to Professional Development

Learning Outcomes:

1	Introducting to symbolical logic;
2	Acknowledging connection between traditional logic and symbolic logic;
3	Knowing logic’s symbols;
4	Realizing symbolization; transforming of propositions from spoken language to symbolic language and from symbolic language to spoken language;
5	Learning truth tables and types of control by truth tables;
6	Controlling proposition’s consistency and propositions’ equality and together consistency by truth table;
7	Controlling propositions’ validity and deduction’s validity by truth table;
8	Recognizing analytic table;
9	Learning analytic table’s rules;
10	Learning relation between analytic table and truth table;

22	Course Content:

Week	Theoretical	Practical
1	To regocnize symbolic logic’s characters
2	To introduce symbolic logic’s evolution
3	To learn logic’s symbols
4	To realize symbolization and what its function is
5	To explain how to realize symbolization
6	To learn transforming of propositions and deductions from spoken language to symbolic language and vice versa
7	To explain meaning of controls of symbolic propositions and deductions’ consistency, equality and validity
8	To explain truth tables
9	To learn propositions’ consistency by truth tables
10	To learn propositions’ together consistency by truth tables
11	To introduce propositions’ and deductions’ validity
12	To explain what equality is and its control by truth table
13	To introduce analytic table and relation with truth table
14	To recognize analytic table’s rules and its structure

23	Textbooks, References and/or Other Materials:	Çüçen, Kadir (2012) Mantık, Bursa: Sentez Yayıncılık. Teo Grünberg, Sembolik Mantık El Kitabı, c. 1, ODTU yay., Ankara 2000.
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
Information

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