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)|
|Through your library||Configure|
Similar books and articles
Mark 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.
Added to index2011-01-09
Total downloads3 ( #201,730 of 548,984 )
Recent downloads (6 months)1 ( #63,327 of 548,984 )
How can I increase my downloads?