Joan Bertran-San Millán, PhD.

Joan Bertran-San Millán, PhD.

Joan Bertran-San Millán, PhD.

Joan studied Philosophy at the University of Barcelona (BA, 2009), where he did his MA (2010) and PhD (2016) with a dissertation on Gottlob Frege’s logic. He has lectured at the University of Barcelona (2016).

His research is focused on the history of early mathematical logic, with an additional interest in the history and philosophy of mathematics, theories of truth and the history of philosophy.

His dissertation offered a novel reconstruction of the logic developed by Frege throughout his career, with a focus on Begriffsschrift (1879). Specifically, he argued that the logic developed by Frege in 1879 was not a second-order formal system. He is currently working on a historical and philosophical analysis of the formalization of logic in the late nineteenth century. In particular, his research focuses upon the relationship between Frege's and Peano's developments in mathematical logic.

 PhilPeople | ResearchGate | Academia

About Project

The aim of the project is to develop a formalization of epistemology analogous to Frege’s formalization of logic. The core of the project centres upon five theses setting out the path to a truly formal epistemology. These theses are based on the deeply-held belief that the current trend in the formalization of epistemology is insufficiently radical.

Search