Some Remarks on Wittgenstein and Type Theory in the Light of Ramsey

Abstract

In this paper, I will discuss Wittgenstein’s critique of Russell’s Theory of Types
and his alternative approach to the problems posed by the vicious-circle paradoxes.
Ramsey’s more fine-grained distinction between logical and semantical vicious-circle
paradoxes and the corresponding versions of type theory will prove to be valuable for
an appropriate analysis of the matter.