I am developing "Aristotle's World", an interactive tutorial on Aristotelian logic for Mathematica 13 and Wolfram Cloud.

The notebook introduces the four AEIO judgment forms, represents them in tensor form, and develops Aristotelian deduction rules as a combinatoric closure process. The square of judgments is then connected to the fixed-point behaviour of the system.

The project is designed as a hands-on notebook rather than a purely theoretical text, so users can directly explore how judgments, tensors, and deductions interact.

I would be glad to hear feedback from the Wolfram community on the basic ideas, notebook design, and possible improvements. https://www.wolframcloud.com/obj/brillowski/Published/Aristotles-World.nb