Unfolding FOLDS: A Foundational Framework for Abstract Mathematical Concepts
Jean‐Pierre Marquis · Oxford University Press eBooks · 2018
FOLDS, first-order logic with dependent sorts, has been introduced by the logician Michael Makkai as a foundational framework to capture the abstract nature of contemporary mathematical concepts. In this chapter, we present the underlying philosophical motivation of FOLDS as well as some of the salient technical features of the framework. We end by discussing what we take to be philosophically meaningful aspects of FOLDS and the accompanying framework.