The Contradiction (ii): A Simple Solution

David Bostock

in Russell's Logical Atomism

Published in print April 2012 | ISBN: 9780199651443
Published online September 2012 | e-ISBN: 9780191741197 | DOI:
The Contradiction (ii): A Simple Solution

Show Summary Details


Seeking for a solution to his ‘contradiction’, Russell came to think that he could set aside classes in favour of propositional functions. In fact his first attempt in this direction, i.e. the ‘substitutional’ theory, also set aside propositional functions, in favour of quantification over propositions. But he then discovered that unrestricted quantification over propositions itself leads to contradictions, and so went back to treating propositional functions as independent entities, but now subjected to distinctions of type. This chapter treats only of simple types, which is all that the earlier substitutional theory requires. It gives a formal presentation of this theory, and notes that Russell’s own principles prevent us from providing it with a useful definition of validity.

Keywords: classes; propositional functions; propositions; substitutional theory; simple type theory; validity

Chapter.  14213 words. 

Subjects: History of Western Philosophy

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.