Related Terms
Description
Predicate logic is a subdiscipline of logic that had its roots in the last quarter of the nineteenth century, though it had to wait until the second decade of the twentieth century for a solid foundation. Like any other logic, it is concerned with the validity of arguments, though not of any kind: its interest lies in reasoning about what is universally true. As such, predicate logic is especially suited to reason about mathematical statements and can be considered a generalization of Aristotelian syllogisms. Predicate logic goes beyond syllogisms by introducing predicates with arbitrary numbers of arguments and quantifiers that allow to refer either to all or to some of the elements in the universe that is under consideration. It has a proof theory, which consists of a set of rules that describe how to mechanically derive sentences from a given set of premises (and such derivations are called “proofs”), as well as a model theory that assigns...
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ebbinghaus, H.- D., Flum, J., & Thomas, W. (1996). Mathematical logic (2nd ed.). New York: Springer.
Enderton, H. B. (2001). A mathematical introduction to logic (2nd ed.). San Diego: Academic.
Gabbay, D. M., & Guenthner, F. (Eds.). Handbook of philosophical logic (2nd ed.). In eighteen volumes, the first published in 2001. Dordrecht, The Netherlands: Kluwer Academic Press.
Gödel, K. Collected works. Oxford University Press. In five volumes, the first published in 1986.
Simpson, G. (2000). Logic and mathematics. In S. Rosen (Ed.), The examined life: Readings from Western philosophers from Plato to Kant. New York: Random House Reference.
Tarski, A. (1983). Logic, semantics, metamathematics, papers from 1923 to 1938. Indianapolis: Hackett Publishing Company.
van Dalen, D. (2004). Logic and structure (4th ed.). Berlin: Springer.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media Dordrecht
About this entry
Cite this entry
Palomino, M. (2013). Logic, Predicate. In: Runehov, A.L.C., Oviedo, L. (eds) Encyclopedia of Sciences and Religions. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-8265-8_1263
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8265-8_1263
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-8264-1
Online ISBN: 978-1-4020-8265-8
eBook Packages: Humanities, Social Sciences and Law