Symbolic Logic

Semester: 
Spring
Year: 
2013
Subject Name: 

Philosophy

Course Number: 
225
Institution: 
Mount Holyoke College
This course develops a symbolic system that can be used as the basis for inference in all fields. It will provide syntax and semantics for the language of this system and investigate its adequacy. It provides the basis for all further work in logic or in the philosophical foundations of mathematics. Much of the course has a mathematical flavor, but no knowledge of mathematics is necessary.
Linked Course: 
N
Instructor Permission Required: 
N
Schedule #: 
83382

Course Sections

Symbolic Logic
Sect # Credits Instructor(s) Instructor Email Meeting Times Location
01 4.0

Samuel Mitchell

smitchel@mtholyoke.edu

MWF 10:00AM-10:50AM

Cleveland 002L