# types, ramified theory of

For the simple theory, which Frank Plumpton Ramsey (1903-1930) separated out from the ramified theory, properties of objects are of type one, properties of type one properties are of type two, and so on.

The ramified theory further classifies properties of each type into orders. A first-order type n+1 property is a property of things of type n. A second-order type n+1 property is still of things of type n, but it involves a reference to first-order type n+1 properties.

Red is a first-order type one property applying to objects. Applying to objects is a first-order type two property applying to type one properties. Having some first-order type one property is a second-order type one property; it still applies to objects, but makes reference to first-order properties. Thus each type has its own ramification (or branching) of orders. (But when accuracy is not needed, ‘type’ and ‘order’ are often used more loosely or even interchangeably.)

Because of certain unwanted technical results, the ramified theory led Bertrand Russell (1872-1970) to introduce the axiom of reducibility.

Also see: vicious circle principle, simple theory of types

Source:
F P Ramsey, Foundations of Mathematics (1931), ch. 1

### 4 thoughts on “types, ramified theory of”

1. zovrelioptor says:

You really make it seem so easy along with your presentation however I find this topic to be actually something that I feel I would never understand. It seems too complex and very broad for me. I’m looking ahead in your subsequent submit, I?¦ll try to get the hang of it!

2. Theron says:

Excellent post. I was checking continuously this blog and I’m
impressed! Extremely helpful info specially the last part :
) I care for such info much. I was looking for this certain information for a
long time. Thank you and best of luck.