RUSSELL BERTRAND lord (1872-1970)

Carte mentale

Élargissez votre recherche dans Universalis

La logique de Russell

La logicisation de l'arithmétique

Le projet de Russell commence par un effort de logicisation de l'arithmétique, qui sera suivi par l'élaboration du calcul des propositions, du calcul des classes et du calcul des relations.

La définition du nombre est obtenue au moyen du concept de classes semblables. Une classe est constituée par le ou les membres qui lui appartiennent (∈ α). C'est par la relation d'appariement entre membres de classes que s'opère la définition du nombre, en sorte que dire d'une chose qu'elle a « même nombre » qu'une autre équivaut à dire qu'elles ont une relation de « similarité ». Cela n'est circulaire qu'en apparence ; car c'est, en dernière analyse, la relation terme à terme (biunivoque et réciproque) qui fonde la ressemblance de classes. Ainsi, le nombre 3 est une classe de classes de trios, puisque tous les termes de celles-ci peuvent être appariés terme à terme. Sans être naturelle, puisqu'on va jusqu'à dire que les nombres entiers positifs forment une suite naturelle, cette théorie a l'avantage d'être logiquement la plus parcimonieuse : entia non multiplicanda. Elle n'exige que la réflexivité, la symétrie et la transitivité de la relation entre membres constitutifs des classes appariées. Le nombre cardinal ainsi récupéré du point de vue logique, restent l'ordinal et le zéro.

L'axiome d'infinité exige qu'il y ait toujours des nombres au-delà de tout nombre n fini assignable. Il y a un nombre infini d'objets. Cela peut se démontrer logiquement. L'ordinal étant intégré par la même procédure (cantor-dedekindienne) que le cardinal, Russell, disposé à admettre des classes vides, peut de même réduire le zéro à la classe des classes vides, c'est-à-dire la classe de celles qui ne comprennent aucun membre.

En dépit des controverses suscitées par la théorie russellienne, celle-ci a eu en son temps le mérite de tenter une logicisation com [...]

1 2 3 4 5

pour nos abonnés,
l’article se compose de 10 pages




Écrit par :

  • : membre de l'Académie royale de Belgique, professeur aux universités de Liège et de Bruxelles, président du Centre national de recherche de logique

Classification


Autres références

«  RUSSELL BERTRAND lord (1872-1970)  » est également traité dans :

BRADLEY FRANCIS HERBERT (1846-1924)

  • Écrit par 
  • Jean WAHL
  •  • 3 606 mots

Dans le chapitre « Les valeurs liées à l'expérience »  : […] On trouve dans les Essays on Truth and Reality toute une polémique, dirigée, d'une part, contre James, d'autre part, contre Russell ; ni le pragmatisme ni l' empirisme radical ne peuvent contenter Bradley. Il montre les ambiguïtés du pragmatisme. Si l'on parle d'expérience immédiate, que fait-on des expériences passées et des expériences à venir ? Aucun des deux philosophes, […] Lire la suite☛ http://www.universalis.fr/encyclopedie/francis-herbert-bradley/#i_15921

CONCEPTUALISME, philosophie

  • Écrit par 
  • Joseph VIDAL-ROSSET
  •  • 1 327 mots

Dans le chapitre « Le prédicativisme, expression logique du conceptualisme ontologique »  : […] Pour éviter toute confusion entre ces deux usages, il serait évidemment préférable de convenir de l'utiliser pour faire référence à l'une ou bien à l'autre position. Dans Nécessité ou Contingence (1984), Jules Vuillemin réserve le terme de conceptualisme à ce que l'on a appelé le conceptualisme ontologique, et utilise le terme d'intuitionnisme pour faire référence à une pos […] Lire la suite☛ http://www.universalis.fr/encyclopedie/conceptualisme-philosophie/#i_15921

DEWEY JOHN (1859-1952)

  • Écrit par 
  • Jean-Pierre COMETTI
  •  • 1 897 mots

Dans le chapitre « Le pragmatisme de John Dewey »  : […] La philosophie de John Dewey appartient au courant auquel C. S. Peirce a primitivement donné le nom de pragmatisme pour désigner une méthode, plus qu'une doctrine, attentive aux effets pratiques de nos idées et à leurs résultats observables. La première philosophie à laquelle Dewey doit une grande part de son inspiration n'est toutefois ni celle de Charles S. Peirce, ni cell […] Lire la suite☛ http://www.universalis.fr/encyclopedie/john-dewey/#i_15921

EMPIRISME

  • Écrit par 
  • Edmond ORTIGUES
  •  • 13 313 mots
  •  • 1 média

Dans le chapitre « Croyance et connaissance »  : […] Dans l'introduction de Human Knowkledge (1948), Russell écrivait : « Toujours depuis Kant, et il serait plus juste de dire depuis Berkeley, a existé parmi les philosophes une tendance que je considère comme illusoire, la tendance à admettre que la description du monde est influencée outre mesure par des considérations dérivées de la nature de la connaissance humaine » (p.  […] Lire la suite☛ http://www.universalis.fr/encyclopedie/empirisme/#i_15921

ÉPISTÉMOLOGIE

  • Écrit par 
  • Gilles Gaston GRANGER
  •  • 13 082 mots
  •  • 4 médias

Dans le chapitre « L'épistémologie « post-russellienne » »  : […] Bertrand Russell est probablement le philosophe contemporain qui a le plus vigoureusement mis en vedette de nouveaux thèmes épistémologiques et celui qui a donné le branle à des interrogations et à des critiques qui continuent d'en féconder le champ. L'idée dominante est ici celle d'un rationalisme du langage, par opposition au rationalisme de la perception qui était au cœur de l'épistémologie ka […] Lire la suite☛ http://www.universalis.fr/encyclopedie/epistemologie/#i_15921

ÊTRE, philosophie

  • Écrit par 
  • Giulio GIORELLO
  •  • 4 682 mots

Dans le chapitre « L'existence n'est pas un prédicat »  : […] Rappelons brièvement la réponse donnée jadis par Leibniz. Pour Leibniz, il y a « une raison » pour que quelque chose existe plutôt que rien, en vertu du principe même de la raison suffisante. Cette raison doit se trouver dans un Être nécessaire – autrement, on devrait à nouveau chercher une cause en dehors de lui, en vertu de laquelle lui-même existe au lieu de ne pas exister. Dans […] Lire la suite☛ http://www.universalis.fr/encyclopedie/etre-philosophie/#i_15921

EXPÉRIENCE

  • Écrit par 
  • Pascal ENGEL
  •  • 7 131 mots
  •  • 1 média

Dans le chapitre « L'empirisme logique et la construction logique du monde »  : […] Le programme empiriste classique ne peut mener qu'au scepticisme, parce qu'il paraît incapable de fonder la connaissance, et en particulier la connaissance scientifique, sur l'expérience sensible : comment celle-ci, si elle est intrinsèquement subjective, peut-elle justifier une connaissance objective et universelle ? Et comment peut-on espérer dériver « empiriquement » les concepts des mathématiq […] Lire la suite☛ http://www.universalis.fr/encyclopedie/experience/#i_15921

FREGE GOTTLOB (1848-1925)

  • Écrit par 
  • Claude IMBERT
  •  • 3 260 mots

Dans le chapitre « L'antinomie »  : […] Malheureusement, Frege ne parvint pas à composer un système logique impeccable, et la loi V des Lois fondamentales donna à B. Russell l'occasion de formuler l'antinomie des classes en posant la question suivante : si un concept est défini pour tout argument, quelle est la valeur (vrai ou faux) du concept être une classe qui n'appartient pas à soi-même , […] Lire la suite☛ http://www.universalis.fr/encyclopedie/gottlob-frege/#i_15921

IDENTITÉ

  • Écrit par 
  • Annie COLLOVALD, 
  • Fernando GIL, 
  • Nicole SINDZINGRE, 
  • Pierre TAP
  •  • 13 233 mots
  •  • 1 média

Dans le chapitre « Les significations de l'identité et la logique de l'identité »  : […] On n'entrera pas dans l'étude de la logique de l'identité, si ce n'est d'une certaine façon pour noter que les deux dimensions mentionnées y interviennent encore. C'est en relation avec l'égalité et la substituabilité que l'identité est élucidée – plutôt qu'elle n'est définie, comme l'a observé Frege dans le texte qu'on a cité au début (Frege ajoute que l'explication par la substituabilité « pour […] Lire la suite☛ http://www.universalis.fr/encyclopedie/identite/#i_15921

IMPLICATION, philosophie

  • Écrit par 
  • Henry DUMÉRY
  •  • 558 mots

Il y a implication, au sens usuel, lorsqu'une chose en contient une autre, de manière non apparente mais réelle, de sorte que la chose contenue, d'abord inaperçue, peut être rendue manifeste. En philosophie, la définition est plus stricte : un objet de connaissance en implique un autre si cet autre résulte nécessairement du premier ; le premier étant posé, le second se trouve posé également, avec […] Lire la suite☛ http://www.universalis.fr/encyclopedie/implication-philosophie/#i_15921

JUGEMENT

  • Écrit par 
  • Noël MOULOUD
  •  • 6 858 mots

Dans le chapitre « La philosophie des propositions »  : […] La réflexion moderne sur les formes propositionnelles et leur statut, issue des analyses des logiciens, se maintient sur les plans techniques et se dispense des hypothèses sur le lien du jugement avec la subjectivité ou la conscience. Cependant, les points de vue techniques appellent leur problématique propre. Lorsque la fonction relationnelle de la proposition s'est substituée, comme on l'a dit, […] Lire la suite☛ http://www.universalis.fr/encyclopedie/jugement/#i_15921

LOGIQUE

  • Écrit par 
  • Robert BLANCHÉ, 
  • Jan SEBESTIK
  •  • 12 995 mots
  •  • 3 médias

Dans le chapitre « Bertrand Russell »  : […] La première grande contribution de Russell à la logique est la théorie des descriptions définies qu'il a exposée dans « On denoting » (1905), théorie préparée par l'analyse que faisait Frege de l'article défini. Quel est l' objet des descriptions ? À quoi se réfère l'expression de la forme «  le tel-et-tel », par exemple « la planète la plus éloignée […] Lire la suite☛ http://www.universalis.fr/encyclopedie/logique/#i_15921

MATHÉMATIQUES FONDEMENTS DES

  • Écrit par 
  • Jean Toussaint DESANTI
  •  • 10 438 mots
  •  • 1 média

Dans le chapitre « Les paradoxes »  : […] Il y a plus. Les mêmes problèmes, qui font difficulté dans la construction cantorienne, rendent manifeste l'inconsistance du système frégien. Le concept d'ensemble, pris dans toute sa généralité, engendre des « paradoxes ». À tel point qu'il importe de remettre en chantier le sens de l'expression : « l'ensemble des... tels que ». Par exemple, dès 1897, Cesare Burali-Forti avait montré que l'expres […] Lire la suite☛ http://www.universalis.fr/encyclopedie/fondements-des-mathematiques/#i_15921

MEINONG ALEXIUS VON (1853-1920)

  • Écrit par 
  • Francis JACQUES
  •  • 2 677 mots

Dans le chapitre « Russell, lecteur de Meinong »  : […] Que faut-il entendre par objet  ? Meinong écarte toute définition formelle par le genre et la différence (qui font ici défaut). Le terme, comme l'indique l'étymologie, se réfère plutôt aux expériences qui permettent d'appréhender ou de saisir l'objet, encore que ces Erlebnisse ne soient pas constitutives de l'objet. Dans la mesure où tous les objets doi […] Lire la suite☛ http://www.universalis.fr/encyclopedie/alexius-von-meinong/#i_15921

MÉTHODE SCIENTIFIQUE

  • Écrit par 
  • Jean-Paul THOMAS
  •  • 2 296 mots

Dans le chapitre « Du problème de l'induction au falsificationnisme de Karl Popper »  : […] Le problème de l'induction, déjà magistralement abordé au xviii e  siècle par David Hume, est à la source de la philosophie des sciences telle qu'elle s'est développée au xx e  siècle. Il a fait l'objet d'un traitement original dans l'œuvre de Karl Popper. Cette approche n'est pas la seule, et le […] Lire la suite☛ http://www.universalis.fr/encyclopedie/methode-scientifique/#i_15921

MOORE GEORGE EDWARD (1873-1958)

  • Écrit par 
  • Françoise ARMENGAUD
  •  • 1 564 mots

Étudiant en lettres classiques à Cambridge, détourné vers la philosophie par son ami Bertrand Russell, George Edward Moore se consacra principalement à son enseignement qui, à Cambridge d'abord, puis pendant la Seconde Guerre mondiale aux États-Unis, fit de lui l'une des personnalités les plus attachantes de la philosophie anglaise de ce siècle. G. J. Warnock campe ainsi sa légende : « Son œuvre e […] Lire la suite☛ http://www.universalis.fr/encyclopedie/george-edward-moore/#i_15921

NOTATION MATHÉMATIQUE

  • Écrit par 
  • Hans FREUDENTHAL
  •  • 10 388 mots
  •  • 1 média

Dans le chapitre « Les ensembles »  : […] Depuis Leibniz, on a avancé divers systèmes de notations pour la logique symbolique. Il faut mentionner les tentatives de Boole (1847), E. Schröder (1877), G. Frege (1879, 1893), Peano (1891, et son Formulaire de mathématique à partir de 1895), Russell et Whitehead (1910) ; tous ces systèmes incluent les notations ensemblistes. Il y a un manque d'uniformité dans les notations […] Lire la suite☛ http://www.universalis.fr/encyclopedie/notation-mathematique/#i_15921

OBJET

  • Écrit par 
  • Gilles Gaston GRANGER
  •  • 8 222 mots

Dans le chapitre « Les objets des sciences de la nature »  : […] C'est dans les sciences de la nature que la notion d'objet se présente de la façon la plus spontanée, parce qu'il semble tout d'abord que les objets de la physique, de la chimie, de la biologie, etc., ne sont que le prolongement convenablement schématisé des objets primitifs de notre perception. Une telle homogénéité de la perception et de la science est en effet la thèse généralement adoptée par […] Lire la suite☛ http://www.universalis.fr/encyclopedie/objet/#i_15921

ONTOLOGIE

  • Écrit par 
  • Paul RICŒUR
  •  • 15 647 mots
  •  • 1 média

Dans le chapitre « Une nouvelle problématique ontologique »  : […] C'est ainsi qu'au début de ce siècle Frege et Husserl ont posé à la philosophie du langage le problème du rapport du sens à la référence, ou de la signification au remplissement, problème qui contient en germe une nouvelle problématique ontologique qui ne doit rien à la métaphysique pré-kantienne. La philosophie de Russell est, à cet égard, un extraordinaire chantier pour une ontologie entièremen […] Lire la suite☛ http://www.universalis.fr/encyclopedie/ontologie/#i_15921

PHILOSOPHIE ANALYTIQUE

  • Écrit par 
  • Francis JACQUES, 
  • Denis ZASLAWSKY
  •  • 13 431 mots
  •  • 3 médias

Dans le chapitre « Des origines aux commencements »  : […] C'est en Angleterre que le mouvement de la « philosophie analytique » se fit reconnaître comme tel, se signalant dès son apparition comme une rupture et une réaction à l'égard d'une école philosophique. Pourtant, les origines sont ailleurs. L'approche analytique et linguistique en philosophie, qui s'annonçait chez Locke et se retrouvait chez Condillac, supposait une nouvelle approche du langage qu […] Lire la suite☛ http://www.universalis.fr/encyclopedie/philosophie-analytique/#i_15921

POST EMIL LEON (1897-1954)

  • Écrit par 
  • Bernard JAULIN
  •  • 622 mots

Mathématicien américain né à Augustów (Pologne) et mort à New York. Arrivé aux États-Unis en 1904, Emil Post obtint son Ph.D. à l'université Columbia de New York en 1920. Il était membre de l'American Mathematical Society depuis 1918 et de l'Association for Symbolic Logic dès sa fondation en 1935. Sa thèse de doctorat, publiée en 1921, porte sur le calcul propositionnel de A. N. Whitehead et B. Ru […] Lire la suite☛ http://www.universalis.fr/encyclopedie/emil-leon-post/#i_15921

PRÉDICATIVISME, mathématique

  • Écrit par 
  • Philippe de ROUILHAN
  •  • 1 004 mots

Doctrine selon laquelle certaines définitions naïvement reçues de la logique ou des mathématiques classiques recèlent une certaine sorte de circularité qu'on retrouve à l'origine de tous les grands paradoxes et qui, même quand elle n'y conduit pas, devrait être interdite. Le principe de cette interdiction est le « principe du cercle vicieux » (PCV), qui dit, grosso modo, qu'un objet ne peut être […] Lire la suite☛ http://www.universalis.fr/encyclopedie/predicativisme-mathematique/#i_15921

PROPOSITION, philosophie

  • Écrit par 
  • Françoise ARMENGAUD
  •  • 658 mots

Il convient d'abord de distinguer la phrase, le jugement, l'énoncé et la proposition. La phrase est une entité linguistique, soumise à des règles grammaticales, qui assurent sa correction, et à d'éventuels critères stylistiques ; on considère qu'elle exprime un jugement ou un énoncé ; elle est susceptible d'être proférée verbalement par un individu, ou d'être écrite, d'être […] Lire la suite☛ http://www.universalis.fr/encyclopedie/proposition-philosophie/#i_15921

QUANTIFICATION, linguistique

  • Écrit par 
  • Jean-Pierre DESCLES
  •  • 984 mots

La quantification est une série d'opérations de détermination qui sont constitutives de la bonne formation de l'énoncé. Le terme de quantification, en tant qu'opérations, a été introduit par C. S. Peirce et par G. Frege pour analyser des particules grammaticales comme « quelques », « certains », « chaque », « tous les », « aucun »... Ils ont retenu deux quantificateurs : l'existentiel (« Il y a de […] Lire la suite☛ http://www.universalis.fr/encyclopedie/quantification-linguistique/#i_15921

RELATION

  • Écrit par 
  • Jean LADRIÈRE
  •  • 7 662 mots

Dans le chapitre « Les relations selon Bertrand Russell »  : […] C'est surtout dans l'œuvre de Bertrand Russell (1872-1970) que la théorie moderne des relations prend tout son essor. On peut discerner deux étapes dans l'élaboration de la doctrine russellienne des relations : celle des Principles of Mathematics (1903) et celle des Principia Mathematica (publiés par Russell, en collaboration avec Alfred North Whitehea […] Lire la suite☛ http://www.universalis.fr/encyclopedie/relation/#i_15921

STRAWSON PETER FREDERICK (1919-2006)

  • Écrit par 
  • Francis JACQUES
  •  • 2 337 mots

Dans le chapitre « Le problème »  : […] Les descriptions définies font partie d'une classe d'expressions utilisées pour se référer à une personne individuelle, à un objet, à un événement ou à un lieu particuliers. Lorsque ces expressions (noms propres, pronoms démonstratifs singuliers, descriptions définies) se présentent comme sujets d'une phrase prédicative, elles ont un usage de référence singulière. L'étude de […] Lire la suite☛ http://www.universalis.fr/encyclopedie/peter-frederick-strawson/#i_15921

TEMPS

  • Écrit par 
  • Hervé BARREAU, 
  • Olivier COSTA DE BEAUREGARD
  •  • 14 773 mots

Dans le chapitre « Russell »  : […] La philosophie de Russell, plus encore que celle de Husserl, est faite de corrections et de reprises. On s'en tiendra ici aux dernières positions du philosophe, exprimées dans Human Knowledge (1948) et dans My Philosophical Development (1959). C'est une théorie causale de la perception qui fonde cette dernière philosophie. Le monde extérieur est cause de […] Lire la suite☛ http://www.universalis.fr/encyclopedie/temps/#i_15921

VÉRITÉ

  • Écrit par 
  • Robert BLANCHÉ, 
  • Antonia SOULEZ
  •  • 10 663 mots

Dans le chapitre « La vérité-correspondance »  : […] Si la solution tarskienne, pourtant élaborée dans un esprit proche de celui de la méthodologie des sciences empiriques, aboutit à lever les paradoxes sémantiques et à résoudre « scientifiquement » le problème de la vérité sur lequel les philosophes n'avaient pas réussi à se mettre d'accord jusque-là, n'est-ce pas dans l'exacte mesure où elle souligne l'aporie qui est constitutive de la thèse de la […] Lire la suite☛ http://www.universalis.fr/encyclopedie/verite/#i_15921

WHITEHEAD ALFRED NORTH (1861-1947)

  • Écrit par 
  • Jean-Luc VERLEY, 
  • Jean WAHL
  •  • 2 204 mots

Dans le chapitre « Le mathématicien »  : […] Certes, de l'œuvre de A. N. Whitehead reste principalement la troisième partie de sa carrière consacrée à la philosophie des sciences et à sa théorie de l'organisme, mais il s'est d'abord consacré aux mathématiques pures, algèbre et géométries non euclidiennes. Son étude des fondements logiques des mathématiques, qui culmine avec les trois volumes des Principia mathematica , […] Lire la suite☛ http://www.universalis.fr/encyclopedie/alfred-north-whitehead/#i_15921

Voir aussi

Pour citer l’article

Philippe DEVAUX, « RUSSELL BERTRAND lord (1872-1970) », Encyclopædia Universalis [en ligne], consulté le 28 juin 2019. URL : http://www.universalis.fr/encyclopedie/bertrand-russell/