[lit-ideas] Re: Try a Logic Problem

  • From: Robert Paul <rpaul@xxxxxxxx>
  • To: lit-ideas@xxxxxxxxxxxxx
  • Date: Tue, 27 Jun 2006 17:23:34 -0700

(A) Horses run swiftly, so horses run.

That is, it clearly seems to follow from their running swiftly that they run.

Yet it's extremely difficult to formalize this straightforward inference (without adding a prima facie otiose premise).

The best attempts to put (A) in recognizable logical form will win three weeks at the Mutton College Logic Camp, in Sheepskin, Nebraska. Camp begins July 3.

Robert Paul
Logic at Mutton 2006

Visit us at inference.com

To change your Lit-Ideas settings (subscribe/unsub, vacation on/off,
digest on/off), visit www.andreas.com/faq-lit-ideas.html

Other related posts: