LOGICS FOR THE RELATIONAL SYLLOGISTIC
LOGICS FOR THE RELATIONAL SYLLOGISTIC
复制标题
关系三段论的逻辑
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
L. Moss
中科院分区：
文献类型：
--
作者：
Ian Pratt;L. Moss
亚里士多德三段论无法解释涉及关系事实的某些推论的有效性。在本文中，我们研究了提供关系三段论的前景。我们根据（a）是否允许对所有名词（包括句子主语中的名词）使用否定来识别几个片段； (b) 主语名词短语是否可以包含关系从句。我们提出的逻辑是经典三段论的延伸，我们特别关注是否需要反证法的问题。因此，我们的主要目标是得出关系片段的三段论证明系统存在（或不存在）的结果。我们还确定所有片段的计算复杂性。
The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relational syllogistic. We identify several fragments based on (a) whether negation is permitted on all nouns, including those in the subject of a sentence; and (b) whether the subject noun phrase may contain a relative clause. The logics we present are extensions of the classical syllogistic, and we pay special attention to the question of whether reductio ad absurdum is needed. Thus our main goal is to derive results on the existence (or nonexistence) of syllogistic proof systems for relational fragments. We also determine the computational complexity of all our fragments.