Feys Robert. Nature et possibilités de la logique formalisée. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & C1e, Paris, 1951, pp. 69–80.Feys Robert. La formalisation comme suggestion rigoureuse. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques intemationaux du Centre National de la Recherche Scientifique no. 36, Paris, 1953, pp. 53–58 [Book Review]

Journal of Symbolic Logic 20 (1):66-66 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268070

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,532

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Haskell B. Curry. Philosophische Bemerkungen zu einigen Problemen der mathematischen Logik. Archiv für Philosophie, vol. 4 no. 2 , pp. 147–156. - Haskell B. Curry. L-semantics as a formal system. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 19–29. - Haskell B. Curry. On the definition of substitution, replacement and allied notions in an abstract formal system. Revue philosophique de Louvain, vol. 50 , pp. 251–269. - Haskell B. Curry. Mathematics, syntactics and logic. Mind, n. s. vol. 62 , pp. 172–183. - Haskell B. Curry. Les systèmes formels et les langues. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 1–9. - Paul Bernays, L. E. J. Brouwer, Haskell B. Curry, A. Heyting, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques i. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
Lukasiewicz Jan. Sur la formalisation des théories mathématiques. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 11–19.Bernays Paul, Robinson Abraham, Curry Haskell B.. Discussion. Les méthodes formelles en axiomatique, Paris, décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 19–21. [REVIEW]Steven Orey - 1957 - Journal of Symbolic Logic 22 (2):214-214.
Johansson Ingebrigt. Sur le concept de “le” dans le calcul affirmatif et dans les calculs intuitionnistes. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 65–72.Feys R., Johansson Ingebrigt. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, p. 72. [REVIEW]Theodore Hailperin - 1958 - Journal of Symbolic Logic 23 (3):346-346.
Hermes H.. Sur le concept d'axiomatisabilité. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 23–25.Bernays Paul, Robinson Abraham. Discussion. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, p. 26. [REVIEW]Jonathan Bennett - 1957 - Journal of Symbolic Logic 22 (1):83-83.
A. Ch'telet. Allocution d'ouverture. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. XIII. - L. E. J. Brouwer. Discours final. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 75. - Abraham Robinson. On axiomatic systems which possess finite models. Methodos, vol. 3 , pp. 140–149. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):186-186.
Heyting A.. Espace de Hilbert et intuitionnisme. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 59–63.Bernays Paul, Hermes H., Heyting A., Johansson Ingebrigt, Robinson Abraham. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, p. 64. [REVIEW]Sigekatu Kuroda - 1958 - Journal of Symbolic Logic 23 (2):228-229.
Bernays Paul, Beth E. W., Brouwer L. E. J., Destouches Jean-Louis, Feys R.. Discussion générale. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 73–74. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):185-186.
Bernays Paul. Logique et science. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, pp. 1–5. [REVIEW]P. G. J. Vredenduin - 1956 - Journal of Symbolic Logic 21 (1):91-91.
Meyer Herman. La négation et la logique. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, pp. 91–101. [REVIEW]Frederic B. Fitch - 1957 - Journal of Symbolic Logic 22 (4):383-383.
Beth E. W.. L'état actuel du problème logique des antinomies. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, S. 7–14. [REVIEW]Paul Lorenzen - 1957 - Journal of Symbolic Logic 22 (4):369-369.
Dubarle H. D.. La logique symbolique d'inspiration nominaliste et sa signification philosophique. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, pp. 55–67. [REVIEW]Erik Götlind - 1959 - Journal of Symbolic Logic 24 (3):269-269.
Heyting A.. L'axiomatique intuitionniste. Congrès International de Philosophic des Sciences, Paris 1949, II Logique, Actuality scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, pp. 81–86. [REVIEW]Paul Bernays - 1958 - Journal of Symbolic Logic 23 (3):343-344.
Review: Robert Feys, Nature et Possibilites de la Logique Formalisee; Robert Feys, La Formalisation comme Suggestion Rigoureuse. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (1):66-66.
van Dantzig D.. Mathématique stable et mathématique affirmative. Congrès International de Philosophie des Sciences, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris 1951, pp. 123–135. [REVIEW]P. C. Gilmore - 1956 - Journal of Symbolic Logic 21 (3):323-324.
Sesmat Augustin. Logique. I. Les définitions, les jugements. Actualités scientifiques et industrielles 1086. Hermann & Cie, Paris 1950, 360 pp.Sesmat Augustin. Logique. II. Les raisonnements, la logistique. Actualités scientifiques et industrielles 1130. Hermann & Cie, Paris 1951, pp. 361–776. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (1):77-77.

Analytics

Added to PP
2016-06-30

Downloads
9 (#1,245,240)

6 months
3 (#968,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references