The Square of Opposition Interpreted with a Decidable Modal Logic

Chapter
Part of the Studies in Universal Logic book series (SUL)

Abstract

In connection with Aquinas modal interpretation of the square of opposition the paper interprets the 24 syllogistic modes by a decidable modal logic. Those 15 modes which are not making existential presuppositions are theorems of it right away whereas the other 9 modes are theorems when adding the possibility of the antecedent.

Keywords

Decidable many-valued logic Decidable modal logic Relevant logic Syllogistics 

MSC codes

Primary 03B45; Secondary 03B50 

References

  1. 1.
    J.M. Bochenski, Ancient Formal Logic (North Holland Publishing Company, Amsterdam, 1951)Google Scholar
  2. 2.
    J.M. Bochenski, History of Formal Logic (Notre Dame University Press, Notre Dame (Indiana, USA), 1961)Google Scholar
  3. 3.
    G. Schurz, P. Weingartner, Verisimilitude defined by relevant consequence-elements. A new reconstruction of Popper’s original idea, in What is Closer-to-the-Truth?, ed. Th. Kuipers (Rodopi, Amsterdam, 1987) pp. 47–77Google Scholar
  4. 4.
    T. Aquinas, De propositionibus modalibus, in Thomas Aquinas, Opuscula Philosophica, ed. by R.M. Spiazzi (Marietta, Roma, 1954)Google Scholar
  5. 5.
    P. Weingartner, Modal logics with two kinds of necessity and possibility. Notre Dame J. Formal Log. 9, 97–159 (1968)CrossRefGoogle Scholar
  6. 6.
    P. Weingartner, Applications of logic outside logic and mathematics: do such applications force us to deviate from classical logic? in Zwischen Traditioneller und Moderner Logik, ed. by W. Stelzner (Mentis, Paderborn, 2001), pp. 53–64Google Scholar
  7. 7.
    P. Weingartner, Matrix based logic for application in physics. Rev. Symbolic Log. 2, 132–163 (2009)CrossRefGoogle Scholar
  8. 8.
    P. Weingartner, Basic logic for application in physics and its intuitionistic alternative. Found. Phys. 40, 1578–1596 (2010)CrossRefGoogle Scholar
  9. 9.
    P. Weingartner, An alternative propositional calculus for application to empirical sciences. Stud. Logica 95, 233–257 (2010)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2017

Authors and Affiliations

  1. 1.Department of PhilosophyUniversity of SalzburgSalzburgAustria

Personalised recommendations