L'histoire des fondements des mathématiques du xxe siècle montre qu'il nous faut réviser la signification des notions philosophiques traditionnelles comme « évidence », « existence », « expérience » ou « rationalité ». On expose comment le logicien Paul Bernays, familier des conceptions de la philosophie de Jacob Friedrich Fries et de Léonard Nelson, donne aux résultats techniques une interprétation philosophique dont il s'inspire de plus en plus - à partir du milieu du siècle - de la « philosophie ouverte (...) » de Ferdinand Gonseth. Bien avant Thomas Kuhn, Bernays conçoit la révision envisagée non pas simplement comme une question de vérité ou de fausseté, mais comme un problème exigeant l'introduction d'un nouveau système conceptuel. Cependant, l'affaiblissement du concept de vérité est pour lui une conséquence épistémologique provenant de la théorie de la connaissance adoptée et non une conséquence méthodologique issue d'un changement de paradigme et donc d'une incommensurabilité. (shrink)

This article presents Tarski's Address at the Princeton Bicentennial Conference on Problems of Mathematics, together with a separate summary. Two accounts of the discussion which followed are also included. The central topic of the Address and of the discussion is decision problems. The introductory note gives information about the Conference, about the background of the subjects discussed in the Address, and about subsequent developments to these subjects.

In 1951 C.I.Lewis published a logic of general terms that he called the calculus of predicates. Although this system is of less significance than Lewis’s earlier work on proposition...