Advanced Deductive Logic

University of Utah, Department of Philosophy, Spring 2018

Syllabus | Schedule | Professor

General Information

Course OVERVIEW

COURSE DESCRIPTION

This course covers various advanced topics about and within deductive logic. First, about logic, we will investigate the nature(s) and purpose(s) of symbolic logic, the relationship of logic to rationality, model-theoretic and proof-theoretic approaches to doing logic, and metalogical notions such as soundness, completeness, and computability. Second, within logic, we will survey a variety of non-classical logics developed with philosophical applications in mind. We will discuss some subset of the following systems as well as their philosophical applications: modal logic, deontic logic, epistemic logic, tense logic, many-valued logics, intuitionistic logic, and relevance logic. In the Spring 2018 version of this class, we will also spend some time exploring recent work on logical pluralism.

COURSE OBJECTIVES

By the end of this course and successful completion of all course requirements, the student will at least be able to do all of the following:

• explain various motivations for using formal languages to do logic,
• distinguish model-theoretic / semantic and proof-theoretic approaches to formal logic,
• compare the notions of soundness and completeness, and summarize soundness and completeness proofs for classical logic,
• compare and contrast various non-classical logics, and summarize various philosophical motivations and applications for these logics.

COURSE PREREQUISITES

There are no official prerequisites for this course; however, I will assume that students have a working knowledge of deductive logic up through predicate logic. If you’ve taken PHIL 3200 and remember what you learned there, then you’re fine. If you aren’t in this position, you may want to contact me to discuss and evaluate whether you're prepared to take this course.

Course Materials

REQUIRED TEXTBOOKS

Theodore Sider,Logic for Philosophy (Oxford, 2010). Available at the University Campus Store. Online: [Oxford] [Amazon] Stewart Shapiro, Varieties of Logic (Oxford, 2014). Online: [Oxford] [Amazon] RECOMMENDED TEXTBOOKS E. J. Lemmon, Beginning Logic (Hackett, 1978). Online: [Hackett] [Amazon]

OTHER RESOURCES

Online Syllabus: http://jonahschupbach.com/courses/6200/S18/index.html

In addition to this site, I will be using CANVAS in order to make other readings available to you all, to keep you updated on your grades, for course communication, and also for our course calendar.

COURSE Requirements

ATTENDANCE / PARTICIPATION

(20% of final grade for PHIL 5200)

Attendance and active participation are required of everyone in this course and will factor into the final course grade for undergraduates. Please let me know ahead of time if you plan to be absent on any day.

HOMEWORK

(40% of final grade)

Weekly homework assignments will be posted on the course schedule. Assignments are due on Mondays by 10am -- students should submit electronic (typed, not handwritten and scanned) versions on CANVAS or deliver handwritten, hard copies to my mailbox in CTIHB 402F. After the due date/time, I will post solutions on CANVAS so students can check their work. I will not accept any late homework.

EXAMS

(40% of final grade)

Students will take a midterm and final exam. These will be take-home exams, and the final will be cumulative. I will not accept any late exams.

PRESENTATIONS (graduate student requirement only)

(20% of final grade for PHIL 6200)

Graduate students enrolled in this course will be responsible for doing in-class presentations / leading our class discussions over some portion of the Shapiro text.

Grading

Final letter grades will follow a standard 10-point scale. I will not be using a curve when calculating your grades.

Policies, etc.

MISSING AND LATE ASSIGNMENTS

In general, I do not allow students to make up late homework or exams. Some exceptions might be made (at my discretion) in cases where students have a valid reason excusing them and evidence of that reason (e.g., sickness and a doctor’s note).

HUMANITIES ACADEMIC MISCONDUCT POLICY

Academic misconduct includes cheating, plagiarizing, research misconduct, misrepresenting one’s work, and inappropriately collaborating. Definitions can be found in the Student Code.

If you are suspected of academic misconduct, the process proceeds according to the rules found in the Student Code, University Policy 6-400(V). According to that policy, after meeting with you, the instructor must determine whether academic misconduct has, in fact, occurred.

• If s/he determines that no academic misconduct has occurred, s/he will document that you are not responsible for any academic misconduct.
• If s/he determines academic misconduct has occurred and this is the first instance in which you have been alleged to have committed academic misconduct, s/he will take into account whether the act was intentional or a result of negligence in determining the appropriate sanction, which can be up to failing the course. The sanction will be noted in the resolution of the case and your right of appeal is as specified in Policy 6-400(V).
• If s/he determines academic misconduct has occurred, and you have previously been sanctioned for an act of academic misconduct, and the prior instance of misconduct resulted in a sanction less than failing the course, the department will follow the process to fail you for the course. If the prior sanction was failure of the course, your new act of misconduct will result in failure of the course and the department will also follow the process to seek your dismissal from the program and the University.

ADA STATEMENT

The University of Utah seeks to provide equal access to its programs, services and activities for people with disabilities. If you will need accommodations in the class, reasonable prior notice needs to be given to the Center for Disability Services, 162 Olpin Union Building, 581-5020 (V/TDD). CDS will work with you and the instructor to make arrangements for accommodations. All information in this course can be made available in alternative format with prior notification to the Center for Disability Services.

GENERAL EDUCATION STATEMENT

This course contributes to the University of Utah's Quantitative Reasoning and Quantitative Intensive requirements. For such courses, academic units must identify three essential learning outcomes (ELOs) that are relevant to university general education objectives. The ELOs for this course are: Inquiry and Analysis, Quantitative Literacy, and Foundations and Skills for Lifelong Learning.

ADDRESSING SEXUAL MISCONDUCT

Title IX makes it clear that violence and harassment based on sex and gender (which includes sexual orientation and gender identity / expression) is a civil rights offense subject to the same kinds of accountability and the same kinds of support applied to offenses against other protected categories such as race, national origin, color, religion, age, status as a person with a disability, veteran’s status or genetic information. If you or someone you know has been harassed or assaulted, you are encouraged to report it to the Title IX Coordinator in the Office of Equal Opportunity and Affirmative Action, 135 Park Building, 581-8365, or the Office of the Dean of Students, 270 Olpin Union Building, 581-7066. For support and con dential consultation, contact the Center for Student Wellness, 426 SSB, 581-7776. To report to the police, contact the Department of Public Safety, 585-2677(COPS).