Modele dla sylogistyki Arystotelesa w dziedzinie dwuelementowej
Abstrakt
The paper shows that it is enough to consider models in a domain with two members to invalidate any positive syllogism that is not a theorem of Aristotle’s syllogistic. The respective matrices that can be used for resulting decision procedure are shown. The presented result is extended to a decision procedure for any formula of Aristotle’s syllogistic enriched with classical connectives.
Copyright (c) 1999 Roczniki Filozoficzne
![Creative Commons License](http://i.creativecommons.org/l/by-nc-nd/4.0/88x31.png)
Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa – Użycie niekomercyjne – Bez utworów zależnych 4.0 Międzynarodowe.