arXivDaily arXiv每日学术速递 周一至周五更新
arXiv math/0209372math.LO
收藏

一种非二义性三段论的形式化

Eine vollstaendige Formalisierung der Aristotelischen Notwendigkeitssyllogistik

Holger Brenner

摘要:

本文对亚里士多德在分析学中发展起来的模态逻辑给出了一个完整而一致的形式解释。

英文摘要:

We give a complete and consistent formal interpretation of the modal logic of Aristotle as developped in his analytics.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑