functional calculus

functional calculus
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, predicate logic.
[1930-35]

* * *


Universalium. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Functional calculus — In mathematics, a functional calculus is a theory allowing one to apply mathematical functions to mathematical operators. The term was also used previously to refer to the calculus of variations. If f is a function, say a numerical function of a… …   Wikipedia

  • functional calculus — noun a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) • Syn: ↑predicate calculus • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal… …   Useful english dictionary

  • functional calculus of the first order — noun see lower functional calculus …   Useful english dictionary

  • functional calculus of the second order — noun see higher functional calculus …   Useful english dictionary

  • functional calculus — func′tional cal′culus n. math. pho 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… …   From formal English to slang

  • functional calculus — noun Date: 1933 predicate calculus …   New Collegiate Dictionary

  • Holomorphic functional calculus — In mathematics, holomorphic functional calculus is functional calculus with holomorphic functions. That is to say, given a holomorphic function fnof; of a complex argument z and an operator T , the aim is to construct an operator:f(T),which in a… …   Wikipedia

  • Borel functional calculus — In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus (that is, an assignment of operators from commutative algebras to functions defined on their spectrum), which has particularly broad… …   Wikipedia

  • Continuous functional calculus — In mathematics, the continuous functional calculus of operator theory and C* algebra theory allows applications of continuous functions to normal elements of a C* algebra. More precisely, Theorem. Let x be a normal element of a C* algebra A with… …   Wikipedia

  • higher functional calculus — noun : functional calculus in which quantification is applied not only to individual variables but also to functional and propositional variables called also functional calculus of the second order …   Useful english dictionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”