The Variety of Logical Hylomorphism
The aim of this talk is to systematize the variety of logical hylomorphism from the perspective of the dichotomy of substantial and dynamic formality. Substantial hylomorphism considers logic as a theory of higher order formal objects which turns their general properties into general laws of reasoning. Dynamic formality refers to goals-directed and rules-governed actions of reasoning agents rather than to objects. The talk will be in three parts. First, I’ll address the historical roots of substantial hylomorphism in logic. I’m going to explain why Aristotle was not the father of logical hylomorphism. Then I’ll focus on the dichotomy of consequentia formalis and consequentia materialis in Parisian and English logic of the fourteenth century, and from there I’ll move forward to its modern counterparts. Second, I’ll describe Alfred Tarski’s model-theoretical dichotomy of formal and material consequence as well as the limitations of his permutation invariance criterion for logical notions. Finally, I’ll argue for the advantages of shifting focus from substantial towards dynamic hylomorphism in some recent theories of formal grounding.