## PHIL 135X: Citizenship (ETHICSOC 135, POLISCI 135)

This class begins from the core definition of citizenship as membership in a political community and explores the many debates about what that membership means. Who is (or ought to be) a citizen? Who gets to decide? What responsibilities come with citizenship? Is being a citizen analogous to being a friend, a family member, a business partner? How can citizenship be gained, and can it ever be lost? These debates figure in the earliest recorded political philosophy but also animate contemporary political debates. This class uses ancient, medieval, and modern texts to examine these questions and different answers given over time. We¿Äôll pay particular attention to understandings of democratic citizenship but look at non-democratic citizenship as well. Students will develop and defend their own views on these questions, using the class texts as foundations. No experience with political philosophy is required or expected, and students can expect to learn or hone the skills (writing / reading / analysis) of political philosophy.

Terms: Spr
| Units: 5
| UG Reqs: WAY-ER, WAY-SI

Instructors:
Coyne, B. (PI)
;
Oh, E. (TA)

## PHIL 137: Wittgenstein (PHIL 237)

(Graduate students register for 237.) An exploration of Wittgenstein's changing views about meaning, mind, knowledge, and the nature of philosophical perplexity and philosophical insight, focusing on the Tractatus Logico-Philosophicus and Philosophical Investigations.

Terms: Aut
| Units: 4
| UG Reqs: GER:DB-Hum, WAY-A-II

Instructors:
Hills, D. (PI)

## PHIL 137X: Wittgenstein

An exploration of Wittgenstein's changing views about meaning, mind, knowledge, and the nature of philosophical perplexity and philosophical insight, focusing on the Tractatus Logico-Philosophicus and Philosophical Investigations. By permission of instructor only.

Terms: Aut
| Units: 4

Instructors:
Hills, D. (PI)

## PHIL 150: Mathematical Logic (PHIL 250)

An introduction to the concepts and techniques used in mathematical logic, focusing on propositional, modal, and predicate logic. Highlights connections with philosophy, mathematics, computer science, linguistics, and neighboring fields.

Terms: Aut
| Units: 4
| UG Reqs: GER:DB-Math, WAY-FR

## PHIL 151: Metalogic (PHIL 251)

(Formerly 160A.) The syntax and semantics of sentential and first-order logic. Concepts of model theory. Gödel's completeness theorem and its consequences: the Löwenheim-Skolem theorem and the compactness theorem. Prerequisite: 150 or consent of instructor.

Terms: Win
| Units: 4
| UG Reqs: GER:DB-Math, WAY-FR

Instructors:
Icard, T. (PI)

## PHIL 152: Computability and Logic (PHIL 252)

Approaches to effective computation: recursive functions, register machines, and Turing machines. Proof of their equivalence, discussion of Church's thesis. Elementary recursion theory. These techniques used to prove Gödel's incompleteness theorem for arithmetic, whose technical and philosophical repercussions are surveyed. Prerequisite: 151.

Terms: Spr
| Units: 4
| UG Reqs: GER:DB-Math

Instructors:
Sommer, R. (PI)

## PHIL 154: Modal Logic (PHIL 254)

(Graduate students register for 254.) Syntax and semantics of modal logic and its basic theory: including expressive power, axiomatic completeness, correspondence, and complexity. Applications to topics in philosophy, computer science, mathematics, linguistics, and game theory. Prerequisite: 150 or preferably 151.

Terms: Spr
| Units: 4
| UG Reqs: GER:DB-Math, WAY-FR

Instructors:
van Benthem, J. (PI)

## PHIL 155: Topics in Mathematical Logic: Non-Classical Logic (PHIL 255)

This year's topic is Non-Classical Logic. May be repeated for credit.

Terms: Aut
| Units: 4
| Repeatable for credit

Instructors:
Briggs, R. (PI)

## PHIL 162: Philosophy of Mathematics (PHIL 262)

Prerequisite: PHIL150 or consent of instructor.

Terms: Win
| Units: 4
| UG Reqs: GER:DB-Math

Instructors:
Warren, J. (PI)

## PHIL 165: Philosophy of Physics: Quantum Mechanics (PHIL 265)

Graduate students register for 265.nnPREREQUISITES: No detailed knowledge of quantum physics or advanced mathematics is presumed. Some background in philosophy, natural science or mathematics will be helpful. Students will benefit from possession of a modicum of mathematical maturity (roughly equivalent to a familiarity with elementary single-variable calculus or the metatheory of first-order logic).

Terms: Win
| Units: 4
| UG Reqs: GER:DB-Hum, WAY-A-II, WAY-SMA
| Repeatable for credit

Instructors:
Ryckman, T. (PI)
;
Zweber, A. (TA)

Filter Results: