140A

Intermediate Logic

Spring 2016

Professor Paolo Mancosu

Office: 230 Moses Hall. Tel. 296-4325.

**Office hours: TBA **

Email: mancosu@socrates.berkeley.edu

Lecture: M, W, F, 10.00-11.00,

GSI: Alex Kocurek, akocurek@berkeley.edu

**Office hours: TBA **

Sections:

TBA

Description

Major concepts, results, and techniques of modern logic. Basic set-theoretic tools. Model-theoretic treatment of propositional and first-order logic (completeness, compactness, Löwenheim-Skolem). Philosophical implications of these results.

Prerequisite: 12A (or equivalent) or permission from the instructor.

Course requirements: exercise sets approximately every ten days (counting for 70% of final grade) and a philosophical paper due at the end of the semester (30% of final grade).

Textbooks:

Dirk van Dalen, Logic and Structure, 5th ed., Springer, 2013.

Program:

Week 1: Set-theoretic tools

Week 2: Set-theoretic tools

Week 3: Logic and Structure, chapter 1 (Propositional logic)

Week 4: Logic and Structure, chapter 1 (Propositional logic)

Week 5: Logic and Structure, chapter 2 (Predicate logic)

Week 6: Logic and Structure, chapter 2 (Predicate logic)

Week 7: Logic and Structure, chapter 3 (Completeness and applications)

Week 8: Logic and Structure, chapter 3 (Completeness and applications)

Week 9: Logic and Structure, chapter 5 (Intuitionistic logic)

Week 10: Logic and Structure, chapter 5 (Intuitionistic logic)

Week 11: Further topics

Weeks 12 to 14. Philosophical consequences.