Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science)

Granstrom, Johan

Springer Verlag（2011/06発売）

• 製本 Hardcover:ハードカバー版／ページ数 196 p.
• 言語 ENG
• 商品コード 9789400717350
• DDC分類 121

Full Description

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.

Contents

List of Figures

List of Tables

Introduction

Chapter I. Prolegomena

Chapter II. Truth and Knowledge

Chapter III. The Notion of Set

Chapter IV. Reference and Computation

Chapter V. Assumption and Substitution

Chapter VI. Intuitionism

Bibliography

Index of Proper Names

Index of Subjects.