Eine vollstaendige Formalisierung der Aristotelischen Notwendigkeitssyllogistik
arXiv:math/0209372
Abstract
We give a complete and consistent formal interpretation of the modal logic of Aristotle as developped in his analytics.
arXiv:math/0209372
We give a complete and consistent formal interpretation of the modal logic of Aristotle as developped in his analytics.