Is Church’s Picture of Frege a Good One?

Abstract

A. Church a beaucoup contribué à la sauvegarde de la théorie de la signification de G. Frege bien que des antinomies aient été découvertes en son sein. Church a dû pour cela adapter sa théorie en gardant certaines parties, en supprimant d'autres et en en ajoutant de nouvelles, la plupart exposées de manière informelle dans l'introduction de son Introduction to Mathematical Logic. Comme pour toute reprise d'une théorie par un autre penseur, il est intéressant de comprendre dans quelle mesure la pensée du premier subsiste malgré d'importants changements dans la nouvelle théorie, ou bien au contraire dans quelle mesure cette nouvelle pensée ne conserve que l'apparence de l'ancienne. Nous étudierons donc chaque concept fondamental de la logique que Church introduit à cette occasion et nous évaluerons ses rapports avec la théorie originale de Frege.