PROPOSITIONNEL CALCUL

Carte mentale

Élargissez votre recherche dans Universalis

Logique des propositions inanalysées, reliées par des connecteurs propositionnels (non ; et ; ou ; si..., alors...), qui sont des foncteurs de vérité ; ce qui signifie que la valeur de vérité du composé est directement et mécaniquement fonction (d'après les définitions de la négation, de la conjonction, de la disjonction et de l'implication) des valeurs de vérité des propositions constituantes. Ce qui fait l'objet d'un calcul propositionnel, ce ne sont donc pas les propositions mais leurs valeurs de vérité (en général, deux valeurs : le vrai et le faux). C'est une logique fondamentale présupposée par tous les autres systèmes formels. Ses formules valides constituent des schémas d'inférences valides ; et elle permet l'étude de la déduction. Elle présente les propriétés de non-contradiction, de décidabilité et de complétude.

Historiquement, les stoïciens sont à l'origine de l'étude des lois qui régissent les rapports des propositions entre elles. Le conditionnel matériel remonte à Philon de Mégare. Ces lois étaient connues des logiciens du Moyen Âge, mais c'est à la fin du xixe siècle que leur étude fut reprise et renouvelée. G. Frege a, le premier, en 1879, axiomatisé la logique des fonctions de vérité ; en 1910, Whitehead et Russell y travaillèrent à leur tour et, en 1929, Lukasiewicz ; on compte, depuis lors, une vingtaine de systèmes. Parmi les logiciens qui contribuèrent à ce renouveau, mentionnons : Boole, Peano, C. S. Peirce, Schröder, De Morgan, Wittgenstein, Lewis, Post.

—  Françoise ARMENGAUD

Écrit par :

  • : agrégée de l'Université, docteur en philosophie, maître de conférences à l'université de Rennes

Classification

Autres références

«  PROPOSITIONNEL CALCUL  » est également traité dans :

BOOLE ALGÈBRE & ANNEAU DE

  • Écrit par 
  • Gabriel SABBAGH
  •  • 610 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) et en logique mathématique (logique algébrique, modèles booléens). On appelle algèbre de Boole (A, ∨, ∧, ¬, 0, 1) la d […] Lire la suite

BOOLE GEORGE (1815-1864)

  • Écrit par 
  • Universalis
  •  • 664 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 années passées dans les écoles locales, Boole est un autodidacte. Quand les affaires de son père déclin […] Lire la suite

CHURCH ALONZO (1903-1995)

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

Mathématicien et logicien, philosophe et historien de la logique, Alonzo Church est né le 14 juin 1903 à Washington et mort le 11 août 1995 à Hudson (Ohio). Professeur de mathématiques à l'université de Princeton, directeur du Journal of Symbolic Logic , il est selon Kneale « le plus fidèle des disciples de Frege ». Réputé « platonisant », il défend une conception délibérément réaliste de la propo […] Lire la suite

FREGE GOTTLOB (1848-1925)

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

Dans le chapitre « La caractéristique »  : […] Pour formaliser le raisonnement arithmétique, Frege conçut une caractéristique apte à dépeindre les actes logiques aussi sûrement que l'arithmétique signale ses opérations. Cependant la logique de Frege n'imite pas l'arithmétique en utilisant les mêmes symboles d'opérations (+, ×), comme le firent Leibniz et Boole ; l'idéographie emprunte à la mathématique un procédé d'algèbre, la double distinct […] Lire la suite

JUGEMENT

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

Dans le chapitre « L'analyse logique du jugement »  : […] L'analyse du jugement s'est précisée au cours de l'histoire à travers une explicitation de sa structure propositionnelle. Ébauchée, d'une manière fondatrice mais incomplète, par Aristote, elle a été complétée et repensée par les écoles ultérieures. Aristote voit dans le jugement (l'ἀπόϕαυσις) la structure intermédiaire entre celle des concepts, qui sont ses composantes, et celle du raisonnement […] Lire la suite

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

  • Écrit par 
  • Bernard PIRE
  •  • 189 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 traité dont le titre complet est significatif : Une exploration des lois de la pensée sur lesquelles so […] Lire la suite

LOGIQUE

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

Dans le chapitre « Mégariques et stoïciens »  : […] Aristote avait eu à affronter les critiques des dialecticiens de l'école de Mégare. L'un d'eux, Eubulide, avait imaginé, entre autres paradoxes, celui du menteur. Fidèles à l'enseignement éléatique, posant une alternative entre l'être et le non-être, ils rejetaient l'être en puissance et, plus généralement, s'efforçaient de ramener les notions modales sur le plan de l'assertion pure. Philon défin […] Lire la suite

OBJET

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

Dans le chapitre « Les objets, le langage et la pensée »  : […] Sans aborder ici les très intéressants problèmes posés au psychologue, il suffira de noter que ce que l'on nomme objet, à quelque niveau que ce soit – immédiat ou élaboré – de l'exercice de la pensée, ne peut être confondu sans plus avec des données, considérées indépendamment de leur assemblage et organisées en unités distinctes, que l'on nommera phénomènes : « ce qui apparaît ». La philosophie c […] Lire la suite

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 répétée, c'est-à-dire […] Lire la suite

QUANTIFICATION, logique

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

Notion usitée en logique des prédicats. On peut, avec W. V. O. Quine, diviser en trois la logique contemporaine : 1. La théorie des fonctions de vérité a pour objet les structures logiques engendrées en construisant des propositions composées à partir de propositions simples, à l'aide des particules « et », « ou », « non », « si..., alors... » ; on l'appelle aussi calcul des propositions. 2. La […] Lire la suite

Pour citer l’article

Françoise ARMENGAUD, « PROPOSITIONNEL CALCUL », Encyclopædia Universalis [en ligne], consulté le 18 septembre 2020. URL : https://www.universalis.fr/encyclopedie/calcul-propositionnel/