home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / logic / 2065 < prev    next >
Encoding:
Text File  |  1992-11-17  |  4.1 KB  |  85 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!pratt
  3. From: pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt)
  4. Subject: Re: Why Logic?
  5. Message-ID: <1992Nov16.212410.28487@CSD-NewsHost.Stanford.EDU>
  6. Sender: news@CSD-NewsHost.Stanford.EDU
  7. Organization: Computer Science Department,  Stanford University.
  8. References: <1992Nov16.091653.1@woods.ulowell.edu>
  9. Date: Mon, 16 Nov 1992 21:24:10 GMT
  10. Lines: 73
  11.  
  12. In article <1992Nov16.091653.1@woods.ulowell.edu> cotera@woods.ulowell.edu writes:
  13. >Can anyone explain why we use logic? Unfortunately, any logical arguments to
  14. >support logic, are unfortunately, invalid.
  15.  
  16. For the same reason that courts accept only two pleas: guilty or not
  17. guilty.  It is quite hard enough to get a jury to agree on that one bit
  18. without asking them also to agree on details of the witnesses'
  19. stories.
  20.  
  21. Once the high order bit is settled, the lower order bits (severity of
  22. sentence and such) can be decided more casually according to the
  23. position of that bit and with the aid of information left over from the
  24. determinations of the higher order bits.
  25.  
  26. Voting tends to be organized along similar lines, with questions
  27. preferably framed to have yes/no answers in order to simplify
  28. discussion and to maximize the representativeness of the winning
  29. outcome.
  30.  
  31. Pretrial hearings and primaries serve to sharpen the question, not to
  32. refine the answer.
  33.  
  34. This is the principle of the most significant bit, MSB.  Over the
  35. millennia we have acquired an intuitive appreciation of the MSB
  36. principle, not just in the courtroom and the legislature but
  37. everywhere, and we have evolved and refined tools for dealing with that
  38. bit.  These tools constitute logic.
  39.  
  40. Our modern view of these tools recognizes a library of predicates, each
  41. producing a bit that for certain applications is the appropriate high
  42. order bit.
  43.  
  44. In addition there is the collection of all n-ary operations on a
  45. 2-valued set, better known as the Boolean operations, giving a complete
  46. library of operations for manipulating bits.
  47.  
  48. But this modern view in terms of predicates and Boolean connectives is
  49. as much a stereotype of natural logic as the Pentagon is pentagonal,
  50. and any simple modern account can bear only a superficial resemblance
  51. to the full gamut of tools of natural logic.  In particular there has
  52. been no convincing demonstration that the weighty matters contemplated
  53. in courts and the legislature are judged exclusively, or even
  54. primarily, according to the rules of the first order predicate
  55. calculus.  The logic of the court would appear to center more on
  56. catching smugglers of argumentum ad hominem and other logical
  57. contraband, while that of Congress is the same with the additional
  58. requirement of alienating the fewest number weighted by alliance.  In
  59. such settings the MSB principle plays a critical role in conferring the
  60. benefit of logical rigor on a situation whose natural state is logical
  61. chaos.
  62.  
  63. Formal logic presumably did not appear until well after natural logic
  64. had evolved and been adopted for everyday use.  The first two millennia
  65. of formal logic to make it into today's historical record focused on
  66. the correct application of an abstract view of the extant tools,
  67. without raising questions of their soundness or completeness.  Peirce
  68. in the 1870's was the first to explicitly incorporate the two-valued
  69. nature of truth into the methodology of formal logic, though Boole had
  70. earlier come very close when he tied truth to sets.
  71.  
  72. Today formal logic continues to focus on correctness of argument, with
  73. two-valued truth playing a central though by no means solo role as the
  74. importance of the first bit comes to be seen, if only subconsciously,
  75. in its proper light: a very good but by no means essential heuristic.
  76.  
  77. As nonlogical principles are assimilated along with logical rules of
  78. inference into single decision methods and conditional rules of
  79. calculation, the boundary of logic and nonlogic blurs, leaving us with
  80. formal reasoning systems containing a blend of rules whose origins in
  81. their respective logical and nonlogical calculi grow less discernible
  82. with every passing decade.
  83. -- 
  84. Vaughan Pratt              A fallacy is worth a thousand steps.
  85.