- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Chameleonic languages
Synthese 60 (2):201 - 224 (1984)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Smullyan Raymond M.. Languages in which self reference is possible. [REVIEW]J. R. Shoenfield - 1959 - Journal of Symbolic Logic 24 (3):228-228.
Review: Raymond M. Smullyan, Extended Canonical Systems. [REVIEW]James H. Bennett - 1967 - Journal of Symbolic Logic 32 (4):524-524.
Review: Raymond M. Smullyan, On Post's Canonical Systems. [REVIEW]Ann Yasuhara - 1968 - Journal of Symbolic Logic 33 (4):623-623.
Raymond M. Smullyan. Theory of formal systems. Annals of Mathematics studies, no. 47. Princeton University Press, Princeton1961, xi + 142 pp. - Raymond M. Smullyan. Theory of formal systems. Revised edition. Annals of Mathematics studies, no. 47. Princeton University Press, Princeton1961, xi + 147 pp. [REVIEW]Marian Boykan Pour-El - 1965 - Journal of Symbolic Logic 30 (1):88-90.
Book Review: Raymond M. Smullyan and Melvin Fitting. Set Theory and the Continuum Problem. [REVIEW]Stephen Pollard - 1997 - Notre Dame Journal of Formal Logic 38 (3):475-480.
Raymond M. Smullyan. First-order logic. Corrected republication of XL 237. Dover Publications, New York1995, xii + 158 pp. [REVIEW]Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (1):351.
Raymond M. Smullyan, On Post 's canonical systems. The journal of symbolic logic, vol. 27 no. 1 , pp. 55–57.Ann Yasuhara - 1969 - Journal of Symbolic Logic 33 (4):623.
Raymond M. Smullyan. Extended canonical systems. Proceedings of the American Mathematical Society, vol. 12 , pp. 440–442. [REVIEW]James H. Bennett - 1968 - Journal of Symbolic Logic 32 (4):524.
Raymond M. Smullyan. Elementary formal systems. Journal of the Mathematical Society of Japan, vol. 13 , pp. 38–44.Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):117.
Analytics
Added to PP
2009-01-28
Downloads
107 (#204,533)
6 months
6 (#572,300)
2009-01-28
Downloads
107 (#204,533)
6 months
6 (#572,300)
Historical graph of downloads
Author's Profile
Citations of this work
Self-Reference Upfront: A Study of Self-Referential Gödel Numberings.Balthasar Grabmayr & Albert Visser - 2023 - Review of Symbolic Logic 16 (2):385-424.
The Liar: An Essay on Truth and Circularity. Jon Barwise, John Etchemendy.Anil Gupta - 1989 - Philosophy of Science 56 (4):697-709.
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.
References found in this work
Undecidable theories.Alfred Tarski - 1968 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.
Languages in which self reference is possible.Raymond M. Smullyan - 1957 - Journal of Symbolic Logic 22 (1):55-67.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d47b8f9f5-4tgfx uwo