Glossary:Predicate logic

Predicate Logic (First-order Logic)

BE /ˈprɛdɪkɪt ˈlɒʤɪk/, AE /ˈprɛdɪkət ˈlɑʤɪk/

Definition

Predicate logic is a branch of logic that studies the logical form of propositions involving expressions of individual constants, predicates and quantifiers.
Logic can be thought of as the use of an artificial language or notation to bring out clearly whatever patterns or relations are regarded as significant (especially anything that contributes to the truth or falsity of expressions).

Examples

The logical language involves e.g.:
predicates, arguments, connectives, quantifiers and variables

References

• Gregory, Howard. 2000. Semantics. Language Workbook. London/New York: Rutledge.
• Riemer, Nick. 2010. Introducing Semantics. Cambridge [et al.]: Cambridge University Press.

Related Terms

• Existential Quantifier
• Logical Form
• Logical Operator (Propositional Connective)
• Logical Quantifier
• Quantifier
• Restricted Quantifier
• Universal Quantifier
• Variable

---

Back to the Basic Glossary