Teaching

University of Minnesota, Twin Cities

PHIL 3601W: Scientific Thought (Fall 2019)

This course is a writing-intensive survey of 20th-century philosophy of science. Check out the syllabus or, for those with a UMN account, the class website on Canvas.

PHIL 5209: Mathematical Methods for Philosophy (Fall 2019)

Mathematical methods are increasingly used not just in logic and the philosophy of mathematics, but also in metaphysics, epistemology, philosophy of language, philosophy of mind, philosophy of science, and even in moral and political philosophy and the philosophy of religion. This course introduces some of these methods, such as sets, graphs, automata, and probability and decision theory, explicitly and through example applications. Check out the syllabus or, for those with a UMN account, the class website on Canvas.

PHIL 5202: Symbolic Logic II (Spring 2019)

This second course in first-order logic concerns metatheoretic results about the limitations of that system, and the profoundly influential theory of computability that made them possible. Check out the syllabus or, for those with a UMN account, the class website on Canvas.

PHIL 8670: Physical Perspectives on Computation, Computational Perspectives on Physics (Spring 2019)

This graduate seminar surveys some of the many philosophical, historical, and scientific connections between theories of computation and theories in physics. It’s based on the book of the same title that Mike Cuffaro and I edited. Check out the syllabus or, for those with a UMN account, the class website on Canvas.

PHIL 4605/5605: Space and Time (Fall 2018)

This cross-listed undergraduate/graduate seminar explores a geometric perspective on how ideas about the structure of space and time have developed in the course of Western natural philosophy. Check out the syllabus or, for those with a UMN account, the class website on Canvas.

PHIL 1001: Introduction to Logic (Spring 2018)

This is an introductory course in formal logic. Check out the syllabus or, for those with a UMN account, the class website on Moodle.

PHIL 3601W: Scientific Thought (Spring 2018)

This course is a writing-intensive survey of 20th-century philosophy of science. Check out the syllabus or, for those with a UMN account, the class website on Moodle.

PHIL 1001: Introduction to Logic (Spring 2017)

This is an introductory course in formal logic. Check out the syllabus or, for those with a UMN account, the class website on Moodle.

PHIL 5202: Symbolic Logic II (Spring 2017)

This second course in first-order logic concerns metatheoretic results about the limitations of that system, and the profoundly influential theory of computability that made them possible. Check out the syllabus or, for those with a UMN account, the class website on Moodle.

PHIL 3601W: Scientific Thought (Fall 2016)

This course is a writing-intensive survey of 20th-century philosophy of science. Check out the syllabus or, for those with a UMN account, the class website on Moodle.

PHIL 4605/5605: Space and Time (Fall 2016)

This cross-listed undergraduate/graduate seminar explores a geometric perspective on how ideas about the structure of space and time have developed in the course of Western natural philosophy. Check out the syllabus or, for those with a UMN account, the class website on Moodle.

PHIL 1001: Introduction to Logic (Spring 2016)

This is an introductory course in formal logic. Check out the syllabus or, for those with a UMN account, the class website on Moodle.

PHIL 3601W: Scientific Thought (Spring 2016)

This course is a writing-intensive survey of 20th-century philosophy of science. Check out the syllabus or, for those with a UMN account, the class website on Moodle.

PHIL 8670: Philosophy of Statistics (Fall 2015)

This graduate seminar surveys a number of central philosophical and conceptual issues in statistics. Check out the syllabus or, for those with a UMN account, the class website on Moodle.

University of California, Irvine

PHIL/LPS 29: Critical Reasoning (Summer I, 2013)

This is a 6-week intensive introduction to some of the informal and formal tools of logical analysis. Check out the syllabus or the class website on EEE for the lecture slides, homework assignments, worksheets, and answer keys.