Home - Logic and Inferencing

Links - Logic and First Order Logic

billb — Tue, 06 Oct 2009 15:25:24 -0600

Oct 6 2009: added link, changed page title.

Peter Suber was a research professor at Earlham College until recently. His tutorials on logic and logical mathematics are among the most concise and accessible to be found on the web, and probably ever written.

From the preface to "Translation Tips":

In this hand-out I treat the notation of truth-functional propositional logic and first-order predicate logic as a language, and give guidance on translating from English into this foreign language.

read more

Logical Inference

billb — Wed, 08 Oct 2008 08:16:58 -0600

Republished Jan 16 2009, from a an old tutorial article. Will be expanded and revised in coming months. Also see InterWiki on Logical Reasoning.

Link to Logic and Inferencing in Old Tutorial

billb — Fri, 04 Apr 2008 14:25:01 -0600

An old article but still pertinent. I'd like to believe that logic never goes out of style, but given the history of ...