Philosophy Software and Other Interactives

In this section you will find links to philosophy-related software, tutorials, games, and other interactive items.

Formal Logic

Logic Daemon and Quizmaster - from Colin Allen and Chris Menzel, provides a proof-checker and a logic quiz generator

Logic Software and Logic Education - a page of links to numerous software packages.

Bertrand: Symbolic Logic Problem-Solving Software For The Macintosh

Logic Tutor - a web-based tutorial program which provides more than 1,100 exercises and summaries on every major concept in The Art of Reasoning, by David Kelley.

Logic Software from CSLI - includes "Hyperproof", "The Language of First-order Logic", "Tarski's World" and "Turing's World"

Blue Storm: The Logic Course - online logic course with interactive quizzes.

Automated Reasoning Group Software - over a dozen different programs.

Logic Toolbox - Java Applets for formal logic.

Bertie/Twootie - "two programs for students of symbolic logic"

Gateway to Logic - from Christian Gottschall, generates truth tables and much more.

blogic - from David Velleman, "an interactive textbook in introductory logic, with interactive exercises.  Topics include Boolean searching; logic circuits; propositional calculus with truth-tables; modal logic and counterfactuals with possible-worlds diagrams; populations and probabilities; quantification."

Linear Logic Prover

Logic Calculator

Logic Tools - from John Halleck

LaTex for Logicians - from Peter Smith, "A guide to resources of interest to logicians and philosophers using LaTeX to produce papers or presentations, teaching materials, theses or books, and in particular wanting to include logical matter such as natural deduction proofs."

Critical Thinking

Rationale - "Rationale is software for diagramming arguments. It is suitable for use in introductory logic and critical thinking subjects, and more generally for use in articulating, evaluating and presenting philosophical arguments."

Austhink Argument Mapping Tutorials - six tutorials cover the fundamentals of argument mapping, from the creators of Rationale.

AthenaSoft - "The Athena software is designed to support analysis and production of reasoning and argumentation by students in higher education at undergraduate and postgraduate levels."

Belvedere - "software for constructing and reflecting on diagrams of one's ideas, such as evidence maps and concept maps. Belvedere is designed to help support problem-based collaborative learning scenarios in which middle-school and high-school students learn critical inquiry skills that they can apply in everyday life as well as in science."

Misc. Tutorials, Games, and Interactives

From The Philosopher's Magazine

• Taboo - on moral judgements
• Interactive Philosophy Quiz - Test your knowledge of philosophy in this interactive quiz.
• Battleground God - on the question of god
• Morality Play - on moral judgements
• Shakespeare vs. Britney Spears- What is art?
• Strange New World
• The Philosophical Health Check
• Staying Alive - on personal identity
• So you think you're logical?
• Dealing with Science

EthicsWorks 2001 - "This is the first instructional software package designed specifically for ethics courses. EthicsWorks eases the teaching of introductory ethics by providing students with interactive practice with 1,200 exercises and original text." Available from the Philosophy Documentation Center.

A Right to Die: The Dax Cowart Case - "This ethical case study on CD-ROM forces the user to participate in the difficult decisions being made when a seriously injured young man demands the right to die."

The Play of Mind - ten interactive programs

Prisoner's Dilemma