Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic

&
Teaching Philosophy 42 (1):41-56 (2019)
  Copy   BIBTEX

Abstract

This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.

Categories

Keywords

Reprint years

ISBN(s)

01455788

DOI

10.5840/teachphil2019116101

Other Versions

No versions found

Links

PhilArchive

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

Toward A Visual Proof System: Lewis Carroll’s Method of Trees.Francine F. Abeles - 2012 - Logica Universalis 6 (3-4):521-534.
A purely syntactic and cut-free sequent calculus for the modal logic of provability.Francesca Poggiolesi - 2009 - Review of Symbolic Logic 2 (4):593-611.
Tree formulations of tense logic.Jack Copeland - manuscript
Method of Tree-Hypersequents for Modal Propositional Logic.Francesca Poggiolesi - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 31–51.
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.Joanna Golinska-Pilarek - 2007 - Journal of Applied Non-Classical Logics 17 (4):509–517.
Linguistics, Logic and Finite Trees.Patrick Blackburn & Wilfried Meyer-Viol - 1994 - Logic Journal of the IGPL 2 (1):3-29.
Logic and philosophy.Howard Kahane - 1973 - Belmont, Calif.,: Wadsworth Pub. Co..
Implementing a relational theorem prover for modal logic K.Angel Mora, Emilio Munoz Velasco & Joanna Golińska-Pilarek - 2011 - International Journal of Computer Mathematics 88 (9):1869-1884.
Inessential features, ineliminable features, and modal logics for model theoretic syntax.Hans-Jörg Tiede - 2008 - Journal of Logic, Language and Information 17 (2):217-227.

Analytics

Added to PP
2019-03-22

Downloads
936 (#22,815)

6 months
164 (#22,646)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dave Beisecker
University of Nevada, Las Vegas
Jesse Fitts
University of Nevada, Las Vegas

Citations of this work

No citations found.

Add more citations

References found in this work

First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Formal logic: its scope and limits.Richard C. Jeffrey - 1990 - Indianapolis, IN: Hackett.
Modal Logic for Philosophers.James W. Garson - 2006 - Cambridge and New York: Cambridge University Press.
The revival of rejective negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.
Modal Logics and Philosophy.Rod Girle - 2000 - [Durham]: Routledge.

View all 6 references / Add more references