- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Switch to: References
Citations of:
The Inconsistency or Redundancy of Principia Mathematica
Journal of Symbolic Logic 16 (2):154-155 (1951)
Add citations
You must login to add citations.
|
|
|
‘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 (...) |
|
|
1. For simplicity, let the domain of our first-level quantifiers, ‘∀ x’ and so on, be words, and in particular just those words which are adjectives. And let the adjective ‘heterological’ be abbreviated just to As is well known, one cannot legitimately stipulate that Why not? Well, the obvious answer is that if is supposed to be an adjective, then this alleged stipulation would imply the contradiction But contradictions cannot be true, and it is no use stipulating that they shall (...) |
|
|
This volume portrays the Polish or Lvov-Warsaw School, one of the most influential schools in analytic philosophy, which, as discussed in the thorough introduction, presented an alternative working picture of the unity of science. |
|
|
The article describes the background of Roman Ingarden's 1922 review of Leon Chwistek's book Wielość rzeczywistości, and the back-and-forth that followed. Despite the differences, the two shared some interesting similarities. Both authors had important ties to the intellectual happenings outside Poland and were not considerd mainstream at home. In the end, however, it is these connections that allowed them to gain recognition. Ingarden, who had been a student of Husserl, became the leading phenomenologist in the postwar Poland. For Chwistek, a (...) |
|
|
|
|
|
The paper discusses whether there are strictly inexpressible properties. Three main points are argued for: (i) Two different senses of ‘predicate t expresses property p ’ should be distinguished. (ii) The property of being a predicate that does not apply to itself is inexpressible in one of the senses of ‘express’, but not in the other. (iii) Since the said property is related to Grelling’s Antinomy, it is further argued that the antinomy does not imply the non-existence of that property. |
|
|
Leon Chwistek's 1924 paper ?The Theory of Constructive Types? is cited in the list of recent ?contributions to mathematical logic? in the second edition of Principia Mathematica, yet its prefatory criticisms of the no-classes theory have been seldom noticed. This paper presents a transcription of the relevant section of Chwistek's paper, comments on the significance of his arguments, and traces the reception of the paper. It is suggested that while Russell was aware of Chwistek's points, they were not important in (...) |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6f9648bdd6-l46rg uwo