predicate calculus

(redirected from Predicate logic)
Also found in: Thesaurus, Acronyms, Encyclopedia, Wikipedia.
Related to Predicate logic: propositional logic

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.

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

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]
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')
Translations
predikaattilogiikka
predikatni račun
References in periodicals archive ?
42) On first-order predicate logic and the subject-predicate structure, see SB, 193-95.
What's more, if Bolzano's views are expanded to include minimal notational devices, his theory delivers a language whose expressive power is at least as significant as that of first order predicate logic, including relational statements involving multiple quantifiers.
Sergot also seems to be in denial about the claims he made about the relationship to logic and law: "Logic provides a natural base for a computer interpretable formalism to express legal rules: law treats large sets of complex rules that have long seemed suitable for logical analysis, and once the law is expressed in some appropriate subset of predicate logic, that formulation can function as a program which interprets the law.
predicate logic, MPA] are not fatal by any means--it can, with appropriate tinkering, code the same set of distinctions.
These mathematical techniques are typically based on discrete mathematics such as predicate logic, set theory, relations, functions, and graph theory.
In his two chapters on predication, Lowe discusses a number of issues, all revolving around his proposal that a version of Aristotle's categories provides a better foundation for ontology than contemporary thinking based on first-order predicate logic.
It is often said that in order to solve the sorites paradox, some parts of classical predicate logic must be given up.
Fuzzy logic is derived from fuzzy set theory (Zadeh, 1965) dealing with reasoning that is approximate rather than precisely deduced from classical predicate logic (Boolean Logic).
He works through informal logic, including meanings and definition of language and fallacies, formal logic, including categorical propositions and syllogisms, propositional logic, natural deduction in propositional logic and predicate logic, inductive logic, including analogies, legal and moral reasoning, causality and Mill's methods, probability, statistical reasoning, and hypothetical and scientific reasoning.
Jackendoff 1983, 2002) to the effect that predicate logic is neither the only nor in some ways even an optimal format for the compositional analysis of sentence meaning.