Article View: sci.logic
Article #182Logics for empirical science.
From: Theodor Gemenis
Date: Mon, 31 Aug 1992 14:22
Date: Mon, 31 Aug 1992 14:22
27 lines
1646 bytes
1646 bytes
I am interested in logics appropriate for empirical science (or logics for knowledge), that is logics for axiomatize theories such as newtonian mechanics, electrodynamics, etc. theories also beyond mathematics. I know the work of R. Carnap, P. Suppes, J. Sneed on this field and the work of N. Nilsson in AI (logic for knowledge representation). I would be thankful for any indication concerning recent work in this domain. Information on implemented systems for such logics is also from interest to me. Thanks in advance, Theodor Yemenis -- _______________________________________________________________________________ Theodor Yemenis Forschungsgruppe KI - Intellektik Institut f"ur Informatik Lehrstuhl fuer Rechnerarchitektur Technische Universit"at M"unchen Augustenstr. 46 Tel.: +49-89/521099 D-8000 M"unchen 2 Fax.: +49-89/526502 Email:gemenis@informatik.tu-muenchen.de _______________________________________________________________________________
Technical Details
Message-ID:
<1992Aug31.142217.14509@Informatik.TU-Muenchen.DE>Path:
arc1-ca.pugleaf.net!sparky!uunet!dtix!darwin.sura.net!jvnc.net!yale.edu!ira.uka.de!math.fu-berlin.de!informatik.tu-muenchen.de!gemenisShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!dtix!darwin.sura.net!jvnc.net!yale.edu!ira.uka.de!math.fu-berlin.de!informatik.tu-muenchen.de!gemenis From: gemenis@Informatik.TU-Muenchen.DE (Theodor Gemenis) Newsgroups: sci.logic Subject: Logics for empirical science. Keywords: logic, knowledge. Message-ID: <1992Aug31.142217.14509@Informatik.TU-Muenchen.DE> Date: 31 Aug 92 14:22:17 GMT Sender: news@Informatik.TU-Muenchen.DE (USENET Newssystem) Organization: Technische Universitaet Muenchen, Germany Lines: 27 Originator: gemenis@sunjessen9.informatik.tu-muenchen.de