The Variety of Logical Hylomorphism: Formal Ontology vs Formal Deontology
The aim of this paper is to systematize the variety of logical hylomorphism from the perspective of the dichotomy of substantial and dynamic formality. A brief historical review of the relation between different models of substantial and dynamic formality is given. The demarcation principles for the bounds of logic as formal ontology and formal deontology are discussed. Finally, a design-perspective on the normativity of logic is arguing for.