Logique formelle
Cet article est une ébauche concernant la logique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
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
Sur les autres projets Wikimedia :
- Logique formelle, sur Wikiversity
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
v · m Logique | |
---|---|
Domaines académiques | |
Concepts fondamentaux |
|
Esprit critique et logique informelle | |
Logique mathématique | |
Logiques non classiques | |
Métalogique et métamathématique | |
Philosophie de la logique |
|
Logiciens |
|
- Portail des mathématiques
- Portail de la logique
- Portail de la linguistique