Leon Chwistek, The Principles of the Pure Type Theory (1922), translated by Adam Trybus with an Introductory Note by Bernard Linsky
History and Philosophy of Logic 33 (4):329-352 (2012)
| 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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesBernard Linsky (2004). Leon Chwistek on the No-Classes Theory inPrincipia Mathematica. History and Philosophy of Logic 25 (1):53-71.
Mateusz Hohol (2011). Teoria względności Einsteina na tle rozważań metodologicznych Leona Chwistka. Filozofia Nauki 3.
Leon Chwistek (1939). A Formal Proof of Gödel's Theorem. Journal of Symbolic Logic 4 (2):61-68.
W. Hetper & Leon Chwistek (1938). New Foundation of Formal Metamathematics. Journal of Symbolic Logic 3 (1):1-36.
Leon Chwistek (1997). Podstawy logiki. Filozofia Nauki 4.
Leon Chwistek (1932). Tragedia werbalnej metafizyki. Kwartalnik Filozoficzny 10 (1):46-76.
Leon Chwistek (1969). Sur Les Fondements de la Sémantique. Studia Logica 24 (1).
Leon Chwistek (1932). Die Nominaliftifche Grundlegung der Mathematik. Erkenntnis 3 (1).
Karol Cirobak (forthcoming). Leon Chwistek: in memoriam (1884-1944). Estetyka I Krytyka (5):168-173.
Karol Chrobak (2011). Leon Chwistek o relacyjności i dynamice pojęcia rzeczywistości. Studia Philosophica Wratislaviensia:111-122.
Leon Chwistek (1969). Sur l'Axiome de Zermelo Et Son Rôle Dans Les Mathématiques Contemporaines. Studia Logica 24 (1).
Gregory Landini (1987). Russell's Substitutional Theory of Classes and Relations. History and Philosophy of Logic 8 (2):171-200.
Bart Jacobs (1989). The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory. Journal of Philosophical Logic 18 (4):399 - 422.
I. Grattan-Guinness (1984). Notes on the Fate of Logicism Fromprincipia Mathematicato Gödel's Incompletability Theorem. History and Philosophy of Logic 5 (1):67-78.
Twan Laan & Rob Nederpelt (1996). A Modern Elaboration of the Ramified Theory of Types. Studia Logica 57 (2-3):243 - 278.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-10-20Total downloads3 ( #203,919 of 556,840 )Recent downloads (6 months)1 ( #64,931 of 556,840 )How can I increase my downloads? |
My notes
Discussion
