Abstract

Relatively recent literature on supposition theory seems to use different modern logical tools of interpretation that can be generally described as formalizations. Since the act of formalizing may be understood as a process of changing its object in the sense of making it more formal, an assessment of this kind of approaches is necessary. Accordingly, our main goal in this paper is to analyze the formality of Peter of Spain’s theory of supposition and to evaluate its interpretation as a quantification theory. Our main thesis is that although Peter’s theory presents certain weak notions of formality, the formality presupposed by the quantificational interpretation is nowhere to be found in his considerations.