Proof and Disproof in Formal Logic: An Introduction for Programmers

New Yorkoxford University Press (2005)
Abstract
Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a formal system-a collection of rules and axioms, which define a universe of logical proofs-is what gives us programming languages and modern-day programming. This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims. The logic it uses-natural deduction-is very small and very simple; working with it helps you see how large mathematical universes can be built on small foundations. The book is divided into four parts: Part I "Basics" gives an introduction to formal logic with a short history of logic and explanations of some technical words. Part II "Formal Syntactic Proof" show you how to do calculations in a formal system where you are guided by shapes and never need to think about meaning. Your experiments are aided by Jape, which can operate as both inquisitor and oracle. Part III "Formal Semantic Disproof" shows you how to construct mathematical counterexamples to shoe that proof is impossible. Jape can check the counterexamples you build. Part IV " Program Specification and Proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs. Jape helps, as far as arithmetic allows. Aimed at undergraduates and graduates in computer science, logic, mathematics and philosophy, the text includes reference to and exercises based on the computer software package Jape, an interactive teaching and research tool designed and hosted by the author that is freely available on the web.
Keywords Evidence  Logic, Modern
Categories (categorize this paper)
Buy the book $38.70 used (55% off)   $85.00 direct from Amazon   $85.00 new    Amazon page
Call number BC173.B67 2005
ISBN(s) 0198530269   0198530277   9780198530268
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,349
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
God, Ignorance and Existence.Giovanni Mion - 2012 - International Journal for Philosophy of Religion 72 (2):85-88.

Add more citations

Similar books and articles
Added to PP index
2009-01-28

Total downloads
14 ( #341,953 of 2,193,296 )

Recent downloads (6 months)
1 ( #290,646 of 2,193,296 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature