home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / logic / 1328 < prev    next >
Encoding:
Text File  |  1992-08-31  |  2.2 KB  |  51 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!gatech!concert!sas!mozart.unx.sas.com!sasghm
  3. From: sasghm@theseus.unx.sas.com (Gary Merrill)
  4. Subject: Re: Logics for empirical science.
  5. Originator: sasghm@theseus.unx.sas.com
  6. Sender: news@unx.sas.com (Noter of Newsworthy Events)
  7. Message-ID: <BtuuGE.7Fr@unx.sas.com>
  8. Date: Mon, 31 Aug 1992 15:45:49 GMT
  9. References:  <1992Aug31.142217.14509@Informatik.TU-Muenchen.DE>
  10. Nntp-Posting-Host: theseus.unx.sas.com
  11. Organization: SAS Institute Inc.
  12. Keywords: logic, knowledge.
  13. Lines: 36
  14.  
  15.  
  16. In article <1992Aug31.142217.14509@Informatik.TU-Muenchen.DE>, gemenis@Informatik.TU-Muenchen.DE (Theodor Gemenis) writes:
  17. |> 
  18. |> 
  19. |> I am interested in logics appropriate for empirical science 
  20. |> (or logics for knowledge), that is logics for axiomatize theories 
  21. |> such as newtonian mechanics, electrodynamics, etc. theories also 
  22. |> beyond mathematics. 
  23. |> I know the work of R. Carnap, P. Suppes, J. Sneed on this field 
  24. |> and the work of N. Nilsson in AI (logic for knowledge representation).
  25. |> 
  26. |> I would be thankful for any indication concerning recent work
  27. |> in this domain. Information on implemented systems for such logics 
  28. |> is also from interest to me.
  29.  
  30.  
  31. Your phrases "logics appropriate for empirical science", "logics
  32. for knowledge", and "logics [to] axiomatize theories ..." would
  33. seem to cover pretty diverse ground and do not, to my mind,
  34. necessarily share a meaning.
  35.  
  36. I haven't played with this stuff for a long time.  In addition to
  37. the names you mention, the other one that comes to mind is Richard
  38. Montague.  See, for example, "Deterministic Theories" in _Formal_
  39. Philosophy_ (Yale University Press, 1974).  (His stuff may be dealt
  40. with by Sneed, but memory fails me.)  I believe that Clark Glymour
  41. (still at Pitt?) was drifting in this area (perhaps in conjunction
  42. with the Pitt CS or AI departments).  You might contact Henry
  43. Kyburg (kyburg@cs.rochester.edu) who is spending virtually all of
  44. his time in the Cog. Sci. program there now instead of in philosophy.
  45. He has been doing a lot of stuff in the area of non-deductive methods
  46. in AI.
  47. -- 
  48. Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
  49. SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
  50. sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
  51.