Graphe logiquevignette|Exemple de graphe logique En logique, un graphe logique est un type spécial de la structure schématique que Charles Sanders Peirce a développé. Dans ses articles qualitative logic, entitative graphs, et existential graphs, Peirce a développé plusieurs versions d'un formalisme graphique, conçus pour être interprété en logique. Au cours du siècle où Peirce a lancé cette ligne de développement, une variété de systèmes formels ont ramifié la même base formelle des structures théorique-graphiques.
Charles Sanders PeirceCharles Sanders Peirce (), né le à Cambridge dans le Massachusetts et mort le à Milford en Pennsylvanie, est un sémiologue et philosophe américain. Il est considéré comme le fondateur du courant pragmatiste, avec William James, et, avec Ferdinand de Saussure, comme l'un des deux pères de la sémiologie (ou sémiotique) moderne, ainsi qu'un des plus grands logiciens de la fin du XIXe siècle. Il est considéré comme un novateur dans de nombreux domaines, en particulier dans la façon de concevoir les méthodes d'enquête et de recherche, ainsi que dans la philosophie des sciences.
LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
TautologieLa tautologie (du grec ancien ταὐτολογία, composé de ταὐτό, « la même chose », et λέγω, « dire » : le fait de redire la même chose) est une phrase ou un effet de style ainsi tourné que sa formulation ne puisse être que vraie. La tautologie est apparentée au truisme (ou lapalissade) et au pléonasme. En logique mathématique, le mot « tautologie » désigne une proposition toujours vraie selon les règles du calcul propositionnel. On utilise aussi l'adjectif tautologique en mathématiques pour désigner des structures qui émergent naturellement de la définition de certains objets.
Barre de Sheffervignette|Diagramme de Venn de . En calcul de propositions, la barre de Sheffer, nommée d'après Henry M. Sheffer, notée « | » (voir barre verticale, à ne pas confondre avec « || » qui est souvent utilisé pour représenter la disjonction), « Dpq », ou « ↑ » (une flèche pointant vers le haut), désigne une opération logique qui est équivalente à la négation de la conjonction logique, exprimée « pas les deux à la fois » dans le langage ordinaire. Il est aussi appelé nand (« non et »), car il dit en effet qu'au moins l'un de ses opérandes est faux.
Calcul des propositionsLe calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts.
