home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2108 < prev    next >
Encoding:
Text File  |  1992-11-19  |  922 b   |  29 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!psgrain!hippo!ucthpx!elc.mth.uct.ac.za!gavan
  3. From: gavan@elc.mth.uct.ac.za (Gavan Tredoux)
  4. Subject: Re: implication truth table
  5. Sender: news@ucthpx.uct.ac.za (UCT News Admin.)
  6. Message-ID: <1992Nov19.195642.15296@ucthpx.uct.ac.za>
  7. Date: Thu, 19 Nov 92 19:56:42 GMT
  8. References: <Bxvq70.CIA@ra.nrl.navy.mil>
  9. Organization: University of Cape Town
  10. X-Newsreader: Tin 1.1 PL4
  11. Lines: 16
  12.  
  13. mclean@itd.nrl.navy.mil (John McLean) writes:
  14. : From cmitchell@falcon.aamrl.wpafb.af.mil ()
  15. : >My question is: WHY is the implication relation defined as it is?
  16.  
  17. [some reasons]
  18.  
  19. There are logics that don't allow this paradox of
  20. material implication - relevance logics, where the antecedent
  21. and consequent have to be relevant to each other for the
  22. implication to hold. Of course there are a million and one
  23. ways of doing this.
  24.  
  25. Primary strength of classical logic: there's only one.
  26.  
  27. Gavan Tredoux
  28. UCT
  29.