Recherches sur l'universalisme logique : deux études sur Russell et Carnap

par François Rivenc

Thèse de doctorat en Philosophie

Sous la direction de Jacques Bouveresse.

Soutenue en 1992

à Paris 1 .


  • Résumé

    La logique moderne se construit aujourd’hui dans l’esprit de la "théorie des modèles", avec ses distinctions standards entre "langage-objet" et "meta-langage". Le but de ces recherches est d'interroger les présupposés philosophiques à l'œuvre dans cette distinction. Dans ce but, la philosophie de la logique qui sous-tendait l'œuvre des pères fondateurs de la logique mathématique doit être systématiquement étudiée. L'œuvre fondatrice de Russell apparait ainsi guidée par l’idéal de l'"universalisme positif", idéal qui guide la construction effective de la logique selon les règles de la théorie des types logiques ; au passage, la genèse et la portée du principe du cercle vicieux sont au centre de l'attention : les questions du réalisme ou du constructivisme de l'ontologie de Russell peuvent de ce point de vue recevoir des éclairages nouveaux. L'œuvre de Carnap doit également être inscrite au compte de cette inspiration initialement universaliste, comme le montre le projet d'internalisation de la syntaxe logique du langage dans les systèmes formels construits et étudiés par Carnap. Cependant, les résultats d'incomplétude de Godel ont une portée négative directe sur ce projet, et en particulier sur le but essentiel poursuivi par Carnap : définir l'analyticité des mathématiques classiques. Finalement, la perspective universaliste succomba sous le coup de ces résultats de limitation.

  • Titre traduit

    Logical universalism : two studies about Russell and Carnap


  • Résumé

    Modern logic is today studied in the spirit of the "theory of models" with its standard distinction between "object-language" and "meta-language". The aim of this research is of putting to the question the philosophical pr-suppositions of this distinction and its working. Hence we must systematically study the philosophy of logic endorsed by the fathers of mathematical logic. For instance, the ideal of the "positive" universalism guides the way for the fundamental work of russell, and for the effective construction of logic along the lines of the theory of logical types. The origin and the scope of the "vicious-circle principle" is here in the focus, and we pay particular attention to the question : realism versus constructivism from the point of view of russell's ontology. Carnap's work was initially driven by this ideal of the universality of logic, as we can see by looking the endeavour to express the logical syntax of language in the formal systems constructed and studied by carnap, but godel's incompleteness results directly struck this project, and particularly the essential aim of carnap, which was to define the concept of mathematical analyticity. And finally, those negative results brought the universalist trend of thought to an end.

Autre version

Cette thèse a donné lieu à une publication en 1993 par Payot à Paris

Recherches sur l'universalisme logique : Russell et Carnap


Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (463 f.)
  • Notes : Publication autorisée par le jury

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Bibliothèque Pierre Mendès France (Paris).
  • Consultable sur place dans l'établissement demandeur
  • Cote : R 92 ! 125
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : I 4= 16257

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Bibliothèque interuniversitaire de la Sorbonne. Fonds général.
  • Non disponible pour le PEB
  • Cote : TMC 750
  • Bibliothèque : Université de Lorraine. Direction de la Documentation. Bibliothèque universitaire Lettres et sciences humaines.
  • Disponible pour le PEB
  • Cote : Mf 9977
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.

Consulter en bibliothèque

Cette thèse a donné lieu à une publication en 1993 par Payot à Paris

Informations

  • Sous le titre : Recherches sur l'universalisme logique : Russell et Carnap
  • Dans la collection : Bibliothèque scientifique Payot , 0768-0112
  • Détails : 1 vol. (XV-312 p.)
  • ISBN : 2-228-88689-0
  • Annexes : Bibliogr. p. [291]-299. Notes bibliogr. Index
La version de soutenance de cette thèse existe aussi sous forme papier.

Où se trouve cette thèse\u00a0?