Towards a dual ontology: duality, a case study
DOI:
https://doi.org/10.47456/sofia.v7i1.19403Abstract
The main aim of this work is to depict the interconnection of the most relvant
formal concepts of modal logic and category theory, i.e., bisimulation and
duality, arising from the mathematical analysis of physical processes and to
show 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 that
the 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 of
mathematics (and, then, of physics). Actually, providing a contribution to this
very shift is what this paper want to be focused on. In fact, the implicit point
the present investigation is concerned with is how to treat the potential innite:
the modalization of the existence of each object of the domain of quantication
means 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.
Downloads
Additional Files
Published
Issue
Section
License
Copyright (c) 2018 Francesco Maria Ferrari
This work is licensed under a Creative Commons Attribution 4.0 International License.
Given the journal's open access policy, the use of published texts is free of charge, with the obligation to acknowledge the original authorship and first publication in this journal. The authors of the published contributions are entirely and exclusively responsible for their content.
I. The authors authorize the publication of the article in this journal.
II. The authors guarantee that the contribution is original and assume full responsibility for its content in the event of third-party claims.
III. The authors guarantee that the contribution is not under evaluation by another journal.
IV. The authors retain copyright and grant the journal the right of first publication, with the work licensed under a Creative Commons Attribution License.
V. The authors are authorized and encouraged to disseminate and distribute their work online after publication in the journal.
VI. The authors of approved works authorize the journal to distribute their content, after publication, for reproduction in content indexes, virtual libraries, and similar platforms.
VII. The editors reserve the right to make adjustments to the text and adapt the article to the journal's editorial standards.
