PhilSci Archive

Models of HoTT and the Constructive View of Theories

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

[img]
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:
CreatorsEmailORCID
Rodin, Andreiandrei@philomatica.org0000-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: 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: http://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 View Item