The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic
This contribution is an essay of formal philosophy—and more specifically of formal ontology and formal epistemology—applied, respectively, to the philosophy of nature and to the philosophy of sciences, interpreted the former as the ontology and the latter as the epistemology of the modern mathematic...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2022-10-01
|
| Series: | Philosophies |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2409-9287/7/6/121 |
| _version_ | 1797225538005237760 |
|---|---|
| author | Gianfranco Basti |
| author_facet | Gianfranco Basti |
| author_sort | Gianfranco Basti |
| collection | DOAJ |
| description | This contribution is an essay of formal philosophy—and more specifically of formal ontology and formal epistemology—applied, respectively, to the philosophy of nature and to the philosophy of sciences, interpreted the former as the ontology and the latter as the epistemology of the modern mathematical, natural, and artificial sciences, the theoretical computer science included. I present the formal philosophy in the framework of the category theory (CT) as an axiomatic metalanguage—in many senses “wider” than set theory (ST)—of mathematics and logic, both of the “extensional” logics of the pure and applied mathematical sciences (=mathematical logic), and the “intensional” modal logics of the philosophical disciplines (=philosophical logic). It is particularly significant in this categorical framework the possibility of extending the operator algebra formalism from (quantum and classical) physics to logic, via the so-called “Boolean algebras with operators” (BAOs), with this extension being the core of our formal ontology. In this context, I discuss the relevance of the algebraic Hopf coproduct and colimit operations, and then of the category of coalgebras in the computations over lattices of quantum numbers in the quantum field theory (QFT), interpreted as the fundamental physics. This coalgebraic formalism is particularly relevant for modeling the notion of the “quantum vacuum foliation” in QFT of dissipative systems, as a foundation of the notion of “complexity” in physics, and “memory” in biological and neural systems, using the powerful “colimit” operators. Finally, I suggest that in the CT logic, the relational semantics of BAOs, applied to the modal coalgebraic relational logic of the “possible worlds” in Kripke’s model theory, is the proper logic of the formal ontology and epistemology of the natural realism, as a formalized philosophy of nature and sciences. |
| first_indexed | 2024-03-09T15:57:11Z |
| format | Article |
| id | doaj.art-2e0cb116d2e1409f97f3ab0dcb663681 |
| institution | Directory Open Access Journal |
| issn | 2409-9287 |
| language | English |
| last_indexed | 2024-04-24T14:10:36Z |
| publishDate | 2022-10-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Philosophies |
| spelling | doaj.art-2e0cb116d2e1409f97f3ab0dcb6636812024-04-03T09:26:21ZengMDPI AGPhilosophies2409-92872022-10-017612110.3390/philosophies7060121The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to LogicGianfranco Basti0Faculty of Philosophy, Pontifical Lateran University – Vatican City 00120This contribution is an essay of formal philosophy—and more specifically of formal ontology and formal epistemology—applied, respectively, to the philosophy of nature and to the philosophy of sciences, interpreted the former as the ontology and the latter as the epistemology of the modern mathematical, natural, and artificial sciences, the theoretical computer science included. I present the formal philosophy in the framework of the category theory (CT) as an axiomatic metalanguage—in many senses “wider” than set theory (ST)—of mathematics and logic, both of the “extensional” logics of the pure and applied mathematical sciences (=mathematical logic), and the “intensional” modal logics of the philosophical disciplines (=philosophical logic). It is particularly significant in this categorical framework the possibility of extending the operator algebra formalism from (quantum and classical) physics to logic, via the so-called “Boolean algebras with operators” (BAOs), with this extension being the core of our formal ontology. In this context, I discuss the relevance of the algebraic Hopf coproduct and colimit operations, and then of the category of coalgebras in the computations over lattices of quantum numbers in the quantum field theory (QFT), interpreted as the fundamental physics. This coalgebraic formalism is particularly relevant for modeling the notion of the “quantum vacuum foliation” in QFT of dissipative systems, as a foundation of the notion of “complexity” in physics, and “memory” in biological and neural systems, using the powerful “colimit” operators. Finally, I suggest that in the CT logic, the relational semantics of BAOs, applied to the modal coalgebraic relational logic of the “possible worlds” in Kripke’s model theory, is the proper logic of the formal ontology and epistemology of the natural realism, as a formalized philosophy of nature and sciences.https://www.mdpi.com/2409-9287/7/6/121quantum field theoryKripke model theoryphysical causality principle |
| spellingShingle | Gianfranco Basti The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic Philosophies quantum field theory Kripke model theory physical causality principle |
| title | The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic |
| title_full | The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic |
| title_fullStr | The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic |
| title_full_unstemmed | The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic |
| title_short | The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic |
| title_sort | philosophy of nature of the natural realism the operator algebra from physics to logic |
| topic | quantum field theory Kripke model theory physical causality principle |
| url | https://www.mdpi.com/2409-9287/7/6/121 |
| work_keys_str_mv | AT gianfrancobasti thephilosophyofnatureofthenaturalrealismtheoperatoralgebrafromphysicstologic AT gianfrancobasti philosophyofnatureofthenaturalrealismtheoperatoralgebrafromphysicstologic |