首页   按字顺浏览 期刊浏览 卷期浏览 Arithmetizations of Syllogistic à la Leibniz
Arithmetizations of Syllogistic à la Leibniz

 

作者: Vladimir Sotirov,  

 

期刊: Journal of Applied Non-Classical Logics  (Taylor Available online 1999)
卷期: Volume 9, issue 2-3  

页码: 387-405

 

ISSN:1166-3081

 

年代: 1999

 

DOI:10.1080/11663081.1999.10510975

 

出版商: Taylor & Francis Group

 

关键词: syllogism;Lattice;Boolean algebra;Aristotle;Leibniz

 

数据来源: Taylor

 

摘要:

Two models of the Aristotelian syllogistic in arithmetic of natural numbers are built as realizations of an old Leibniz idea. In the interpretation, called Scholastic, terms are replaced by integers greater than 1, ands.Ap(“Everysis ap”) is translated as “sis a divisor ofp”,sIp(“Somesis ap”) as “g.c.d.(s, p) > 1” (the same letters are used for the replacing numbers as well as for the terms). In the interpretation, called Leibnizian, terms are replaced by proper divisors of a special “Universe number”u< 1 (i.e.,s<u, p<u), andsApis translated as “sis divisible byp”,sIpas ‘l.c.m.(s, p) <u”. Both interpretations are proved to be adequate to the Aristotelian syllogistic. They are extended to syllogistic including term negation and term conjunction as well (and, therefore, all Boolean operations with terms).

 

点击下载:  PDF (1159KB)



返 回