BOOLE GEORGE (1815-1864)

Articles

• BOOLE GEORGE (1815-1864)

  • Écrit par Encyclopædia Universalis
  • 663 mots

  Mathématicien et logicien anglais, Boole est le créateur de la logique symbolique. Né à Lincoln et fils d'un petit commerçant, il reçut ses premières leçons de mathématiques de son père, qui lui apprit aussi à fabriquer des instruments d'optique. En dehors des conseils de son père et de quelques...

• LES LOIS DE LA PENSÉE (G. Boole)

  • Écrit par Bernard PIRE
  • 190 mots

  Le mathématicien britannique Georges Boole (1815-1864) est le fondateur de la logique symbolique moderne. Autodidacte sans aucun titre universitaire, il soutient que la logique doit être rattachée aux mathématiques et non à la philosophie. En 1854, il publie l'exposé abouti de ses idées dans un...

• BOOLE ALGÈBRE & ANNEAU DE

  • Écrit par Gabriel SABBAGH
  • 608 mots
  • 1 média

  La notion d'algèbre de Boole, introduite par G. Boole (1847) et par A. De Morgan afin d'algébriser les opérations propositionnelles de la logique, joue un rôle très utile dans plusieurs branches des mathématiques (algèbre, théorie des ensembles ordonnés, calcul des probabilités)...

• CALCUL ET RATIONALISATION - (repères chronologiques)

  • Écrit par Pierre MOUNIER-KUHN
  • 725 mots

  1623 L'astronome allemand Wilhelm Schickard invente une « horloge à calcul ». Mais celle-ci disparaît dans un incendie et Schickard ne poursuit pas ce projet qui n'aura donc aucune influence historique.

  1637 René Descartes, dans le Discours de la méthode, définit la méthode rationnelle...

• ENSEMBLES THÉORIE DES

  • Écrit par André ROUMANET et Jean-Luc VERLEY
  • 8 603 mots
  • 20 médias
  C'est dans les mêmes conditions que le mathématicien anglais George Boole (1815-1864) va travailler. Boole peut être considéré comme le véritable créateur de la logique contemporaine. Son ambition est de formaliser la logique en s'inspirant des méthodes de l'analyse et de l'algèbre : « Que l'on donne...

• FORMALISME

  • Écrit par Étienne BALIBAR et Pierre MACHEREY
  • 5 001 mots
  • 1 média
  La différence des deux points de vue, formaliste et logiciste, est plus apparente encore si on prend en considération l'œuvre de G. Boole, évoquée ci-dessus. Pour Boole, de façon typiquement formaliste, « la mathématique traite des opérations considérées en elles-mêmes, indépendamment des matières...

• LOGIQUE

  • Écrit par Robert BLANCHÉ et Jan SEBESTIK
  • 12 972 mots
  • 3 médias
  L'année 1847, où paraît la Mathematical Analysis of Logic de George Boole, marque le départ d'une nouvelle forme de logique, une logique qui, à la fois symbolique et mathématique, réalise enfin le double rêve de Leibniz. Se fondant sur certaines analogies entre les opérations fondamentales...

• NOTATION MATHÉMATIQUE

  • Écrit par Hans FREUDENTHAL
  • 10 338 mots
  • 1 média
  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...

• SÉMIOLOGIE

  • Écrit par Julia KRISTEVA
  • 5 442 mots
  • 1 média
  ...nouvelle géométrie qui vont se développer au xix^e siècle, semble avoir déterminé la formulation explicite du projet sémiotique moderne. D'abord, George Boole, en introduisant l'analyse mathématique en logique dans sa Mathematical Analysis of Logic (1847), propose un procédé mathématique permettant...

• VÉRITÉ VALEUR DE

  • Écrit par Françoise ARMENGAUD
  • 246 mots

  Expression exclusivement technique, usitée en logique moderne. Les valeurs de vérité sont au nombre de deux : le vrai et le faux. Elles sont assignées aux propositions atomiques (de manière analogue à l'assignation de valeurs numériques aux expressions algébriques). La valeur de vérité des propositions...