History And Philosophy Of Constructive Type Theory
Download History And Philosophy Of Constructive Type Theory full books in PDF, epub, and Kindle. Read online free History And Philosophy Of Constructive Type Theory ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Author | : Giovanni Sommaruga |
Publisher | : Springer Science & Business Media |
Total Pages | : 377 |
Release | : 2013-03-09 |
Genre | : Philosophy |
ISBN | : 9401593930 |
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 | : Giovanni Sambin |
Publisher | : Clarendon Press |
Total Pages | : 292 |
Release | : 1998-10-15 |
Genre | : Mathematics |
ISBN | : 0191606936 |
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 | : David Corfield |
Publisher | : Oxford University Press |
Total Pages | : 208 |
Release | : 2020-02-06 |
Genre | : Philosophy |
ISBN | : 0192595032 |
"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 | : Per Martin-Löf |
Publisher | : |
Total Pages | : 116 |
Release | : 1984 |
Genre | : Mathematics |
ISBN | : |
Author | : Johan Georg Granström |
Publisher | : Springer Science & Business Media |
Total Pages | : 198 |
Release | : 2011-06-02 |
Genre | : Philosophy |
ISBN | : 9400717369 |
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.
Author | : Shahid Rahman |
Publisher | : Springer Science & Business Media |
Total Pages | : 618 |
Release | : 2009-03-15 |
Genre | : Philosophy |
ISBN | : 1402028083 |
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.
Author | : Elaine M. Landry |
Publisher | : Oxford University Press |
Total Pages | : 486 |
Release | : 2017 |
Genre | : Mathematics |
ISBN | : 019874899X |
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.
Author | : Bruno de Finetti |
Publisher | : Springer Science & Business Media |
Total Pages | : 239 |
Release | : 2008-05-20 |
Genre | : Science |
ISBN | : 1402082010 |
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.
Author | : Helena Eilstein |
Publisher | : Springer Science & Business Media |
Total Pages | : 176 |
Release | : 2002-06-30 |
Genre | : Juvenile Nonfiction |
ISBN | : 9781402006708 |
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.
Author | : Vi︠a︡cheslav Semenovich Stepin |
Publisher | : Springer Science & Business Media |
Total Pages | : 440 |
Release | : 2005-07-12 |
Genre | : Philosophy |
ISBN | : 9781402030451 |
He shows direct and inverse links between foundations of science and new theories and empirical facts evolved from those, how among many potentially possible histories of science a culture selects just those directions which become a real history of science. The author analyses mechanisms of the generation of scientific theories and shows that those are changed in the process of historical development of science. He displays three historical types of scientific rationality (classical, non-classical and post-non-classical, which appears in modern science) and shows features of their coexistence and interplay. It is shown that along with the emerging of post-non-classical rationality science increases the sphere of its worldview applications. Science begins to correlate not only with the basic values of technogenic civilization but also with some values and patterns of traditional cultures.