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.
Notes et références
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
*