Rodin, Andrei (2018) Models of HoTT and the Constructive View of Theories. [Preprint]

Preview

Text MH1.pdf Download (304kB) | Preview

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.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Rodin, Andrei andrei@philomatica.org 0000-0002-3541-8867
Keywords:	homotopy type theory, semantic view of theories, axiomatic styles
Subjects:	Specific Sciences > Mathematics > Foundations General Issues > Experimentation Specific Sciences > Mathematics General Issues > Structure of Theories
Depositing User:	Dr. Andrei Rodin
Date Deposited:	06 Mar 2018 17:44
Last Modified:	06 Mar 2018 21:52
Item ID:	14434
Official URL:	http://philomatica.org/wp-content/uploads/2013/01/...
Subjects:	Specific Sciences > Mathematics > Foundations General Issues > Experimentation Specific Sciences > Mathematics General Issues > Structure of Theories
Date:	2018
URI:	https://philsci-archive.pitt.edu/id/eprint/14434

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item