PHIL 435 - Philosophy of Logic
Section: 001
Term: WN 2008
Subject: Philosophy (PHIL)
Department: LSA Philosophy
Credits:
3
Requirements & Distribution:
BS
Advisory Prerequisites:
One Logic introduction.
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:

This class will address different aspects of the justification of deduction, including classic papers by Lewis Carroll and Arthur Prior, and more recent work of Crispin Wright and Paul Boghossian. We will also cover a scholarly debate about the status of the justification of deduction in Frege and recent scholarly investigations of Hilbert’s program. Some attention will be given to Gödel’s first and second theorems, and perhaps the Gentzen, Gödel and Kleene consistency arguments for arithmetic. As a specific application of the issues, we will consider debates over the logical character of “abstraction principles”.

The class will presuppose some familiarity with quantificational logic. Familiarity with elementary number theory and basic computation theory (Turing machines, etc.) would be helpful but will not be presupposed.

PHIL 435 - Philosophy of Logic
Schedule Listing
001 (LEC)
P
27795
Open
19
 
-
MW 9:30AM - 11:00AM
NOTE: Data maintained by department in Wolverine Access. If no textbooks are listed below, check with the department.
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.

No Syllabi are on file for PHIL 435. Click the button below to search for a different syllabus (UM login required)

Search for Syllabus