PAÜ .:. Eğitim Öğretim Bilgi Sistemi

COURSE INFORMATION

Course Code	Course Title	L+P Hour	Semester	ECTS
FEL 216	MODERN LOGIC	4 + 0	4th Semester	7

COURSE DESCRIPTION

Course Level	Bachelor's Degree
Course Type	Compulsory
Course Objective	to make student proficient in analyzing the difference between good and bad reasoning and testing validity/invalidity in a given deductive argument.
Course Content	This is a first-order propositional logic, so deductively correct reasoning will be the main focus of this course. Truth-tables and trees will be used for testing validity. We will be studying the first-order quantifier logic.
Prerequisites	No the prerequisite of lesson.
Corequisite	No the corequisite of lesson.
Mode of Delivery	Face to Face

COURSE LEARNING OUTCOMES

1	Distinguishes good reasoning from bad reasoning.
2	Recognises logical fallacies.
3	Gains ability of reasoning.
4	Distinguishes consistent views from inconsistent ones.
5	Expresses his/her thoughts clearly and distinctly.
6	Distinguishes good reasoning from bad reasoning.

COURSE'S CONTRIBUTION TO PROGRAM

	PO 01	PO 02	PO 03	PO 04	PO 05	PO 06	PO 07	PO 08	PO 09	PO 10	PO 11	PO 12	PO 13	PO 14
LO 001		4	4	3			2		2				4
LO 002		2	2	2						2	2		2
LO 003		3					3		4		4		3
LO 004		2	1	1					2	1			2
LO 005		2		1			1						1	5
Sub Total		13	7	7			6		8	3	6		12	5
Contribution	0	2	1	1	0	0	1	0	1	1	1	0	2	1

ECTS ALLOCATED BASED ON STUDENT WORKLOAD BY THE COURSE DESCRIPTION

Activities	Quantity	Duration (Hour)	Total Work Load (Hour)
Course Duration (14 weeks/theoric+practical)	14	4	56
Hours for off-the-classroom study (Pre-study, practice)	6	11	66
Assignments	5	9	45
Mid-terms	1	6	6
Final examination	1	9	9
Total Work Load ECTS Credit of the Course			182 7

COURSE DETAILS

Select Year

Course Details

Course Code	Course Title	L+P Hour	Course Code	Language Of Instruction	Course Semester
FEL 216	MODERN LOGIC	4 + 0	3	Turkish	2023-2024 Spring

Course Coordinator	E-Mail	Phone Number	Course Location	Attendance
Prof. Dr. FATİH SULTANMEHMET ÖZTÜRK	fsmozturk@pau.edu.tr		FEN B0216	%

Goals		to make student proficient in analyzing the difference between good and bad reasoning and testing validity/invalidity in a given deductive argument.
Content		This is a first-order propositional logic, so deductively correct reasoning will be the main focus of this course. Truth-tables and trees will be used for testing validity. We will be studying the first-order quantifier logic.

Topics

Weeks	Topics
1	1.What is logic? A brief history of logic and kinds of reasonings.
2	Propositional Logic 2.Logical connectives and symbolization: Negation, conjunction, disjunction, conditional, biconditional.
3	Symbolization of inferences; recognition of main connectives; use of parentheses; truth-value assignment of non-atomic sentences.
4	Constructing truth-tables; Using truth tables to determine consistency and validity; by using truth tables to determine whether an argument/inference is deductively valid
5	Using truth tables to test logical equivalences.
6	Truth Trees: 6.Rules for truth trees.
7	Using truth trees to test logical consistency, validity and equivalence.
8	Term Exam
9	Quantifier (Predicats) logic: 9.Basic notions and definitions in quantifier logic; singular and atomic propositions; symbolizations of non-atomic propositions; symbolizations of terms; differences between terms and propositions.
10	Symbolizations of inferences; rules for quantifier exchange.
11	Open Formulas:11.Open formula, variables, constants, names, universe of discourse, universalization, existentialization.
12	Quantifiers: Universal and existential quantifier.
13	Rules for truth trees in quantifier logic.
14	Using truth trees to test logical consistency, validity and equivalence in quantifier logic.

Materials

Materials are not specified.

Resources

Course Assessment

Assesment Methods	Percentage (%)	Assesment Methods Title
Final Exam	50	Final Exam
Midterm Exam	50	Midterm Exam

L+P: Lecture and Practice
PQ: Program Learning Outcomes
LO: Course Learning Outcomes

Prospective Student