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

Authors
Michael B. Burke
Indiana University Purdue University, Indianapolis
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.
Keywords computer-taught logic course  Logic and Proofs
Categories (categorize this paper)
ISBN(s) 0145-5788
DOI teachphil200629327
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,634
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

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.
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.
The Three Dimensions of Proofs.Yves Guiraud - 2006 - Annals of Pure and Applied Logic 141 (1):266-295.
Non-Circular Proofs and Proof Realization in Modal Logic.Ren-June Wang - 2014 - Annals of Pure and Applied Logic 165 (7-8):1318-1338.
Logic of Proofs.Sergei Artëmov - 1994 - Annals of Pure and Applied Logic 67 (1-3):29-59.
On Lengths of Proofs in Non-Classical Logics.Pavel Hrubeš - 2009 - Annals of Pure and Applied Logic 157 (2-3):194-205.

Analytics

Added to PP index
2014-03-19

Total views
16 ( #671,315 of 2,533,815 )

Recent downloads (6 months)
1 ( #388,784 of 2,533,815 )

How can I increase my downloads?

Downloads

My notes