The Buridanian Account of Inferential Relations between Doubly Quantified Propositions: A Proof of Soundness

Catarina Dutilh Novaes*

*Corresponding author for this work

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

On the basis of passages from John Buridan's Summula Suppositionibus and Sophismata, E. Karger has reconstructed what could be called the ‘Buridanian theory of inferential relations between doubly quantified propositions’, presented in her 1993 article ‘A theory of immediate inference contained in Buridan's logic’. In the reconstruction, she focused on the syntactical elements of Buridan's theory of modes of personal supposition to extract patterns of formally valid inferences between members of a certain class of basic categorical propositions. The present study aims at offering semantic corroboration—a proof of soundness—to the inferential relations syntactically identified by E. Karger, by means of the analysis of Buridan's semantic definitions of the modes of personal supposition. The semantic analysis is done with the help of some modern logical concepts, in particular that of the model. In effect, the relations of inference syntactically established are shown to hold also from a semantic point of view, which means thus that this fragment of Buridan's logic can be said to be sound.

Original languageEnglish
Pages (from-to)225-243
Number of pages19
JournalHistory and Philosophy of Logic
Volume25
Issue number3
DOIs
Publication statusPublished - 1 Jan 2004
Externally publishedYes

Fingerprint

Dive into the research topics of 'The Buridanian Account of Inferential Relations between Doubly Quantified Propositions: A Proof of Soundness'. Together they form a unique fingerprint.

Cite this