Abstract
In this chapter we analyse reasoning patterns of which the validity only depends on the meaning of the propositional connectives ‘if . . ., then . . .’, ‘and’, ‘or’ and ‘not’. By giving a precise description of the meaning of these propositional connectives one is able to give a precise definition of the notion of logical or valid consequence. Two such definitions are given: a semantic one, in terms of truth values and hence in terms of the meaning of the formulas involved, and a syntactic one in terms of logical axioms and rules of which only the form is important. The semantic and the syntactic definition of logical consequence turn out be equivalent, giving us confidence that we gave a proper characterization of the intuitive notion of logical consequence. We prove or disprove all kinds of statements about the notion of logical or valid consequence, which is useful in order to get a good grasp of this notion. The last section treats a number of paradoxes which have been important for the progress in science and philosophy; it also contains a number of historical and philosophical remarks.
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). Propositional Logic. In: Philosophical and Mathematical Logic. Springer Undergraduate Texts in Philosophy. Springer, Cham. https://doi.org/10.1007/978-3-030-03255-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-03255-5_2
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)