A Database of Aristotelian Diagrams: Empirical Foundations for Logical Geometry

Assisted Normative Reasoning with Aristotelian Diagrams

“…We apply the methodology presented above to the legal rule set out in Article 9 of the GDPR 4 . This article concerns the Processing of special categories of personal data.…”

“…The growing interest in formal analyses and computational applications of Aristotelian diagrams [1,2,3,4,6,8,9] encourages the development of new methods for their use in assisted reasoning. If compared to full-fledged logical systems, Aristotelian diagrams trade expressiveness for transparency: the inferences performed over these diagrams (i) are simple and limited, (ii) can be automated via algorithms whose computational complexity is low, (iii) are sufficient to address relevant reasoning problems from everyday life, and (iv) are traceable by individuals without a background in formal logic.…”