theory of types

Definition of theory of types

: a rule in symbolic logic: the arguments for which a propositional function is significant are restricted to some one type

Love words?

You must — there are over 200,000 words in our free online dictionary, but you are looking for one that’s only in the Merriam-Webster Unabridged Dictionary.

Start your free trial today and get unlimited access to America's largest dictionary, with:

  • More than 250,000 words that aren't in our free dictionary
  • Expanded definitions, etymologies, and usage notes
  • Advanced search features
  • Ad free!

Learn More About theory of types

Dictionary Entries Near theory of types

theory of signs

theory of types

theosoph

See More Nearby Entries 

Statistics for theory of types

Cite this Entry

“Theory of types.” Merriam-Webster.com Dictionary, Merriam-Webster, https://www.merriam-webster.com/dictionary/theory%20of%20types. Accessed 24 Sep. 2021.

Style: MLA
MLACheck Mark Icon ChicagoCheck Mark Icon APACheck Mark Icon Merriam-WebsterCheck Mark Icon

WORD OF THE DAY

Test Your Vocabulary

Difficult Spelling Words Quiz

  • alphabet pasta spelling help
  • Which is the correct spelling?
How Strong Is Your Vocabulary?

Test your vocabulary with our 10-question quiz!

TAKE THE QUIZ
Universal Daily Crossword

A daily challenge for crossword fanatics.

TAKE THE QUIZ
Love words? Need even more definitions?

Subscribe to America's largest dictionary and get thousands more definitions and advanced search—ad free!