Logical Hylomorphism Revisited: Aristotle, Tarski, and Corcoran

This paper proposes an approach to the demarcation of formal ontology and formal epistemology based on the dichotomy between substantial and dynamic models of logical hylomorphism. Substantial hylomorphism considers logic as a theory of higher-order formal objects which turns their properties into rules of inference. Dynamic hylomorphism concerns goals-directed and rules-governed structured actions of reasoning agents rather than objects. The paper shows the significance of Corcoran’s formal methodology for balancing ontologically and epistemologically oriented versions of logical hylomorphism.