3.0

credits

Average Course Rating

For better or for worse (and we think better), during the last century or so, philosophy has become infused with logic. Logic informs nearly every area of philosophy; it is part of our shared language and knowledge base. Vast segments of literature, especially in contemporary analytic philosophy, presuppose basic competence in logic and a familiarity with associated formal methods, particularly set theoretical. The standard philosophy curriculum should therefore guarantee a minimum level of logic literacy, thus enabling students to read the literature without it seeming like an impenetrable foreign tongue. This course is an introductory survey of the formal methods that a contemporary philosopher should be familiar with. It is not mathematically demanding in the way that more advanced courses in metalogic and specialized topics may be. The emphasis is on basic comprehension, not on mathematical virtuosity. Co-taught with AS.150.223 Formal Methods of Philosophy.