Logique formelle
Comment se définit la logique formelle ?
Selon le philosophe allemand Wolfgang Detel: «La logique [formelle] est une théorie spécifique de l'argumentation.
Elle vise à démontrer de manière claire et vérifiable ce que sont des arguments nécessaires.
Quel est le but de la logique formelle ?
Les inférences déductives qui concernent la logique formelle sont, comme leur nom l'indique, celles dont la validité ne dépend pas des caractéristiques de leur objet mais de leur forme ou de leur structure.
Ainsi, les deux déductions (.
1) Chaque chien est un mammifère.
Certains quadrupèdes sont des chiens. ∴ Certains quadrupèdes sont des mammifères.
- « La logique formelle est une science qui détermine quelles sont les formes correctes (ou valides) de raisonnement ».
- La logique matérielle concerne le contenu de l’argumentation.
Il s'agit de la vérité des termes et des propositions d'un argument.
La logique formelle s'intéresse à la forme ou à la structure du raisonnement.
La vérité d’un argument n’est qu’une considération secondaire dans cette branche de la logique.
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.