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.
Original languageEnglish
Title of host publicationReflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts
EditorsStefania Centrone
PublisherSpringer Nature
Publication statusAccepted/In press - 2018

Cite this