This course introduces students to formal logic. Topics to be covered include propositional logic and predicate logic.
Symbolic Logic (PHIL 321)
Programs\Type | Required | Core Elective | Area Elective |
Philosophy Minor | * |
CONTENT
OBJECTIVE
Basic understanding of logical concepts like validity, consistency and provability.
Basic knowledge of syntax and semantics of propositional and predicate logic.
Basic abilities to calculate truth tables and to prove arguments and sentences by using specific proof systems.
LEARNING OUTCOMES
- This course offers all students a fundamental understanding of logic. Students will be able to evaluate reasoning, both their own and that of others: Their own arguments should become more precise and persuasive, and they should develop greater resistance to invalid arguments. In addition, they should gain a sensitivity for analyzing properties of logical systems.
PROGRAMME OUTCOMES
1. Understand the world, their country, their society, as well as themselves and have awareness of ethical problems, social rights, values and responsibility to the self and to others. 1
2. Understand different disciplines from natural and social sciences to mathematics and art, and develop interdisciplinary approaches in thinking and practice. 3
3. Think critically, follow innovations and developments in science and technology, demonstrate personal and organizational entrepreneurship and engage in life-long learning in various subjects; have the ability to continue to educate him/herself. 4
4. Communicate effectively in Turkish and English by oral, written, graphical and technological means. 2
5. Take individual and team responsibility, function effectively and respectively as an individual and a member or a leader of a team; and have the skills to work effectively in multi-disciplinary teams. 2
Update Date:
ASSESSMENT METHODS and CRITERIA
Percentage (%) | |
Final | 70 |
Homework | 30 |
RECOMENDED or REQUIRED READINGS
Readings |
readings provided by instructor |