|
Welcome to the support page for the text Logic, Proof and Computation 3rd edition; henceforth LPC.
What is in the Book?
|
Beginning with a review of formal languages and their syntax and semantics, LPC
conducts a computer assisted course in formal reasoning and the relevance of logic to mathematical proof,
information processing and philosophy.
Topics covered include formal grammars, semantics of formal languages, sequent systems, truth-tables,
propositional and first order logic, identity, proof heuristics, regimentation, set theory, Tarski’s semantic
theory of truth, databases, modal logic, possible world semantics, Herbrand’s proof, automated deduction,
proof by induction, model theory and Skolem’s paradox, Turing machines, undecidability and a computer illustration
of the reasoning underpinning Gödel’s incompleteness proof.
Logic proofs for the student are supported by computer-assisted proofs and the programs are freely
available from this page. LPC is designed as a multidisciplinary reader for students in computing, philosophy
and mathematics.
| 
|
How to Get the Book?
Currently review copies of LPC are available from the
Great British Bookshop. The distribution
extends to the UK, the EC countries and the USA. You may be pleasantly surprised to find the GBB can reach
you if you are outside those countries; so do enquire if so.
Installing the Programs for Logic, Proof and Computation
This file contains all the programs used in LPC;
follow the README instructions. Note you do need a Shen executable with the Standard Libray preinstalled to install
these programs. You can get that Shen executable from here.
This download is designed to run under Windows.
Errata
LPC 3rd editions was publically available on the 26th May, 2023 and went through a number of changes,
the last round being December 2025.
Feedback
This is a review version and is subject to change, but post June 3rd 2023
the changes have been very minor. Do post if you have an issue and errors will be corrected and you will be placed in the
acknowledgements.
|
LATEST NEWS
The open Shen initiative.
Hundreds of free online pages on Shen technology to appear in 2025.
|
