This Web site provides, through a range of materials and tools, an introduction to the study of elementary logic covering propositional and predicate calculus. It is hoped that the site may be useful more widely, for anyone who would like to investigate the subject. The material here is intended to be used in conjunction with Wilfrid Hodges' Logic. This text was used for the Introduction to Logic course until 2008, when Hodges' text was replaced with the Logic Manual as set text. These webpages are no longer maintained and appear here as an unsupported resource only.

The materials are structured as a series of eight detailed tutorials, which introduce the main concepts and definitions together with examples and exercises. The tutorials start with the notions of consistency and validity, and proceed to introduce a language and system of proof for propositional logic and for predicate logic. They include a tutorial on designators and a tutorial on relations. The language and system of proof (by means of tableaux, i.e. trees) are those to be found in W. Hodges, Logic, 2nd edition (Penguin, 2001).

Within each tutorial topics have been arranged sequentially, care being taken to provide a reasonable amount of information per page so that study can be undertaken step by step. The site is also designed to aid quick navigation so that relevant materials can be quickly reached from various locations. For instance, there is always available in the lefthand frame a link to an A-Z index, which lists most of the terms covered in the tutorials, and links each to relevant sections of the text.

A special feature of this site is Tableau3, a program to enable students to practise doing tableau (i.e. tree) proofs for propositional and predicate logic. Tableau3 is similar in functionality to a much earlier program, Tableau2, but is written in Java (rather than DOS), and so can run on most computer setups, either over the Web or on a local machine


The Logic Web project has been directed by Hugh Rice at the Faculty of Philosophy.
This site has been developed by the Academic Computing Development Team
Initial development and design carried out by Martin Rhys Jones.
Tableau3 has been developed by Nik Roberts.