• Turkish
  • English
Course Code: 
PHIL 213
Semester: 
Fall
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 acquire advanced knowledge of symbolic logic and the foundations of mathematics, including quantificational logic, axiomatic systems and alternative logics.
Course Content: 

The method of Semantic Tableaux (The Tree method) in the Propositional Calculus Quantification Theory (Predicate Logic). First-order Predicate Logic with identity. Translation of ordinary language into symbolic logic. Rules and techniques of inferences. Methods of proofs: The Tree method. The axiomatic method: The need for axiomatic method. The Euclidean geometry and Non-Euclidean geometries. Axiomatic system for the propositional calculus: Independence, Completeness, Consistency

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 advanced 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 quantificational logic.

1, 2, 6, 9, 10

1, 2, 3, 4

A, C

3) develops the skills of testing the consistency and validity of inferences by different methods.

1, 2, 6, 9, 10

1, 4

A, C

4) grasps the methods of deductive proof and semantic demonstration.

1, 2, 6, 9, 10

1, 2, 3, 4

A, C

5) grasps the relation between logic and axiomatic systems.

1, 2, 6, 9, 10

1, 2, 3, 4

A, C
 

Course Flow

COURSE CONTENT

Week

Topics

Study Materials

1

Semantic testing of consistency and validity in sentential logic: tree method

Textbook reading

2

Quantificational logic and ordinary language statements

Exemplary exercises

3

The relations between universal and existential quantifiers

Textbook reading

4

Semantic testing of consistency and validity in quantificational logic: tree method

Exemplary exercises

5

Quantificational logic with identity

Exemplary exercises

6

Revision of first order logic

Textbook reading

7

Advanced exercises in first order logic

Exemplary exercises

8

Midterm Exam

Textbook exercises

9

Axiomatic method and the foundations of mathematics

Textbook reading

10

Comparing different axiomatic systems

Textbook reading

11

Independence, completeness and consistency

Textbook reading

12

Modal and philosophical logics

Textbook reading

13

Non-classical logics

Textbook reading

14

General Revision

-

15

Final Exam

Textbook exercises
 

Recommended Sources

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

MATERIAL SHARING

Documents

Exemplary exercises

Assignments

  

Exams

  
 

Assessment

ASSESSMENT

IN-TERM STUDIES

NUMBER

PERCENTAGE

Midterm

1

28

Assignments

4

32

Final

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

Area-Specific Courses
 

Course’s Contribution to Program

COURSE’S CONTRIBUTION TO THE 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

ECTS ALLOCATED BASED ON STUDENT WORKLOAD BY THE COURSE DESCRIPTION

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)

12

6

72

Mid-terms

1

15

15

Assignments

4

3

12

Final examination

1

18

18

Total Work Load

 

 

175

Total Work Load / 25 (h)

 

 

7,08

ECTS Credit of the Course

 

 

7
 

Copyright © 2024. Yeditepe University.