Access to the full content is only available to members of institutions that have purchased access. If you belong to such an institution, please log in or find out more about how to order.


Print

Contents

Theory of types

DOI
10.4324/9780415249126-Y030-1
DOI: 10.4324/9780415249126-Y030-1
Version: v1,  Published online: 1998
Retrieved October 20, 2019, from https://www.rep.routledge.com/articles/thematic/theory-of-types/v-1

Article Summary

The theory of types was first described by Bertrand Russell in 1908. He was seeking a logical theory that could serve as a framework for mathematics, and, in particular, a theory that would avoid the so-called ‘vicious-circle’ antinomies, such as his own paradox of the property of those properties that are not properties of themselves – or, similarly, of the class of those classes that are not members of themselves. Such paradoxes can be thought of as resulting when logical distinctions are not made between different types of entities, and, in particular, between different types of properties and relations that might be predicated of entities, such as the distinction between concrete objects and their properties, and the properties of those properties, and so on. In ‘ramified’ type theory, the hierarchy of properties and relations is, as it were, two-dimensional, where properties and relations are distinguished first by their order, and then by their level within each order. In ‘simple’ type theory properties and relations are distinguished only by their orders.

Print
Citing this article:
Cocchiarella, Nino B.. Theory of types, 1998, doi:10.4324/9780415249126-Y030-1. Routledge Encyclopedia of Philosophy, Taylor and Francis, https://www.rep.routledge.com/articles/thematic/theory-of-types/v-1.
Copyright © 1998-2019 Routledge.

Related Searches

Topics

Related Articles