| Course Unit Title | Course Unit Code | Type of Course Unit | Level of Course Unit | Year of Study | Semester | ECTS Credits |
|---|---|---|---|---|---|---|
| Modern Logic | FEL112 | Compulsory | Bachelor's degree | 1 | Spring | 5 |
Name of Lecturer(s)
Research Assistant Dr. Seyda KESİKOĞLU
Learning Outcomes of the Course Unit
1) students learnt symbolization of ordinary language sentences in sentential logic .
2) students learnt how to translate propositions of sentential logic to sentences of ordinary language .
3) students learnt valid rules of inferences in sentential logic
4) students learnt symbolization of ordinary language sentences in predicate logic
5) students learnt valid rules of infeences in predicate logic.
Program Competencies-Learning Outcomes Relation
| Program Competencies | ||
| 1 | ||
| Learning Outcomes | ||
| 1 | Low | |
| 2 | No relation | |
| 3 | No relation | |
| 4 | No relation | |
| 5 | No relation | |
Mode of Delivery
Face to Face
Prerequisites and Co-Requisites
None
Recommended Optional Programme Components
Classical Logic
Course Contents
symbolization of sentences of ordinary language in terms propostions of sentential logic and predicate logic, valid rules of inferences in sentential and predicate logic, various ways of proving the validty of arguments and checking the consistency of their premises.
Weekly Schedule
1) Symbolization of atomic and combined sentences2) Translation of propositions of symbolic logic sentences to daily language
3) Analysis of the chart of truth
4) the proof of validation through the method of truth chart
5) Valid argument forms
6) Indirect Proofs
7) conditional proofs
8) Mid-term
9) Symbolization in existential quantifier and predicatory logic
10) Symbolization in the logic of the universal quantifiers
11) Validity in the predicatory logic
12) Consistency in the predicatory logic
13) Properties of relations
14) The method of the tree of truth
15) x
16) Final exam
Recommended or Required Reading
1- x
Planned Learning Activities and Teaching Methods
1) Lecture
2) Question-Answer
3) Discussion
4) Brain Storming
5) Problem Solving
Assessment Methods and Criteria
Contribution of Midterm Examination to Course Grade |
40% |
|---|---|
Contribution of Final Examination to Course Grade |
60% |
Total |
100% |
Language of Instruction
Turkish
Work Placement(s)
Not Required