Ask the Chatbot Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture Money Videos
theory of types
Table of Contents
Introduction References & Edit History Related Topics
Related Questions
Read Next
bunch of numbers
Unusual Counting Systems
number zero, 0 balloon
Is Zero an Even or an Odd Number?
Aristotle (384-322 BC), Ancient Greek philosopher and scientist. One of the most influential philosophers in the history of Western thought, Aristotle established the foundations for the modern scientific method of enquiry. Statue
Philosophers to Know, Part I
Immanuel Kant (1724-1804), German philosopher. Print published in London, 1812. Profile portrait surrounded by Ouroboros ancient Egyptian-Greek symbolic serpent with tail in mouth devouring itself representing unity of material and spiritual in eternal...
Philosophers to Know, Part II
Discover
Vincent Van Gogh, Self Portrait. Oil on canvas, 1887.
Rediscovered Artists: 6 Big Names That Time Almost Forgot
Groups of depositors in front of the closed American Union Bank, New York City. April 26, 1932. Great Depression run on bank crowd
Causes of the Great Depression
An ancient egyptian hieroglyphic painted carving showing the falcon headed god Horus seated on a throne and holding a golden fly whisk. Before him are the Pharoah Seti and the goddess Isis. Interior wall of the temple to Osiris at Abydos, Egypt.
11 Egyptian Gods and Goddesses
Aphrodite. Greek mythology. Sculpture. Aphrodite is the Greek goddess of love and beauty.
12 Greek Gods and Goddesses
United States electoral college map showing number of electoral votes by state.
How Does the Electoral College Work?
Leonardo da Vinci (1452-1519), Italian Renaissance painter from Florence. Engraving by Cosomo Colombini (d. 1812) after a Leonardo self portrait. Ca. 1500.
10 Famous Artworks by Leonardo da Vinci
Jackson (Wyoming, United States). Jackson Lake (also called Jackson Hole), southern end of the Teton Range (the Grand Tetons), Grand Teton National Park, Wyoming, USA
7 Wonders of America

theory of types

logic
verifiedCite
While every effort has been made to follow citation style rules, there may be some discrepancies. Please refer to the appropriate style manual or other sources if you have any questions.
Select Citation Style
Share
Share to social media
URL
https://www.britannica.com/topic/theory-of-types-logic
Feedback
Corrections? Updates? Omissions? Let us know if you have suggestions to improve this article (requires login).
Thank you for your feedback

Our editors will review what you’ve submitted and determine whether to revise the article.

External Websites
Print
verifiedCite
While every effort has been made to follow citation style rules, there may be some discrepancies. Please refer to the appropriate style manual or other sources if you have any questions.
Select Citation Style
Share
Share to social media
URL
https://www.britannica.com/topic/theory-of-types-logic
Feedback
Corrections? Updates? Omissions? Let us know if you have suggestions to improve this article (requires login).
Thank you for your feedback

Our editors will review what you’ve submitted and determine whether to revise the article.

External Websites
Written and fact-checked by
The Editors of Encyclopaedia Britannica
Encyclopaedia Britannica's editors oversee subject areas in which they have extensive knowledge, whether from years of experience gained by working on that content or via study for an advanced degree. They write new content and verify and edit content received from contributors.
The Editors of Encyclopaedia Britannica
Article History
Key People:
Bertrand Russell

theory of types, in logic, a theory introduced by the British philosopher Bertrand Russell in his Principia Mathematica (1910–13) to deal with logical paradoxes arising from the unrestricted use of predicate 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.