SYMBOLIC LOGIC II

SOC410

Course Code: SOC410
Semester: -
Theory+Practice: 3 + 0
ECTS: 5

Course Type

Elective Course

Course Level

Bachelor's Degree

Year of Study

Semester

ECTS

Name of Lecturer(s)

Associate Professor Çiğdem Sema Sırma

Learning Outcomes

At the end of this course, the students;

Grasp the basic symbolic logic and compprehend its importance.
Learns various topics within the framework of quantification logic and solves the necessary exercises.
Makes evaluations on logic, language and meaning.
Deepen the knowledge in the field of philosophy.
Evaluates about reasoning.

Mode of Delivery

Face to face

Prerequisites

Yes(SOC408)

Recommended Optional Programme Components

Course Description

In this course, students first recognize the predicate logic and understand its importance. In addition, they learn various topics in the relevant framework and solve the necessary exercises.

Course Contents

WEEK	TOPICS
1^st Week	Quantification. Formal language of quantificational logic. Terms and quantified statements.
2^nd Week	Free and bound variables. Substitution.
3^rd Week	Symbolization and translation.
4^th Week	Symbolization and translation.
5^th Week	Natural deductions in quantificational logic
6^th Week	Natural deductions in quantificational logic
7^th Week	-----------------------1. MID TERM---------------------
8^th Week	Natural deductions in quantificational logic
9^th Week	Natural deductions in quantificational logic
10^th Week	First-order structures. Interpretation of terms in first-order structures. Satisfiability in first order structures. Validity, invalidity.
11^th Week	Satisfiability in first order structures. Validity, invalidity.
12^th Week	Satisfiability in first order structures. Validity, invalidity. Finding models and counter-models.
13^th Week	Prenex normal form
14^th Week	General Evaluation

Recommended or Required Reading

*Kutlusoy, Z. (2003) Temel Sembolik Mantık, Ankara: Art Basın Yayın Kültür Hizmetleri
*Grunberg, T, (2000) Sembolik Mantık El Kitabı 1. Cilt. Temel Mantık, Ankara: METU Press
*Grunberg, T, (2000) Sembolik Mantık El Kitabı 2. Cilt. Özel Mantık Sistemleri,, Ankara: METU Press
*Grunberg, T, (2000) Sembolik Mantık El Kitabı 3. Cilt. Sembolik Mantığın Uygulamaları, Ankara: METU Press

Planned Learning Activities and Teaching Methods

Lecture
Discussion
Questions/Answers

Assessment Methods and Criteria

	Quantity	Percentage (%)
Mid-term	1	40
Total(%)		40
Contribution of In-term Studies to Overall Grade(%)		40
Contribution of Final Examination to Overall Grade(%)		60
Total(%)		100

ECTS Allocated Based on Student Workload

Activities	Quantity	Duration (Hour)	Total Workload (Hour)
Midterm exam	1	2	2
Preparation for Quiz	0	0	0
Individual or group work	14	7	98
Preparation for Final exam	1	20	20
Course hours	14	3	42
Preparation for Midterm exam	1	3	3
Laboratory (including preparation)	0	0	0
Final exam	1	2	2
Homework	0	0	0
Total Work Load			167
Total Work Load / 30 (h)			5.56
ECTS Credit of the Course			5

Language of Instruction

Turkish

Work Placement(s)

Programme Qualifications / Learning Outcomes

	LO1	LO2	LO3	LO4	LO5
K1
K2
K3
K4	X	X	X	X	X
K5
K6
K7
K8	X	X	X	X	X
K9
K10
K11
K12