Results for 'John van Heijenoort'

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.  6
    Natural and Scientific Language.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):400-400.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  43
    The Basic Laws of Arithmetic: Exposition of the System. [REVIEW]John van Heijenoort - 1966 - Journal of Philosophy 63 (1):28-28.
  4.  7
    On Careful Reasoning in Ordinary Language.John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):399-399.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  8
    Les Idées Actuelles sur la Structure de la Penseé Logique.John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):29-29.
  6.  93
    Leibniz Critique de Descartes. [REVIEW]John van Heijenoort - 1961 - Journal of Philosophy 58 (2):53-55.
  7.  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.
  8. 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  
  9.  22
    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  
  10.  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.
  11.  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.
  12.  13
    Review: Jose Ferrater Mora, Que es la Logica. [REVIEW]John Van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):350-351.
  13.  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  
  14. 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  
  15.  4
    Review: Robert Blanche, Introduction a la Logique Contemporaine. [REVIEW]John Van Heijenoort - 1959 - Journal of Symbolic Logic 24 (1):71-71.
  16.  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  
  17.  18
    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  
  18.  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  
  19.  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  
  20.  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  
  21.  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  
  22.  14
    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  
  23.  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  
  24.  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  
  25.  26
    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.
  26.  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  
  27.  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  
  28.  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.
  29.  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.
  30.  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.
  31.  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  
  32.  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  
  33.  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  
  34.  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.
  35.  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.
  36.  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  
  37.  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  
  38.  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.
  39.  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  
  40.  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  
  41. 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  
  42.  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  
  43.  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  
  44.  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  
  45.  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  
  46.  16
    Review: Jose Ferrater Mora, Diccionario de Filosofia. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (3):249-250.
  47. Review: Le R. P. Dubarle, Initiation a la Logique. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (1):30-30.
  48.  21
    Review: M. C. Badillo Barallat, Automatizacion de los Silogismos en una Logica Polivalente. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):112-112.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  49.  17
    Review: M. C. Badillo, Logica Trivalente en la Automatizacion de los Circuitos. [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):112-113.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  50.  8
    Review: Robert Blanche, Sur la Structuration du Tableau des Connectifs Interpropositionnels Binaries. [REVIEW]John van Heijenoort - 1959 - Journal of Symbolic Logic 24 (3):228-228.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 990