It turns out that Aristotle was a functional programmer. This repository shows that
we can formalize Aristotle's syllogisms using Scala 3. In particular, it shows how signatures built upon traits, algebraic data
types and dependent types, allow us to model these logical arguments, and how type-driven development mimics the logical reasoning
behind their corresponding proofs.
Full list of valid syllogisms
Feel free to contribute!
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
