• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book chapter

Models of HoTT and the Constructive View of Theories

P. 191-219.
Rodin A.

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.