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

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

Rational episodes: logic for the intermittently reasonable.Keith M. Parsons - 2009 - Amherst, N.Y.: Prometheus Books.
Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions.V. Halbach & P. Welch - 2009 - Mind 118 (469):71-100.
Logic Problems for Drill and Review.James Hall - 1991 - Upa.
Logic: an introduction.Greg Restall - 2006 - New York: Routledge.
A theorem of the degree of complexity of some sentential logics.Jacek Hawranek & Jan Zygmunt - 1980 - Bulletin of the Section of Logic 9 (2):67-69.
Algebraic aspects of deduction theorems.Janusz Czelakowski - 1983 - Bulletin of the Section of Logic 12 (3):111-114.
Logical Consequence in Modal Logic.John Corcoran & George Weaver - 1969 - Notre Dame Journal of Formal Logic 10 (4):370-384.
Modal Logic: An Introduction to its Syntax and Semantics.Nino B. Cocchiarella & Max A. Freund - 2008 - Oxford and New York: Oxford University Press USA. Edited by Max A. Freund.
On the degree of complexity of sentential logics.II. An example of the logic with semi-negation.Jacek Hawranek & Jan Zygmunt - 1984 - Studia Logica 43 (4):405 - 413.
Philosophical Logic: An Introduction to Advanced Topics.George Englebretsen & Charles Sayward - 2010 - continuum.
Is modal logic logic?Gilbert Harman - 1972 - Philosophia 2 (1-2):75-84.
Philosophical Logic: An Introduction to Advanced Topics, by George Englebretsen and Charles Sayward. [REVIEW]Chad Carmichael - 2013 - Teaching Philosophy 36 (4):420-423.
Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
Modal logic: an introduction to its syntax and semantics.Nino Barnabas Cocchiarella & Max A. Freund - 2008 - New York: Oxford University Press. Edited by Max A. Freund.
On Incompleteness in Modal Logic. An Account Through Second-Order Logic.Mircea Dumitru - 1998 - Dissertation, Tulane University

Analytics

Added to PP
2019-03-22

Downloads
659 (#24,261)

6 months
130 (#24,838)

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.
First-order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.
Modal Logic for Philosophers.James W. Garson - 2006 - Cambridge and New York: Cambridge University Press.
Formal logic: its scope and limits.Richard C. Jeffrey - 1967 - Indianapolis, IN: Hackett.
Modal logic for philosophers.James W. Garson - 2006 - New York: Cambridge University Press.

View all 9 references / Add more references