home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 1934 < prev    next >
Encoding:
Internet Message Format  |  1992-11-06  |  3.4 KB
  1. Xref: sparky sci.logic:1934 sci.philosophy.meta:2356
  2. Newsgroups: sci.logic,sci.philosophy.meta
  3. Path: sparky!uunet!charon.amdahl.com!pacbell.com!decwrl!concert!sas!mozart.unx.sas.com!sasghm
  4. From: sasghm@theseus.unx.sas.com (Gary Merrill)
  5. Subject: Re: Natural Kinds (was re: Are all crows black?)
  6. Originator: sasghm@theseus.unx.sas.com
  7. Sender: news@unx.sas.com (Noter of Newsworthy Events)
  8. Message-ID: <Bx998I.KpK@unx.sas.com>
  9. Date: Thu, 5 Nov 1992 18:12:18 GMT
  10. References: <1992Nov4.163618.17991@dcs.qmw.ac.uk> <1992Nov4.200546.2196@CSD-NewsHost.Stanford.EDU> <Bx8yvo.6ty@unx.sas.com> <1992Nov5.171453.22237@CSD-NewsHost.Stanford.EDU>
  11. Nntp-Posting-Host: theseus.unx.sas.com
  12. Organization: SAS Institute Inc.
  13. Lines: 54
  14.  
  15.  
  16. Just some quick responses to an otherwise very long posting ...
  17.  
  18. In article <1992Nov5.171453.22237@CSD-NewsHost.Stanford.EDU>, pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
  19.  
  20. > Now what I claimed in (B) was that hypotheses can be falsified in
  21. > math.  Here Liebniz' hypothesis of the mathematical existence of
  22. > infinitesimals, later endorsed by Cauchy, was eventually *falsified* by
  23. > Dedekind.  (You can *prove* via reals as cuts that no real can be an
  24. > infinitesimal, the only reals greater than 0 are too large to be
  25. > infinitesimals.)  And my evidence for (C), the impermanence of
  26. > falsification, is Robinson's restoration of infinitesimals to
  27. > mathematically rigorous existence.
  28.  
  29. There is at least a real confusion here about *what* was "falsified".
  30. It appears, at least from this story, that one *semantics* for 
  31. a theory of infinitesimals was "falsified", while another semantics
  32. (perhaps even for an at least slightly *different* theory) was not.
  33.  
  34. This story has a bit of the flavor of the claim that the existence
  35. of phlogiston (the "active ingredient" in combustion) was falsified,
  36. but that this (phlogistion) later really turned out to be oxygen!
  37.  
  38. > 
  39. > The parallels with the corresponding story for particles and waves
  40. > involve both (B) and (C) with physics in place of mathematics.  These
  41. > intimate parallels makes it *very* hard to tease apart the processes of
  42. > mathematics and physics in any useful way.
  43.  
  44. It remains not hard at all.  You may choose to attempt to minimize the
  45. issue of direct empirical content as well as the significant methodological
  46. differences, but these differences are nonetheless quite obvious.
  47.  
  48. You can take a mathematician and lock him in his little office with just
  49. some writing materials and he will (a) be pretty happy, and (b) be able
  50. and willing to do anything of a mathematical nature.  Even a committed
  51. *theoretical* physicist will be very distressed under such circumstances
  52. since he has not way to determining whether his theories (however abstract)
  53. are *good* ones.
  54.  
  55. > The divergence between Natural Philosophy and Philosophy grew as the value 
  56. > of knowing how many people a bridge could hold became economically more 
  57. > important than knowing the number of angels that could fit on a pin ;-)
  58. > 
  59.  
  60. I take this as an expression of some kind of ideology.  Certainly it is
  61. not historically accurate.  The divergence has much more to do with the
  62. development of *quantitative* methods and measurements, and (to use
  63. a phrase beloved by some in the history of ideas and history of
  64. philosophy) "the mechanization of the world picture".
  65. -- 
  66. Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
  67. SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
  68. sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
  69.