Deductivism: a re-appraisal
Abstract: The topic of my talk is the philosophy of mathematics known as deductivism. Popular in the late 19th and early 20th centuries, deductivism then fell out of favour before being reinvented as structuralism later in the 20th century, a philosophy which in some form or another claims many adherents today. My aim will be to offer an up-to-date and detailed appraisal of deductivism. The talk is based on joint work with Fabian Pregel.