Re: A Manual of Practical Reason
From: Torkel Franzen (torkel_at_sm.luth.se)
Date: 01/24/05
- Next message: Torkel Franzen: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- Previous message: |-|erc: "Re: Help on theorem proving in prolog"
- In reply to: Acme Diagnostics: "Re: A Manual of Practical Reason"
- Next in thread: Acme Diagnostics: "Re: A Manual of Practical Reason"
- Reply: Acme Diagnostics: "Re: A Manual of Practical Reason"
- Messages sorted by: [ date ] [ thread ]
Date: 24 Jan 2005 07:56:08 +0100
"Acme Diagnostics" <LFinezapthis@partpostmark.net> writes:
> I would not waste my time trying to determine an author's meaning
> of an excerpted phrase in an obvious exercise in short-copy
> designed to cause readers to inference in context.
OK, so you don't take it to mean anything in particular, which
indeed it doesn't - there is no notion of "truth in a set of axioms"
in logic. Your longwinded dancing around this simple fact is a
remarkable display, but a much simpler procedure would be to introduce
some straightforward emendations in the description.
- Next message: Torkel Franzen: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- Previous message: |-|erc: "Re: Help on theorem proving in prolog"
- In reply to: Acme Diagnostics: "Re: A Manual of Practical Reason"
- Next in thread: Acme Diagnostics: "Re: A Manual of Practical Reason"
- Reply: Acme Diagnostics: "Re: A Manual of Practical Reason"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|