Modal Homotopy Type Theory

Modal Homotopy Type Theory PDF Book Detail:
Author: David Corfield
Publisher: Oxford University Press, USA
ISBN: 9780198853404
Size: 60.96 MB
Format: PDF, ePub
Category : Philosophy
Languages : un
Pages : 192
View: 1203

Get Book

Book Description: "The old logic put thought in fetters, while the new logic gives it wings." For the past century, philosophers working in the tradition of Bertrand Russell - who promised to revolutionise philosophy by introducing the 'new logic' of Frege and Peano - have employed predicate logic as their formal language of choice. In this book, Dr David Corfield presents a comparable revolution with a newly emerging logic - modal homotopy type theory. Homotopy type theory has recently been developed as a new foundational language for mathematics, with a strong philosophical pedigree. Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy offers an introduction to this new language and its modal extension, illustrated through innovative applications of the calculus to language, metaphysics, and mathematics. The chapters build up to the full language in stages, right up to the application of modal homotopy type theory to current geometry. From a discussion of the distinction between objects and events, the intrinsic treatment of structure, the conception of modality as a form of general variation to the representation of constructions in modern geometry, we see how varied the applications of this powerful new language can be.

Alles Unter Dem Himmel

Alles unter dem Himmel PDF Book Detail:
Author: Zhao Tingyang
Publisher: Suhrkamp Verlag
ISBN: 351876196X
Size: 44.34 MB
Format: PDF, Mobi
Category : Philosophy
Languages : de
Pages : 266
View: 1435

Get Book

Book Description: Zhao Tingyang gilt als einer der bedeutendsten chinesischen Philosophen der Gegenwart. Mit diesem Hauptwerk liegen nun seine Überlegungen zu einer neuen politischen Weltordnung erstmals in deutscher Übersetzung vor. Sie basieren auf dem alten chinesischen Prinzip des tianxia – der Inklusion aller unter einem Himmel. In Auseinandersetzung mit okzidentalen Theorien des Staates und des Friedens von Hobbes über Kant bis Habermas sowie unter Rückgriff auf die Geschichtswissenschaft, die Ökonomie und die Spieltheorie eröffnet uns Zhao einen höchst originellen Blick auf die Konzeption der Universalität. Ein wegweisendes Buch, auch um Chinas aktuelles weltpolitisches Denken zu verstehen.

Modal Homotopy Type Theory

Modal Homotopy Type Theory PDF Book Detail:
Author: David Corfield
Publisher: Oxford University Press
ISBN: 0192595032
Size: 46.27 MB
Format: PDF, ePub, Mobi
Category : Philosophy
Languages : en
Pages : 208
View: 1184

Get Book

Book Description: "The old logic put thought in fetters, while the new logic gives it wings." For the past century, philosophers working in the tradition of Bertrand Russell - who promised to revolutionise philosophy by introducing the 'new logic' of Frege and Peano - have employed predicate logic as their formal language of choice. In this book, Dr David Corfield presents a comparable revolution with a newly emerging logic - modal homotopy type theory. Homotopy type theory has recently been developed as a new foundational language for mathematics, with a strong philosophical pedigree. Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy offers an introduction to this new language and its modal extension, illustrated through innovative applications of the calculus to language, metaphysics, and mathematics. The chapters build up to the full language in stages, right up to the application of modal homotopy type theory to current geometry. From a discussion of the distinction between objects and events, the intrinsic treatment of structure, the conception of modality as a form of general variation to the representation of constructions in modern geometry, we see how varied the applications of this powerful new language can be.

Einf Hrung In Die Nicht Klassische Logik

Einf  hrung in die nicht klassische Logik PDF Book Detail:
Author: Graham Priest
Publisher:
ISBN: 9783897855427
Size: 55.73 MB
Format: PDF, Docs
Category : Nonclassical mathematical logic
Languages : en
Pages : 306
View: 1410

Get Book

Book Description:

New Spaces In Physics

New Spaces in Physics PDF Book Detail:
Author: Mathieu Anel
Publisher: Cambridge University Press
ISBN: 110849062X
Size: 23.96 MB
Format: PDF, ePub, Docs
Category : Mathematics
Languages : en
Pages : 350
View: 4041

Get Book

Book Description: After the development of manifolds and algebraic varieties in the previous century, mathematicians and physicists have continued to advance concepts of space. This book and its companion explore various new notions of space, including both formal and conceptual points of view, as presented by leading experts at the New Spaces in Mathematics and Physics workshop held at the Institut Henri Poincaré in 2015. This volume covers a broad range of topics in mathematical physics, including noncommutative geometry, supergeometry, derived symplectic geometry, higher geometric quantization, intuitionistic quantum logic, problems with the continuum description of spacetime, twistor theory, loop quantum gravity, and geometry in string theory. It is addressed primarily to mathematical physicists and mathematicians, but also to historians and philosophers of these disciplines.

Beweise Und Widerlegungen

Beweise und Widerlegungen PDF Book Detail:
Author: Imre Lakatos
Publisher: Springer-Verlag
ISBN: 3663001962
Size: 68.52 MB
Format: PDF, ePub
Category : Mathematics
Languages : de
Pages : 163
View: 1086

Get Book

Book Description:

Ber Sinn Und Bedeutung

  ber Sinn und Bedeutung PDF Book Detail:
Author: Gottlob Frege
Publisher: Reclam Verlag
ISBN: 3159614956
Size: 21.57 MB
Format: PDF, Docs
Category : Philosophy
Languages : de
Pages : 80
View: 160

Get Book

Book Description: Mit einigem Recht kann man Freges grundlegenden Aufsatz von 1892 als Gründungsurkunde der neueren Sprachphilosophie verstehen: Als Ausarbeitung seines Aufsatzes "Funktion und Begriff" entwirft er in diesem Paper nicht mehr und nicht weniger als eine völlig neue, allgemeine Bedeutungslehre, die erhebliche Auswirkungen bis heute hat. Jeder an Semantik, Logik und Sprachphilosophie Interessierte muss diesen Text kennen. Die Reihe Great Papers Philosophie bietet bahnbrechende Aufsätze der Philosophie: - Eine zeichengenaue, zitierfähige Wiedergabe des Textes. - Eine philosophiegeschichtliche Einordnung: Wie dachte man früher über das Problem? Welche Veränderung bewirkte der Aufsatz? Wie denkt man heute darüber? - Eine Analyse des Textes bzw. eine Rekonstruktion seiner Argumentationsstruktur, gefolgt von einem Abschnitt über den Autor sowie ein kommentiertes Literaturverzeichnis. E-Book mit Seitenzählung der gedruckten UB-Ausgabe sowie mit Originalpaginierung.