Logique formelle"

Courant linguistique étudiant l'inférence.

Il s'agit d'un courant linguistique, destiné à l'étude de l'inférence : elle définit les sciences des lois nécessaires de la pensée. Elle est nommée formelle, du latin "formalis", signifiant "qui respecte la forme", en opposition à la logique informelle.