• Skip to primary navigation
  • Skip to main content
  • Skip to primary sidebar
Philosophy Professor logo

PhilosophyProfessor.com

  • Philosophers
  • Philosophies

ramified theory of types

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

Table of Contents

    • 0.1 Related:
  • 1 Videos
  • 2 Related Products
    • 2.1 The Theory Of Logical Types: Monographs in Modern Logic (Routledge Revivals)
    • 2.2 Frege and the Logic of Sense and Reference (Studies in Philosophy)

Related:

  • simple theory of types
  • reducibility axiom
  • Plato’s theory of forms (or ideas)
  • identity theory of mind
  • mereology

  • Videos

  • Related Products

     
    The Theory Of Logical Types: Monographs in Modern Logic (Routledge Revivals)

    The Theory Of Logical Types: Monographs in Modern Logic (Routledge Revivals)

    • Used Book in Good Condition
    • Copi, Irving M. (Author)
    • English (Publication Language)
    • 142 Pages - 07/20/2012 (Publication Date) - Routledge (Publisher)
    Check Price on Amazon
     
    Frege and the Logic of Sense and Reference (Studies in Philosophy)

    Frege and the Logic of Sense and Reference (Studies in Philosophy)

    • Amazon Kindle Edition
    • Klement, Kevin C. (Author)
    • English (Publication Language)
    • 272 Pages - 09/25/2017 (Publication Date) - Routledge (Publisher)
    Check Price on Amazon
  • Last update 2020-06-17. Price and product availability may change.

    emotivism

    confirmation principle

    convention t

    non-cognitivism

    representationalism

    • Contact
    • Facebook

    Copyright © 2021 · CERTAIN CONTENT THAT APPEARS ON THIS SITE COMES FROM AMAZON SERVICES LLC. THIS CONTENT IS PROVIDED “AS IS” AND IS SUBJECT TO CHANGE OR REMOVAL AT ANY TIME. “AS AN AMAZON ASSOCIATE I EARN FROM QUALIFYING PURCHASES.”