From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ac39a12d5faf5b14
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-04-12 15:25:13 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!nntp.abs.net!news.voicenet.com!nntp.upenn.edu!msunews!not-for-mail
From: "Chad R. Meiners" <crmeiners@hotmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Rant! (was) Development process in the Ada community
Date: Fri, 12 Apr 2002 18:20:56 -0400
Organization: Michigan State University
Message-ID: <a97mo2$2net$1@msunews.cl.msu.edu>
References: <3CB46975.90408@snafu.de>
 <dfc3a9eb805c5538c8b1d19eb9c9aff3.48257@mygate.mailgate.org>
 <3CB61A78.271280C1@btinternet.com> <a95bdc$f67$1@msunews.cl.msu.edu>
 <a9704r$6ql$1@a1-hrz.uni-duisburg.de>
Reply-To: "Chad R. Meiners" <crmeiners@hotmail.com>
NNTP-Posting-Host: arctic.cse.msu.edu
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2600.0000
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000
Xref: archiver1.google.com comp.lang.ada:22458
Date: 2002-04-12T18:20:56-04:00
List-Id: <comp.lang.ada>

With logically valid methods of reasoning, you must clearly distinguish that
which you must assume (such as your reasoning axioms and your 'facts') from
that which you prove.  It is true that the power of logical reasoning is
limited via Godel's proof, but this is never an excuse for allowing logical
fallacies into any argument.  Logic is still our best defense against the
exploitation of ignorance and false conclusions.  So even though we may not
be able to enumerate all the truths of the universe, we can and should use
logical reasoning; we simply must accept that there are some things that we
cannot know.


"Georg Bauhaus" <sb463ba@l1-hrz.uni-duisburg.de> wrote in message
news:a9704r$6ql$1@a1-hrz.uni-duisburg.de...
> Chad R. Meiners <crmeiners@hotmail.com> wrote:
>
> : If you care about the truth, you must carefully determine the truth
> : with logically valid methods.
>
> With consideration, o.K., but uhm, logically valid methods, leading to the
> truth...  isn't that one of the beliefs of the years before a 1936
> publication? And determining worldly facts is perhaps at least
> intractable, outside clerical reasoning. Still one might at least
consider.