Enderer, Ali Bora (2018). Ins and outs of Russell's theory of types. University of Birmingham. M.A.
|
Enderer2018MAbyRes.pdf
PDF - Accepted Version Download (445kB) |
Abstract
The thesis examines A.N. Whitehead and B. Russell’s Ramified Theory of Types (RTT). It consists of three parts. The first part is devoted to understanding the source of impredicativity implicit in the induction principle. The question I raise here is whether second-order explicit definitions are responsible for cases when impredicativity turns pathological. The second part considers the interplay between the vicious-circle principle and the no-class theory. The main goal is to give an explanation for the predicative restrictions entailed by the vicious-circle principle. The explanation is that set-existence is parasitic upon prior predicative specifications. The justification for this claim is given by employing the method of hierarchy of languages. Supposing the natural number structure and the language of Peano Arithmetic (PA) as given, I describe the construction of a set-theoretic language equipped with substitutionally interpreted quantifiers ranging over arithmetically definable sets. The third part considers the proposition-theoretic version of Russell’s antinomy. A solution to this paradox is offered on the basis of the ramified hierarchy propositions.
Type of Work: | Thesis (Masters by Research > M.A.) | ||||||
---|---|---|---|---|---|---|---|
Award Type: | Masters by Research > M.A. | ||||||
Supervisor(s): |
|
||||||
Licence: | |||||||
College/Faculty: | Colleges (2008 onwards) > College of Arts & Law | ||||||
School or Department: | School of Philosophy, Theology and Religion | ||||||
Funders: | None/not applicable | ||||||
Subjects: | B Philosophy. Psychology. Religion > B Philosophy (General) B Philosophy. Psychology. Religion > BC Logic |
||||||
URI: | http://etheses.bham.ac.uk/id/eprint/8361 |
Actions
Request a Correction | |
View Item |
Downloads
Downloads per month over past year