Abstract
We propose that the set theory ZFC slightly modified to allow for urelements, and extended with appropriate definitional schemata, constitutes a complete description of natural human logic and that it constitutes a lingua characterica and a calculus ratiocinator in the sense of Leibniz.
Similar content being viewed by others
References
Cohen, P.J.: Set Theory and the Continuum Hypothesis. W. A. Benjamin, Inc., New York-Amsterdam (1966)
Gaifman, H.: Global and local choice functions. Israel J. Math. 22, 257–265 (1975)
Hilbert, D.: Die logischen Grundlagen der Mathematik. Math. Annalen 88, 151–165 (1923)
Hilbert, D.: Die Grundlagen der Mathematik. Abh. Math. Sem. Univ. Hamburg 6, 65–85 (1928)
Kunen, K.: Set Theory—an Introduction to Independence Proofs. Studies in Logic and the Foundations of Mathematics, vol. 102. North-Holland, Amsterdam-New York (1980)
Łoś, J.: Some properties of inaccessible numbers. In: Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw 1959, pp. 21–23. Pergamon Press, Oxford & PWN, Warsaw (1961)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Mycielski, J. On the Formalization of Theories. J Autom Reasoning 50, 211–216 (2013). https://doi.org/10.1007/s10817-012-9247-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-012-9247-4