Nevşehir Hacı Bektaş Veli University Course Catalogue
|
|||||
| Year/Semester of Study | 3 / Fall Semester | ||||
| Level of Course | 1st Cycle Degree Programme | ||||
| Type of Course | Optional | ||||
| 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 those basic notions of logic and metalogic that will ease a transition to the gradute-level, advanced topics of logic, and to provide the student with a critical perspective on modern logic. | |||||
| Learning Outcomes | PO | MME | |
| The students who succeeded in this course: | |||
| LO-1 | can explain the semantic theory of modern logic. |
PO-8 Understanding, resolving and – if need be – manipulating singular problems confronted in sub-disciplines of philosophy. PO-13 Identifying inferential structures in given textual materials. |
Examination |
| LO-2 | can grasp the variety in the methods of semantic analysis of modern logic. |
PO-1 Developing skills of analytic and synthetic thinking, reading and writing. PO-8 Understanding, resolving and – if need be – manipulating singular problems confronted in sub-disciplines of philosophy. PO-13 Identifying inferential structures in given textual materials. |
Examination |
| LO-3 | can use mathematical induction and similar methods of proof. |
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 |
| LO-4 | can use the methods of natural deduction. |
PO-1 Developing skills of analytic and synthetic thinking, reading and writing. PO-13 Identifying inferential structures in given textual materials. |
Examination |
| LO-5 | can evaluate propositional and quantificational logic in terms of expressive strength. |
PO-1 Developing skills of analytic and synthetic thinking, reading and writing. PO-13 Identifying inferential structures in given textual materials. |
Examination |
| PO: Programme Outcomes MME:Method of measurement & Evaluation |
|||
| Course Contents | ||
| Presentation of certain notions that will bridge the student to advanced topics of logic such as model theory and proof theory; an exhibition of the variety in semantical analysis and proof for modern theories of propositions and quantification; presentation of the methods of generating conjunctive and disjunctive normal forms, and of the functionality of these forms in semantical analysis; presentation of the method of proof called "mathematical induction"; an examination of truth-functional connectives in terms of expressive strength; presentation of the topic of extensionality in the theory of quantification; presentation of the method of natural deduction; presentation of the problem of empty names and empty domains. | ||
| Weekly Course Content | ||
| Week | Subject | Learning Activities and Teaching Methods |
| 1 | Advanced topics in logic in broad perspective | Lecture |
| 2 | The basic semantics of propositional logic | Lecture |
| 3 | The basic semantics of quantificational logic | Lecture |
| 4 | Methods in semantical analysis | Lecture |
| 5 | Methods in semantical analysis | Lecture |
| 6 | Expressive strength of truth-functional connectives | Lecture |
| 7 | Expressive strength of truth-functional connectives | Lecture |
| 8 | mid-term exam | |
| 9 | Mathematical induction | Lecture |
| 10 | Mathematical induction | Lecture |
| 11 | Natural deduction | Lecture |
| 12 | Natural deduction | Lecture |
| 13 | Extensionality | Lecture |
| 14 | Names and domains | Lecture |
| 15 | Soundness and completeness | Lecture |
| 16 | final exam | |
| Recommend Course Book / Supplementary Book/Reading | ||
| 1 | Grünberg, T. (2005), Felsefe ve Felsefi Mantık Yazıları, İstanbul: Yapı Kredi Yayınları. | |
| 2 | Bostock, D. (1997), Intermediate Logic, New York, NY: Oxford University Press. | |
| 3 | Hunter, G. (1971), Metalogic: An Introduction to the Metatheory of Standard First Order Logic, Los Angeles, CA: California University Press. | |
| Required Course instruments and materials | ||
| Coursebook, Articles. | ||
| 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 | 14 | 42 |
| Outside Class | |||
| a) Reading | 5 | 14 | 70 |
| 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 | 5 | 25 |
| mid-term exam | 1 | 1 | 1 |
| Own study for final exam | 5 | 5 | 25 |
| final exam | 1 | 1 | 1 |
| 0 | |||
| 0 | |||
| Total work load; | 164 | ||