45 found
Order:
See also
  1.  60
    First-Order Logic.Raymond M. Smullyan - 1968 - New York [Etc.]Springer-Verlag.
    This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   151 citations  
  2.  17
    Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.
    Direct download  
     
    Export citation  
     
    Bookmark   51 citations  
  3. Languages in Which Self Reference is Possible.Raymond M. Smullyan - 1957 - Journal of Symbolic Logic 22 (1):55-67.
  4. An Unfortunate Dualist.Raymond M. Smullyan - 2002 - In David J. Chalmers (ed.), Philosophy of Mind: Classical and Contemporary Readings. Oup Usa.
     
    Export citation  
     
    Bookmark   2 citations  
  5. 5000 B.C. And Other Philosophical Fantasies.Raymond M. Smullyan - 1983
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  6. The Tao is Silent.Raymond M. Smullyan - 1992 - Harpersanfrancisco.
  7. Forever Undecided: A Puzzle Guide to Gödel.Raymond M. Smullyan - 1987 - Oxford University Press.
  8. An Epistemological Nightmare.Raymond M. Smullyan - 1981 - In Douglas R. Hofstadter & Daniel C. Dennett (eds.), The Mind's I. Basic Books.
    No categories
     
    Export citation  
     
    Bookmark   9 citations  
  9.  37
    Analytic Natural Deduction.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (2):123-139.
  10.  43
    Analytic Cut.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):560-564.
  11.  76
    Chameleonic Languages.Raymond M. Smullyan - 1984 - Synthese 60 (2):201 - 224.
  12.  40
    Trees and Nest Structures.Raymond M. Smullyan - 1966 - Journal of Symbolic Logic 31 (3):303-321.
  13. Diagonalization and Self-Reference.Raymond M. Smullyan - 1994 - Clarendon Press.
    This book presents a systematic, unified treatment of fixed points as they occur in Godels incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.
     
    Export citation  
     
    Bookmark   3 citations  
  14.  18
    Rudy Rucker. Mind Tools. The Five Levels of Mathematical Reality. Houghton Mifflin Company, Boston1987, Viii + 328 Pp. [REVIEW]Raymond M. Smullyan - 1988 - Journal of Symbolic Logic 53 (4):1254-1255.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  15
    Logicians Who Reason About Themselves.Raymond M. Smullyan - 1988 - Journal of Symbolic Logic 53 (2):668-669.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  12
    J. R. Shoenfield. Undecidable and Creative Theories. Fundamenta Mathematicae, Vol. 49 No. 2 , Pp. 171–179.Raymond M. Smullyan - 1967 - Journal of Symbolic Logic 32 (1):123.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  45
    Recursion Theory for Metamathematics.Raymond M. Smullyan - 1993 - Oxford University Press.
    This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  26
    Uniform Gentzen Systems.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):549-559.
    Generally speaking, it appears correct to say that in a formulation of first order logic in which a large number of connectives are taken as primitive which allows us to have our cake and eat it too.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  11
    What is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles.George Boolos & Raymond M. Smullyan - 1979 - Philosophical Review 88 (3):496.
  20.  10
    Vladeta Vučković. Mathematics of Incompleteness and Undecidability. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 13 , Pp. 123–150. [REVIEW]Raymond M. Smullyan - 1972 - Journal of Symbolic Logic 37 (1):195-196.
  21.  34
    Finite Nest Structures and Propositional Logic.Raymond M. Smullyan - 1966 - Journal of Symbolic Logic 31 (3):322-324.
  22.  73
    Some Unifying Fixed Point Principles.Raymond M. Smullyan - 1991 - Studia Logica 50 (1):129 - 141.
    This article is written for both the general mathematican and the specialist in mathematical logic. No prior knowledge of metamathematics, recursion theory or combinatory logic is presupposed, although this paper deals with quite general abstractions of standard results in those three areas. Our purpose is to show how some apparently diverse results in these areas can be derived from a common construction. In Section 1 we consider five classical fixed point arguments (or rather, generalizations of them) which we present as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  14
    Review: Willard Van Orman Quine, Methods of Logic. [REVIEW]Raymond M. Smullyan - 1959 - Journal of Symbolic Logic 24 (3):219-220.
  24.  65
    Some New Double Induction and Superinduction Principles.Raymond M. Smullyan - 1990 - Studia Logica 49 (1):23 - 30.
    Some new double analogues of induction and transfinite recursion are given which yields a relatively simple proof of a result of Robert Cowen, [2] which in turn is a strengthening of an earlier result of Smullyan [1], which in turn gives a unified approach to Zorn's Lemma, the transfinite recursion theorem and certain results about ordinal numbers.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25.  31
    Undecidability and Recursive Inseparability.Raymond M. Smullyan - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (7-11):143-147.
  26.  62
    Uniform Self-Reference.Raymond M. Smullyan - 1985 - Studia Logica 44 (4):439 - 445.
    Self-referential sentences have played a key role in Tarski's proof [9] of the non-definibility of arithmetic truth within arithmetic and Gödel's proof [2] of the incompleteness of Peano Arithmetic. In this article we consider some new methods of achieving self-reference in a uniform manner.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  27
    Monadic Elementary Formal Systems.Raymond M. Smullyan - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (6):81-83.
  28.  24
    Theories with Effectively Inseparable Nuclei.Raymond M. Smullyan - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (15-22):219-224.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  19
    Quine Willard Van Orman. Methods of Logic. Revised Edition, Henry Holt and Company, Inc., New York 1959, Xx + 272 Pp. [REVIEW]Raymond M. Smullyan - 1959 - Journal of Symbolic Logic 24 (3):219-220.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  10
    Languages in Which Self Reference is Possible.Raymond M. Smullyan - 1959 - Journal of Symbolic Logic 24 (3):228-228.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. To Mock a Mocking Bird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic.Raymond M. Smullyan - 1985 - Knopf.
  32. The Lady or the Tiger? And Other Logic Puzzles, Including a Mathematical Novel That Features Gödel's Great Discovery.Raymond M. Smullyan - 1982
     
    Export citation  
     
    Bookmark   1 citation  
  33.  21
    Meeting of the Association for Symbolic Logic.Raymond M. Smullyan - 1964 - Journal of Symbolic Logic 29 (3):150-162.
  34.  25
    On Post's Canonical Systems.Raymond M. Smullyan - 1962 - Journal of Symbolic Logic 27 (1):55-57.
  35.  10
    Reviews. Evert W. Beth. The Foundations of Mathematics, A Study in the Philosophy of Science. Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, XXVI + 741 Pp. [REVIEW]A. Nerode & Raymond M. Smullyan - 1962 - Journal of Symbolic Logic 27 (1):73-75.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. What Is the Name of This Book? The Riddle of Dracula and Other Logical Puzzles.Raymond M. Smullyan - 1981 - Critica 13 (38):126-130.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  37.  8
    Meeting of the Association for Symbolic Logic.Raymond M. Smullyan - 1964 - Journal of Symbolic Logic 29 (3):150-162.
  38.  6
    On Post's Canonical Systems.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):623-623.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  9
    A Generalization of Intuitionistic and Modal Logics.Raymond M. Smullyan - 1977 - Journal of Symbolic Logic 42 (2):316-317.
  40.  6
    Mind Tools. The Five Levels of Mathematical Reality.Raymond M. Smullyan & Rudy Rucker - 1988 - Journal of Symbolic Logic 53 (4):1254.
  41.  7
    Extended Canonical Systems.Raymond M. Smullyan - 1967 - Journal of Symbolic Logic 32 (4):524-524.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  7
    Elementary Formal Systems.Raymond M. Smullyan - 1969 - Journal of Symbolic Logic 34 (1):117-117.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  5
    Creativity and Effective Inseparability.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (3):391-392.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Review: J. R. Shoenfield, Undecidable and Creative Theories. [REVIEW]Raymond M. Smullyan - 1967 - Journal of Symbolic Logic 32 (1):123-123.
  45. This Book Needs No Title a Budget of Living Paradoxes.Raymond M. Smullyan - 1980
     
    Export citation  
     
    Bookmark