Author: Giovanni Sommaruga
Publisher: Springer Science & Business Media
ISBN: 9401593930
Category : Philosophy
Languages : en
Pages : 377
Get Book
Book Description
A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.
Author: Vincent F. Hendricks
Publisher: Springer Science & Business Media
ISBN: 9780792369523
Category : Mathematics
Languages : en
Pages : 222
Get Book
Book Description
A collection of papers presented at the conference on Probability Theory - Philosophy, Recent History and Relations to Science, University of Roskilde, Denmark, September 16-18, 1998. Since the measure theoretical definition of probability was proposed by Kolmogorov, probability theory has developed into a mature mathematical theory. It is today a fruitful field of mathematics that has important applications in philosophy, science, engineering, and many other areas. The measure theoretical definition of probability and its axioms, however, are not without their problems; some of them even puzzled Kolmogorov. This book sheds light on some recent discussions of the problems in probability theory and their history, analysing their philosophical and mathematical significance, and the role pf mathematical probability theory in other sciences.
Author: Andrei Rodin
Publisher: Springer Science & Business Media
ISBN: 3319004042
Category : Philosophy
Languages : en
Pages : 285
Get Book
Book Description
This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millennia. The author, a well-known philosopher and historian of mathematics, first examines Euclid, who is considered the father of the axiomatic method, before moving onto Hilbert and Lawvere. He then presents a deep textual analysis of each writer and describes how their ideas are different and even how their ideas progressed over time. Next, the book explores category theory and details how it has revolutionized the notion of the axiomatic method. It considers the question of identity/equality in mathematics as well as examines the received theories of mathematical structuralism. In the end, Rodin presents a hypothetical New Axiomatic Method, which establishes closer relationships between mathematics and physics. Lawvere's axiomatization of topos theory and Voevodsky's axiomatization of higher homotopy theory exemplify a new way of axiomatic theory building, which goes beyond the classical Hilbert-style Axiomatic Method. The new notion of Axiomatic Method that emerges in categorical logic opens new possibilities for using this method in physics and other natural sciences. This volume offers readers a coherent look at the past, present and anticipated future of the Axiomatic Method.
Author: Nicholas Jones
Publisher: Oxford University Press
ISBN: 0192894889
Category : Philosophy
Languages : en
Pages : 556
Get Book
Book Description
This volume explores the use of higher-order logics in metaphysics. Seventeen original essays trace the development of higher-order metaphysics, discuss different ways in which higher-order languages and logics may be used, and consider their application to various central topics of metaphysics.
Author: Giovanni Sambin
Publisher: Clarendon Press
ISBN: 0191606936
Category : Mathematics
Languages : en
Pages : 292
Get Book
Book Description
Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Löf over the last twenty-five years. As well as celebrating the anniversary of the birth of the subject it covers many of the diverse fields which are now influenced by type theory. It is an invaluable record of areas of current activity, but also contains contributions from N. G. de Bruijn and William Tait, both important figures in the early development of the subject. Also published for the first time is one of Per Martin-Löf's earliest papers.
Author:
Publisher: Univalent Foundations
ISBN:
Category :
Languages : en
Pages : 484
Get Book
Book Description
Author: Per Martin-Löf
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 116
Get Book
Book Description
Author: David Corfield
Publisher: Oxford University Press
ISBN: 0192595032
Category : Philosophy
Languages : en
Pages : 208
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.
Author: Giuseppe Primiero
Publisher: Springer Science & Business Media
ISBN: 1402061706
Category : Social Science
Languages : en
Pages : 215
Get Book
Book Description
This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. It presents a newly formulated and conceptually developed presentation of the Problem of Analyticity, and a new interesting perspective on the constructive interpretation of knowledge processes.
Author: Peter Schuster
Publisher: Springer Science & Business Media
ISBN: 940159757X
Category : Mathematics
Languages : en
Pages : 330
Get Book
Book Description
At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory and, in particular, of the axiom of choice. Recent developments, however, have given rise to the hope that the distance between constructive and nonstandard mathematics is actually much smaller than it appears. So the time was ripe for the first meeting dedicated simultaneously to both ways of doing mathematics – and to the current and future reunion of these seeming opposites. Consisting of peer-reviewed research and survey articles written on the occasion of such an event, this volume offers views of the continuum from various standpoints. Including historical and philosophical issues, the topics of the contributions range from the foundations, the practice, and the applications of constructive and nonstandard mathematics, to the interplay of these areas and the development of a unified theory.
