Colorado State University: PHILOSOPHY 410

SCOPE AND LIMITS OF FORMAL LOGIC

Where: Eddy 9

When: 12:30 p.m. -- 1:45 p.m. Tue/Thu

Instructor: Darko Sarenac

Office: Eddy 235

Phone: (970) 491-5441

Hours: Tue/Thu 2--3 p.m. and by appointment

Web: phil410.pbwiki.com

Email: Darko.Sarenac at colostate.edu

Text: The required text for the course is Richard Jeffrey's Formal Logic, Its Scope and Limits, Fourth Edition.

Final Exam: TBA

Course Description: This course is an accelerated introduction to some of the most important results in Logic of the 20th century, from completeness of First-Order logic, to the incompleteness results for arithmetic, and related computational issues. We will cover Jeffrey's text in its entirety as well as some additional historical material.

Course Requirements: Weekly homeworks 50% and the final project 50%.

Attendance is Mandatory: We will be taking attendance at the beginning of each class. Each student is allowed up to 3 unexcused absences. After that, each absence will cost you 3% of the overall grade. (For example, if you miss 13 classes, 3 excused and 10 unexcused, and your final percentage for the class before calculating absences is say 78%, your actual grade will be based on deducting 10x3%=30%, i.e., it will be 78%-30%=48%. Thus 10 unexcused absences can bring you from a solid B to failing the class.)

It is your responsibility to:

• properly enroll in the class
• be clear on any announcements I make in class regarding–but not limited to–such things as exact exam dates, changes in the class outline, scheduling changes, etc.
• get all notes and handouts if you miss a class
• makeup any missed exams; unless made up, a missed exam scores a zero.

Assignments

Schedule of Lectures

Forum, links, and so on

Some potential final projects and presentations