Electronic Media Review

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


Logic and Proofs, developed at Carnegie Mellon, is the only instructional program that can support a computer-taught course (not just a computer-assisted course) in modern symbolic logic. I describe and assess the program. Then, drawing on my twenty years of experience, initially with Patrick Suppes’ Valid (no longer available), recently with Logic and Proofs, I discuss the very substantial benefits, as well as the challenges, when offering symbolic logic via a computer-taught course.



    Upload a copy of this work     Papers currently archived: 86,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The epistemological status of computer-assisted proofs.Mark McEvoy - 2008 - Philosophia Mathematica 16 (3):374-387.
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.
Modern logic: a text in elementary symbolic logic.Graeme Forbes - 1994 - New York: Oxford University Press.
Mathematical logic for computer science.M. Ben-Ari - 1993 - New York: Prentice-Hall.
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
Simulation, Ramification, and Linear Logic.G. Graham White - 1998 - Linköping Electronic Articles in Computer and Information Science 3 (12).
A short introduction to intuitionistic logic.G. E. Mint︠s︡ - 2000 - New York: Kluwer Academic / Plenum Publishers.
Game cultures: computer games as new media.Jon Dovey - 2006 - New York, NY: Open University Press. Edited by Helen W. Kennedy.


Added to PP

37 (#358,114)

6 months
1 (#873,176)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references