#s/maths/logique

----
Tout cadre de raisonnement spécifique construit sur un langage donné.

Dans une approche syntaxique, une théorique logique, aussi appelée alors _théorie axiomatique_, est définie par un ensemble d'[[axiome|axiomes]] et de [[règle d'inférence|règles d'inférence]].
Dans une approche sémantique, elle est donnée par une interprétation particulière des éléments du langage.

# Exemple
Sur un même langage formel, il est possible de construire des théories logiques différentes. Par exemple, le symbole formel d'addition `+` n'aura pas la même interprétation en arithétique classique où l'on a `1+1 = 2`, et dans le [[calcul booléen]], où l'on a `1+1 = 1`.