Help and Contacts


How to navigate the logic site

A number of features have been included in the Introduction to Logic Web site to help you progress through the tutorials and exercises and also to help you find any particlar piece of information

Navigation Bar

By clicking on any of the navigation buttons you will be taken to the relevant section.

Logic Home: Takes you to the logic home page.

Index: Lists most of the terms covered in the tutorials, and links each to relevant sections of the text.

Tutorials: A series of detailed tutorials introducing the main concepts and definitions of logic, including examples and exercises.

Exercises: A series of exercises and answers (also included in the tutorials) to accompany the tutorials.

Tableau Rules: Gives a summary of the tableau rules, and an explanation of what rules can be applied to a given formula.

Tableau Program: This program, written using Java, is designed to help you to do tableau (i.e. tree) proofs. Please follow the installation instructions if you have not used this program before.

Help and Contacts: This page provides assistance in navigating the site and relevant contact details.

Philosophy Home: The Philosophy Department, University of Oxford, website.

Back and Next Buttons

These buttons are at the end of every tutorial and exercise and will take you onto the previous or following page in a linear fashion.


Navigation bar for Tutorials and Exercises

A second navigation bar is placed at the top of every tutorial and exercise and will enable you skip to the relevant section of each tutorial/exercise or to a different level.


The Tableau 3 Program

If you want to know how to use the Tableau 3 program please go to the installation pages that accompany it.

If you have worked through the installation pages and continue to have problems, then please email us (at with as much information as possible about your system set-up as you can (Operating system, web browser version if using the applet, names of suitable fonts installed, details of any software you have downloaded as part of the installation process).

If you are using a machine in college, you may need to ask your IT officer for help, or for permission to download and install any additional software needed to run the applet.

For people running the program as an applet (i.e. within a web browser), then if you find that you have difficulty in seeing all of the applet's working area, you may wish to run your browser in full screen mode. This is possible in Internet Explorer by choosing View, and then Full Screen from the drop down menu that will appear.


Contact Information

If you have any queries or feedback concerning "Introduction to Logic" please send an e-mail to

Click here for Acknowledgements