Modern Deductive Logic
View Additional Course Information:
Including faculty, schedule, credits, CRN and location.
Division: The New School for Social Research
Course Number: GPHI 6011
Course Format: Lecture
Location: NYC campus
Permission Required: No
- Social Sciences
The purpose of this course is to provide students with knowledge and understanding of the basic concepts of modern deductive logic, both in syntax and semantics. We start with sentential logic and discuss methods of constructing truth tables, truth trees, and derivations (for both the systems of SD and SD+). We then turn to predicate logic and consider certain differences and similarities between sentential and predicate logic and adjust the methods of truth trees and derivations to predicate logic.
Course Open to: Degree Students with Restrictions
Not open to Undergraduate students.