Skip to main content
functional calculus

functional calculus

9.9
A logic system that uses symbols to show how statements relate, for example using words like 'all' or 'some'
  • noun
  • /ˈfʌŋkʃənəl ˈkælkjələs/
  • Specialized
translation icon : cálculo funcional
  • 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

predicate calculus
vsfunctional calculus
  • Specialized
9.9

A system of logic that studies statements about things and words like 'all' and 'some'

focuses on representing relations between propositions rather than objects

Surface Forms

Morphology

functional + calculus

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.