Results for 'Jean Louis Maxime van Heijenoort'

1000+ found
Order:
  1. Frege and Gödel: Two Fundamental Texts in Mathematical Logic.Jean van Heijenoort - 1970
  2.  76
    Jean van Heijenoort: Kaleidoscope. [REVIEW]Anita Burdman Feferman - 2012 - Logica Universalis 6 (3-4):277-291.
    Leitmotifs in the life of Jean van Heijenoort.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  6
    The First Problem That Every Interpretation of Marx's Dialectics has to Confront is That Marx Was Very Brief in His Written Declarations About the Nature of the Dialectical Method. As It Was Correctly Pointed Out by Professor Jean van Heijenoort.Jean van Heijenoort - 1990 - In Jerzy Brzeziński (ed.), Idealization I: General Problems. Rodopi. pp. 113.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. ¸ Itevanheijenoort1985.Jean van Heijenoort - 1973 - Bib.
    No categories
     
    Export citation  
     
    Bookmark  
  5. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931.Jean van Heijenoort (ed.) - 1967 - Cambridge: Harvard University Press.
    The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   141 citations  
  6.  54
    Jean van Heijenoort and the Gödel Editorial Project.John W. Dawson - 2012 - Logica Universalis 6 (3-4):293-299.
    A colleague’s personal recollections of Jean van Heijenoort’s contributions to the editing of volumes I–III of Gödel’s Collected Works and of his interactions with the other editors.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  59
    Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):339-409.
    I use van Heijenoort’s published writings and manuscript materials to provide a comprehensive overview of his conception of modern logic as a first-order functional calculus and of the historical developments which led to this conception of mathematical logic, its defining characteristics, and in particular to provide an integral account, from his most important publications as well as his unpublished notes and scattered shorter historico-philosophical articles, of how and why the mathematical logic, whose he traced to Frege and the culmination (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  37
    Jean van Heijenoort’s Contributions to Proof Theory and Its History.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):411-458.
    Jean van Heijenoort was best known for his editorial work in the history of mathematical logic. I survey his contributions to model-theoretic proof theory, and in particular to the falsifiability tree method. This work of van Heijenoort’s is not widely known, and much of it remains unpublished. A complete list of van Heijenoort’s unpublished writings on tableaux methods and related work in proof theory is appended.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  9.  65
    Logic as Calculus and Logic as Language.Jean Van Heijenoort - 1967 - Synthese 17 (1):324-330.
  10. From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.
     
    Export citation  
     
    Bookmark   146 citations  
  11.  37
    Les Limitations Internes des Formalismes. Étude Sur la Signification du Théorème de Gödel Et des Théorèmes Apparentés Dans la Théorie des Fondements des Mathématiques.John van Heijenoort & Jean Ladriere - 1959 - Journal of Philosophy 56 (7):333-337.
  12.  17
    From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931.Jean van Heijenoort (ed.) - 1967 - Cambridge, MA, USA: Harvard University Press.
    Gathered together here are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege's Begriffsschrift--which opened a great epoch in the history of logic by fully presenting propositional calculus and quantification theory--begins the volume, which concludes with papers by Herbrand and by Gödel.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  13.  19
    Introduction to the Basic Concepts and Problems of Modern Logic.Jean Van Heijenoort - 1973 - Journal of Philosophy 70 (3):86-86.
  14. From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931.Jean van Heijenoort - 1968 - Synthese 18 (2-3):302-305.
    No categories
     
    Export citation  
     
    Bookmark   63 citations  
  15.  42
    Jean van Heijenoort. Introductory Note. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931, Edited by Jean van Heijenoort, Harvard University Press, Cambridge Mass., 1967, P. 124. - Bertrand Russell. Letter to Frege. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931 Pp. 124–125. - Jean van Heijenoort. Introductory Note. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931 Pp. 126–1271. - Gottlob Frege. Letter to Russell. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931 Pp. 127–128. [REVIEW]Alonzo Church - 1974 - Journal of Symbolic Logic 39 (2):355.
  16. Jean Van heijenoort, "el desarrollo de la teoría de la cuantificación".Francisco Miró Quesada - 1976 - Critica 8 (24):134.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Jean van Heijenoort, "From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931".Andrzej Motowski - 1968 - Synthese 18 (2-3):302.
     
    Export citation  
     
    Bookmark  
  18.  19
    Jean van Heijenoort. Introductory Note. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931, Edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, Pp. 1–5. Reprinted in Frege and Gödel, Two Fundamental Texts in Mathematical Logic, Edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, Pp. 1–5. - Gottlob Frege. Begriffsschrift, a Formula Language, Modeled Upon That of Arithmetic, for Pure Thought. English Translation of 491 by Stefan Bauer-Mengelberg. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931, Edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, Pp. 5–82. Reprinted in Frege and Gödel, Two Fundamental Texts in Mathematical Logic, Edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, Pp. 5–82. - Jean van Heijenoort. Introductory Note. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931, Edited by Jean van Heijenoort, Harvard. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (2):405-405.
  19.  44
    Jean Van Heijenoort, the Revolutionary, the Scholar, and Man (1912–1986).Irving H. Anellis - 1988 - Studies in East European Thought 35 (2):147-178.
  20.  11
    van Heijenoort Jean. El desarrollo de la teoria de la cuantificación. Instituto de Investigaciones Filosóficas, Universidad Nacional Autonoma de México, Mexico City 1976, 57 pp. [REVIEW]José Ferrater Mora - 1980 - Journal of Symbolic Logic 45 (3):635-636.
  21.  20
    Jean van Heijenoort, the Revolutionary, the Scholar, and Man.Irving H. Anellis - 1988 - Studies in Soviet Thought 35 (2):147-178.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Selected Essays.Jean Van Heijenoort - 1985
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  23.  34
    Historical Development of Modern Logic.Jean van Heijenoort - 2012 - Logica Universalis 6 (3-4):327-337.
  24.  99
    In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort[REVIEW]Philippe de Rouilhan - 2012 - Logica Universalis 6 (3-4):553-586.
    Van Heijenoort’s main contribution to history and philosophy of modern logic was his distinction between two basic views of logic, first, the absolutist, or universalist, view of the founding fathers, Frege, Peano, and Russell, which dominated the first, classical period of history of modern logic, and, second, the relativist, or model-theoretic, view, inherited from Boole, Schröder, and Löwenheim, which has dominated the second, contemporary period of that history. In my paper, I present the man Jean van Heijenoort (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25. Subject and Predicate in Western Logic.Jean van Heijenoort - 1974 - Philosophy East and West 24 (3):253-268.
  26. Subject and Predicate in Western Logic.Jean van Heijenoort - 1973 - In ¸ Itevanheijenoort1985. Bib. pp. 17-34.
     
    Export citation  
     
    Bookmark   5 citations  
  27.  29
    Teacher Professional Identity as Multidimensional: Mapping its Components and Examining Their Associations with General Pedagogical Beliefs.Jean-Louis Berger & Kim Lê Van - 2018 - Educational Studies 45 (2):163-181.
    Research on teachers’ professional identity integrates many constructs that are treated independently in most cases. This study described the associations between components of teacher professional identity and their association with teachers’ general pedagogical beliefs. Secondary teachers completed a survey about several components of their identity and general pedagogical beliefs. Multidimensional scaling revealed that the components could be mapped on two dimensions: form of motivation and degree of subject specificity. The resulting map revealed four meaningful groups of components. Furthermore, whereas direct (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  68
    Editor’s Introduction to Jean van Heijenoort, Historical Development of Modern Logic.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):301-326.
    Van Heijenoort’s account of the historical development of modern logic was composed in 1974 and first published in 1992 with an introduction by his former student. What follows is a new edition with a revised and expanded introduction and additional notes.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  29. Review: Jean van Heijenoort, El Desarrollo de la Teoria de la Cuantificacion. [REVIEW]Jose Ferrater Mora - 1980 - Journal of Symbolic Logic 45 (3):635-636.
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  16
    Introductory Note.W. V. Quine, Jean van Heijenoort, Alfred North Whitehead & Bertrand Russell - 1975 - Journal of Symbolic Logic 40 (3):472-473.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. Frege and Gödel: Two Fundamental Texts in Mathematical Logic.Jean Van Heijenoort (ed.) - 1970 - Cambridge, MA: Harvard University Press.
    Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116).
     
    Export citation  
     
    Bookmark   2 citations  
  32. With Trotsky in Exile: From Prinkipo to Coyoacán.Jean van Heijenoort - 1979 - Studies in Soviet Thought 20 (4):391-396.
     
    Export citation  
     
    Bookmark   2 citations  
  33.  11
    On the Significance of the Principle of Excluded Middle in Mathematics, Especially in Function Theory.Stefan Bauer-Mangelberg, Jean van Heijenoort & Stefan Bauer-Mengelberg - 1970 - Journal of Symbolic Logic 35 (2):332-333.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  7
    Einige Metamathematische Resultate Über Entscheidungsdefinitheit Und Widerspruchsfreiheir.Stefan Bauer-Mengelberg & Jean van Heijenoort - 1990 - Journal of Symbolic Logic 55 (1):342-343.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  5
    Über Die Länge Yon Beweisen.Stefan Bauer-Mengelberg, Jean van Heijenoort & Rohit Parikh - 1990 - Journal of Symbolic Logic 55 (1):348-348.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. El desarrollo de la teoría de la cuantificación.Jean van Heijenoort - 1976 - Critica 8 (24):134-138.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. Introductory Note.Jean van Heijenoort, Bertrand Russell & Gottlob Frege - 1974 - Journal of Symbolic Logic 39 (2):355-355.
     
    Export citation  
     
    Bookmark  
  38. Écrits Logiques.Jacques Herbrand, Jean van Heijenoort & Warren D. Goldfarb - 1974 - Synthese 27 (1):271-284.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  39.  21
    In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort.Philippe Rouilhan - 2012 - Logica Universalis 6 (3-4):553-586.
  40.  57
    On Rereading van Heijenoort’s Selected Essays.Solomon Feferman - 2012 - Logica Universalis 6 (3-4):535-552.
    This is a critical reexamination of several pieces in van Heijenoort’s Selected Essays that are directly or indirectly concerned with the philosophy of logic or the relation of logic to natural language. Among the topics discussed are absolutism and relativism in logic, mass terms, the idea of a rational dictionary, and sense and identity of sense in Frege.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  41.  14
    Herbrand’s Fundamental Theorem in the Eyes of Jean Van Heijenoort.Claus-Peter Wirth - 2012 - Logica Universalis 6 (3-4):485-520.
    Using Heijenoort’s unpublished generalized rules of quantification, we discuss the proof of Herbrand’s Fundamental Theorem in the form of Heijenoort’s correction of Herbrand’s “False Lemma” and present a didactic example. Although we are mainly concerned with the inner structure of Herbrand’s Fundamental Theorem and the questions of its quality and its depth, we also discuss the outer questions of its historical context and why Bernays called it “the central theorem of predicate logic” and considered the form of its (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  89
    Collected Works of Kurt Godel 1938-1974.Georg Kreisel, Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay & Jean van Heijenoort - 1991 - Journal of Symbolic Logic 56 (3):1085.
  43. Logical Writings.Jacques Herbrand, Warren D. Goldfarb & Jean van Heijenoort - 1974 - Foundations of Language 11 (3):469-470.
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  44.  34
    From Frege to Gödel. Jean van Heijenoort[REVIEW]Michael David Resnik - 1968 - Philosophy of Science 35 (1):72-72.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  12
    Kurt Gödel. Collected Works. Volume 1: Publications, 1929–1936. Edited by, Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort. Xviii + 474 Pp., Frontis., Illus., Bibl., Index. 1986. Oxford/New York: Oxford University Press, 2001. $34.95 .Kurt Gödel. Collected Works. Volume 2: Publications, 1938–1974. Edited by, Solomon Feferman, John W. Dawson, Jr., Charles Parsons, Robert M. Solovay, and Jean van Heijenoort. Xv + 407 Pp., Frontis., Illus., Bibl., Index. 1990. Oxford/New York: Oxford University Press, 2001. $34.95 .Kurt Gödel. Collected Works. Volume 3: Unpublished Essays and Lectures. Edited by, Solomon Feferman, John W. Dawson, Jr., Charles Parsons, and Robert M. Solovay. Xx + 532 Pp., Frontis., Illus., Bibl., Index. 1995. Oxford/New York: Oxford University Press, 2001. $39.95. [REVIEW]Louise Golland - 2002 - Isis 93 (3):517-518.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  9
    Collected Works, Volume II, Publications 1938–1974, by Kurt Gödel, Edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Oxford University Press, New York and Oxford 1990, Xv + 407 Pp. [REVIEW]Georg Kreisel - 1991 - Journal of Symbolic Logic 56 (3):1085-1089.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  40
    Anita Burdman Feferman. From Trotsky to Gödel. The Life of Jean Van Heijenoort. Paperbound Reprint with Altered Title of Jsl Lviii 1465. A K Peters, Natick, Mass., 2001, XV + 415 Pp. [REVIEW]H. B. Enderton - 2002 - Bulletin of Symbolic Logic 8 (1):104-104.
  48.  41
    Luitzen Egbertus Jan Brouwer. On the Significance of the Principle of Excluded Middle in Mathematics, Especially in Function Theory, English Translation of 15516 by Stefan Bauer-Mengelberg and Jean van Heijenoort. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931, Edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, Pp. 334–341. Addenda and Corrigenda, English Translation of XXIV 189 by Stefan Bauer-Mengelberg, Claske M. Berndes Franck, Dirk van Dalen, and Jean van Heijenoort. Ibid., Pp. 341–342. Further Addenda and Corrigenda. English Translation of XXIV 189 by Stefan Bauer-Mengelberg, Dirk van Dalen, and Jean van Heijenoort. Ibid., Pp. 342–345. - Luitzen Egbertus Jan Brouwer. On the Domains of Definition of Functions. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931, Edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, Pp. 446–463. English Translation of §§1–3 of Über Definiti. [REVIEW]Joan Rand Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):332-333.
  49.  17
    W. V. Quine. Introductory Note. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931, Edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, Pp. 216–217. - Alfred North Whitehead and Bertrand Russell. Incomplete Symbols: Descriptions. Reprinted From 1947, Pp. 66–71. Incomplete Symbols: Descriptions. Reprinted From 1947, Pp. 217–223. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):472-473.
  50.  13
    Anita Burdman Feferman. Politics, Logic, and Love. The Life of Jean van Heijenoort. Jones and Bartlett Publishers, Boston and London, and A K Peters, Wellesley, Mass., 1993, Xv + 415 Pp. - Solomon Feferman. Jean van Heijenoort's Scholarly Work, 1948–1986. Therein, Pp. 371–390. [REVIEW]H. B. Enderton - 1993 - Journal of Symbolic Logic 58 (4):1465-1466.
1 — 50 / 1000