Qu'est-ce que la logique matérielle?

Le matériel logique c'est une branche de la logique chargée d'analyser le contenu de ses prémisses, contrairement à la logique formelle, qui n'étudie que la structure des propositions. Il est également connu sous le nom de logique appliquée, car il est conçu pour aboutir à une conclusion logique utile dans le monde réel.

Traditionnellement, on parle de deux branches principales de la logique: la logique formelle (également appelée logique mineure) et la logique matérielle, appliquée ou supérieure. Bien que les bases des deux types de logique soient similaires, les problèmes qu’elles rencontrent sont totalement différents.

Certains chercheurs parlent aussi d'un troisième type de logique, la logique informelle, ce qui reflète les formes correctes de raisonnement, mais compte tenu du contexte et le contenu des arguments et des propositions.

Index

• 1 Histoire de la logique
• 2 types de logique
  • 2.1 Différences entre la logique formelle et la logique matérielle
• 3 sophismes argumentatifs
  • 3.1 1- Fallacy ad ignorantiam
  • 3.2 2- Fallacy ad conséquentiam
  • 3.3 3- Fallacy ad verecundiam
  • 3.4 4- L'illusion de la généralisation précipitée
  • 3.5 5- Erreur d'ad hominem
  • 3.6 6- L'erreur post hoc ergo propter hoc
• 4 références

Histoire de la logique

Le mot "logique" vient du grec ancien "logike", qui signifie "intellectuel ou argumentatif". Il peut aussi provenir du mot "logos", qui signifie "mot ou pensée".

La logique est la branche de la philosophie chargée d'étudier les formes de raisonnement et sa validité. C'est l'une des deux sciences formelles, avec les mathématiques, car elle n'a pas de contenu basé sur le monde réel: elle ne traite que de formes d'inférence valables.

En d'autres termes, la logique est la science qui est chargée d'étudier ce qui distingue le juste du mauvais raisonnement.

Sa mission principale est de découvrir les lois de la pensée humaine, en plus des méthodes que nous pouvons utiliser pour que notre réflexion aboutisse à des conclusions fructueuses.

Types de logique

Bien que la logique étudie toujours les relations entre différents éléments ou "propositions", elle peut le faire de plusieurs manières différentes. Traditionnellement, on considère qu'il existe deux types de logique:

• Logique formelle, également connu sous le nom de logique pure. Il est chargé de déterminer quelles sont les manières correctes et valables de penser et de tirer des conclusions.
• Logique appliquée ou matériel, qui analyse non seulement la manière de tirer des conclusions, mais le contenu même des prémisses, de sorte qu’à la fin, il faut obtenir un résultat conforme à la réalité.

Différences entre la logique formelle et la logique des matériaux

La logique formelle est responsable de l'étude abstraite des propositions, des phrases et des arguments déductifs. Cette discipline extrait du contenu de ces éléments les structures logiques qui les constituent. Une fois cela fait, on étudie si l'argument est valide au moyen de syllogismes, ou par la logique pure (substitution de propositions par des symboles).

Cependant, même si un raisonnement peut être valide au niveau logique, cela ne signifie pas que ce soit vrai. Par exemple, le syllogisme suivant peut se produire:

• Aucun homme ne se trompe
• Ce criminel est un homme
• Alors, ce criminel ne fait pas mal

Bien que du point de vue de la logique formelle cet argument serait valable (parce que la conclusion peut être tirée de ses locaux), il est clair que la conclusion n'est pas vrai dans le monde réel.

C'est précisément la logique appliquée: étudier si les conclusions tirées par la logique formelle sont vraies ou non dans le monde réel.

Sophisme argumentatif

L'un des domaines qui est chargé d'étudier la logique matérielle est celui des erreurs argumentatives. Ce sont des arguments apparemment logiques, mais une fois soigneusement examinés, ils se révèlent faux.

Ces types d'arguments sont largement utilisés dans les discussions quotidiennes. Par conséquent, leur apprentissage est très utile pour apprendre à argumenter plus efficacement.

Bien qu'il existe de nombreux types de sophismes argumentatifs, et que certains soient dans la logique formelle, nous verrons ci-dessous certains des types de logique appliquée les plus courants.

1- Fallacy ad ignorantiam

Cette erreur argumentative consiste à essayer de prouver que quelque chose est vrai simplement parce qu'on ne peut pas savoir avec certitude que c'est faux. L'un des exemples les plus curieux de ce type d'erreur est la "Religion du monstre volant", inventé par un professeur d'université.

C'est une fausse religion dans laquelle un monstre invisible fait de spaghettis et de boulettes de viande est adoré et qui a créé l'univers à son image et à sa ressemblance.

L'argument principal pour prouver son existence est que "nous ne pouvons pas savoir avec certitude qu'il n'existe pas".

2- Fallacy ad conséquentiam

Cette erreur consiste à essayer de convaincre l'interlocuteur que quelque chose est vrai ou faux selon que les conséquences sont bonnes ou mauvaises.

Dire que le pain ne grossit pas parce que cela porterait un coup à l'économie des agriculteurs serait un exemple de ce genre d'erreur.

3- Fallacy ad verecundiam

Ce type d'erreur, appelé aussi «erreur d'autorité», consiste à prétendre qu'une conclusion n'est valable que parce qu'elle est défendue par une personne de grande importance, soit en raison de ses connaissances ou de sa position sociale.

Un exemple de fausseté ad verecundiam serait de prétendre que la Terre est plate parce qu’elle est dite par une personne célèbre.

4- Erreur de généralisation précipitée

Il s’agit de tirer des conclusions hâtives sans disposer de suffisamment de données pour le confirmer. L'exemple classique est celui des stéréotypes: croyances sur des personnes de certaines races, orientations sexuelles, nationalités ou genres, affirmant que tous ceux qui appartiennent à ces groupes sont à sens unique.

Par exemple, la croyance selon laquelle tous les Andalous sont paresseux et l’avidité des Catalans est une généralisation précipitée.

5- Fallacy ad hominem

Cette erreur consiste à rejeter les arguments d'une personne comme étant faux en raison de ses caractéristiques personnelles. Par exemple, rejeter les idées de quelqu'un parce qu'elles n'ont pas une bonne image personnelle, parce qu'elles parlent étrangement ou parce qu'elles n'ont pas de caractéristiques agréables.

6- sophisme post hoc ergo propter hoc

Cette erreur (qui signifie littéralement "après, donc à cause de") consiste à croire que si un événement se produit juste après l'autre, les deux doivent être directement liés, malgré le manque de preuves pour affirmer quelque chose comme ça.

Par exemple, si quelqu'un joue son porte-bonheur avant de jouer à la loterie et gagne, il peut prétendre avoir remporté le prix précisément pour avoir effectué cette action à l'avance. Il s'agirait d'un cas post hoc ergo propter hoc.

Références

1. "Introduction à la logique / Qu'est-ce que la logique?" Dans: Wikiversity. Extrait le 17 janvier 2018 de Wikiversité: en.wikiversity.org.
2. "Logique formelle" dans: Britannica. Récupéré le: 17 janvier 2018 auprès de Britannica: britannica.com.