Logique formelle
La logique formelle est l’étude des concepts, jugements et raisonnements considérés abstraitement et sans considération des objets qu'ils désignent[1].
Notes et références
- ↑ « Logique : Définition de Logique informelle », sur www.cnrtl.fr (consulté le )
Annexes
Articles connexes
- Aristote
- Logique mathématique
- Fondements des mathématiques
- Logique classique
- Logique non classique, dont : logique intuitionniste, logique minimale, logique linéaire, logique modale, logique infinitaire
- Syllogisme
- Idéographie
- Lambda-calcul
- Logiques multi-valuées
- Logique de description
- Portail des mathématiques
- Portail de la logique
- Portail de la linguistique