La pratique de représenter un système logique par des structures algébriques dans lesquelles les connecteurs logiques, les règles d'inférence et la conséquence correspondent à des opérations algébriques, des équations ou des relations d'ordre, de sorte que l'entailment sémantique est capturé par des identités ou inégalités algébriques.

Principe

Traduire les constructions syntaxiques en opérations algébriques et traduire la dérivabilité en validité algébrique (identités, inégalités ou congruences) au sein d'une classe d'algèbres, fournissant un miroir algébrique de la conséquence syntaxique.

Démonstration

La logique propositionnelle classique admet une sémantique dans les algèbres booléennes où la conjonction, la disjonction et la négation correspondent respectivement au meet, join et complément, et une formule est conséquence sémantique des prémisses si et seulement si une inégalité ou identité algébrique correspondante est satisfaite dans chaque algèbre booléenne modèle des prémisses.

Mauvaise application

Supposer que tout système déductif admet une sémantique algébrique standard sans vérifier les conditions de définissabilité, ce qui peut mener à des représentations trompeuses lorsque la relation de conséquence visée n'est pas caractérisable par des équations.

Conséquence

La sémantique algébrique fournit des outils uniformes basés sur l'algèbre (variétés, raisonnement équationnel, congruences) pour étudier la complétude, la définissabilité et les dualités, et permet de transférer des procédures de décision algébriques vers des problèmes d'entailment logique.

Inversion

Au lieu de partir de la syntaxe pour construire des algèbres, partir d'identités algébriques et inférer quelles règles syntaxiques elles valident ; cette inversion met en lumière les cas où les contraintes algébriques surgénèrent les distinctions syntaxiques.

Limite

S'applique aux logiques dont la relation de conséquence peut être reflétée par des identités algébriques, des ordres ou des congruences ; exclut les approches sémantiques qui requisent fondamentalement des ressources non algébriques comme des mesures de probabilité ou des degrés de vérité non équationnels, sauf si l'on adopte des cadres algébriques étendus.

Tension sémantique

Entre en tension avec la sémantique strictement modèle-théorique (modèles relationnels ensemblistes) d'une part et les lectures proof-théoriques d'autre part ; la tension porte sur la question de savoir si le sens sémantique est mieux capté par des invariants algébriques ou par des relations de satisfaction et des transformations de preuve.

Synthèse

La sémantique algébrique reconfigure la conséquence logique en validité algébrique : fournir une classe d'algèbres dont les opérations et relations reflètent les connecteurs logiques et les patrons d'inférence de sorte que l'entailment syntaxique soit équivalent à des identités ou ordres algébriques satisfaits dans la classe.