Nevşehir Hacı Bektaş Veli University Course Catalogue
|
|||||
| Year/Semester of Study | 2 / Fall 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 introduce the student to the notions of the classical logic of truth-functions, and teach them the methods of analyzing the semantic structures of molecular propositions. | |||||
| Learning Outcomes | PO | MME | |
| The students who succeeded in this course: | |||
| LO-1 | can explain the basic concepts of logic. |
PO-13 Identifying inferential structures in given textual materials. |
Examination |
| LO-2 | can know functions that are truth-functional from those that are not. |
PO-13 Identifying inferential structures in given textual materials. |
Examination |
| LO-3 | can explain the semantic structure of propositional connectives. |
PO-13 Identifying inferential structures in given textual materials. |
Examination |
| LO-4 | can analyze the semantic structure of molecular propositions. |
PO-13 Identifying inferential structures in given textual materials. |
Examination |
| LO-5 | can use truth tables and analytic tableaux in the analysis of meaning. |
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 propositions of classical -- i.e. first-order, extensional -- logic. Exposition of the semantic structures of truth-functionally molecular propositions by means of the methods of truth tables and truth trees (analytic tableaux). Determination of the semantic statuses of propositions, test of logical implication and equivalence between propositions, of the consistency of sets, and of the validity of inferences by means of the same methods. | ||
| Weekly Course Content | ||
| Week | Subject | Learning Activities and Teaching Methods |
| 1 | Introduction to logic | Lecture |
| 2 | Basic notions | Lecture |
| 3 | Truth-function and truth-functionality | Lecture |
| 4 | Truth-functional propositional connectives | Lecture |
| 5 | Truth tables | Lecture |
| 6 | Truth tables | Lecture |
| 7 | Truth tables | Lecture |
| 8 | mid-term exam | |
| 9 | Truth trees (analytic tableaux) | Lecture |
| 10 | Truth trees | Lecture |
| 11 | Truth trees | Lecture |
| 12 | Truth trees | Lecture |
| 13 | Truth trees | Lecture |
| 14 | Translations from/into ordinary language | Lecture |
| 15 | Applications | 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 | ||