Gerhard Heinzmann

ArgumentAccording to Hermann von Helmholtz, free mobility of bodies seemed to be an essential condition of geometry. This free mobility can be interpreted either as matter of fact, as a convention, or as a precondition making measurements in geometry possible. Since Henri Poincaré defined conventions as principles guided by experience, the question arises in which sense experiential data can serve as the basis for the constitution of geometry. Helmholtz considered muscular activity to be the basis on which the form of space could be construed. Yet, due to the problem of illusion inherent in the subject’s self-assessment of muscular activity, this solution yielded new difficulties, in that if the manifold is abstracted from rigid bodies which serve as empirical justification of the geometrical notion of space, then illusionary bodies will produce fictive manifolds. The present article is meant to disentangle these difficulties.

The 14th Congress of Logic, Methodology and Philosophy of Science will be held on July 19-26, 2011, in Nancy, France. In order to provide some historical background about DLMPS Congresses, we are honoured to have the opportunity to reissue a chapter of Anita Burdman Feferman and Solomon Feferman's Alfred Tarski : Life and Logic, dedicated to the early history of the DLMPS and the organization of the first Congress held in 1960 in Stanford. We are very grateful to the authors and the Cambridge University Press for their kind authorization to reissue this text.

Hide Ishiguro, Leibniz’s philosophy of logic and language. 2nd ed. Cambridge:Cambridge University Press, 1990. x + 246pp. £27.50/$49.50 ; £10.95/$16.95 Massimo Mugnai, Leibniz’ theory of relations. Stuttgart:Franz Steiner Verlag, 1992. 291 pp. 96 DM W. A. Wallace, Galileo’s logic of discovery and proof The background, content, and use of his appropriated treatises on Aristotle’s posterior analytics. Dordrecht, Boston, and London:Kluwer, 1992. xxiii + 323 pp. £84, $139, DF1240 W. A. Wallace, Galileo’s logical treatises. A translation, with notes and commentary, of his appropriated Latin questions on Aristotle’s posterior analytics. Dordrecht, Boston, and London:Kluwer, 1992. xix + 239 pp. £65, $;99, DF1185 W. A. Wallace, Galileo’s early notebooks:the physical questions ; Prelude to Galileo: essays on medieval and sixteenth-century sources of Galileo’s thought ; Galileo and his sources: the heritage of the Collegio Romano in Galileo’s science ; and Galileo Galilei:Tractatio de Precognitionibus et Praecognitis and Tractatio de Démonstration Raymond M. Smullyan, GödeVs incompleteness theorems, New York, Oxford:Oxford University Press, 1992. xiii + 139. pp. $29.95 Raymond M. Smullyan, Recursion theory for metamathematics, New York, Oxford:Oxford University Press, 1993. xiv + 163 pp. $29.95 D. MiéVille, Kurt Gödel:Actes du Colloque, Neuchâtel 13-14 juin 1991. Neuchâtel, Switzerland: Centre de Recherches Sémiologiques, Université de Neuchâtel, 1992. iv +200pp. 15 Sfr Geoffrey Hellman, Mathematics without numbers. Oxford:Clarendon Press, 1989. xi + 154 pp. £22.50 Michael Detlefsen Proof, logic and formalization. London and New York:Routledge, 1992. x + 241 pp. £40.00 J. Cavaillès, Método axiomâtico y formalismo. Foreword by S. Ramirez. Translation from the French by C. Alvarez and S. Ramirez. Mexico:Servicios Editoriales de la Facultad de Ciencias, UNAM, 1992. 199pp. No price stated Roberto Poli, Ontologia formale. Genoa:Marietti, 1992, 542 pp. No price stated Jon Barwise and John Etchemendy, The language of first-order logic, 3rd edition, Stanford, CA:CLSI Lecture Notes No. 34, 1992, xiv + 329pp. US $34.95