Aristotelian Logic Axioms in Propositional Logic: The Pouch Method

History and Philosophy of Logic 40 (1):12-21 (2018)
  Copy   BIBTEX

Abstract

A new theoretical approach to Aristotelian Logic based on three axioms has been recently introduced. This formalization of the theory allowed for the unification of its uncommunicated traditional branches, thus restoring the theoretical unity of AL. In this brief paper, the applicability of the three AL axioms to Propositional Logic is explored. First, it is shown how the AL axioms can be applied to some simple PL arguments in a straightforward manner. Second, the development of a proof method for PL inspired by the AL axioms is presented. This method mimics the underlying mechanics of the proof method from AL, and offers a complementary alternative to proof methods such as truth trees.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

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

What is the Logic of Propositional Identity?Charles Sayward - 2006 - Logic and Logical Philosophy 15 (1):3-15.
On Béziau’s logic Z.Hitoshi Omori & Toshiharu Waragai - 2008 - Logic and Logical Philosophy 17 (4):305-320.
Ancient Logic (substantive revision Dec 29, 2015).Susanne Bobzien - 2015 - Stanford Encyclopedia of Philosophy.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Remark on a finite axiomatization of finite intermediate propositional logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.
Logic, History of: Ancient Logic.Susanne Bobzien - 2006 - In Donald M. Borchert (ed.), Encyclopedia of Philosophy. Thomson Gale.
Syllogistic with Indefinite Terms.Enrique Alvarez & Manuel Correia - 2012 - History and Philosophy of Logic 33 (4):297-306.
Logic.Robert Baum - 1975 - New York: Holt, Rinehart and Winston.
Assertive graphs.F. Bellucci, D. Chiffi & A.-V. Pietarinen - 2018 - Journal of Applied Non-Classical Logics 28 (1):72-91.

Analytics

Added to PP
2018-04-12

Downloads
28 (#490,139)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?