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 ?
Given this sentence, one could consider its logical structure in first-order predicate calculus to be akin to this one:
The advantage to this approach is that it makes Lacan's travesty of the syntactical rules of the predicate calculus even more apparent than his original notation.
It is not a simple matter to combine a large number of fragments, often with two or more free variables, into a single correct nth-order predicate calculus query.
They are not intended to refer to the external world in the same direct way as in more familiar uses of the predicate calculus. Further, the primary semantics that we ascribe to nodes in the system are the PAC semantics described in Section 3 and in Valiant [2000] rather than the standard semantics of predicate calculus.
The introduction of negation in Prolog represents a first step toward generalizing Polya's related problem (Horn clauses) back to the more ambitious problem of full first order predicate calculus. The various facets of negation are also covered in the Grant-Minker article.
What is truly revolutionary about the Fregean predicate calculus in this context is the extension of mathematical function argument analysis to the logical analysis of statements.
His texts do not yield material that permits resolution of argument about whether Nagarjuna was or was not a nihilist, did or did not assume the validity of the predicate calculus, did or did not teach what the Buddha taught--and so on.
When [right arrow] is the usual logical implication in, say, first-order predicate calculus, then this definition of conjunction agrees with the usual one, up to logical equivalence.
Modern ('symbolic' or 'mathematical') logic dates back to 1879, when Frege published the first version of what today is known as the predicate calculus [14].
Seven technical papers cover a search method using the pixel value histogram of a region of interest for illegal copy images with geometric attacks, improving the success rate of concurrent mobile transactions by predicting time for execution, the methodology and evaluation of terrain fusion based on two-dimensional images at different resolution, outsourcing electronic learning projects in museums with a case study of public museums in Taiwan, rough-fuzzy predicate calculus, a case study of overlapping community structure in co-authorship networks, and spectral radius as a measure of variation in node degree for complex network graphs.
If common nouns in this grammatical subject position are indeed logical subject-terms, this should require a thorough reevaluation of the adequacy of Frege's predicate calculus as a tool for the analysis of the logic and semantics of natural language.