These iPhone applications can be downloaded directly from Apple's iTunes App Store.
Clicking the application name will take you there.

These utilities for truth-functional logic allow you to check syntax, construct truth tables, and test for consistency and validity. Notation can be set to match any logic textbook.

Available for both iPhone and iPod Touch.

How to use the Logic 100 app.

These utilities for categorical logic allow you to construct syllogisms, test them for validity, and display their Venn diagrams.

Available for both iPhone and iPod Touch.

How to use the Syllogism app.

This app helps you construct derivations based on the system SD from The Logic Book. It checks the syntax of each line and automatically applies derivation rules. Completed derivations, including line justifications, can be emailed directly from the app.

Available for both iPhone and iPod Touch.

How to use the Logic 101 app.

The famous word game invented by Lewis Carroll.

Available for both iPhone and iPod Touch.

How to use the Doublets app.

Turn your iPhone into a remote control for your dog.

Available for both iPhone and iPod Touch.

Can you memorise the locations of 12 randomly-placed zodiac symbols in only 10 seconds? That's what you'll have to do to complete the highest of the five levels in this game.

Available for both iPhone and iPod Touch.

Guide your amoeba as it swims around the screen, devouring other microscopic creatures. Gain energy for your amoeba, and win points for yourself.

How many points can you win before your amoeba finally fades away? Don't worry; you can always create a new one and start over.

Available for both iPhone and iPod Touch.