PHIL235 INTRODUCTION TO DEDUCTIVE LOGIC
| Course Code: | 2410235 |
| METU Credit (Theoretical-Laboratory hours/week): | 3 (3.00 - 0.00) |
| ECTS Credit: | 5.0 |
| Department: | Philosophy |
| Language of Instruction: | English |
| Level of Study: | Undergraduate |
| Course Coordinator: | Prof.Dr. DAVİD GRÜNBERG |
| Offered Semester: | Fall or Spring Semesters. |
Course Objectives
Logic is the study of "good" reasoning. We all have some basic intuitions about what counts as "good" or "acceptable" reasoning, but those intuitions fail most of the time, especially in cases where reasoning is more complex. Logic is the discipline that formalizes those intuitions so that the failure of distinguishing "good" reasoning from "bad" reasoning is minimized. In this course, we will study one of the two main types of logic, i.e. deductive logic (the other being inductive logic). The topics that will be covered are validity, soundness, truth-table methods, natural deduction proof techniques and some metatheorems. The course will be useful for any student who aims to improve his/her analytical thinking skills.
Course Content
Logic as a formal science; inference, implication, validity and truth; syllogism.
Course Learning Outcomes
1. To grasp the basic notions of logic and be able to use them
2. To excel at the skills of symbolizing arguments of natural language in First-order Logic
3. To understand and use basic semantic techniques of validity checking in Propositional Logic
4. To understand and use basic syntactic techniques of theorem proving in First-order Logic
5. To become familiar with basic metatheorems of First-order Logic
Program Outcomes Matrix
| Level of Contribution | |||||
| # | Program Outcomes | 0 | 1 | 2 | 3 |
| 1 | Have the knowledge and skills of research method which is a requirement in order to be successful in academic studies. | ✔ | |||
| 2 | Have the capacity for applying philosophical knowledge to scientific and social issues. | ✔ | |||
| 3 | Examine and analyze a subject matter and make philosophical interpretations on it. | ✔ | |||
| 4 | Have the skills of critical thinking, analytical approach, problem solving, multi-dimensional view, making inferences and interpretations regarding to philosophical texts and scientific facts. | ✔ | |||
| 5 | Identify the basic concepts and issues in philosophy. | ✔ | |||
| 6 | Evaluate and understand the underlying philosophical assumptions of fundamental and social sciences. | ✔ | |||
| 7 | Have capacity to make interdisciplinary readings and analysis. | ✔ | |||
| 8 | Have verbal and written presentation and effective communication skills, be open to team work and do interdisciplinary study. | ✔ | |||
| 9 | Make connections between contemporary ethical, social, cultural, esthetic and politic issues. | ✔ | |||
| 10 | Interpret the historical development of scientific and philosophical questions. | ✔ | |||
| 11 | Have knowledge about contemporary philosophical issues and their relations to other disciplines. | ✔ | |||
| 12 | Use modern information tools in order to make research in philosophy. | ✔ | |||
| 13 | Improve their professional and personal skills lifelong. | ✔ | |||
| 14 | Use information technologies effectively in domain applications in philosophy. | ✔ | |||
| 15 | Have self-confidence and develop original ideas regarding to philosophy. | ✔ | |||
| 16 | Have social and ethical responsibility regarding to contemporary issues. | ✔ | |||
| 17 | Have good knowledge of English, research method and computer skills and use these skills effectively. | ✔ | |||
| 18 | Comprehend the basic theories and issues in sub-disciplines of philosophy. | ✔ | |||
| 19 | Have an advanced knowledge in certain specific fields such as environment, technology, culture, art etc. | ✔ | |||
0: No Contribution 1: Little Contribution 2: Partial Contribution 3: Full Contribution