Logique formelle
La logique formelle est l’étude purement abstraite de l’inférence, en linguistique. La logique dite « informelle » est cette branche de logique qui étudie, examine la structure de l’argumentation dans les langues naturelles.
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
Portail des mathématiques 
Portail de la logique 
Portail de la linguistique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.