﻿

# types, theory of

In logic, a theory introduced by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910–13) to deal with logical paradoxes arising from the unrestricted use of propositional functions as variables.

The type of a propositional function is determined by the number and type of its arguments (the distinct variables it contains). By not allowing propositional functions to be applied to arguments of equal or higher type, contradictions within the system are avoided.

* * *

logic
in logic, a theory introduced by the British philosopher Bertrand Russell (Russell, Bertrand) in his Principia Mathematica (1910–13) to deal with logical paradoxes arising from the unrestricted use of predicate (predicate calculus) functions as variables. Arguments of three kinds can be incorporated as variables: (1) In the pure functional calculus of the first order, only individual variables exist. (2) In the second-order calculus, propositional variables are introduced. (3) Higher orders are achieved by allowing predicate functions as variables. The type of a predicate function is determined by the number and type of its arguments. By not allowing predicate functions with arguments of equal or higher type to be used together, contradictions within the system are avoided.

* * *

Universalium. 2010.

### Look at other dictionaries:

• types, theory of — Russell s own reaction to his paradox of the class of all classes that are not members of themselves (see Russell s paradox ) was to suggest that the definition is ill formed because it involves the illegitimate notion of ‘all classes’. If the… …   Philosophy dictionary

• theory — /thee euh ree, thear ee/, n., pl. theories. 1. a coherent group of general propositions used as principles of explanation for a class of phenomena: Einstein s theory of relativity. 2. a proposed explanation whose status is still conjectural, in… …   Universalium

• theory of types — See types, theory of …   Philosophy dictionary

• Theory of Constraints — (TOC) is an overall management philosophy. Dr. Eliyahu M. Goldratt introduced the Theory of constraints in his 1984 book titled The Goal . It is based on the application of scientific principles and logic reasoning to guide human based… …   Wikipedia

• Theory of justification — is a part of epistemology that attempts to understand the justification of propositions and beliefs. Epistemologists are concerned with various epistemic features of belief, which include the ideas of justification, warrant, rationality, and… …   Wikipedia

• Theory of constraints — Part of a series of articles on Industry Manufacturing methods Batch production • Job production Continuous production Improvement method …   Wikipedia

• Types of socialism — Since the 18th century, socialist ideas have developed and separated into many different types of socialism. Theoretically, socialism has a very broad definition, likewise, the arguments for or the reasons for advocating state or collective… …   Wikipedia

• Types of unemployment — Economists distinguish between four major types of unemployment, i.e., cyclical, frictional, structural and classical. (Another distinction, not discussed here, is between voluntary and involuntary unemployment.) Real world unemployment may… …   Wikipedia

• Theory of multiple intelligences — Human intelligence Abilities and Traits Abstract thought Communication · Creativity Emotional Intelligence Kn …   Wikipedia

• Theory of Forms — Plato s Theory of Forms [The name of this aspect of Plato s thought is not modern and has not been extracted from certain dialogues by modern scholars. The term was used at least as early as Diogenes Laertius, who called it (Plato s) Theory of… …   Wikipedia

### Share the article and excerpts

##### Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.