LSA Course Guide

< back	Printer Version

Class Detail:
WN 2013 Philosophy PHIL 303 - Introduction to Symbolic Logic Section 001
Credits:	4
Requirements & Distribution:	BS, MSA, QR/1
Credit Exclusions:	No credit granted to those who have completed or are enrolled in PHIL 296 or 414.
Other Course Info:	F, W, Sp.
BS:	This course counts toward the 60 credits of math/science required for a Bachelor of Science degree.
Repeatability:	May not be repeated for credit.
Primary Instructor:	Sklar,Lawrence
	(real time availability for all sections)

This is an intermediate level course in formal logic. We will explore issues such as how formal logic attempts to clarify the notion of deductive arguments and notions such as consequence and consistency. We will look at propositional and predicate logic. We will explore how one can justify the formal system by seeing how provability in our formal system is connected to validity of arguments. We will also see some ways in which it has been claimed that logic is a foundation for mathematics and look at formal arguments about the limitations of the formal systems themselves.

Course Syllabi Syllabi are available to current LSA students. IMPORTANT: These syllabi are provided to give students a general idea about the courses, as offered by LSA departments and programs in prior academic terms. The syllabi do not necessarily reflect the assignments, sequence of course materials, and/or course expectations that the faculty and departments/programs have for these same courses in the current and/or future terms. Search for Syllabus

Textbooks/Other Materials (data maintained by department in Wolverine Access)



ISBN: 0773524231	Logic : an introduction, Author: Greg Restall., Publisher: McGill-Queen's University Press 2006
Required