?
Extra-Logical Proof-Theoretic Semantics in Homotopy Type Theory
P. 42–43.
Родин А. В.
Язык:
английский
Ключевые слова: Homotopy Type theory
В книге
М.: Современные тетради, 2019.
Родин А. В., , in: Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts.: Springer, 2019. Ch. 9 P. 191–219.
Добавлено: 30 октября 2019 г.
Valery Isaev, Mathematical Structures in Computer Science 2018 Vol. 28 No. 10 P. 1695–1722
Добавлено: 6 ноября 2018 г.
Родин А. В., , in: Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML 2012).: St. Petersburg: ВВМ, 2012. P. 170–174.
The non-standard identity concept developed in the Homotopy Type theory allows for an alternative analysis of
Frege’s famous Venus example, which explains how empirical evidences justify judgements about identities and accounts for
the constructive aspect of such judgements. ...
Добавлено: 6 июня 2018 г.
Родин А. В., , in: Frontiers of Fundamental Physics 14Vol. 224: EPISTEMOLOGY AND PHILOSOPHY.: [б.и.], 2014.
Homotopy Type theory instantiates a new form of axiomatic approach, which is more friendly to
physics than the standard axiomatic approach stemming from Hilbert. This new axiomatic approach
combines logical and geometrical methods in a new way and brings about a non-trivial
constructive concept of identity applicable in various physical contexts including Quantum Mechanics
and General Relativity. ...
Добавлено: 6 июня 2018 г.
Springer, 2019.
Homotopy Type theory and its Model theory provide a novel formal semantic
framework for representing scienti c 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 ...
Добавлено: 5 июня 2018 г.
Родин А. В., IfCoLoG Journal of Logics and their Applications 2017 Vol. 4 No. 4 P. 1427–1446
The identity concept developed in the Homotopy Type theory (HoTT) supports an analysis of Frege's famous Venus example, which explains how empirical evidences justify judgements about identities. In the context of this analysis we consider the traditional distinction between the extension and the intension of concepts as it appears in HoTT, discuss an ontological signi cance ...
Добавлено: 5 июня 2018 г.
Родин А. В., Logique et Analyse 2018 Vol. 242 No. 2 P. 201–231
Добавлено: 26 мая 2018 г.