Navigation – Plan du site
Varia

Is Church’s Picture of Frege a Good One?

Zoé McConaughey
p. 231-245

Résumés

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.

Haut de page

Accès au texte / extrait

Cairn

Texte intégral en libre accès disponible sur le portail Cairn. Le texte intégral en libre accès sera disponible à cette adresse en janvier 2018.
Consulter cet article

Plan

1 Introduction
2 Proper names
2.1 Natural language and proper names
2.2 Sense and denotation
2.3 Getting closer to mathematics
3 Functions and sentences
3.1 Functions
3.2 Truth-values and sentences
3.3 Sentences as names
4 Logic and its methods
4.1 Different perspectives on logic
4.2 The logistic method
4.3 What is logic?
Conclusion

Aperçu du début du texte

1 Introduction

Alonzo Church (1903-1995) was an American mathematician and logician and “Frege’s most powerful exponent” [Burge 1979]. He published in 1956 an influencial textbook, Introduction to Mathematical Logic, which was intended for beginners to learn logic and for advanced people to use as a reference. The content is therefore structured into didactic loops: the start point (§00 of the introduction) is an answer to What is logic? Church then takes the reader through the basic concepts of logic in an informal way so that at the end of the introduction, the first loop has reached the starting point with a clearer notion of what logic is. A second loop goes through the rest of the chapters of the book with a formal and rigorous approach to logic and with the same aim: give to the reader an ever clearer notion of logic.

We shall be concerned here only with the introduction. Frege’s influence is patent in it and Church even declares that “the theory which will be adopted here, [is]...

Haut de page

Pour citer cet article

Référence électronique

Zoé McConaughey, « Is Church’s Picture of Frege a Good One? », Philosophia Scientiæ [En ligne], 18-3 | 2014, mis en ligne le 28 novembre 2014, consulté le 25 avril 2017. URL : http://philosophiascientiae.revues.org/981 ; DOI : 10.4000/philosophiascientiae.981

Haut de page

Auteur

Zoé McConaughey

Université de Lille 3 -- UMR 8163 (France)

Haut de page

Droits d’auteur

Tous droits réservés

Haut de page