Abstract

The sixth chapter discusses the issue of how the reconstruction of the relevant parts of Buridan’s logic and medieval logic in general, using restricted variables, validates the attribution of existential import to affirmative propositions, in turn establishing the validity of all relations of the traditional Square of Opposition. The chapter also discusses how Buridan’s theory of natural supposition handles some objections to this conception concerning law-like statements, and, in general, how his theory of ampliation handles the issue of existential import in intensional contexts.