Re: Help with a problem
- From: "George Dance" <georgedance04@xxxxxxxx>
- Date: 26 Nov 2005 05:54:37 -0800
Torkel Franzen wrote:
> "George Dance" <georgedance04@xxxxxxxx> writes:
>
> > If one's aim is to use nd to formalize the inferences of informal
> > reasoning, then a system like Copi's would work best.
>
> A bizarre notion. The reasoning from "If r is positive, r is in E"
> to "If r is positive and r is in S, r is in E" in the "elegant
> and simple" derivation given by an unfortunate expert on Copi's system
> goes
>
> If r is positive, r is in E. So either if r is positive, r is in E,
> or r is not in S. So either r is not in S
> or if r is positive, r is in E. So if r is in S, if
> r is positive, r is in E. So if r is in S and r is
> positive, r is in E. So if r is positive and r is in S,
> r is in E.
Are you quoting Burgess-Jackson, or merely giving your own paraphrase?
If the latter, can we see the actual quote?
> This bears no resemblance to any informal reasoning from "If r is
> positive, r is in E" to "If r is positive and r is in S, r is in E"
> found in nature.
Well, it's certainly not how I'd prove it. And once you've provided
similar testimony from everything found in nature, I'll accept your
above claim.
.
- Follow-Ups:
- Re: Help with a problem
- From: Torkel Franzen
- Re: Help with a problem
- References:
- Help with a problem
- From: Robert Zimmerman
- Re: Help with a problem
- From: Chris Menzel
- Re: Help with a problem
- From: Robert Zimmerman
- Re: Help with a problem
- From: William Elliot
- Re: Help with a problem
- From: William Elliot
- Re: Help with a problem
- From: G . Frege
- Re: Help with a problem
- From: George Dance
- Re: Help with a problem
- From: Torkel Franzen
- Help with a problem
- Prev by Date: Re: analytic function... need help.
- Next by Date: Re: Help with a problem
- Previous by thread: Re: Help with a problem
- Next by thread: Re: Help with a problem
- Index(es):
Relevant Pages
|