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.
