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

Share theory of types

Statistics for theory of types

Look-up Popularity

Comments on theory of types

What made you want to look up theory of types? Please tell us where you read or heard it (including the quote, if possible).

WORD OF THE DAY

by word of mouth

Get Word of the Day daily email!

Test Your Vocabulary

Name that Food Quiz

True or False

Test your knowledge - and maybe learn something along the way.

TAKE THE QUIZ
Dictionary Devil

Test Your Knowledge - and learn some interesting things along the way.

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!