Electronic Media Review

Teaching Philosophy 29 (3):255-260 (2006)
  Copy   BIBTEX

Abstract

Logic and Proofs, developed at Carnegie Mellon, is the only instructional program that can support a computer-taught course in modern symbolic logic. First I provide a description and an assessment of the program. Then, drawing on my twenty years of experience, initially with Patrick Suppes’ Valid, recently with Logic and Proofs, I discuss the benefits and challenges, both sizable, when offering symbolic logic via a computer-taught course.

Categories

Keywords

Reprint years

ISBN(s)

01455788

DOI

10.5840/teachphil200629327

Links

PhilArchive



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

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

Electronic Media Review.Michael B. Burke - 2006 - Teaching Philosophy 29 (3):255-260.
Hypothetical Logic of Proofs.Eduardo Bonelli & Gabriela Steren - 2014 - Logica Universalis 8 (1):103-140.
Logic of proofs and provability.Tatiana Yavorskaya - 2001 - Annals of Pure and Applied Logic 113 (1-3):345-372.
Strategic construction of Fitch-style proofs.Frederic D. Portoraro - 1998 - Studia Logica 60 (1):45-66.
The Basic Intuitionistic Logic of Proofs.Sergei Artemov & Rosalie Iemhoff - 2007 - Journal of Symbolic Logic 72 (2):439 - 451.
The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic.M. W. Bunder - 1987 - Journal of Symbolic Logic 52 (1):89-110.
The three dimensions of proofs.Yves Guiraud - 2006 - Annals of Pure and Applied Logic 141 (1):266-295.
Introductory Logic.Robert J. Levy - 1984 - Upa.
Non-circular proofs and proof realization in modal logic.Ren-June Wang - 2014 - Annals of Pure and Applied Logic 165 (7-8):1318-1338.
The power of logic.Frances Howard-Snyder - 2012 - New York: McGraw-Hill. Edited by Daniel Howard-Snyder & Ryan Wasserman.
Logic of proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.
An operational logic of proofs with positive and negative information.Duccio Luchi & Franco Montagna - 1999 - Studia Logica 63 (1):7-25.
On lengths of proofs in non-classical logics.Pavel Hrubeš - 2009 - Annals of Pure and Applied Logic 157 (2-3):194-205.
Introduction to Mathematics of Satisfiability.Victor W. Marek - 2009 - Taylor & Francis.

Analytics

Added to PP
2014-03-19

Downloads
22 (#714,863)

6 months
5 (#649,144)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael B. Burke
Indiana University Purdue University, Indianapolis

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references