Glossary:Predicate logic
Jump to navigation
Jump to search
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