Logic Journal of IGPL

Logic Journal of IGPL Advance Access originally published online on September 24, 2007
Logic Journal of IGPL 2007 15(5-6):689-706; doi:10.1093/jigpal/jzm044

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Lopez-Escobar, E. G. K. Search for Related Content Social Bookmarking          What's this?

© The Author, 2007. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

The Logic of Classes

E. G. K. Lopez-Escobar

Mathematics Department, University of Maryland, College Park, USA. E-mail: egkle{at}math.umd.edu

An extension of the Quantified Propositional Calculus¹ obtained by the addition of two binary propositional functions is put forward as an inheritor of E. Schröder's "Algebra der Logik". The formal system is itself not new, in fact it forms part of A. P. Morse's "A Theory of Sets"; although the latter is considered as a first-order system (of a rather non-standard type).

Since the additional propositional functions are not invariant under the logical biconditional, this system–and many others naturally obtained from it–give us a collection of examples of non-standard, but mathematically meaningful, propositional systems.

Key Words: Boolean algebras • Propositional Logics • Protothetic • Set theory • Universal Logics.

---

¹Also called: "Second Order Propositional Calculus", "Extended Propositional Calculus", "Protothetic" or "Elementary Protothetic"

References

1. Ahmed TS. Algebraic Logic, where does it stand today? The Bulletin of Symbolic Logic (2005) 11.

2. Bell JL. Boolean-Valued Models and Independence Proofs in Set Theory (1985) Oxford: Clarendon Press.

3. Boole George. The Mathematical Analysis of Logic (1847).

4. Burris Stanley. Logic for Mathematics and Computer Science (1998) New Jersey: Prentice Hall.

5. Chuaqui Rolando B. Axiomatic Set Theory: Impredicative Theories of Classes, volume 51 of Notas de Matemática (1981) North-Holland: Amsterdam.

6. Kelley JL. General Topology (1955) New York: Van Nostrand.

7. Lopez-Escobar EGK. Set Theories as Extensions of Propositional Logics. In: Logic and Philosophy of the Formal Sciences, volume 28 of Manuscrito (2005) 417–448. Centro de Logica, Epistemologia e Historia da Ciencia-Unicamp.

8. Morse AP. A Theory of Sets, volume 8 of Pure and Applied Mathematics (1965) New York: Academic Press Inc.

9. Schröder Ernst. Vorlesunden über die Algebra der Logik (1890) volume 1. Leipzig.

10. Scott D, Solovay R. Boolean-Valued Models for Set Theory. In: Proc. Amer. Math. Soc. Summer Inst. Axiomatic Set Theory 1967, Proc. Symp. Pure Math. (1969) American Math. Society.

11. Szmielew Wanda, Tarski Alfred. Mutual interpretability of some essentially undecidable theories. In: Proceedings of the International Congress of Mathematicians (1950) volume 1.

12. Wang Hao. A Logical Journey: From Gödel to Philosophy (1996) Cambridge, Massachusetts: The MIT Press.

CiteULike    Connotea    Del.icio.us    What's this?

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Lopez-Escobar, E. G. K. Search for Related Content Social Bookmarking          What's this?