Computation of Aristotle's and Gergonne's syllogisms |
| |
Authors: | S. N. Furs |
| |
Affiliation: | (1) Academy of Science of the BSSR Institute of Linguistics, Akademicheskaja str. 25, 220600 Minsk GSP, USSR |
| |
Abstract: | A connection between Aristotle's syllogistic and the calculus of relations is investigated. Aristotle's and Gergonne's syllogistics are considered as some algebraic structures. It is proved that Gergonne's syllogistic is isomorphic to closed elements algebra of a proper approximation relation algebra. This isomorphism permits to evaluate Gergonne's syllogisms and also Aristotle's syllogisms, laws of conversion and relations in the square of oppositions by means of regular computations with Boolean matrices. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|