Symbolic Logic (PHIL 321)

2021 Fall
Faculty of Arts and Social Sciences
Philosophy(PHIL)
3
6.00 / 6.00 ECTS (for students admitted in the 2013-14 Academic Year or following years)
Elif Yavnık eyavnik@sabanciuniv.edu,
Click here to view.
English
Undergraduate
--
Interactive lecture,Recitation
Task based learning
Click here to view.

CONTENT

This course introduces students to formal logic. Topics to be covered include propositional logic and predicate logic.

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 OUTCOME

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.

ASSESSMENT METHODS and CRITERIA

  Percentage (%)
Final 70
Homework 30

RECOMENDED or REQUIRED READINGS

Readings

readings provided by instructor