Abstract

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.