Logic Seminar: Session 3

If one asks a mathematician what she is working on, often the answer will be that they are seeking to prove or refute a certain conjecture. Equally as often, though, the answer will be that they are seeking to classify a certain kind of mathematical object. Despite classification being near-ubiquitous in mathematics, it has been neglected by philosophers of mathematics. We propose a general framework for conceiving of classification within mathematics. This framework offers answers to basic questions, such as (1) what are the means and aims of the activity of classification?, and (2) can classification be reduced to proof? In light of this framework, we go on to examine Shelah’s suggestion for how to conceive of the broader significance of his famous classification program.

Chair for Session: tba