Abstract
In this chapter I will present the classical propositional logic which, I believe, is the simplest logic that can be developed from the assumptions of Chapter I. In this setting I present the notions of a formal language, a model, the logical form of a proposition, proof, consequence, and the notion of a logic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1990 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Epstein, R.L. (1990). Classical Propositional Logic - PC -. In: The Semantic Foundations of Logic Volume 1: Propositional Logics. Nijhoff International Philosophy Series, vol 35. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-0525-2_2
Download citation
DOI: https://doi.org/10.1007/978-94-009-0525-2_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6722-5
Online ISBN: 978-94-009-0525-2
eBook Packages: Springer Book Archive