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)
返 回