WordNet (r) 3.0 (2006):

functional calculus
    n 1: a system of symbolic logic that represents individuals and
         predicates and quantification over individuals (as well as
         the relations between propositions) [syn: predicate
         calculus, functional calculus]