| / English Dictionary |
FUNCTIONAL CALCULUS
| Pronunciation (US): |  | (GB): | |
I. (noun)
Sense 1
Meaning:
A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Synonyms:
functional calculus; predicate calculus
Classified under:
Nouns denoting cognitive processes and contents
Hypernyms ("functional calculus" is a kind of...):
formal logic; mathematical logic; symbolic logic (any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity)
Meronyms (parts of "functional calculus"):
quantification (a limitation imposed on the variables of a proposition (as by the quantifiers 'some' or 'all' or 'no'))
YOU MAY ALSO LIKE
