Abstract
Homotopy Type theory and its Model theory provide a novel formal semantic
framework for representing scientific theories. This framework supports a constructive view of theories according to which a theory is essentially characterised by its methods. The constructive view of theories was earlier defended by Ernest Nagel and a number of other philosophers of the past but available logical means did not allow these people to build formal representational frameworks that implement this view.
framework for representing scientific theories. This framework supports a constructive view of theories according to which a theory is essentially characterised by its methods. The constructive view of theories was earlier defended by Ernest Nagel and a number of other philosophers of the past but available logical means did not allow these people to build formal representational frameworks that implement this view.
| Original language | English |
|---|---|
| Title of host publication | Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts |
| Editors | Stefania Centrone |
| Publisher | Springer Nature |
| Publication status | Accepted/In press - 2018 |