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.

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2018.59

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

External links

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

Through your library

My notes

Similar books and articles

Dialectic and Indirect Proof.Clark Butler - 1991 - The Monist 74 (3):422-437.
The practical syllogism in Aristotle: a new interpretation.Anthony W. Price - 2008 - History of Philosophy & Logical Analysis 11:151-162.
The Practical Syllogism in Aristotle. A New Interpretation.Anthony Price - 2009 - History of Philosophy & Logical Analysis 12.
Equivalence of Syllogisms.Fred Richman - 2004 - Notre Dame Journal of Formal Logic 45 (4):215-233.
Argumentative aspects of indirect proof.James Gasser - 1992 - Argumentation 6 (1):41-49.
Solving categorical syllogisms with singular premises.Hugo Mercier & Guy Politzer - 2008 - Thinking and Reasoning 14 (4):434-454.
Aristotle'S natural deduction reconsidered.John M. Martin - 1997 - History and Philosophy of Logic 18 (1):1-15.
Aristotelian syllogisms: Valid arguments or true universalized conditionals?John Corcoran - 1974 - Mind 83 (330):278-281.
Aristotle's modal syllogisms.Fred Johnson - 2004 - In Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.), Handbook of the History of Logic. Elsevier. pp. 1--247.
The Syllogistic with Unity.Ian Pratt-Hartmann - 2013 - Journal of Philosophical Logic 42 (2):391-407.
Proof and Dialogue in Aristotle.Roderic A. Girle - 2016 - Argumentation 30 (3):289-316.
Aristotle, Prior analytics, book I (review). [REVIEW]Phil Corkum - 2010 - Journal of the History of Philosophy 48 (2):pp. 236-237.
Lukasiewicz's Symbolic System for Aristotle's Logic.Davud Heidari - 2010 - Journal of Philosophical Investigations at University of Tabriz 4 (216):1-29.
Approximate syllogisms – on the logic of everyday life.Lothar Philipps - 1999 - Artificial Intelligence and Law 7 (2-3):227-234.
Aristotle’s Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.

Analytics

Added to PP
2019-07-27

Downloads
23 (#686,149)

6 months
3 (#984,114)

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