Stanford University Explore Courses

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

Instructors: Icard, T. (PI) ; Bassett, R. (TA) ; Kim, H. (TA) ... more instructors for PHIL 150 »

Instructors: Icard, T. (PI) ; Bassett, R. (TA) ; Kim, H. (TA) ; Sparkes, B. (TA) ; Wilcox, J. (TA)

2019-2020 Autumn

PHIL 150 | 4 units | UG Reqs: GER:DB-Math, WAY-FR | Class # 14669 | Section 01 | Grading: Letter or Credit/No Credit | LEC | Students enrolled: 82 / 100
09/23/2019 - 12/06/2019 Tue, Thu 3:00 PM - 4:20 PM at 260-113 with Icard, T. (PI); Bassett, R. (TA); Kim, H. (TA); Sparkes, B. (TA); Wilcox, J. (TA)
Instructors: Icard, T. (PI); Bassett, R. (TA); Kim, H. (TA); Sparkes, B. (TA); Wilcox, J. (TA)
PHIL 150 | UG Reqs: GER:DB-Math, WAY-FR | Class # 16202 | Section 02 | Grading: Letter or Credit/No Credit | DIS | Students enrolled: 16 / 30
09/23/2019 - 12/06/2019 Fri 4:30 PM - 5:20 PM at 160-321 with Wilcox, J. (TA)
Instructors: Wilcox, J. (TA)
PHIL 150 | UG Reqs: GER:DB-Math, WAY-FR | Class # 16203 | Section 03 | Grading: Letter or Credit/No Credit | DIS | Students enrolled: 4
09/23/2019 - 12/06/2019 Thu 9:30 AM - 10:20 AM at 90-92Q with Kim, H. (TA)
Instructors: Kim, H. (TA)
PHIL 150 | UG Reqs: GER:DB-Math, WAY-FR | Class # 16795 | Section 04 | Grading: Letter or Credit/No Credit | DIS | Students enrolled: 1
09/23/2019 - 12/06/2019 Mon 11:30 AM - 1:20 PM at 60-109 with Sparkes, B. (TA)
Instructors: Sparkes, B. (TA)
PHIL 150 | UG Reqs: GER:DB-Math, WAY-FR | Class # 18264 | Section 05 | Grading: Letter or Credit/No Credit | DIS
09/23/2019 - 12/06/2019 Tue 12:00 PM - 1:20 PM at 90-92Q with Bassett, R. (TA)
Instructors: Bassett, R. (TA)
PHIL 150 | UG Reqs: GER:DB-Math, WAY-FR | Class # 18265 (CANCELLED) | Section 06 | Grading: Letter or Credit/No Credit | DIS
- -
Notes: This class section has been cancelled!

PHIL 150E: Logic in Action: A New Introduction to Logic

A new introduction to logic, covering propositional, modal, and first-order logic, with special attention to major applications in describing information and information-driven action. Highlights connections with philosophy, mathematics, computer science, linguistics, and neighboring fields. Based on the open source course 'Logic in Action,' available online at http://www.logicinaction.org/.nFulfills the undergraduate philosophy logic requirement.

Last offered: Spring 2014 | UG Reqs: GER:DB-Math, WAY-FR

PHIL 150X: Mathematical Logic

Equivalent to the second half of 150. Students attend the first meeting of 150 and rejoin the class on October 30. Prerequisite: CS 103A or X, or PHIL 50.

Last offered: Autumn 2013

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

Prerequisite: PHIL150 or consent of instructor.

Terms: Win | Units: 4

Instructors: Warren, J. (PI)

PHIL 351D: Measurement Theory

What does it mean to assign numbers to beliefs (as Bayesian probability theorists do), desires (as economists and philosophers who discuss utilities do), or perceptions (as researchers in psychometrics often do)? What is the relationship between the numbers and the underlying reality they purport to measure? Measurement theory helps answer these questions using representation theorems, which link structural features of numerical scales (such as probabilities, utilities, or degrees of loudness) to structural features of relations (such as comparative belief, preference, or judgments that one sound is louder than another).nThis course will introduce students to measurement theory, and its applications in psychophysics and decision theory. n2 unit option only for Philosophy PhD students who are past their second year.nPrerequisites: Undergraduates wishing to take this course must have previously taken PHIL150, and may only enroll with permission from the instructor.

Last offered: Winter 2018