predicate calculus


Also found in: Dictionary, Thesaurus, Acronyms, Wikipedia.

predicate calculus

[′pred·ə·kət ‚kal·kyə·ləs]
(mathematics)
The mathematical study of logical statements relating to arbitrary sets of objects and involving predicates and quantifiers as well as propositional connectives.

Predicate Calculus

 

(also functional calculus), a branch of mathematical logic—an aggregate of logical and mathematical calculi that formalize those branches of modern logic in which the rules of operating with quantifiers are elucidated and studied (in connection with the examination of the subject-predicate structure of propositions).

predicate calculus

References in periodicals archive ?
Output: predicate calculus expression equivalent to m
41) On account of its seemingly limitless generality, the new predicate calculus, with its expressive power to represent functions and relations of higher level, is conceived by Frege as the most significant advance yet made on the way towards Leibniz's grandiose goal of a universal characteristic.
The first is the worry that such interpretations commit Nagarjuna to the view--held, he says, by some disreputable continental semioticians--that the principles of the predicate calculus, including at least non-contradiction and excluded middle, are laws only of thought and not of reality; and that, as a result, Nagajuna's thought, if so read, would be open to the possibility that reality is such that it transcends, or in some other way does not abide by, those principles.