COURSE UNIT TITLE

: MODERN LOGIC

Description of Individual Course Units

Course Unit Code Course Unit Title Type Of Course D U L ECTS
FEL 1006 MODERN LOGIC COMPULSORY 4 0 0 6

Offered By

Philosophy

Level of Course Unit

First Cycle Programmes (Bachelor's Degree)

Course Coordinator

PROFESSOR DOCTOR METIN BAL

Offered to

Philosophy

Course Objective

The objectives of this lecture is to teach basic concepts and principles of modern logic

Learning Outcomes of the Course Unit

1   At the end of this lecture, the student will be able to distinguish consistent propositions and valid derivations from inconsistent propositions and invalid derivations,
2   to gain the ability to make valid derivations,
3   to explain the basic concepts and principles of modern logic to other people,
4   to check the consistency and validity degree of logical argumentation,
5   to apply the principles to modern logic to Turkish language.

Mode of Delivery

Face -to- Face

Prerequisites and Co-requisites

None

Recomended Optional Programme Components

None

Course Contents

Week Subject Description
1 What is modern logic
2 Logic of connectives: main concepts
3 Logic of Connectives: inferences
4 Logic of Connectives: inferences
5 Monadic predicate logic: main concepts
6 Monadic predicate logic: inferences
7 Monadic predicate logic: inferences
8 Midterm exam
9 Logic of connectives: application to Turkish
10 Logic of connectives: application to Turkish
11 Logic of connectives: application to electric circuits
12 Logic of connectives application to electric circuits
13 Monadic predicate logic: application to Turkish
14 Monadic predicate logic: application to Turkish
15 Monadic predicate logic: application to classical logic
16 Final Exam

Recomended or Required Reading

Teo Grünberg, Hüseyin Batuhan, Andan Onart, MODEN MANTIK (Ankara: MEB Yayınları)
Zekiye Kutlusoy, TEMEL SEMBOLIK MANTIK (Ankara: Art Ltd Şirketi)
Patrick Suppes, Introduction to Logic (Yedinci Baskı), Wadsworth Publishing.
Irving M. Copi ve Carl Cohen, Introduction to Logic (On Üçüncü Baskı), Pearson.

Planned Learning Activities and Teaching Methods

Lecture, problem solving

Assessment Methods

SORTING NUMBER SHORT CODE LONG CODE FORMULA
1 MTE MIDTERM EXAM
2 FIN FINAL EXAM
3 FCGR FINAL COURSE GRADE (RESIT) MTE * 0.40 + FIN * 0.60
4 RST RESIT
5 FCGR FINAL COURSE GRADE (RESIT) MTE * 0.40 + RST * 0.60


Further Notes About Assessment Methods

None

Assessment Criteria

The student's performance will be evaluate by the questions that will be asked in midterm and finam exams.

Language of Instruction

Turkish

Course Policies and Rules

70% attendance is required
The participation in midterm and final exams will be considered in grading.

Contact Details for the Lecturer(s)

levent.aysever@deu.edu.tr

Office Hours

Wed. 16:00-17:00

Work Placement(s)

None

Workload Calculation

Activities Number Time (hours) Total Work Load (hours)
Lectures 13 4 52
Preperation before/after weekly lectures 13 4 52
Preperation for midterm exam 1 21 21
Preperation for final exam 1 21 21
Midterm exam 1 2 2
Final exam 1 2 2
TOTAL WORKLOAD (hours) 150

Contribution of Learning Outcomes to Programme Outcomes

PO/LOPO.1PO.2PO.3PO.4PO.5PO.6PO.7PO.8PO.9PO.10PO.11PO.12PO.13PO.14PO.15
LO.155
LO.2555
LO.345
LO.455
LO.5