TY - JOUR
T1 - The Buridanian Account of Inferential Relations between Doubly Quantified Propositions
T2 - A Proof of Soundness
AU - Dutilh Novaes, Catarina
PY - 2004/1/1
Y1 - 2004/1/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=33746831408&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33746831408&partnerID=8YFLogxK
U2 - 10.1080/01445340410004511
DO - 10.1080/01445340410004511
M3 - Article
AN - SCOPUS:33746831408
SN - 0144-5340
VL - 25
SP - 225
EP - 243
JO - History and Philosophy of Logic
JF - History and Philosophy of Logic
IS - 3
ER -