Aristotle's Syllogistic Underlying Logic. His Model with his Proofs of Soundness and Completeness

<p><br></p><p><em>Aristotle's Syllogistic Underlying Logi</em>c is a ground- breaking and thorough study of Aristotle's logic including a new translation of select chapters of Prior Analytics that treat the logic's formal components. This study shows that Aristotle consciously modeled his Underlying Logic that <em>Prior Analytics</em> is a metasystematic discourse with <em>its own underlying logic</em>. The author clearly demonstrates that Aristotle conceived his logic as natural by explicating his notion of human cognition central to which is his epistemic concern with syllogistic mediation that restricts a syllogism to two premises.</p><p><br></p><p>The study further represents Aristotle's <em>philosophy of logic</em> as having a fully developed <em>ontology</em> that underlies the <em>epistemics</em> of syllogistic argumentation. It identifies his distinctions between <em>syntax</em> and <em>semantics</em> and provides his definitions <em>of logical consequence</em> and <em>deducibility</em> to demonstrate his <em>metasystematic sophistication</em>. The study carefully sets out Aristotle's <em>metasystematic</em> analyses and <em>his proof-theoretic demonstrations</em> of the logic's soundness and completeness.</p><p><br></p><p>Unlike previous scholarship this study works with the entire corpus of the <em>Organon</em> - inclusive of <em>On Expression Predications Topics Sophistical Refutations</em> and chapters of <em>Metaphysics</em> - to assemble Aristotle's underlying logic <em>in Aristotle's own words</em> with extensive citation of primary texts. The translations are accompanied by the original Greek texts that serve as a ready resource for comparative analyses. For the translation of <em>Prior Analytics</em> the Greek text and the translation appear on facing pages. The author includes a set of principles used for making the translation.</p><p><br></p><p>An especially innovative feature of the new translation is to block passages of the text and to insert subsection titles that help (1) to elucidate Aristotle's meaning (2) to indicate the movement of his thinking and (3) to reveal the careful and systematic character of his logical investigations.</p><p><br></p><p>The reader will find in one volume a thorough and meticulous examination of the full compass of Aristotle's logical investigations that establish him as the founder of formal logic.</p>