Home

Logic

Stuff about it

About This page contains various things that have to do with logic. The idea is that it works as a quick reference for some things, and a place to store useful reading material about logic.

Contents Table of logical symbols This table gives a neat overview of the different symbols used in logic. Possible worlds diagrams Possible worlds diagrams depicts every modal relation that a proposition can have, and any relations that can be between a pair of propositions. Proof Tools (off-site) A neat little program that can automatically test wff's and argument forms. This program was made by a friend of mine. I serve as the designer. Inference and replacement rules A list of commonly mentioned inference and replacement rules. Constructing truth-tables (under construction) An explanation of how to go about constructing truth-tables manually. The term "complete argument" An explanation of my term "complete argument" and the closely related term "complete formal argument". Special character tool A small program that makes it easy to insert special characters. Requires .NET.

Links Norman Swartz' Homepage Norman Swartz' homepage. This page contains a lot of writings related to logic. The pages Free Will and Determinism and 'The' Modal Fallacy are especially good.