In this paper, we provide a historical exposition of John Buridan's theory of divided modal propositions. We then develop a semantic interpretation of Buridan's theory which pays particular attention to Buridan's ampliation of modal terms. We show that these semantics correctly capture his syllogistic reasoning.

“The expression ‘free logic’ is an abbreviation for the phrase ‘free of existence assumptions with respect to its terms, general and singular’.”1 Classical quantification theory is not a free logic in this sense, as its standard formulations commonly assume that every singular term in every model is assigned a referent, an element of the universe of discourse. Indeed, since singular terms include not only singular constants, but also variables2, standard quantification theory may be regarded as involving even the assumption of (...) the existence of the values of its variables, in accordance with Quine’s famous dictum: “to be is to be the value of a variable”. (shrink)

This book explores noteworthy approaches to modal syllogistic adopted by medieval logicians including Abélard, Albert the Great, Avicenna, Averröes, Jean Buridan, Richard Campsall, Robert Kilwardby, and William of Ockham. The book situates these approaches in relation to Aristotle's discussion in the Prior and Posterior Analytics, and other parts of the Organon, but also in relation to the thought of Alexander of Aphrodisias and Boethius on the one hand, and to modern interpretations of the modal syllogistic on the other. Problems explored (...) include: Aristotle's doctrine of modal conversion, the pure and mixed necessity-moods, modal ecthesis, the pure and mixed contingency-moods, and Aristotle's use of counter-examples. Medieval logicians brought various concepts to bear on these problems, including the distinction between per se and per accidens terms, the notion of essential predication, the distinction between ut nunc and simpliciter propositions, the distinction between de dicto and de re modals, and the notion of ampliation. All these are examined in this book. (shrink)

This volume is the first annotated translation in any language of the entire text of the Summulae de dialectica, by the Parisian master of arts John Buridan (1300-1358). One of the most influential works in the history of late medieval philosophy, the Summulae is Buridan's systematic exposition of his nominalist philosophy of logic. Buridan's doctrine spread rapidly and for some two hundred years was dominant at many European universities. His work is of increasing interest today not only to historians of (...) medieval philosophy but also to modern philosophers, several of whom find in Buridan's ideas important clues to problems of contemporary philosophy. Gyula Klima provides a substantial introduction to Buridan's life and work and discusses his place in the history of logic. Through extensive notes Klima assists philosopher and medievalist alike to read Buridan with understanding and insight. Those with a philosophical interest in the relations among the structures of language, thought, and reality will find much to ponder in the Summulae. (shrink)

This is a brief, accessible introduction to the thought of the philosopher John Buridan (ca. 1295-1361). Little is known about Buridan's life, most of which was spent studying and then teaching at the University of Paris. Buridan's works are mostly by-products of his teaching. They consist mainly of commentaries on Aristotle, covering the whole extent of Aristotelian philosophy, ranging from logic to metaphysics, to natural science, to ethics and politics. Gyula Klima argues that many of Buridan's academic concerns are strikingly (...) similar to those of modern philosophy and his work sometimes quite directly addresses modern philosophical questions. (shrink)

This paper studies John Buridan's octagons of opposition for the de re modal propositions and the propositions of unusual construction. Both Buridan himself and the secondary literature have emphasized the strong similarities between these two octagons (as well as a third one, for propositions with oblique terms). In this paper, I argue that the interconnection between both octagons is more subtle than has previously been thought: if we move beyond the Aristotelian relations, and also take Boolean considerations into account, then (...) the strong analogy between Buridan's octagons starts to break down. These differences in Boolean structure can already be discerned within the octagons themselves; on a more abstract level, they lead to these two octagons having different degrees of Boolean complexity (i.e. Boolean closures of different sizes). These results are obtained by means of bitstring analysis, which is one of the key tools from contemporary logical geometry. Finally, I argue that this historical investigation is directly relevant for the theoretical framework of logical geometry, and discuss how it helps us to address certain open questions in this framework. (shrink)