The Type Theory TST
The primitive predicates of Russellian unramified typed set theory (TST), a streamlined version of the theory of types, are equality and membership . TST has a linear hierarchy of types: type 0 consists of individuals otherwise undescribed. For each (meta-) natural number n, type n+1 objects are sets of type n objects; sets of type n have members of type n-1. Objects connected by identity must have the same type. The following two atomic formulas succinctly describe the typing rules: and (notation to be improved).
The axioms of TST are:
- Extensionality: sets of the same (positive) type with the same members are equal;
- An axiom schema of comprehension, namely:
- If is a formula, then the set exists.
- In other words, given any formula, the formula is an axiom where represents the set .
This type theory is much less complicated than the one first set out in the Principia Mathematica, which included types for relations whose arguments were not necessarily all of the same type. In 1914, Norbert Wiener showed how to code the ordered pair as a set of sets, making it possible to eliminate relation types in favor of the linear hierarchy of sets described here.
Read more about this topic: New Foundations
Famous quotes containing the words type and/or theory:
“Mediocre people have an answer for everything and are astonished at nothing. They always want to have the air of knowing better than you what you are going to tell them; when, in their turn, they begin to speak, they repeat to you with the greatest confidence, as if dealing with their own property, the things that they have heard you say yourself at some other place.... A capable and superior look is the natural accompaniment of this type of character.”
—Eugène Delacroix (1798–1863)
“Many people have an oversimplified picture of bonding that could be called the “epoxy” theory of relationships...if you don’t get properly “glued” to your babies at exactly the right time, which only occurs very soon after birth, then you will have missed your chance.”
—Pamela Patrick Novotny (20th century)