History and Philosophy of Constructive Type Theory
History and Philosophy of Constructive Type Theory

Author: Giovanni Sommaruga

Publisher: Springer Science & Business Media

Published: 2013-03-09

Total Pages: 377

ISBN-13: 9401593930

DOWNLOAD EBOOK

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.

Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory

Author: Giovanni Sambin

Publisher: Clarendon Press

Published: 1998-10-15

Total Pages: 292

ISBN-13: 0191606936

DOWNLOAD EBOOK

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.

Modal Homotopy Type Theory
Modal Homotopy Type Theory

Author: David Corfield

Publisher: Oxford University Press

Published: 2020-02-06

Total Pages: 208

ISBN-13: 0192595032

DOWNLOAD EBOOK

"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.

Categories for the Working Philosopher
Categories for the Working Philosopher

Author: Elaine M. Landry

Publisher: Oxford University Press

Published: 2017

Total Pages: 486

ISBN-13: 019874899X

DOWNLOAD EBOOK

This is the first volume on category theory for a broad philosophical readership. It is designed to show the interest and significance of category theory for a range of philosophical interests: mathematics, proof theory, computation, cognition, scientific modelling, physics, ontology, the structure of the world. Each chapter is written by either a category-theorist or a philosopher working in one of the represented areas, in an accessible waythat builds on the concepts that are already familiar to philosophers working in these areas.

Logic, Epistemology, and the Unity of Science
Logic, Epistemology, and the Unity of Science

Author: Shahid Rahman

Publisher: Springer Science & Business Media

Published: 2009-03-15

Total Pages: 618

ISBN-13: 1402028083

DOWNLOAD EBOOK

The first volume in this new series explores, through extensive co-operation, new ways of achieving the integration of science in all its diversity. The book offers essays from important and influential philosophers in contemporary philosophy, discussing a range of topics from philosophy of science to epistemology, philosophy of logic and game theoretical approaches. It will be of interest to philosophers, computer scientists and all others interested in the scientific rationality.

Treatise on Intuitionistic Type Theory
Treatise on Intuitionistic Type Theory

Author: Johan Georg Granström

Publisher: Springer Science & Business Media

Published: 2011-06-02

Total Pages: 198

ISBN-13: 9400717369

DOWNLOAD EBOOK

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.

Philosophical Lectures on Probability
Philosophical Lectures on Probability

Author: Bruno de Finetti

Publisher: Springer Science & Business Media

Published: 2008-05-20

Total Pages: 239

ISBN-13: 1402082010

DOWNLOAD EBOOK

Bruno de Finetti (1906–1985) is the founder of the subjective interpretation of probability, together with the British philosopher Frank Plumpton Ramsey. His related notion of “exchangeability” revolutionized the statistical methodology. This book (based on a course held in 1979) explains in a language accessible also to non-mathematicians the fundamental tenets and implications of subjectivism, according to which the probability of any well specified fact F refers to the degree of belief actually held by someone, on the ground of her whole knowledge, on the truth of the assertion that F obtains.

A Collection of Polish Works on Philosophical Problems of Time and Spacetime
A Collection of Polish Works on Philosophical Problems of Time and Spacetime

Author: Helena Eilstein

Publisher: Springer Science & Business Media

Published: 2002-06-30

Total Pages: 176

ISBN-13: 9781402006708

DOWNLOAD EBOOK

These works concern fundamental philosophical problems of time and spacetime, such as the implications of the absolute and relations concepts of motion for the disputes about the character of spacetime, the role of relativity, quantum mechanics, quantum gravity and noncommutative geometry with respect to the controversy concerning the objectivity of the flow of time, the existence of the future, the concept of branching spacetime. One paper presents the views on time of an outstanding representative of phenomenology, Roman Ingarden, thus enriching the book with some questions of philosophical anthropology and ethics. The collection is mainly addressed to research workers and graduate students.

Analysis and Synthesis in Mathematics
Analysis and Synthesis in Mathematics

Author: Michael Otte

Publisher: Springer Science & Business Media

Published: 1997

Total Pages: 476

ISBN-13: 9780792345701

DOWNLOAD EBOOK

The book discusses the main interpretations of the classical distinction between analysis and synthesis with respect to mathematics. In the first part, this is discussed from a historical point of view, by considering different examples from the history of mathematics. In the second part, the question is considered from a philosophical point of view, and some new interpretations are proposed. Finally, in the third part, one of the editors discusses some common aspects of the different interpretations.