Is Church’s Picture of Frege a Good One?
Résumé
A. Church has contributed a lot to the safeguard of G. Frege's theory of meaning after the discovery of antinomies in it. To achieve this he has adapted it by keeping parts, discarding others and adding new ones, most of which are clearly exposed in an informal way in the introduction to his Introduction to Mathematical Logic. As for any modification of a theory by another person, it is interesting to understand how the thoughts of the former survive in the new theory even though radical changes have occurred, or on the contrary how it retains only the appearance of the initial theory. We shall therefore go through the basic concepts of logic he introduces in this introduction and assess their relation to Frege's original theory.
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.