functional_calculus has definitions from the fields of mathematics,logic
1
[ noun ] (mathematics,logic) a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
*