Abstract
In this chapter we extend the language of propositional logic to the one of predicate logic, in which we also can analyse arguments containing subjects and predicates, such as in, for example: All men are mortal; therefore: Socrates is mortal; and in: Socrates is a philosopher; therefore: someone is a philosopher. These simple arguments cannot be adequately dealt with in propositional logic. The semantic notions of logical consequence and logical validity and the syntactic notions of (logical) deducibility and provability are adapted to the language of predicate logic, and again it turns out that these two notions are extensionally equivalent (soundness and completeness).
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
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
Cite this chapter
de Swart, H.C.M.(. (2018). Predicate Logic. In: Philosophical and Mathematical Logic. Springer Undergraduate Texts in Philosophy. Springer, Cham. https://doi.org/10.1007/978-3-030-03255-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-03255-5_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-03253-1
Online ISBN: 978-3-030-03255-5
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)