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

‘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 No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445340.2012.695104
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,436
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Foundations of Set Theory.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel - 1958 - Atlantic Highlands, NJ, USA: North-Holland.
A Refutation of an Unjustified Attack on the Axiom of Reducibility.John Myhill - 1979 - In Bertrand Russell & George Washington Roberts (eds.), Bertrand Russell Memorial Volume. Humanities Press. pp. 81--90.
The Inconsistency or Redundancy of Principia Mathematica.Irving M. Copi - 1950 - Philosophy and Phenomenological Research 11 (2):190-199.
A Bibliography of Symbolic Logic.Alonzo Church - 1936 - Journal of Symbolic Logic 1:121.

View all 10 references / Add more references

Citations of this work BETA

Carnap’s Defense of Impredicative Definitions.Vera Flocke - 2019 - Review of Symbolic Logic 12 (2):372-404.

Add more citations

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 index

Total views
22 ( #515,864 of 2,520,378 )

Recent downloads (6 months)
1 ( #405,718 of 2,520,378 )

How can I increase my downloads?


My notes