Abstract

The overarching aim of this excellent book is to demonstrate the common ground between medieval logic and logical theories of the twentieth century by analyzing some important medieval approaches to three important topics in medieval logic and then showing that in each case, once we determine what is really going on in the medieval theory, it can be formalized in such a way as to show how it resembles one or more developments in twentieth-century logical theory. Analysis in terms of modern logical theory has a lot to offer the study of medieval logical theories, the author claims, and twentieth-century theory can learn some interesting lessons from examining its medieval counterparts. Much of the material in these specific discussions has been presented in earlier versions in the author's published articles. "The Philosophy of Formalization" , however, is new. English translations are used in the text, though the Latin is supplied in the footnotes