Further Citations Source: The Journal of Symbolic Logic, Vol. 14, No. 2 (Jun., 1949), pp. 142-144 Published by: Association for Symbolic Logic Stable URL: http://www.jstor.org/stable/2266549 . Accessed: 10/06/2014 08:19 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp . JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. . Association for Symbolic Logic is collaborating with JSTOR to digitize, preserve and extend access to The Journal of Symbolic Logic. http://www.jstor.org This content downloaded from 195.78.109.193 on Tue, 10 Jun 2014 08:19:58 AM All use subject to JSTOR Terms and Conditions
Transcript
Further CitationsSource: The Journal of Symbolic Logic, Vol. 14, No. 2 (Jun., 1949), pp. 142-144Published by: Association for Symbolic LogicStable URL: http://www.jstor.org/stable/2266549 .
Accessed: 10/06/2014 08:19
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at .http://www.jstor.org/page/info/about/policies/terms.jsp
.JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range ofcontent in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new formsof scholarship. For more information about JSTOR, please contact [email protected].
.
Association for Symbolic Logic is collaborating with JSTOR to digitize, preserve and extend access to TheJournal of Symbolic Logic.
http://www.jstor.org
This content downloaded from 195.78.109.193 on Tue, 10 Jun 2014 08:19:58 AMAll use subject to JSTOR Terms and Conditions
ErTORE CARRUCCIO. Alcune consegitenze di un risultato del Godel e la razionalita del reale. Atti della Societa dei Naturalisti e Matematici di Modena, vol 78 (1947), pp. 88-90.
Apparently Giorgi's note, reviewed above, is based primarily on this paper of Carruccio. Here Carruccio repeats from his XIII 225(2) (which was presented to the Pontifical Academy in 1945) the point which is numbered (1) in the foregoing review. But instead of regarding the point as being (at most) an objection against the importance of a consistency proof of a system S carried out within S itself, he somehow takes it to mean directly that such a consistency proof must be formally invalid, if S is consistent; and thus he is led to a fallaci- ously simplified demonstration of this result of Godel.
The paper describes also the author's construction of ultrarational numbers, along approximately the same lines as XIII 225(2). ALONZO CHURCH
ETrTORE CARRUCCIO. Sull'impossibilital di esprimere integralmente in simboli un sistema ipotetico-deduttivo. Ibid., pp. 91-92.
CHARLES MORRIS. Recent studies in meaning and communication. Sigma, Vol. 2 no. 8-9 (1948), pp. 454-458.
SILVIO CECCATO. Reviews of Morris's Signs, language, and behavior (XII 49) and Cohen's Introduzione alla logica (Italian translation of X 135(5)). Ibid., pp. 547-549.
ALDO VISALBERGHI. Review of Fondamenti logici della scienza (cf. XIII 226, 227)
Rivista difilosofia, vol. 39 (1948), pp. 75-80.
KURT GODn?r Sovmtstimost' aksiomy vybora i obobsc'nnoj kontinuum-gipottzy s aksio- mnami tMorii mnozestv. Russian translation of VI 112 by A. A. Markov. Uspehi matema- ticeskih nauk, vol. 3 no. 1 (1948), pp. 96-149.
WITOLD GALE*SKI. Zygmunt Zawirski, wspomnienie pogmiertne (Zygmunt Zawirski, an obituary notice). kycie nauki, vol. 6 (1948), pp. 81-84.
MIECZYSLAW CHOYNOWSKI. Review of Woodger's The technique of theory construction (V 23). Polish. Ibid., vol. 5 (1948), pp. 424-429.
MIECZYSLAW CHOYNOWSKI. Czyfilozofla jest naukq? (Is philosophy a science?). Prze- glqdfilozoficzny, vol. 44 no. 1-3 (1948), pp. 198-217. English summary, ibid., pp. 293-297.
A critical study of Ducasse's Philosophy as a science (VI 159).
ARNE NA:ss. Endel elementwre logiske emner (Quelques sujets 6l6mentaires de lo- gique). Universitetets Studenterkontor, Oslo 1941, 16 pp.
ARNE Nxss. Logikk som elementart undervisningsfag (La logique comme matiere 616- mentaire dans l'enseignement). Norsk pedagogisk tidskrift, vol. 25 no. 4 (1941), pp. 122- 127.
ARNE NA:ss. Symbolsk logikk. I. Mimeographed. Studentkontoret, Oslo 1942, 110
PP. ARNE Nscss. Grunnlagsforskning. Universitetspedagogikens problemer. (Foundations
of science research. Problems of university pedagogics.) Norsk pedagogisk tidskrift, vol. 27 no. 3 (1941), pp. 59-66, and vol. 27 no. 4 (1941), pp. 81-86.
ARNE NAnss. Oppgavesamling i logikk med kommentarer (Exercises in logic, with com- mentaries). 3rd edn., Studentkontoret, Oslo 1944, 58 pp.
These references are taken, without sight of the publications themselves, from Theoria, vol. 7 p. 168, vol. 8 p. 78, vol. 8 p. 311, vol. 9 p. 235, vol. 10 p. 260.
FRANQOIS LE LIONNAIS. Presentation. Les grands courants de la pensee mathima. tique, Cahiers du Sud, 1948, pp. 13-17.
FRANgOIs LE LIONNAIS. Structures. Ibid., pp. 21-23. RMILE BOREL. La definition en mathematiques. Ibid., pp. 24-34. NICOLAS BOURBAKI (pseudonym). L'architecture des mathematiques. Ibid., pp. 35-47. ALBERT LAUTMAN. Symetrie et dissymetrie en mathematiques et en physique. Ibid., pp.
54-65.
This content downloaded from 195.78.109.193 on Tue, 10 Jun 2014 08:19:58 AMAll use subject to JSTOR Terms and Conditions
GEORGES BOULIGAND. Cheminements intuitifa verse quelques organes essentially de la mathe- matique. Ibid., pp. 66-74.
JEAN DIEUDONNt. David Hilbert (1862-1943). Ibid., pp. 291-297. FRANGOIS LE LIONNAIS. Les math~matiques et la philosophie. Ibid., pp. 347-349. MARCEL BOLL and JACQUES REINHART. La aynthhse logique des rtsultats et des recherches.
Ibid., pp. 350-364. RAYMOND QUENEAU. La place des mathematiques dans la classification des sciences.
Ibid., pp. 393-397.
S. I. DocKX. De la nature et du but de l'Institut International des Sciences ThMoriques. Probltmes de philosophic des sciences (Premier symposium-Bruxelles 1947), 1, Les mWthodes de la connaissance, Actualitds scientifiques et industrielles 1059, Hermann & C0% Paris 1948, pp. 7-10.
H. J. Pos. Le symbolisme de la connaissance et l'idte de l'unitt du savoir. Ibid., pp. 11- 16.
E. W. BETH. La cosmologie, dite naturelle, et les sciences mathtmatiques de la nature. Ibid., pp. 17-24.
R. BAYER, E. W. BETH, L. E. J. BROUWER, A. DALCQ, J. DAUJAT, TH. DE DONDER, J. L. DESTOUCHES, H. DINGLE, F. FIALA, F. GONSETH, H. JANNE, G. LEMAITRE, J. H. Pos, M. J. SIRKS, H. WEYL. Discussion. Ibid., pp. 25-41.
H. D. DUBARLE. La synthhe inductive. Ibid., pp. 43-60. R. BAYER, J. L. DESTOUCHES, H. D. DUBARLE, F. GONSETH, A. HEYTING. Discussion.
Ibid., pp. 61-69.
B. RUSSELL. Postulates of scientific inference. Actes du Xme Congrhs International de Philosophie (Amsterdam, 11-18 aofit, 1948)-Proceedings of the Tenth International Con. gress (Amsterdam, August 11-18, 1948), North-Holland Publishing Company, Amsterdam 1949, pp. 33-41.
P. BERNAYS. Die erneuerung der rationalen Aufgabe. Ibid., pp. 42-50.
L. J. RUSSELL. Propositions and proposals. Ibid., pp. 618-620.
HENRYK MEHLBERG. Les hypothbaes invirifiables dans la science empirique. Ibid.,- pp. 627-628.
B. FOGARASI. Le principe fondamental de la dialectique. Ibid., pp. 645-646.
D. DUBARLE. Logique et rtflexion. Ibid., pp. 649-652.
P. FRUTIGER. Logique ntcessaire et logique obligatoire. Ibid., pp. 655-657.
tTIENNE BODA. Bases tpisttmologiques, logiques et axiologiques d'un tournant et d'une renaissance philosophies. Ibid., pp. 671476.
J. PICARD. Les normes logiques du raisonnement. Ibid., pp. 677-680.
D. RIABOUCHINSKY. Rehabilitation du recourse I 'intuition sensible en analyse math6- matique. Ibid., pp. 713-714.
P. LORENZEN. The overcoming of logical relativism. Ibid., p. 717.
A. VIRIEUX-REYMOND. La logique stotcienne. Ibid., pp. 718-719.
K. DURR. Les diagrammes logiques de Leonhard Euler et de John Venn. Ibid., pp. 720- 721.
K. R. POPPER. The trivialization of mathematical logic. Ibid., pp. 722-727. Errata, ibid., p. 1259.
This was reviewed from the preprint, XIV (62).
J. C. C. McKINSEY. Construction of systems of modal logic. Ibid., p. 740.
This content downloaded from 195.78.109.193 on Tue, 10 Jun 2014 08:19:58 AMAll use subject to JSTOR Terms and Conditions
S. C. KLEENE. On the intuitionistic logic. Ibid., pp. 741-743. This was reviewed from the preprint, XIV (63).
W. SZMIELEW. Decision problem in group theory. Ibid., pp. 763-766. This was reviewed from the preprint, XIV (63).
A. GRZEGORCZYK. Un essai d'etablir la semantique du langage descriptif. Ibid., pp. 776-778.
This was reviewed from the preprint, XIV (64).
MAX BLACK. The justification of induction. Ibid., pp. 791-793.
HANS REICHENBACH. The philosophical analysis of quantum mechanics. Ibid., pp. 824- 825.
J. L. DESTOUCHES. Synth~se inductive et adequation: un nouveau type de rationality. Ibid., pp. 826-829.
P. DESTOUCHES-FivRIER. Sur les rapports entre la logique et la physique theorique. Ibid., pp. 830-832.
R. DE BENGY PUYVALLfE. Esquisse d'une epistemologie de la physique theorique. Ibid., pp. 835-836.
M. CAZIN. Persistance des structures formelles dans le developpement des theories phy- siques. Ibid., pp. 837-838.
H. MEYER. On the heuristic value of scientific models. Ibid., pp. 862-865.
J. J. CALLAHAN. The philosophical problem of meaning. Ibid., pp. 944-946.
A. HAYEN. La leqon d'un Congres international. Revue philosophique de Louvain, vol. 46 (1948), pp. 524-538.
An account of the Tenth International Congress of Philosophy (Amsterdam).
E. W. BETH. De exact-wetenschappelijke wijsbegeerte op het Congres van Amsterdam (Exact-scientific philosophy at the Congress of Amsterdam). Algemeen Nederlands tijd- schrift voor wijsbegeerte en psychologie, vol. 41 no. 1 (1948), pp. 9-14.
A meeting of the Association for Symbolic Logic will be held on December 27-29, 1949, at Clark University, Worcester, Massachusetts. Members who wish to submit papers should send three copies of abstracts (less than three hundred words), to the chairman of the program committee, Mrs. Alice A. Lazerowitz, 69 Lyman Road, Northampton, Massa- chusetts, before October 15, 1949.
This content downloaded from 195.78.109.193 on Tue, 10 Jun 2014 08:19:58 AMAll use subject to JSTOR Terms and Conditions
