Semantic analysis of the modal syllogistic (Q2366246)

Extending work by Fred Johnson, the author provides three semantics, each of which validates the theorems of an axiomatization of Aristotle's modal syllogistic. Each term \(\underline{x}\) is assigned three `extensions'. \(\text{Ext} (\underline{x})\) is the set of things which are (actually) \(\underline{x}\), \(\text{Ext}^ + (\underline{x})\) is the set of things which are necessarily \(\underline{x}\), and \(\text{Ext}^ - (\underline{x})\) the set of things which are necessarily not \(\underline{x}\). The modellings shew how various constraints on these extensions enable soundness and completeness to be proved for the three systems.