functional calculus
- noun
- /ˈfʌŋkʃənəl ˈkælkjələs/
- Specialized
- The rules of functional calculus are essential for understanding proofs in mathematical logic.
Examples
-
She studied functional calculus to understand how quantifiers work in formal systems.
-
Many mathematicians study functional calculi to understand logic better.
-
Discussions in advanced philosophy often involve concepts from functional calculus.
-
The functional calculus is essential in mathematical logic.
-
She studied functional calculus to understand how quantifiers work in formal systems.
-
The rules of functional calculus are essential for understanding proofs in mathematical logic.
-
Discussions in advanced philosophy often involve concepts from functional calculus.
Synonyms
A system of logic that studies statements about things and words like 'all' and 'some'
Surface Forms
Morphology
The parts 'functional' (relating to functions or operations) and 'calculus' (a system of calculation or study) provide a partial clue that the phrase refers to a formal system dealing with functions or operations. However, the precise meaning—as a specific, technical system in symbolic logic—is domain-specific and not directly derivable by an average B1 learner from the constituents alone, so the expression is only partially transparent.
Etymology
Functional calculus may come from functional, meaning about 'functions' or how things work, and calculus, an old word for small stones used for counting and later for a way of calculating, so imagine someone using stones to keep track of different functions. That's why the phrase now means a system for working with functions and the relationships between statements in logic.