📄 http:^^www.cs.indiana.edu^research^dunn^rp.html
字号:
Date: Wed, 20 Nov 1996 19:15:04 GMT
Server: Apache/1.0.3
Content-type: text/html
Content-length: 1771
Last-modified: Thu, 25 Apr 1996 14:58:41 GMT
<html><HEAD><TITLE> Relevant Predication </TITLE></HEAD><BODY background = "pentag8.gif"><H2> Relevant Predication </H2><Strong>Description: </Strong> <Blockquote> This research programattempts to give a formal theory of predication within the context ofrelevance logic. For an implication to be "relevant" there must besome connection between its antecedent and consequent.Correspondingly, in order for a predication to be relevant, there mustbe some connection between the predicate and the term of which it ispredicated. This project in philosophical logic has a link to thecomputer science notion of a "strict function" (one that depends onits arguments). A definition of relevant predication can be givenwithin relevance logic with identity, and its formal properties arebeing explored and linked with various ontological issues concerningpredication. This include vacuous predication, external relations, thequestion of whether existence is a property and whether membership andexemplification are relations. There are also applications to thephilosophy of science in connection with the Goodman "grue-bleen"paradox and other paradoxes of confirmation. Applications have alsobeen made to the frame problem in AI and by Raymundo Morado tonon-monotonic reasoning (treating relevant predication as defaultpredication). </Blockquote><P><Strong> Associated Faculty:</Strong>Michael Dunn<P><Strong> Affiliated Projects: </Strong> Raymundo Morado (PhilosophyInstitute, University of Mexico), Phillip Kremer (Department of Philosophy,Stanford University)<P><Strong> Support: </Strong> College of Arts and Sciences<p> <!WA0><A HREF = "http://www.cs.indiana.edu/l/www/research/index.html"><!WA1><IMG SRC="http://www.cs.indiana.edu/research/back.gif">Return to Computer Science Research Page </A>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -