Indirect Proof and Inversions of Syllogisms

Bulletin of Symbolic Logic 25 (2):196-207 (2019)
  Copy   BIBTEX

Abstract

By considering the new notion of theinversesof syllogisms such asBarbaraandCelarent, we show how the rule ofIndirect Proof, in the form (no multiple or vacuous discharges) used by Aristotle, may be dispensed with, in a system comprising four basic rules of subalternation or conversion and six basic syllogisms.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Dialectic and Indirect Proof.Clark Butler - 1991 - The Monist 74 (3):422-437.
Lukasiewicz's Symbolic System for Aristotle's Logic.Davud Heidari - 2010 - Journal of Philosophical Investigations at University of Tabriz 4 (216):1-29.
The Syllogistic with Unity.Ian Pratt-Hartmann - 2013 - Journal of Philosophical Logic 42 (2):391-407.
The Practical Syllogism in Aristotle. A New Interpretation.Anthony Price - 2009 - History of Philosophy & Logical Analysis 12.
Proof and Dialogue in Aristotle.Roderic A. Girle - 2016 - Argumentation 30 (3):289-316.
Socratic logic.Peter Kreeft - 2005 - South Bend, Ind.: St. Augustine's Press. Edited by Trent Dougherty.
Normal derivability in classical natural deduction.Jan Von Plato & Annika Siders - 2012 - Review of Symbolic Logic 5 (2):205-211.

Analytics

Added to PP
2019-07-27

Downloads
24 (#679,414)

6 months
2 (#1,259,876)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Analysis in Prior Analytics I.45.Igor Martinjak - 2022 - History and Philosophy of Logic 43 (3):207-231.
Aristotle's Proofs Through the Impossible in Prior Analytics 1.15.Riccardo Zanichelli - 2023 - History and Philosophy of Logic 44 (4):395-421.
The Place of Reduction in Aristotle's Prior Analytics.George Boger - forthcoming - History and Philosophy of Logic:1-34.

Add more citations

References found in this work

What is a syllogism?Timothy J. Smiley - 1973 - Journal of Philosophical Logic 2 (1):136 - 154.
Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
Stoic Syllogistic.Susanne Bobzien - 1996 - Oxford Studies in Ancient Philosophy 14:133-92.
A Mathematical Model of Aristotle’s Syllogistic.John Corcoran - 1973 - Archiv für Geschichte der Philosophie 55 (2):191-219.

View all 10 references / Add more references