L'Internaute > Expressions > Culture > Logique formelle


Rechercher une expression
 


Logique formelle"



 

Signification

 

Courant linguistique étudiant l'inférence.



 

Origine

 

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.


Expression suivante : Logique inductive 





Encyclopédie des expressions | Contact