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
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!
Seen and Heard
What made you want to look up theory of types? Please tell us where you read or heard it (including the quote, if possible).