Gerhard Heinzmann

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

According to a pragmatist, philosophical thought bears on the link between the construction and the description of mathematical objects. Thanks to his development of «theorematic reasoning», Peirce succeeded in bringing forward a pragmatic interpretation of a mathematical structure, exhibiting however an inherent vagueness with regard to the categoricalness of the structure. — In this matter, Gonseth's model of reconstruction of an axiomatic system can be resorted to: the logical genesis of a structure considered in his «Idoneism» corresponds to Peirce's program of explaining the meaning of a concept by means of a cumulative sequence of interpretants.

English summary: This ambitious study proposes an analysis of intuition that will allow us to understand it cognitive role in the justification of our beliefs and philosophical and mathematical reasoning. The book first demonstrates that the cognitive function of intuition passes through a semiotic system before situating the semantic treatment of intuition in the context of classic problems in philosophy, logic, and mathematics. French description: Proposer une symptomatique de l'intuition nous permettant de comprendre son fonctionnement cognitif dans la justification de nos croyances et de nos raisonnements philosophiques et mathematiques, tel est le defi releve dans ce livre. La premiere partie montre que la fonction cognitive de l'intuition dans la comprehension et la justification passe par l'utilisation d'un systeme semiotique. Un tel systeme est utilise intuitivement si, dans une action situee, les aspects significatifs et representatifs sont interdependants. Une demande de legitimation de ce qui est represente ne se place pas au meme niveau de reflexion que celui de l'intuition. Qu'elle puisse etre a la fois evidente et faillible n'a des lors rien de paradoxal. La deuxieme partie montre qu'envisager l'intuition dans une symptomatologie ne nous eloigne pas de la tradition philosophique. Au contraire, le traitement semantique de la question de l'intuition eclaire certains problemes classiques en philosophie, en logique et en mathematiques; et il permet de relire a nouveaux frais aussi bien Aristote, Descartes ou Kant, que Helmholtz, Poincare, Brouwer, Weyl, Beth et Cavailles.

"Dialogisches Handeln" ist eine Sammlung von philosophischen BeitrAgen zum dialogischen Konstruktivismus im Sinne von Kuno Lorenz, der Philosophie als eine Kommunikation mit Selbstreflexion versteht. Dabei umfaAt der Dialog in diesem Buch verschiedene Disziplinen der Philosophie - von der Anthropologie A1/4ber die Grundlagen von Logik und Sprachphilosophie bis hin zur Wissenschafts- und Erkenntnistheorie. Die Reflexion auf die kommunikativen Grundlagen wissenschaftlichen Austauschs schlieAt dabei Denkperspektiven verschiedener Wissenschaften - von der Psychologie bis zu Physik und Chemie - ebenso ein wie die philosophischen Disziplinen.