[lit-ideas] Re: Try a Logic Problem

Wait, wait!  I must amend my logic:

1.
Running means to run.
Horses run.
Therefore swiftly running horses run.

2.
The Don is a river.
Swiftly flows the Don.
A horse is a horse.
Swiftly run the horses.
Therefore a river is a horse.
Therefore a horse is a river.
Hippo means horse,
Patamos means river.
Therefore horses are hippopotamuses.
So are rivers.
Ergo, hippopotamuses run swiftly.

Mike Geary

----- Original Message ----- From: "Mike Geary" <atlas@xxxxxxxxxxxxx>
To: <lit-ideas@xxxxxxxxxxxxx>
Sent: Tuesday, June 27, 2006 8:56 PM
Subject: [lit-ideas] Re: Try a Logic Problem



JL would support this logic if he were still subscribing.

Mike Geary
Memphis


----- Original Message ----- From: "Robert Paul" <rpaul@xxxxxxxx>
To: <lit-ideas@xxxxxxxxxxxxx>
Sent: Tuesday, June 27, 2006 7:23 PM
Subject: [lit-ideas] Re: Try a Logic Problem


(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
Director
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


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


------------------------------------------------------------------
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: