## [lit-ideas] Re: Try a Logic Problem

• From: "Mike Geary" <atlas@xxxxxxxxxxxxx>
• To: <lit-ideas@xxxxxxxxxxxxx>
• Date: Tue, 27 Jun 2006 20:56:20 -0500

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

```2.
The Don is a river.
Swiftly flows the Don.
Swiftly run the horses.
Therefore Don is a horse.
Therefore a horse is a river.
Hippo means horse,
Patamos means river.
Therefore horses are hippopatomases.
So are rivers.```

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