Glossary:Predicate logic: Difference between revisions
Jump to navigation
Jump to search
(Created page with "= 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...") |
|||
Line 11: | Line 11: | ||
== References == | == References == | ||
Gregory, Howard. 2000. ''Semantics. Language Workbook.'' London/New York: | * Gregory, Howard. 2000. ''Semantics. Language Workbook.'' London/New York: Rutledge. | ||
Riemer, Nick. 2010. ''Introducing Semantics.'' Cambridge [et al.]: Cambridge University Press. | * Riemer, Nick. 2010. ''Introducing Semantics.'' Cambridge [et al.]: Cambridge University Press. | ||
== Related Terms == | == Related Terms == |
Revision as of 01:01, 24 June 2016
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 Quantifier
- Logical Symbol
- Quantifier
- Restricted Quantifier
- Universal Quantifier
- Variable
Back to the Basic Glossary