Kevin Davey

Kevin Davey
Associate Professor
Stuart Hall, Room 207
Office Hours: Autumn Quarter:
773.702.7737
University of Pittsburgh PhD (2004); Monash University (Australia), B. Sc., Honors (1992)
Teaching at UChicago since 2005
Research Interests: Philosophy of Science, Philosophy of Physics, Formal Epistemology, Philosophy of Logic and Mathematics

Kevin Davey received his PhD from the University of Pittsburgh in 2003, and also has Masters degrees in both physics and mathematics. His main areas of interest are the philosophy of science, the philosophy of mathematics, logic, epistemology and the philosophy of physics. In the general philosophy of science and epistemology he is particularly interested in understanding the character of non-deductive inference, both within and outside the context of science. In the philosophy of mathematics, he is currently engaged in a close study of the origin of proof in both the western and non-western mathematical traditions, and the light that sheds on contemporary debates about the nature of mathematics. In logic, he is currently looking at the way we reason about truth, focusing both on philosophical questions about the nature of the truth predicate and technical questions about formal theories of truth.

Recent Courses

PHIL 22000 Introduction to the Philosophy of Science

(HIPS 22000, HIST 25109)

We will begin by trying to explicate the manner in which science is a rational response to observational facts. This will involve a discussion of inductivism, Popper's deductivism, Lakatos and Kuhn. After this, we will briefly survey some other important topics in the philosophy of science, including underdetermination, theories of evidence, Bayesianism, the problem of induction, explanation, and laws of nature. (B)

2024-2025 Autumn
Category
Philosophy of Science

PHIL 59950 Job Placement Workshop

Course begins in late Spring quarter and continues in the Autumn quarter.

This workshop is open only to PhD Philosophy graduate students planning to go on the job market in the Autumn of 2024. Approval of dissertation committee is required.

2023-2024 Spring

PHIL 22100/32100 Space and Time

(HIPS 22100, CHSS 32100)

This course is an introduction to some traditional philosophical problems about space and time. The course will begin with a discussion of Zeno’s paradoxes. We will then look at the debate between Newton and Leibniz concerning the ontological status of space and time, and will examine reactions to this debate by physicists such as Mach. We will then go on to discuss the question of what sense is to be made of the claim that space is curved, looking at the work of Einstein. Students will be introduced to the basics of the special and general theories of relativity at a qualitative level. If time permits, we will also look at questions about the multiverse, and/or Boltzmann’s conception of the arrow of time. (B) (II)

2023-2024 Winter

PHIL 29408/39408 Intuitionistic Logic

This course will be an introductory survey of the philosophical and mathematical foundations of intuitionistic logic, perhaps the most serious rival to classical logic. We will pay attention to its philosophical motivations, especially by examining some of the more philosophical works of Brouwer. The course will also involve a mathematically rigorous presentation of the metatheory of intuitionistic logic, using forcing and Kripke frames. (B) (II)

Students should have completed Elementary Logic, or a similar class in the mathematics department.

2023-2024 Winter
Category
Logic

PHIL 59950 Job Placement Workshop

Course begins in late Spring quarter and continues in the Autumn quarter.

This workshop is open only to PhD Philosophy graduate students planning to go on the job market in the Autumn of 2023. Approval of dissertation committee is required.

2023-2024 Autumn

PHIL 59950 Job Placement Workshop

Course begins in late Spring quarter and continues in the Autumn quarter.

This workshop is open only to PhD Philosophy graduate students planning to go on the job market in the Autumn of 2023. Approval of dissertation committee is required.

2022-2023 Spring

PHIL 29405/39405 Advanced Logic

(HIPS 20905, CHSS 39405)

This class will explore dependent type theory, with a focus on the identity relation. Different ways of thinking of the identity relation will be examined, culminating in a presentation of the Univalence axiom and a discussion of its role as a potential foundation for mathematics. (B) (II)

Although background material will be discussed in the first lectures, students will be expected to have some familiarity with the lambda calculus and the theory of types. Interested students without this background should contact the instructor in advance to discuss possible material to read to help prepare for the course.

2022-2023 Winter
Category
Logic

PHIL 23951 Introduction to Eastern Philosophy

This course will be an overview of Eastern philosophy, focusing on the historical development of Buddhist and Confucian ideas from their early Indian origins to the present day. (A)

2022-2023 Autumn

PHIL 59950 Job Placement Workshop

Course begins in late Spring quarter and continues in the Autumn quarter.

This workshop is open only to PhD Philosophy graduate students planning to go on the job market in the Autumn of 2022. Approval of dissertation committee is required.

2022-2023 Autumn

PHIL 20405/30405 Further Topics in Logic

One of the most curious ideas in the foundations of logic to emerge over the last several decades is the idea that logic is in some sense reducible to the theory of types and computer programs. This course will introduce students to the technical material needed to understand such claims and tackle the question of whether this new way of thinking of the foundations of logic is plausible. The course will cover such topics as the lambda calculus, intuitionistic logic, the Curry Howard correspondence, and Martin-Lof type theory. Students will be assumed to have a grasp of the basic theory of first order logic. Some exposure to undergraduate level mathematics will also be helpful. (B) (II)

Students will be assumed to have a grasp of the basic theory of first order logic. Some exposure to undergraduate level mathematics will also be helpful.

2021-2022 Winter
Category
Logic

PHIL 53506 Non-Deductive Inference

(CHSS 53506)

This course will examine modern non-Bayesian ways of understanding non-deductive inference. Topics include the problem of induction, Pierce’s theory of abduction, inference to the best explanation, and the general connection between explanation and non-deductive inference. (III)

2021-2022 Winter
Category
Epistemology
Metaphysics

PHIL 23951 Introduction to Eastern Philosophy

This course will be an overview of Eastern philosophy, focusing on the historical development of Buddhist and Confucian ideas from their early Indian origins to the present day. (A)

2021-2022 Autumn

For full list of Kevin Davey's courses back to the 2012-13 academic year, see our searchable course database.