Results for 'John van Heijenoort'

(not author) ( search as author name )
990 found
Order:
  1.  12
    A Note on Empiricism.John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (2):213-214.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  42
    The Basic Laws of Arithmetic: Exposition of the System. [REVIEW]John van Heijenoort - 1966 - Journal of Philosophy 63 (1):28-28.
  3.  8
    Les Idées Actuelles sur la Structure de la Penseé Logique.John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):29-29.
  4.  6
    Natural and Scientific Language.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):400-400.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  7
    On Careful Reasoning in Ordinary Language.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):399-399.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  93
    Leibniz Critique de Descartes. [REVIEW]John van Heijenoort - 1961 - Journal of Philosophy 58 (2):53-55.
  7.  3
    Formal Logic and the "Fringe.".John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (2):214-214.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  12
    Xenakis Jason. The logic of proper names. Methodos, vol. 7 no. 25–26 , pp. 13–24.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):396-397.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  39
    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. [REVIEW]John van Heijenoort & Jean Ladriere - 1959 - Journal of Philosophy 56 (7):333-337.
  10. Logical paradoxes.John Van Heijenoort - 1967 - In Paul Edwards (ed.), The Encyclopedia of philosophy. New York,: Macmillan. pp. 45-51.
     
    Export citation  
     
    Bookmark   3 citations  
  11.  17
    Zubieta R. Gonzalo Definiciones formales de numerabilidad. Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 1 no. 1 , pp. 49–56. [REVIEW]John van Heijenoort - 1963 - Journal of Symbolic Logic 28 (3):251-251.
  12.  20
    Badillo M. C.. Lógica trivalente en la automatización de los circuitos. Revista de cálculo automatico y cibernética, vol. 6 , pp. 1–7. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):112-113.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  13.  48
    Badillo Maria de la Cinta. Fundamentos en relación con lógica simbólica polivalente. Gaceta matemática, ser. 1 vol. 7 , pp. 7–13. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):112-112.
  14.  35
    Dotterer Ray H.. Formal logic and the “fringe.” Science and society, vol. 13 no. 3 , pp. 269–271.Parry W. T.. Reply to Professor Dotterer. Science and society, vol. 13 no. 3 , pp. 271–272. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (2):214-214.
  15.  13
    Review: Jose Ferrater Mora, Que es la Logica. [REVIEW]John Van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):350-351.
  16.  5
    Review: Jason Xenakis, The Logic of Proper Names. [REVIEW]John Van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):396-397.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. Review: Moh Shaw-Kwei, Modal Systems with a Finite Number of Modalities; M. C. Badillo Barallat, Esquemas Representativos de Sistemas Regidos por una Logica Polivalente. [REVIEW]John Van Heijenoort - 1960 - Journal of Symbolic Logic 25 (2):184-185.
     
    Export citation  
     
    Bookmark  
  18.  4
    Review: Robert Blanche, Introduction a la Logique Contemporaine. [REVIEW]John Van Heijenoort - 1959 - Journal of Symbolic Logic 24 (1):71-71.
  19.  16
    Review: Roger Martin, Raisonnement Mathematique et Recurrence. [REVIEW]John Van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):358-359.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  17
    Tarski Alfred. ¿ Qué es la geometria elemental? Boletin de la Sociedad Matemática Mexicana, ser. 2, vol. 3 no. 2 , pp. 41–51.Tarski Alfred. What is elementary geometry? The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957—January 4, 1958. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 16–29. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):93-93.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  23
    Bocheński I. M. Spitzfindigkeit. Festgabe an die Schweizerkatholihen, Universitätsverlag, Freiburg 1954, pp. 334–352.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):382-382.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  18
    Hutten Ernest H.. Natural and scientific language. Philosophy, vol. 29 , pp. 27–43.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):400-400.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  10
    Haggstrom Warren C.. On careful reasoning in ordinary language. Analysis , vol. 12 no. 4 , pp. 82–85.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):399-399.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  18
    Martin Roger. Raisonnement mathématique et récurrence. Les études philosophiques, n.s. vol. 11 , pp. 242–262.John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):358-359.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  19
    Review: Alfred Tarski, What is Elementary Geometry? [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):93-93.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  26. 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.
  27.  28
    Book Review: An Introduction to Deductive Logic by Hugues Leblanc. [REVIEW]John van Heijenoort - 1955 - Journal of Philosophy 52 (24):753-754.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  25
    Ackermann Wilhelm. Philosophische Bemerkungen zur mathematischen Logik und zur mathematischen Grundlagenforschung. Ratio , vol. 1 no. 1 , pp. 1–20.Ackermann Wilhelm. Philosophical observations on mathematical logic and on investigations into the foundations of mathematics. English translation. Ratio , vol. 1 no. 1 , pp. 1–23. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):342-343.
  29.  22
    Bense Max. Transzendentale und mathematische Logik. Zeitschrift für philosophische Forschung, vol. 4 no. 4 , pp. 556–571. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):401-402.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30.  13
    Bernays Paul. Mathematische Existenz und Widerspruchsfreiheit. Études de philosophie des sciences, en hommage à F. Gonseth à l'occasion de son soix-antième anniversaire, Éditions du Griffon, Neuch'tel 1950, pp. 11–25. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):210-211.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  9
    Blanché Robert. Introduction à la logique contemporaine. Librairie Armand Colin, Paris 1957, 208 pp. [REVIEW]John van Heijenoort - 1959 - Journal of Symbolic Logic 24 (1):71-71.
  32.  16
    Blanché Robert. Sur la structuration du tableau des connectifs interpropositionnels binaires. [REVIEW]John van Heijenoort - 1959 - Journal of Symbolic Logic 24 (3):228-228.
  33.  8
    Dubarle Le R. P.. Initiation à la logique. Collection de logique mathématique, ser. A no. 13. “Tyme offset.” Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1957, title pages + 91 pp. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):30-30.
  34.  36
    Gentzen Gerhard. Recherches sur la déduction logique. French translation of 4422 by Ladrière Jean, with added footnotes by the translator. Presses Universitaires de France, Paris 1955, XI + 170 pp.Feys Robert. Préface. Therein, pp. VII–XI.Feys Robert. Note A. Les méthodes de déduction naturelle. Therein, pp. 1–2.Feys Robert. Note B. Notation explicite des suppositions. Therein, pp. 29–34.Feys Robert. Note C. Méthodes N de Jaśkowski, Bernays et Johannson. Therein pp. 35–39.Feys Robert. Note D. Variantes des calculs LK et LJ. Therein, pp. 77–83.Ladrière Jean. Note E. Un calcul “MK” analogue au calcul NK. Therein, pp. 84–89.Feys Robert. Note F. Signification des séquences et des schémas de structure. Therein, pp. 90–92.Ladriére Jean. Note G. Les schémas de coupure et de fusion de séquences. Therein, pp. 93–97.Ladriére Jean. Note H. Tableau de la démonstration du théorème fondamental. Therein, pp. 98–100.Ladriére Jean. Note I. Marche de la démonstration du théorème fondamental. Therein, pp. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  4
    Issmann Samuel. Problèmes de la définition. Methodos, vol. 4 , pp. 91–117.Ceccato S., Facchi P., Vaccarino G.. Discussione. Methodos, vol. 4 , pp. 117–118. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):211-212.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  26
    Leibniz Critique de Descartes. [REVIEW]John van Heijenoort - 1961 - Journal of Philosophy 58 (2):53-55.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  16
    Mora José Ferrater. Qué es la lógica. Colección Esquemas. Editorial Columba, Buenos Aires 1957, 73 pp. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):350-351.
  38.  15
    Mora José Ferrater. Diccionario de filosofia. Cuarta edición. Editorial Sudamericana, Buenos Aires 1958, 1481 pp. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (3):249-250.
  39.  23
    Martin Roger. Les idées actuelles sur la structure de la pensée logique. Centre International de Synthèse, Notion de structure et structure de la connaissance, XXe Semaine de Synthèse, 18–27 Avril 1956, Éditions Albin Michel, Paris 1957, pp. 1–16. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):29-29.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  13
    McGill V. J. and Parry W. T.. The unity of opposites: A dialectical principle. Science and society, vol. 12 , pp. 418–444. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (2):212-213.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  13
    Review: Augustin Sesmat, Logique. I. Les Definitions, Les Jugements; Augustin Sesmat, Logique. II. Les Raisonnements, la Logistique. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (1):77-77.
  42.  3
    Review: Erenst H. Hutten, Natural and Scientific Language. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):400-400.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  4
    Review: Gerhard Gentzen, Robert Feys, Recherches sur la Deduction Logique. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. Review: Gonzalo Zubieta Russi, Algunos Teoremas en la Teoria de la Cuantificacion Elemental. [REVIEW]John van Heijenoort - 1964 - Journal of Symbolic Logic 29 (1):56-56.
     
    Export citation  
     
    Bookmark  
  45.  2
    Review: Gonzalo Zubieta R., Clases Aritmeticas Defindas sin Igualdad. [REVIEW]John van Heijenoort - 1964 - Journal of Symbolic Logic 29 (1):55-56.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  21
    R. Gonzalo Zubieta Clases aritméticas definidas sin igualdad. Boletín de la Sociedad Matemática Mexicana, second series, vol. 2 , pp. 45–53. [REVIEW]John van Heijenoort - 1964 - Journal of Symbolic Logic 29 (1):55-56.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  11
    Russi Gonzalo Zubieta. Algunos teoremas en la teoría de la cuantificación elemental. Memoria del Congreso Cientifico Mexicano, I Ciencias fisicas y matemáticas. Universidad Nacional Autónoma de México, Mexico 1953, pp. 100–108. [REVIEW]John van Heijenoort - 1964 - Journal of Symbolic Logic 29 (1):56-56.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  17
    Review: I. M. Bochenski, Spitzfindigkeit. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):382-382.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  16
    Review: Jose Ferrater Mora, Diccionario de Filosofia. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (3):249-250.
  50. Review: Le R. P. Dubarle, Initiation a la Logique. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):30-30.
1 — 50 / 990