predicate calculus


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

predicate calculus

n.
The branch of symbolic logic that deals with relations between propositions and with their internal structure, especially the relation between subject and predicate.
American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

predicate calculus

n
(Logic) the system of symbolic logic concerned not only with relations between propositions as wholes but also with the representation by symbols of individuals and predicates in propositions and with quantification over individuals. Also called: functional calculus See also propositional calculus
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014

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]
Random House Kernerman Webster's College Dictionary, © 2010 K Dictionaries Ltd. Copyright 2005, 1997, 1991 by Random House, Inc. All rights reserved.
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.predicate 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')
Based on WordNet 3.0, Farlex clipart collection. © 2003-2012 Princeton University, Farlex Inc.
Translations
predikaattilogiikka
predikatni račun
References in periodicals archive ?
Nonetheless, my main goal here is to try to show that this last point is not only a technical requirement of standard first order predicate calculus. The roots of the relationship are deeper and we have several proofs of that.
Writing for computational as well as theoretical linguists, Seuren presents a family of rule systems for four European languages (and a small one for Turkish) to convert semantic analyses of sentences, expressed in an orthodox variety of Predicate Calculus, into well-formed syntactic surface structures that can be fed directly into a proper morphology.
In particular it has had difficulties with a large group of "logical paradoxes" through its preoccupation with the Predicate Calculus and related structures to the exclusion of other formal structures that represent natural language more fully, and thereby escape these paradoxes.
In what follows I explain Lacan's account of sexuation by showing how it distorts the formulae of the predicate calculus to achieve a precise effect.
For example, the second-order predicate calculus and Church's simple theory of types, both under the standard semantics, are not even semi-decidable.
Bolzano's syntax is accordingly substantially different from both traditional Aristotelian logic and standard first-order predicate calculus. But it does not follow that the resources Bolzano had at his disposal were accordingly unfit to account for the richness of natural language.
He carried out a systematic study of the problem of the existence of an interpretation which will satisfy a given formula of the predicate calculus. He introduced in 1920 what is now known as skolem functions, and a full treatment of them came out in 1928.
Post and the development of logic, John von Neuman and the ideas of David Hilbert, the contribution of Polish logicians to decidability theory and predicate calculus, and the development of symbolism in logic and its philosophical background.
One of the most popular formalism used for meaning representation is First Order Predicate Calculus (FOPC)[22] which fulfills all above requirements and captures predicate argument structures for meaning representations.
Then, working together in English, the physician and SRA translate it into a logically equivalent unambiguous predicate calculus form P from which Cyc then designs and executes appropriate database calls.