Philotheus boehner's "medieval logic" gives the impression that medieval supposition theory and modern quantification theory agree on their interpretation of particular propositions but differ on their interpretation of universal propositions. Matthews shows that this impression is mistaken: they differ on both particular and universal propositions, And the basic reason is that the medievals quantify over terms while modern logicians quantify over variables. (staff).

PART ONE ELEMENTS OF SCHOLASTIC LOGIC I THE LEGACY OF SCHOLASTIC LOGIC "\ T 7E MAY safely describe the initial scholastic contri- VV bution to logical ...

HISTORICAL INTRODUCTION Although many of the details of the development of logic in the Middle Ages remain to be filled in, it is well known that between ...

In this work Ockham proposes a theory of simple predication, which he uses in explicating the truth conditions of progressively more complicated kinds of propositions. His discussion includes what he takes to be the correct semantic treatment of quantified propositions, past tense and future tense propositions, and modal propositions, all of which are receiving much attention from contemporary philosophers. He also illustrates the use of exponential analysis to deal with propositions that prove troublesome in both semantic theory and other disciplines, (...) such as metaphysics, physics, and theology. This type of analysis plays an essential role in his substantive philosophical and theological works, and in many cases then can hardly be understood without a prior acquaintance with this section of the Summa. An introduction by Alfred J. Freddoso clarifies and summarizes Ockham's theory, discusses certain philosophical problems which it engenders, and proposes new interpretations for parts of it. The essay will be helpful both to those interested in Ockham as a historical figure and to those interested in his substantive systematic contributions to logical theory. (shrink)