functional calculus


Also found in: Thesaurus, Encyclopedia, Wikipedia.

functional calculus

n
(Logic) another name for predicate calculus

func′tional cal′culus


n.
the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers. Also called predicate calculus.
[1930–35]
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.functional calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
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
quantification - a limitation imposed on the variables of a proposition (as by the quantifiers `some' or `all' or `no')
References in periodicals archive ?
Some specific topics include diagonals of self-adjoint operators, trace-class perturbations and functional calculus, and rank preserving maps on CSL algebras.
He moves from his discussion of functionals to the problems of the functional calculus and integral equations, the generalization of the analytic functions, the theory of composition and of permutable functions, and then to integro-differential equations and functional derivative equations.

Full browser ?