Article View: comp.sys.next.software
Article #1252Re: Truth: what is it? (was: Re: Praise and gripes about 3.0)
From: Adrian Smith
Date: Sat, 03 Oct 1992 18:08
Date: Sat, 03 Oct 1992 18:08
22 lines
1455 bytes
1455 bytes
In article <2151@dutiws.tudelft.nl> dimitri@dutiws.tudelft.nl (Dimitri Tischenko) writes: > Well, !Truth==lie is certainly not true (pun intended!). Because the > question "what is truth" is sometimes impossible to answer. For > example: "There exists another life besides the one on earth" is > this a truth? is this a lie? Maybe it can be both or none? > I agree. Ever do any prolog programming? If a consequence cannot be obtained from an information base through the use of inference rules, that does not make the consequence false. It may mean that your database didn't contain the necessary information to obtain the consequence. What, if anything, does this have to do with 3.0? --- Adrian Smith University of Alberta NeXT Campus Consultant adrian@niagara.ucs.ualberta.ca Audix: 5482
Technical Details
Message-ID:
<1992Oct3.180849.9395@kakwa.ucs.ualberta.ca>Path:
arc1-ca.pugleaf.net!sparky!uunet!ogicse!news.u.washington.edu!uw-beaver!cs.ubc.ca!unixg.ubc.ca!kakwa.ucs.ualberta.ca!newsReferences:
<2151@dutiws.tudelft.nl>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!ogicse!news.u.washington.edu!uw-beaver!cs.ubc.ca!unixg.ubc.ca!kakwa.ucs.ualberta.ca!news From: adrian@niagara.ucs.ualberta.ca (Adrian Smith) Newsgroups: comp.sys.next.software Subject: Re: Truth: what is it? (was: Re: Praise and gripes about 3.0) Message-ID: <1992Oct3.180849.9395@kakwa.ucs.ualberta.ca> Date: 3 Oct 92 18:08:49 GMT Article-I.D.: kakwa.1992Oct3.180849.9395 References: <2151@dutiws.tudelft.nl> Sender: news@kakwa.ucs.ualberta.ca Reply-To: adrian@niagara.ucs.ualberta.ca Organization: University Of Alberta, Edmonton Canada Lines: 22 Nntp-Posting-Host: batslab.ucs.ualberta.ca