## PHIL 251: Metalogic (PHIL 151)

(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

Instructors:
Icard, T. (PI)

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

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

Instructors:
Sommer, R. (PI)

## PHIL 254: Modal Logic (PHIL 154)

(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

Instructors:
van Benthem, J. (PI)

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

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 262: Philosophy of Mathematics (PHIL 162)

Prerequisite: PHIL150 or consent of instructor.

Terms: Win
| Units: 4

Instructors:
Warren, J. (PI)

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

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
| Repeatable for credit

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

## PHIL 267D: Philosophy of Neuroscience (PHIL 167D, SYMSYS 167D)

How can we explain the mind? With approaches ranging from computational models to cellular-level characterizations of neural responses to the characterization of behavior, neuroscience aims to explain how we see, think, decide, and even feel. While these approaches have been highly successful in answering some kinds of questions, they have resulted in surprisingly little progress in others. We'll look at the relationships between the neuroscientific enterprise, philosophical investigations of the nature of the mind, and our everyday experiences as creatures with minds. Prerequisite:
PHIL 80.n(Not open to freshmen.)

Terms: Win
| Units: 4

Instructors:
Cao, R. (PI)

## PHIL 270: Ethical Theory (ETHICSOC 170, PHIL 170)

This course serves as a rigorous introduction to moral philosophy for students with little or no background. We will examine ideas from four important figures in moral thought: Plato, David Hume, Immanuel Kant, and John Stuart Mill. Each of these philosophers played an integral role in the development of moral philosophy, because each offers thoughtful, compelling answers to some of the discipline¿s most central questions. These questions include: What is involved in being a good person or living a good life? What should we value, and why? How are we motivated by morality? How (if at all) is morality a matter of what is customary or conventional? How (much) do the consequences of our actions matter? Importantly, this course is not only about learning what others have thought about the answers to these (and related) questions. By considering and criticizing the ideas and arguments of these philosophers, the aim is to cultivate our own ability to think systematically, rationally, and reflectively, and to make up our own minds about how to answer these kinds of questions.

Terms: Win
| Units: 4

Instructors:
Dannenberg, J. (PI)

## PHIL 270B: Metaphor (PHIL 170B)

In metaphor we think and talk about two things at once: two different subject matters are mingled to rich and unpredictable effect. A close critical study of the main modern accounts of metaphor's nature and interest, drawing on the work of writers, linguists, philosophers, and literary critics. Attention to how understanding, appreciation, and pleasure connect with one another in the experience of metaphor. Consideration of the possibility that metaphor or something very like it occurs in nonverbal media: gesture, dance, painting, music.

Terms: Spr
| Units: 4

Instructors:
Hills, D. (PI)

Filter Results: