home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / logic / 1333 < prev    next >
Encoding:
Internet Message Format  |  1992-09-01  |  2.5 KB

  1. Path: sparky!uunet!gatech!purdue!news.cs.indiana.edu!umn.edu!noc.msc.net!gacvx2.gac.edu!logic
  2. From: logic@gacvx2.gac.edu
  3. Newsgroups: sci.logic
  4. Subject: Re: Logics for empirical science.
  5. Message-ID: <1992Sep1.103817.1679@gacvx2.gac.edu>
  6. Date: 1 Sep 92 16:38:17 GMT
  7. References: <1992Aug31.142217.14509@Informatik.TU-Muenchen.DE> <BtuuGE.7Fr@unx.sas.com>
  8. Organization: Gustavus Adolphus College, St. Peter, Minnesota
  9. Lines: 44
  10.  
  11. In article <BtuuGE.7Fr@unx.sas.com>, sasghm@theseus.unx.sas.com (Gary Merrill) writes:
  12. > In article <1992Aug31.142217.14509@Informatik.TU-Muenchen.DE>, gemenis@Informatik.TU-Muenchen.DE (Theodor Gemenis) writes:
  13. > |> 
  14. > |> 
  15. > |> I am interested in logics appropriate for empirical science 
  16. > |> (or logics for knowledge), that is logics for axiomatize theories 
  17. > |> such as newtonian mechanics, electrodynamics, etc. theories also 
  18. > |> beyond mathematics. 
  19. > |> I know the work of R. Carnap, P. Suppes, J. Sneed on this field 
  20. > |> and the work of N. Nilsson in AI (logic for knowledge representation).
  21. > |> 
  22. > |> I would be thankful for any indication concerning recent work
  23. > |> in this domain. Information on implemented systems for such logics 
  24. > |> is also from interest to me.
  25. > Your phrases "logics appropriate for empirical science", "logics
  26. > for knowledge", and "logics [to] axiomatize theories ..." would
  27. > seem to cover pretty diverse ground and do not, to my mind,
  28. > necessarily share a meaning.
  29. > I haven't played with this stuff for a long time.  In addition to
  30. > the names you mention, the other one that comes to mind is Richard
  31. > Montague.  See, for example, "Deterministic Theories" in _Formal_
  32. > Philosophy_ (Yale University Press, 1974).  (His stuff may be dealt
  33. > with by Sneed, but memory fails me.)  I believe that Clark Glymour
  34. > (still at Pitt?) was drifting in this area (perhaps in conjunction
  35. > with the Pitt CS or AI departments).  You might contact Henry
  36. > Kyburg (kyburg@cs.rochester.edu) who is spending virtually all of
  37. > his time in the Cog. Sci. program there now instead of in philosophy.
  38. > He has been doing a lot of stuff in the area of non-deductive methods
  39. > in AI.
  40. > -- 
  41. > Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
  42. > SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
  43. > sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
  44.  
  45. I'd like to add Carl Hempel and Nelson Goodman (Fact Fiction and Forecast)
  46. to the list..  Their stuff is pretty old now but definitely deserving of 
  47. the title "classic works".
  48.  
  49. regards,
  50. al hart
  51.