2019-2020 2020-2021 2021-2022 2022-2023 2023-2024
Browse
by subject...
    Schedule
view...
 

1 - 2 of 2 results for: PHIL151

PHIL 151: Metalogic (PHIL 251)

In this course we will go through some of the seminal ideas, constructions, and results from modern logic, focusing especially on classical first-order ("predicate") logic. After introducing general ideas of induction and recursion, we will study a bit of elementary (axiomatic) set theory before then covering basic definability theory, viz. assessing the theoretical limits of what can and cannot be expressed in a first-order language. The centerpiece result of the class is the completeness - and closely related compactness - of first-order logic, a result with a number of momentous consequences, some useful, some philosophically puzzling. We will then study a connection with game theory, whereby a certain type of game characterizes precisely the expressive power of first-order logic. Further topics may include: the 0-1 law in finite model theory, second-order logic, and the algebraic approach to logic. Prerequisite: 150 or consent of instructor.
Terms: Win | Units: 4 | UG Reqs: GER:DB-Math, WAY-FR

PHIL 151D: Measurement Theory (PHIL 251D)

Graduate students enroll in 251D.
Terms: Spr | Units: 4
Instructors: Briggs, R. (PI)
Filter Results:
term offered
updating results...
teaching presence
updating results...
number of units
updating results...
time offered
updating results...
days
updating results...
UG Requirements (GERs)
updating results...
component
updating results...
career
updating results...
© Stanford University | Terms of Use | Copyright Complaints