functional calculus

Also found in: Thesaurus, Encyclopedia, Wikipedia.

functional calculus

(Logic) another name for predicate calculus

func′tional cal′culus

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:

Switch to new thesaurus

Noun

functional calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

predicate calculus

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')

Mentioned in ?

References in periodicals archive ?

For a real-valued function f of a real variable and a self-adjoint operator A [member of] B(H), the value f(A) is understood by means of the functional calculus.

Exponential Inequalities for Positive Linear Mappings

At the same time, General Topology and Functional Analysis (called Functional Calculus) were introduced in the university mathematics in Bucharest, and axiomatic Algebra was taught by Barbilian since 1944.

From Euler to Bourbaki, by way of C. T. Ionescu Tulcea an episode from the history in university mathematics in Romania

An abstract theory of functional calculus has been proposed in [8].

Covariant functional calculi from the affine groups

Some specific topics include diagonals of self-adjoint operators, trace-class perturbations and functional calculus, and rank preserving maps on CSL algebras.