论文标题
亚里士多德的关系：组合性逻辑中的一种解释
Aristotle' Relations: An Interpretation in Combinatory Logic
论文作者
论文摘要
通过班级的演算，对有机孔的三段论的通常建模不包括关系。但是，亚里士多德可能已经在前两本书中设想了他们作为亲戚的类别，他允许他们与自己合作。组成是组合逻辑中的主要操作，因此为一种新的建模提供了自己的作用。所得的演算还包括逻辑连接剂对谓词的组成。
The usual modelling of the syllogisms of the Organon by a calculus of classes does not include relations. Aristotle may however have envisioned them in the first two books as the category of relatives, where he allowed them to compose with themselves. Composition is the main operation in combinatory logic, which therefore offers itself for a new kind of modelling. The resulting calculus includes also composition of predicates by logical connectives.
