Switch to: References

Add citations

You must login to add citations.
  1. The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic.Gianfranco Basti - 2022 - Philosophies 7 (6):121.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Big toy models: Representing physical systems as Chu spaces.Samson Abramsky - 2012 - Synthese 186 (3):697 - 718.
    We pursue a model-oriented rather than axiomatic approach to the foundations of Quantum Mechanics, with the idea that new models can often suggest new axioms. This approach has often been fruitful in Logic and Theoretical Computer Science. Rather than seeking to construct a simplified toy model, we aim for a 'big toy model', in which both quantum and classical systems can be faithfully represented—as well as, possibly, more exotic kinds of systems. To this end, we show how Chu spaces can (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation