Abstract
It is proposed that a more convenient formalization of predicate calculus is as a free Boolean algebra with extrema for the subsets of variable renaming, these extrema functioning as the quantifiers. In support of this proposal, an ab initio development of the calculus is sketched, a comparison with the standard treatment (which in effect construes the quantifiers as certain closure operators) is made and a proof of the Gödel completeness theorem based on this formalization is presented.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Halmos, P.R., Lectures on Boolean Algebras, Van Nostrand, Princeton, 1963.
Hilbert, D., Ackermann, W., Principles of Mathematical Logic, New York, 1950.
Lyndon, R.C., Notes on Logic, Van Nostrand, Princeton, 1966.
Rieger, L., Algebraic Methods of Mathematical Logic, Academia, Prague, 1967.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Fleischer, I. (1993). A Boolean Formalization of Predicate Calculus. In: Rosenberg, I.G., Sabidussi, G. (eds) Algebras and Orders. NATO ASI Series, vol 389. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0697-1_4
Download citation
DOI: https://doi.org/10.1007/978-94-017-0697-1_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4243-9
Online ISBN: 978-94-017-0697-1
eBook Packages: Springer Book Archive