Nevşehir Hacı Bektaş Veli University Course Catalogue
|
|||||
| Year/Semester of Study | 2 / Spring Semester | ||||
| Level of Course | 1st Cycle Degree Programme | ||||
| Type of Course | Compulsory | ||||
| Department | PHILOSOPHY | ||||
| Pre-requisities and Co-requisites | None | ||||
| Mode of Delivery | Face to Face | ||||
| Teaching Period | 14 Weeks | ||||
| Name of Lecturer | ARMAN BESLER (armanbesler@nevsehir.edu.tr) | ||||
| Name of Lecturer(s) | |||||
| Language of Instruction | Turkish | ||||
| Work Placement(s) | None | ||||
| Objectives of the Course | |||||
| The aim of this course is to introduce the student to concepts and problems of first-order, extensional quantificational logic and teach them the methods of analysing the semantic structure of quantified propositions. | |||||
| Learning Outcomes | PO | MME | |
| The students who succeeded in this course: | |||
| LO-1 | can grasp the expressive capabilities of quantificational logic. |
PO-8 Understanding, resolving and – if need be – manipulating singular problems confronted in sub-disciplines of philosophy. |
Examination |
| LO-2 | can use the basic analytic tools of quantificational logic. |
PO-13 Identifying inferential structures in given textual materials. PO-14 Approaching in a philosophical-logical manner to discussions in non-philosophical fields. |
Examination |
| LO-3 | can identify the elements of the semantic theory of quantificational logic. |
PO-13 Identifying inferential structures in given textual materials. PO-14 Approaching in a philosophical-logical manner to discussions in non-philosophical fields. |
Examination |
| LO-4 | can grasp the importance of the question of existential import. |
PO-1 Developing skills of analytic and synthetic thinking, reading and writing. PO-13 Identifying inferential structures in given textual materials. PO-14 Approaching in a philosophical-logical manner to discussions in non-philosophical fields. |
Examination |
| PO: Programme Outcomes MME:Method of measurement & Evaluation |
|||
| Course Contents | ||
| An examination of the theory of quantification of "classical" (i.e. first-order and extensional) logic. Determination of semantic statuses and test of validity by means of analytic tableaux. Translations from/into quantified propositions of natural language. Presentation of the problems concerning the order and scope of quantifiers, and of the problem of existential import. | ||
| Weekly Course Content | ||
| Week | Subject | Learning Activities and Teaching Methods |
| 1 | A history of quantificational logic | Lecture |
| 2 | Basic tools of quantificational logic | Lecture |
| 3 | Basic tools of quantificational logic | Lecture |
| 4 | The order of instantiation | Lecture |
| 5 | The order of instantiation | Lecture |
| 6 | Determination of semantic status by means of semantic tableaux | Lecture |
| 7 | Test of validity by means of semantic tableaux | Lecture |
| 8 | mid-term exam | |
| 9 | Translations from/into ordinary language | Lecture |
| 10 | Translations from/into ordinary language | Lecture |
| 11 | Domains of discourse | Lecture |
| 12 | Domains of discourse | Lecture |
| 13 | The question of existential import | Lecture |
| 14 | Theorems | Lecture |
| 15 | Theorems | Lecture |
| 16 | final exam | |
| Recommend Course Book / Supplementary Book/Reading | ||
| 1 | Grünberg, T. (2000). Sembolik Mantık El Kitabı, 1. Cilt: Temel Mantık, Ankara: METU Press. | |
| 2 | Özlem, D. (2011) Mantık. İstanbul: Notos. | |
| 3 | Kutlusoy, Z. (2003). Temel Sembolik Mantık, Ankara: Art. | |
| Required Course instruments and materials | ||
| Coursebook. | ||
| Assessment Methods | |||
| Type of Assessment | Week | Hours | Weight(%) |
| mid-term exam | 1 | 1 | 40 |
| Other assessment methods | |||
| 1.Oral Examination | |||
| 2.Quiz | |||
| 3.Laboratory exam | |||
| 4.Presentation | |||
| 5.Report | |||
| 6.Workshop | |||
| 7.Performance Project | |||
| 8.Term Paper | |||
| 9.Project | |||
| final exam | 1 | 1 | 60 |
| Student Work Load | |||
| Type of Work | Weekly Hours | Number of Weeks | Work Load |
| Weekly Course Hours (Theoretical+Practice) | 3 | 15 | 45 |
| Outside Class | |||
| a) Reading | 5 | 15 | 75 |
| b) Search in internet/Library | 0 | ||
| c) Performance Project | 0 | ||
| d) Prepare a workshop/Presentation/Report | 0 | ||
| e) Term paper/Project | 0 | ||
| Oral Examination | 0 | ||
| Quiz | 0 | ||
| Laboratory exam | 0 | ||
| Own study for mid-term exam | 5 | 6 | 30 |
| mid-term exam | 1 | 1 | 1 |
| Own study for final exam | 5 | 6 | 30 |
| final exam | 1 | 1 | 1 |
| 0 | |||
| 0 | |||
| Total work load; | 182 | ||