• Turkish
  • English
Course Code: 
PHIL 112
Semester: 
Spring
Course Type: 
Core
P: 
3
Lab: 
0
Laboratuvar Saati: 
0
Credits: 
3
ECTS: 
7
Course Language: 
English
Course Objectives: 
The aim of this course is to help students learn the basic concepts and rules of both traditional and modern symbolic logic, to teach how to conduct operations and analyses in first order logic, and how to translate ordinary language inferences into logical language.
Course Content: 

Fundamental concepts of logic: proposition, argument, reasoning, inference, form, truth, implication, validity, deductive and inductive argument. Types of propositions, Venn diagrams. Classical (Aristotelian) Logic: immediate inference (Relation by opposition: the traditional square of opposition; Relation by equivalence: conversion; obversion; contraposition) and mediate inference (Categorical, hypothetical and disjunctive syllogisms). Validity Testing. Modern symbolic logic. The Propositional Calculus: Truth-functional connectives, truth tables. Rules and techniques of inferences. Validity proofs: Formal proof of validity (Natural Deduction).

Course Methodology: 
1: Lecture, 2: Question-Answer, 3: Discussion, 4: Exercises
Course Evaluation Methods: 
A: Testing, B: Experience, C: Homework

Vertical Tabs

Course Learning Outcomes

Learning Outcomes

Upon the completion of this course a student:

Program Learning Outcomes

Teaching Methods

Assessment Methods

1) gains fundamental mastery of the concepts of logic.

1, 2, 6, 9, 10

1, 2, 3, 4

A, C

2) translates ordinary language statements into the language of symbolic logic.

1, 2, 6, 9, 10

1, 2, 3, 4

A, C

3) tests the consistency and validity of inferences by different methods.

1, 2, 6, 9, 10

1, 4

A, C

4) conceives the fundamentals of the structural differences between traditional logic and modern symbolic logic.

1, 2, 6, 9, 10

1, 2, 3, 4

A, C

5) grasps the relation between logic and the fundamentals of mathematics.

1, 2, 6, 9, 10

1, 2, 3, 4

A, C
 
 

Course Flow

Week

Topics

Study Materials

1

Introduction: Fundamental concepts of logic

Dictionary of Logic

2

Application of the concepts of logic to ordinary language statements

Exemplary exercises

3

Types of statements

Textbook reading

4

Fundamental concepts of traditional Aristotelian logic

Textbook reading

5

The analysis of statements in traditional logic, conversion, obversion, contraposition

Exemplary exercises

6

The inference forms in traditional logic; syllogism

Exemplary exercises

7

The structural differences between traditional logic and modern symbolic logic

Textbook reading

8

Midterm Exam

Textbook exercises

9

The fundamentals of modern sentential logic

Textbook reading

10

Truth-functions and truth tables

Exemplary exercises

11

Testing consistency and validity by truth-table method

Exemplary exercises

12

Translating ordinary language statements and inferences into the language of symbolic logic

Textbook reading

13

Exercises in translating ordinary language inferences into the language of symbolic logic and testing their consistency and validity

Exemplary exercises

14

General Revision

-

15

Final Exam

Textbook exercises
 
 

Recommended Sources

Textbook

Hodges, W., Logic (2nd edition), Penguin Books, London, 2001.

Additional Resources

Grünberg, T. ve A. Onart, Mantık Terimleri Sözlüğü, Türk Dil Kurumu Yayınları, Ankara, 1976.

Wilfrid Hodges’ logic page at http://wilfridhodges.co.uk/
 
 

Material Sharing

Documents

Exemplary exercises

Assignments

  

Exams

  
 
 

Assessment

IN-TERM STUDIES

NUMBER

PERCENTAGE

Mid-terms

1

30

Assignment

1

30

Final examination

1

40

Total

 

100

CONTRIBUTION OF FINAL EXAMINATION TO OVERALL GRADE

 

40

CONTRIBUTION OF IN-TERM STUDIES TO OVERALL GRADE

 

60

Total

 

100
 

 

COURSE CATEGORY

Core Area Courses
 
 

Course’s Contribution to Program

No

Program Learning Outcomes

Contribution

1

2

3

4

5

1

Grasps the fundamental concepts and analytical methods necessary to succeed in academic studies in the field of philosophy.

        

X

2

Acquires a versatile critical and analytical approach, and problem-solving, interpretative and  argumentative skills necessary for a successful career in philosophy.

      

X

  

3

Communicates effectively, is specifically successful in written and oral presentation, has proper capacities for teamwork and interdisciplinary studies, takes the initiative, has developed a sense of responsibility, contributes original ideas to the field of philosophy, and is loyal to ethical principles.

    

X

    

4

Reaches the perfection of pursuing professional and personal development by using all means of knowledge with a view to lifelong learning.

      

X

  

5

Develops a consciousness of professional and social ethics.

  

X

      

6

Gains the skills of choosing and developing contemporary means required in philosophical applications as well as using computing technologies effectively.

        

X

7

Acquires substantial knowledge of the history of philosophy.

  

X

      

8

Learns a classical and at least one modern foreign language so as to read the historical texts of philosophy in the original.

X

        

9

Pinpoints, recognizes, grasps and discusses the problems of philosophy within their context in the history of philosophy.

  

X

      

10

Develops perfection in reading, understanding and analyzing philosophical texts in different languages.

      

X

  
 
 

ECTS

Activities

Quantity

Duration
(Hour)

Total
Workload
(Hour)

Course Duration (Including the exam week: 15x Total course hours)

15

4

60

Hours for off-the-classroom study (Pre-study, practice)

10

5

50

Mid-terms

1

20

20

Assignments

1

20

20

Final examination

1

25

25

Total Work Load

 

 

175

Total Work Load / 25 (h)

 

 

7

ECTS Credit of the Course

 

 

7
 
 

Copyright © 2024. Yeditepe University.