Electronic Media Review
Teaching Philosophy 29 (3):255-260 (2006)
| Abstract | Logic and Proofs, developed at Carnegie Mellon, is the only instructional program that can support a computer-taught course (not justa computer-assisted 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 (no longer available), recently with Logic and Proofs, I discuss the very substantial benefits, as well as the challenges to be addressed, when offering symbolic logic via a computer-taught course | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMark McEvoy (2008). The Epistemological Status of Computer-Assisted Proofs. Philosophia Mathematica 16 (3):374-387.
Frederic D. Portoraro (1998). Strategic Construction of Fitch-Style Proofs. Studia Logica 60 (1):45-66.
Thomas Ehrhard (ed.) (2004). Linear Logic in Computer Science. Cambridge University Press.
Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
V. W. Marek (2009). Introduction to Mathematics of Satisfiability. Taylor & Francis.
N. Shankar (1994). Metamathematics, Machines, and Gödel's Proof. Cambridge University Press.
P. B. Andrews (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers.
Richard Bornat (2005). Proof and Disproof in Formal Logic: An Introduction for Programmers. New Yorkoxford University Press.
Douglas Parker (1988). Ethical Implications of Electronic Still Cameras and Computer Digital Imaging in the Print Media. Journal of Mass Media Ethics 3 (2):47 – 59.
G. Graham White (1998). Simulation, Ramification, and Linear Logic. Linköping Electronic Articles in Computer and Information Science 3 (12).
G. E. Mint͡s (2000). A Short Introduction to Intuitionistic Logic. Kluwer Academic / Plenum Publishers.
Jon Dovey (2006). Game Cultures: Computer Games as New Media. Open University Press.
Analytics
Monthly downloads |
Added to index2011-01-09Total downloads3 ( #201,730 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
