The relationships between categorical propositions can be effectively represented through their possible truth value combinations. This paper integrates modern logical methods into the analysis of Aristotelian logic by employing adapted truth tables. While the semantics of modal extensions involves intricate relationships, we demonstrate that these tools are instrumental in clarifying them. By utilizing the truth tables, we systematically derive the specific conversion rules of Aristotle’s logic, leading to a more coherent understanding of his modal propositions. This approach establishes a foundation for developing a formalized and consistent system of Aristotelian logic.
Gerardo Ó. Matía Cubillo (Sat,) studied this question.