| Course Title | Code | Semester | L+U Hour | Credits | ECTS |
|---|---|---|---|---|---|
| Modern Logic | FLS210 | 4. Semester | 4 + 0 | 4.0 | 6.0 |
| Prerequisites | None |
| Language of Instruction | Turkish |
| Course Level | Undergraduate |
| Course Type | |
| Mode of delivery | Face to face |
| Course Coordinator | |
| Instructors |
BUŞRA AŞIK BİRLİK |
| Assistants | |
| Goals | The aim is to learn the symbolization method in modern logic and to be able to test the validity, consistency and equality of the propositions with truth table and analytic table. |
| Course Content | Symbolization method. Validity, consistency and equality test in propositional logic. Validity, consistency and equality test in quantificational logic. |
| Learning Outcomes |
- Being able to explain the basic concepts of symbolic logic - Being able to use symbolic logic of propositions in order to understand reasoning in daily language - To be able to test the validity of the propositions by using the truth table in propositional logic - To be able to test the validity of the propositions by using the analytic table in propositional logic. - To be able to test the validity of the propositions by using the analytic table in quantificational logic. |
| Week | Topics | Learning Methods |
|---|---|---|
| 1. Week | Symbolic logic. | |
| 2. Week | Symbolization of the propositions | |
| 3. Week | Truth table | |
| 4. Week | Consistency test by using Truth table | |
| 5. Week | Validity test by using Truth table | |
| 6. Week | Equality test by using Truth table | |
| 7. Week | Equality test by using Truth table | |
| 8. Week | Mid-term | |
| 9. Week | Analytic table | |
| 10. Week | Validity test by using Analytic table | |
| 11. Week | Çözümleyici çizelge yöntemi ile geçerlilik denetlemesi | |
| 12. Week | Equality test by using Analytic table | |
| 13. Week | Quantificational logic | |
| 14. Week | Consistency and Validity test in Quantificational logic by using Analytic table | |
| 15. Week | Equality test in Quantificational logic by using Analytic table |
| Mantık, Kadir Çüçen, Sentez Yayıncılık, İstanbul, 2012. |
| Mantık, Doğan Özlem, Notos Yayınları, İstanbul, 2011. |
| Klasik Mantık / Prof. Dr. Necati Önder, Vadi Yayınları, İstanbul, 2009. |
| Program Requirements | Contribution Level | DK1 | DK2 | DK3 | DK4 | DK5 | Measurement Method |
|---|---|---|---|---|---|---|---|
| PY1 | 4 | 0 | 0 | 0 | 0 | 0 | - |
| PY2 | 4 | 0 | 0 | 0 | 0 | 0 | - |
| PY3 | 5 | 0 | 0 | 0 | 0 | 0 | - |
| PY4 | 4 | 0 | 0 | 0 | 0 | 0 | - |
| PY5 | 5 | 0 | 0 | 0 | 0 | 0 | - |
| PY6 | 4 | 0 | 0 | 0 | 0 | 0 | - |
| PY7 | 4 | 0 | 0 | 0 | 0 | 0 | - |
| PY8 | 3 | 0 | 0 | 0 | 0 | 0 | - |
| PY9 | 3 | 0 | 0 | 0 | 0 | 0 | - |
| PY10 | 5 | 0 | 0 | 0 | 0 | 0 | - |
| PY11 | 3 | 0 | 0 | 0 | 0 | 0 | - |
| PY12 | 3 | 0 | 0 | 0 | 0 | 0 | - |
| PY13 | 1 | 0 | 0 | 0 | 0 | 0 | - |
| PY14 | 1 | 0 | 0 | 0 | 0 | 0 | - |
| 0 | 1 | 2 | 3 | 4 | 5 | |
|---|---|---|---|---|---|---|
| Course's Level of contribution | None | Very Low | Low | Fair | High | Very High |
| Method of assessment/evaluation | Written exam | Oral Exams | Assignment/Project | Laboratory work | Presentation/Seminar |
| Event | Quantity | Duration (Hour) | Total Workload (Hour) |
|---|---|---|---|
| Midterm 1 | 1 | 60 | 60 |
| Final | 1 | 60 | 60 |
| Practice | 1 | 10 | 10 |
| Classroom Activities | 14 | 4 | 56 |
| Total Workload | 186 | ||
| ECTS Credit of the Course | 6.0 | ||
