Leon Chwistek, The Principles of the Pure Type Theory , translated by Adam Trybus with an Introductory Note by Bernard Linsky

History and Philosophy of Logic 33 (4):329-352 (2012)
  Copy   BIBTEX


‘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’.



    Upload a copy of this work     Papers currently archived: 86,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Leon Chwistek on the no-classes theory in Principia Mathematica.Bernard Linsky - 2004 - History and Philosophy of Logic 25 (1):53-71.
A formal proof of gödel's theorem.Leon Chwistek - 1939 - Journal of Symbolic Logic 4 (2):61-68.
New foundation of formal metamathematics.W. Hetper & Leon Chwistek - 1938 - Journal of Symbolic Logic 3 (1):1-36.
Podstawy logiki.Leon Chwistek - 1997 - Filozofia Nauki 4.
Tragedia werbalnej metafizyki.Leon Chwistek - 1932 - Kwartalnik Filozoficzny 10 (1):46-76.
Sur Les fondements de la sémantique.Leon Chwistek - 1969 - Studia Logica 24 (1):185-185.
Leon Chwistek-in Memoriam.Karol Chrobak - 2003 - Estetyka I Krytyka 2 (5):168-173.
Leon Chwistek o relacyjności i dynamice pojęcia rzeczywistości.Karol Chrobak - 2011 - Studia Philosophica Wratislaviensia:111-122.
Russell's substitutional theory of classes and relations.Gregory Landini - 1987 - History and Philosophy of Logic 8 (2):171-200.
The inconsistency of higher order extensions of Martin-löf's type theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.


Added to PP

25 (#518,589)

6 months
3 (#337,572)

Historical graph of downloads
How can I increase my downloads?