Towards a dual ontology: duality, a case study

The main aim of this work is to depict the interconnection of the most relvantformal concepts of modal logic and category theory, i.e., bisimulation andduality, arising from the mathematical analysis of physical processes and toshow their relevance with respect to some foundational issues related to the actual ontological debates. Current foundamental physics concerns the non-linear thermodynamics of the quantum eld, whose range is made of far from equilibrium systems and whose basic mechanism of symmetries (patterns) formation supposes the spontaneous breaking of symmetries (SBS). SBS implies that such systems reach unpredictable states. Thus, evolutive and/or far from equilibrium systems are to be conceived primarily as processes and just in a secondary way as objects, for the information they display is always incomplete with respect to their evolution. Formally, this is due to their non-linear mathematical behaviour.This make a question about the ontology of such systems, given thatthe actual most widespread ontologies conceive existent entities just as objects(actualist ontologies). It is claimed that the fundamental dierence and advantage of category theoretic approach to foundation is that, instead of considering objects and operations for what they 'are', as it is in set theory, in and through category theory we are considering them for what they 'do'. This, of course, would constitute a signicative shifting in mathematical philosophy and in foundationof mathematical physics: from a Platonic to an Aristotelian ontology ofmathematics (and, then, of physics). Actually, providing a contribution to thisvery shift is what this paper want to be focused on. In fact, the implicit pointthe present investigation is concerned with is how to treat the potential innite:the modalization of the existence of each object of the domain of quanticationmeans a potentially innite variation of the domain of quantication. The Aristotelian notion of potentiality diers with the usual one (employed by Platonism and/or formalism and/or conceptualism) inasmuch it does not presupposes any actuality. For instance, it is well known that the Platonic presupposition of set theory consists in the fact "that each potential innite, if it is rigorously applicable mathematically, presupposes an actual innite" [Hallett (1984, p. 25)]. In turn, the formalist notion of (absolute) completeness derives directly from that, if only for the actuality of the information a formal system was intended to dispaly.