• 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)
  •  171
    Review: R. Montague, R. L. Vaught, A Note on Theories with Selectors (review)
    Journal of Symbolic Logic 25 (2): 177-178. 1960.
    Logic and Philosophy of LogicModel Theory
  •  79
    Katuzi Ono. On a practical way of describing formal deductions. Nagoya mathematical journal, vol. 21 (1962), pp. 115–121. - Katuzi Ono. New formulation of the axiom of choice by making use of the comprehension operator. Nagoya mathematical journal, vol. 23 (1963), pp. 53–71 (review)
    Journal of Symbolic Logic 34 (2): 307-307. 1969.
    Logic and Philosophy of LogicAxioms of Set Theory
  •  169
    Critical studies/book reviews
    Philosophia Mathematica 8 (3): 345-346. 2000.
    Philosophy of Mathematics, Misc
  •  181
    Selmer Bringsjord and Michael Zenzen. Superminds: People Harness Hypercomputation, and More. Studies in Cognitive Systems, Volume 29. Dordrecht: Kluwer Academic Publishers, 2003. Pp. xxx + 339. ISBN 1-4020-1094-X (review)
    Philosophia Mathematica 13 (2): 228-230. 2005.
    Nondeductive Methods in MathematicsPhilosophy of Mathematics, Misc
  •  47
    Quelques Pseudo-Paradoxes de la "Calculabilité Effective."
    with Jean Porte
    Journal of Symbolic Logic 33 (3): 471-472. 1968.
    Logic and Philosophy of LogicLiar Paradox
  •  21
    Strong Representability of Sets by Calculi
    Journal of Symbolic Logic 32 (3): 391-392. 1967.
  •  79
    Reviews - A. I. Mal′Cév. Algoritmy i rekursivnyé funkcii (Algorithms and recursive functions). Izdatél′stvo “Nauka,” Glavnaá Rédakciá Fiziko-Matématičéskoj Litératury, Moscow1965, 391 pp
    Journal of Symbolic Logic 34 (2): 290-290. 1969.
    Logic and Philosophy of Logic, Miscellaneous
  •  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
  •  43
    On non-standard models for number theory
    In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics, Magnes Press. pp. 259--268. 1961.
    Model TheoryNumber Theory
  •  128
    Graham Oppy. Philosophical perspectives on infinity
    Philosophia Mathematica 15 (3): 397-399. 2007.
    The author tells us that this book was originally intended to be part of a larger work, with the provisional title God and Infinity, but that he opted instead for a separate and independent treatment of the notion of infinity in philosophy and related areas. The original purpose is very well-hidden, showing itself clearly only in the Preface and a few other places. The book begins with a chapter describing some known alleged difficulties having to do with the infinitely large and infinitely smal…Read more
    The author tells us that this book was originally intended to be part of a larger work, with the provisional title God and Infinity, but that he opted instead for a separate and independent treatment of the notion of infinity in philosophy and related areas. The original purpose is very well-hidden, showing itself clearly only in the Preface and a few other places. The book begins with a chapter describing some known alleged difficulties having to do with the infinitely large and infinitely small . This is followed by a chapter on some basic mathematical notions and facts, including sketchy references to Zermelo-Fraenkel set theory , ordinal and cardinal numbers, Cantor's diagonal method, some special set-theoretic statements , analysis, non-standard analysis, model theory, internal set theory , Conway numbers, and the ‘finite mathematics’ of Mycielski and Lavine. Of course, readers will obtain very little solid information about these matters, but at least they will be introduced to some of the terminology. Chapter 3 returns to the problems and conundrums introduced in Chapter 1 and tries to resolve them or show that they are illusory. In some cases, the trouble arose because an infinite sequence of experiments was imagined which would be physically impossible . Other apparent difficulties arose only because of unfamiliarity with the …
    The Infinite
  •  121
    Meeting of the association for symbolic logic
    with P. C. Gilmore and Donald Martin
    Journal of Symbolic Logic 40 (2): 299-304. 1975.
    Logic and Philosophy of LogicLogic and Philosophy of Logic, Misc
  •  162
    A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310
    with Gene F. Rose, V. A. Jankov, and Sue Walker
    Journal of Symbolic Logic 35 (1): 138-138. 1970.
    Intuitionistic Logic
  •  34
    The Axiom of Fundierung and the Axiom of Choice
    Archive for Mathematical Logic 4 (3-4): 65. 1958.
  •  3
    Roman Murawski, recursive functions and metamathematics: Problems of completeness and decidability
    Philosophia Mathematica 8 (3): 345-346. 2000.
  •  58
    Many-Valued Logic (review)
    Journal of Philosophy 67 (13): 457-458. 1970.
    Nonclassical Logics
  •  79
    Bernays Paul. Axiomatic set theory. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1958, VIII + 226 pp.Fraenkel A. A.. Part I. Historical introduction. Therein, pp. 3–35 (review)
    Journal of Symbolic Logic 24 (3): 224-225. 1959.
    Logic and Philosophy of Logic
  •  79
    On some recent criticism of Church's Thesis
    Notre Dame Journal of Formal Logic 4 (3): 201-205. 1963.
    Logic and Philosophy of Logic
  •  70
    Wang Hao. Process and existence in mathematics. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Bar-Hillel Y., Poznanski E. I. J., Rabin M. O., and Robinson A. for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 328–351
    Journal of Symbolic Logic 30 (2): 244-244. 1965.
    Logic and Philosophy of Logic, Miscellaneous
  •  108
    Some proofs of independence in axiomatic set theory
    Journal of Symbolic Logic 21 (3): 291-303. 1956.
    Logic and Philosophy of LogicLogic and Philosophy of Logic, Miscellaneous
  •  83
    Polákov É. A.. Algébry rékursivnyh funkcij . Algébra i logika, Séminar, vol. 3 no. 1 , pp. 41–56.Polákov É. A.. O nékotoryh svojstvah algébr rékwsivnyh funkcij . Algébra i logika, Séminar, vol. 3 no. 3 , pp. 39–57
    Journal of Symbolic Logic 37 (2): 408-409. 1972.
    Logic and Philosophy of Logic, Miscellaneous
  •  98
    Halpern J. D.. The independence of the axiom of choice from the Boolean prime ideal theorem. Fundamenta mathematicae, vol. 55 , pp. 57–66
    Journal of Symbolic Logic 32 (2): 273-274. 1967.
    Logic and Philosophy of LogicAxioms of Set Theory
  •  62
    Meeting of the Association for Symbolic Logic, New York, 1974
    with P. C. Gilmore and Donald Martin
    Journal of Symbolic Logic 40 (2): 299-304. 1975.
  •  23
    Identical Transformations in Four-Place Logic
    with J. N. Whitney
    Journal of Symbolic Logic 37 (4): 762-763. 1972.
  •  72
    Theory and Problems of Boolean Algebra and Switching Circuits
    Journal of Symbolic Logic 39 (3): 615-615. 1974.
    Logic and Philosophy of LogicNonclassical Logics
  • Review: Paul Bernays, Axiomatic Set Theory (review)
    Journal of Symbolic Logic 24 (3): 224-225. 1959.
  •  97
    Measurement: Definitions and Theories (review)
    Journal of Philosophy 57 (15): 513-514. 1960.
    Measurement in Science
  •  128
    Book review: Igor Lavrov, Larisa Maksimova, problems in set theory, mathematical logic and the theory of algorithms, edited by Giovanna Corsi, kluwer academic / plenum publishers, 2003, us$141.00, pp. XII + 282, isbn 0-306-47712-2, hardbound (review)
    Studia Logica 79 (3): 409-410. 2005.
    Logic and Philosophy of LogicLogics
  • 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