Colloque de Logique MathématiqueSource: The Journal of Symbolic Logic, Vol. 18, No. 1 (Mar., 1953), pp. 95-96Published by: Association for Symbolic LogicStable URL: http://www.jstor.org/stable/2266369 .

Accessed: 12/06/2014 13:02

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 support@jstor.org.

.

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 62.122.78.43 on Thu, 12 Jun 2014 13:02:05 PMAll use subject to JSTOR Terms and Conditions

THE JOURNAL OF SYMBOLIC LOGIC

Volume 18, Number 1, March 1953

COLLOQUE DE LOGIQUE MATHE-MATIQUE

A Colloque de Logique Mathimatique, sponsored by the Association for Symbolic Logic in cooperation with the Centre National Belge de Recherches de Logique, the Centre d'Etudes de. Logique Symbolique de l'Universit6 de Paris, and the French and Netherlands Societies for Logic and Philosophy of Science, was held in Paris on August 25-30, 1952. This meeting was made possible by a subvention of UNESCO, and material help extended by the Sorbonne. The sponsoring organizations are moreover greatly indebted to Professors A. ChAtelet, Dean of the Faculty of Science at the Sorbonne, and J.-L. Destouches, of the same Faculty, for making the necessary arrangements.

The participants were offered a reception d'accueil at the Institut Henri Poincare on August twenty-fourth, and a cocktail party in the Maison de 1'UNESCO, by M. Jean Thomas, on August twenty-eighth. At the opening of the meeting Professor ChAtelet addressed the participants, and a message of Professor J. Barkley Rosser, President of the Association, was read. In thirteen sessions, presided over by F. Gonseth (ZUrich), A. Robinson (Toronto), Th. Greenwood (Montreal), A. Heyting (Amsterdam), J. Dopp (Louvain), Djuro Kurepa (Zagreb), I. M. Bochefiski (Fribourg), I. Johansson (Oslo), Count Caracciolo di Forini (Turin), J. H. Woodger (London), R. Feys (Louvain), P. Lorenzen (Bonn), and L. Freire (Recife), there were presented twenty-one reports and smaller communications. A communication by H. B. Curry was presented by title. Two more sessions, presided over by E. W. Beth (Amsterdam) and H. Reichenbach (Los Angeles), were devoted to a general discussion on the themes "Logic and mathe- matics" and "Logic and physics". All sessions were held in the Institut Henri Poincar6 of the Sorbonne.

There follow, in alphabetic order, the titles of reports and communications presented at the meeting,

E. W. BETH A. CHATELET

R. FEYS J.-L. DESTOUCHES

J. B. ROSSER

E. W. BETH (Amsterdam). Observations mdtamathimatiques sur les structures simple- ment ordonndes.

GEORGES BODIOU (Marseille). Utilisation du formalisms quantique a la topologie d'un treillis non modulaire de propositions a posteriori.

HASKELL B. CURRY (State College, Pa.). A logical analysis of program coirnpositiou. (Read by title.)

J.-L. DESTOUCHES (Paris). La logique et les theories physiques. P. DESTOUCHES-FtVRIER (Paris). La logique des propositions expdrimentales. ROBERT FEYS (Louvain). Presentation du problem des applications de la logique

mathdmatique. ROLAND FRANSSt (Alger). Sur les rapports entre la thdorie des relations et la simantique

au sens de A. Tarshi. Luiz FREIRE (Recife). Des rapports entre le langage et les mathimatiques. G. GUITEL (Paris). Schdmatisation de certains theooremes mathematiques. A. HEYTING (Amsterdam). Logique et intuitionisme. I. JOHANSSON (Oslo). Les symboles logiques dans l'enseignement des theories ddductives. G. KREISEL (Reading). Applications of mathematical logic to various branches of

mathematics. DJURo KUREPA (Zagreb). Sur la relation d'inclusion et l'axiome du choix de Zermelo. PAUL LORENZEN (Bonn). Die Rolle der Logik in der Grundlagenkrisis der Analysis.

95

This content downloaded from 62.122.78.43 on Thu, 12 Jun 2014 13:02:05 PMAll use subject to JSTOR Terms and Conditions

96 COLLOQUE DE LOGIQUE MATHEMATIQUE

HERMAN MEYER (Enschede). Application of symbolic logic to the theory of knowledge. H. REICHENBACH (Los Angeles). Les fondements logiques de la thdorie des quanta-

utilisation d'une logique a trois valeurs. J. RIGUET (Paris). Quelques applications de la thdorie des relations binaires. A. ROBINSON (Toronto). L'application de la logique formelle aux mathdmatiques. ALAN ROSE (Ulverston). A lattice-theoretic characterization of the propositional cal-

culus with variable functors. JACQUES SUBLET (Trey pres Payerne). Essai de formalisation complete du raisonne-

ment mathdmatique sur la base de trois operations. Dov TAMARI (Paris). Some mutual applications of logic and mathematics. J. H. WOODGER (London). Problems arising from the application of mathematical

logic to biology.

A Colloque de Logique sponsored by THE ASSOCIATION FOR SYMBOLIC LOGIC and THE INTERNATIONAL UNION FOR PHILOSOPHY OF SCIENCE will be held on August 18-19 and August 28-29 in Brussels, in connection with the Eleventh International Congress of Philosophy, which will take place in Brussels on August 20-26, 1953. Members desiring information should write to the chairman of the Program Committee, Professor R. Feys, Rue de Tirlemont 108, Louvain, Belgium.

This content downloaded from 62.122.78.43 on Thu, 12 Jun 2014 13:02:05 PMAll use subject to JSTOR Terms and Conditions