Leon Chwistek,The Principles of the Pure Type Theory (1922), translated by Adam Trybus with an Introductory Note by Bernard Linsky |
| |
Authors: | Adam Trybus |
| |
Institution: | 1. School of Computer Science , University of Manchester , UK trybusa@cs.man.ac.uk |
| |
Abstract: | ‘The Principles of the Pure Type Theory’ is a translation of Leon Chwistek's 1922 paper ‘Zasady czystej teorii typów’. It summarizes Chwistek's results from a series of studies of the logic of Whitehead and Russell's Principia Mathematica which were published between 1912 and 1924. Chwistek's main argument involves a criticism of the axiom of reducibility. Moreover, ‘The Principles of the Pure Type Theory’ is a source for Chwistek's views on an issue in Whitehead and Russell's ‘no-class theory of classes’ involving the notion of ‘scope’. |
| |
Keywords: | |
|
|