• PhilPapers
  • PhilPeople
  • PhilArchive
  • PhilEvents
  • PhilJobs
  • Sign in
PhilPeople
 
  • Sign in
  • News Feed
  • Find Philosophers
  • Departments
  • Radar
  • Help
 
profile-cover
Drag to reposition
profile picture

Elliott Mendelson

  •  Home
  •  Publications
    63
    • Most Recent
    • Most Downloaded
    • Topics
  •  News and Updates
    4

 More details
  • All publications (63)
  • A Semantic Proof of the Eliminability of Descriptions
    Mathematical Logic Quarterly 6 (7‐14): 199-200. 2006.
  • Introduction to mathematical logic
    CRC press. 2009.
  •  15
    Index
    with Darren Abramson, Andreas Blass, Yuri Gurevich, Douglas S. Bridges, Selmer Bringsjord, Konstantine Arkoudas, Carol E. Cleland, B. Jack Copeland, Hartmut Fitz, Janet Folina, Andrew Hodges, Leon Horsten, Stanisław Krajewski, Charles McCarty, Roman Murawski, Jan Wolenski, Jerzy Mycka, Piergiorgio Odifreddi, Adam Olszewski, Oron Shagrir, Stewart Shapiro, Wilfried Sieg, Karl Svozil, and David Turner
    In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years, De Gruyter. pp. 545-551. 2006.
  •  20
    Contents
    with Darren Abramson, Andreas Blass, Yuri Gurevich, Douglas S. Bridges, Selmer Bringsjord, Konstantine Arkoudas, Carol E. Cleland, B. Jack Copeland, Hartmut Fitz, Janet Folina, Andrew Hodges, Leon Horsten, Stanisław Krajewski, Charles McCarty, Roman Murawski, Jan Wolenski, Jerzy Mycka, Piergiorgio Odifreddi, Adam Olszewski, Oron Shagrir, Stewart Shapiro, Wilfried Sieg, Karl Svozil, and David Turner
    In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years, De Gruyter. 2006.
  •  8
    Preface
    with Darren Abramson, Andreas Blass, Yuri Gurevich, Douglas S. Bridges, Selmer Bringsjord, Konstantine Arkoudas, Carol E. Cleland, B. Jack Copeland, Hartmut Fitz, Janet Folina, Andrew Hodges, Leon Horsten, Stanisław Krajewski, Charles McCarty, Roman Murawski, Jan Wolenski, Jerzy Mycka, Piergiorgio Odifreddi, Adam Olszewski, Oron Shagrir, Stewart Shapiro, Wilfried Sieg, Karl Svozil, and David Turner
    In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years, De Gruyter. pp. 7-8. 2006.
  • Introduction to mathematical logic
    CRC Press/Taylor & Francis Group. 2015.
    Philosophy of Mathematics
  •  18
    On the Impossibility of Proving the “Hard-Half” of Church’s Thesis
    In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years, De Gruyter. pp. 304-309. 2006.
  •  49
    On the Number of Simple Bases of Boolean Functions.On Superpositions of Functions in P k.Investigation of some Classes of Functions in Multivalued Logics.On some Properties of Essential Functions from P k (review)
    with Arto Salomaa, G. A. Sestopal, S. V. Ablonskij, V. V. Martynuk, and E. U. Zaharov
    Journal of Symbolic Logic 31 (3): 501. 1966.
    Logic and Philosophy of Logic
  •  70
    Andrzej Mostowski. An example of a non-axiomatizable many valued logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 72–76 (review)
    with G. E. Minc and V. P. Orevkov
    Journal of Symbolic Logic 35 (1): 143-143. 1970.
    Logic and Philosophy of LogicLogics
  •  112
    The Incomplete Universe: Totality, Knowledge, and Truth
    with Patrick Grim
    Philosophical Quarterly 44 (176): 409. 1994.
    Liar Paradox
  •  174
    Second Thoughts about Church's Thesis and Mathematical Proofs
    Journal of Philosophy 87 (5): 225-233. 1990.
  •  34
    Isomorphism of Systems of Recursively Enumerable Sets with Effective Properties
    Journal of Symbolic Logic 32 (3): 393-394. 1967.
    Logic and Philosophy of LogicLogic and Philosophy of Logic, Miscellaneous
  •  39
    Naive Set Theory (review)
    Journal of Philosophy 57 (15): 512-513. 1960.
    Naive and Direct Realism
  •  66
    J. W. Swanson. A reduction theorem for normal algorithms. The journal of symbolic logic, vol. 31 , pp. 86–97
    Journal of Symbolic Logic 32 (1): 123. 1967.
  •  68
    A. I. Mal′cév. Polno numérovannyé množéstva . Algébra i logika, Séminar, vol. 2 no. 2 , pp. 4–29. - A. I. Mal′cév. K téorii vyčislimyh séméjstv obéktov . Archiv für mathematische Logik und Grundlagenforschung, vol. 3 no. 4 , pp. 5–31. - A. I. Mal′cév. Pozitwnyé i négatwnyé numéracii . Doklady Akadémii Nauk, SSSR, vol. 160 , pp. 278–280
    Journal of Symbolic Logic 35 (2): 336-337. 1970.
  •  87
    M. D. Gladstone. Finite models for inequalities. The journal of symbolic logic, vol. 31 , pp. 581–592
    Journal of Symbolic Logic 33 (3): 479. 1968.
    Model Theory
  •  79
    A. N. Kolmogorov and V. A. Uspeńskij. K oprédéléniú algoritma . Uspéhi matématičéskih nauk, vol. 13 no. 4 , pp. 3–28
    Journal of Symbolic Logic 38 (4): 655. 1973.
    Logic and Philosophy of Logic, Miscellaneous
  •  85
    B. A. Trahténbrot. O častotnom vyčislénii funkcij . Algébra i logika, Séminar, vol. 2 no. 1 , pp. 25–32
    Journal of Symbolic Logic 39 (3): 606. 1974.
    ComputabilityMathematical LogicLogic and Philosophy of Logic, Miscellaneous
  •  101
    Yu. L. Ershov and E. A. Palyutin. Mathematical logic. Revised English translation by Vladimir Shokurov of the preceding. Mir Publishers, Moscow1984, 303 pp
    Journal of Symbolic Logic 51 (3): 829-829. 1986.
    Logic and Philosophy of Logic, Miscellaneous
  •  12
    Some Proofs of Independence in Axiomatic Set Theory
    Journal of Symbolic Logic 23 (1): 42-44. 1958.
    Set TheoryMathematical Logic
  •  110
    Logic, Methodology, and Philosophy of Science. Three ReviewsLogic, Methodology, and Philosophy of Science
    with Richard C. Jeffrey, Ernest Adams, Ernest Nagel, Patrick Suppes, and Alfred Tarski
    Journal of Philosophy 61 (2): 76. 1964.
    General Philosophy of Science, Misc
  •  45
    Foundations: Logic, Language, and Mathematics
    with Hugues Leblanc and A. Orenstein
    Springer. 1984.
    The more traditional approaches to the history and philosophy of science and technology continue as well, and probably will continue as long as there are skillful practitioners such as Carl Hempel, Ernest Nagel, and th~ir students. Finally, there are still other approaches that address some of the technical problems arising when we try to provide an account of belief and of rational choice. - These include efforts to provide logical frameworks within which we can make sense of these notions. Thi…Read more
    The more traditional approaches to the history and philosophy of science and technology continue as well, and probably will continue as long as there are skillful practitioners such as Carl Hempel, Ernest Nagel, and th~ir students. Finally, there are still other approaches that address some of the technical problems arising when we try to provide an account of belief and of rational choice. - These include efforts to provide logical frameworks within which we can make sense of these notions. This series will attempt to bring together work from all of these approaches to the history and philosophy of science and technology in the belief that each has something to add to our understanding. The volumes of this series have emerged either from lectures given by authors while they served as honorary visiting professors at the City College of New York or from conferences sponsored by that institution. The City College Program in the History and Philosophy of Science and Technology oversees and directs these lectures and conferences with the financial aid of the Association for Philosophy of Science, Psychotheraphy, and Ethics. MARTIN TAMNY RAPHAEL STERN PREFACE The papers in this collection stem largely from the conference 'Foun dations: Logic, Language, and Mathematics' held at the Graduate Center of the City University of New York on 14-15 November 1980.
    Philosophy of Mathematics, General Works
  •  66
    Preface
    with Hugues Leblanc and Alex Orenstein
    Synthese 60 (1): 3-3. 1984.
  •  26
    Some Properties of Constructive Real Numbers and Constructive Functions
    Journal of Symbolic Logic 40 (3): 454-454. 1975.
    Logic and Philosophy of Logic
  •  36
    Undecidability of the General Problems of Completeness, Decidability and Equivalence for Propositional Calculi
    with A. V. Kuznecov
    Journal of Symbolic Logic 37 (4): 756-757. 1972.
    Logic and Philosophy of Logic
  •  212
    Introduction to mathematical logic
    Van Nostrand. 1964.
    The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...
    Areas of Mathematics
  •  62
    A. Mostowski. On models of axiomatic set-theory. Bulletin de l′Académie Polonaise des Sciences, Classe III, vol. 4 , pp. 663–667. - A. Mostowski. Zaméčaniá k dokazatél′stvam suščéstvovaniá standartnyh modéléj . Trudy Trét′égo Vsésoúznogo Matématičéskogo Sézda, Moskva, iún′-iúl′ 1956, Volume IV, Kratkoé sodéržanié sékcionnyh dokladov, doklady inostrannyh učényh, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 232–236 (review)
    Journal of Symbolic Logic 32 (4): 531-532. 1968.
  •  3
    A Semantic Proof Of The Eliminability Of Descriptions
    Mathematical Logic Quarterly 6 (7-14): 199-200. 1960.
  •  75
    Uspénskij V. A.. Lékcii o vyčislimyh funkciáh . Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Literatury, Moscow 1960, 492 pp (review)
    Journal of Symbolic Logic 31 (2): 263-264. 1966.
    Logic and Philosophy of Logic, Miscellaneous
  •  93
    Scott Dana. On constructing models for arithmetic. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 235–255
    Journal of Symbolic Logic 38 (2): 336-337. 1973.
    Model Theory
  • Prev.
  • 1
  • 2
  • 3
  • Next
PhilPeople logo

On this site

  • Find a philosopher
  • Find a department
  • The Radar
  • Index of professional philosophers
  • Index of departments
  • Help
  • Acknowledgments
  • Careers
  • Contact us
  • Terms and conditions

Brought to you by

  • The PhilPapers Foundation
  • The American Philosophical Association
  • Centre for Digital Philosophy, Western University
PhilPeople is currently in Beta Sponsored by the PhilPapers Foundation and the American Philosophical Association
Feedback