QU'EST-CE QUE LA LOGIQUE MATÉRIELLE? - PHILOSOPHIE - 2025

La logique des matériaux est une branche de la logique qui analyse le contenu de ses prémisses, contrairement à la logique formelle, qui n'étudie que la structure des propositions. Elle est également connue sous le nom de logique appliquée car elle est conçue pour conduire à une conclusion logique utile dans le monde réel.

Traditionnellement, il existe deux branches principales de la logique: la logique formelle (également appelée logique mineure) et la logique matérielle, appliquée ou majeure. Bien que les bases des deux types de logique soient similaires, les problèmes qu'elles traitent sont totalement différents.

Certains chercheurs parlent également d'un troisième type de logique, la logique informelle, qui serait chargée d'étudier les bons raisonnements mais en tenant compte du contexte et du contenu des arguments et des propositions.

Histoire de la logique

Le mot «logique» vient du grec ancien «logike», qui signifie «intellectuel ou argumentatif». Cela peut aussi venir 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 leur 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 des formes valides d'inférence.

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

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

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, il existe deux types de logique:

• Logique formelle, également appelée logique pure. Il est chargé de déterminer quelles sont les manières correctes et valides de penser et de tirer des conclusions.
• Logique appliquée ou matérielle, dans laquelle non seulement la manière de tirer des conclusions est analysée, mais le contenu des prémisses lui-même, de telle sorte qu'à la fin un résultat conforme à la réalité doit être atteint.

Différences entre logique formelle et logique matérielle

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 forment. Une fois cela fait, on étudie si l'argument est valide à travers les syllogismes, ou à travers la logique pure (substitution de symboles aux propositions).

Cependant, bien qu'un argument puisse être valide au niveau logique, cela n'implique pas qu'il soit vrai. Par exemple, le syllogisme suivant peut se produire:

• Aucun homme ne fait de mal
• Ce criminel est un homme
• Alors ce criminel ne fait pas de mal

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

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

Erreurs argumentatives

L'un des domaines en charge de l'étude de la logique matérielle est celui des sophismes argumentatifs. Ce sont des arguments qui semblent logiques, mais qui, une fois soigneusement examinés, 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.

Malgré le fait qu'il existe de nombreux types d'erreurs argumentatives, et que certaines sont dans la logique formelle, nous allons maintenant voir certains des types les plus courants dont la logique appliquée est responsable.

1- Erreur ad ignorantiam

Cette erreur argumentative consiste à essayer de montrer 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 celui de la "religion du monstre volant spaghetti", inventée 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 ressemblance.

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

2- Ad conséquentiam fallacy

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 fait pas grossir parce que ce serait un coup dur pour l'économie des agriculteurs serait un exemple de ce type d'erreur.

3- Erreur ad verecundiam

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

Un exemple d'erreurs ad verecundiam serait de prétendre que la Terre est plate parce qu'une personne célèbre le dit.

4- Erreur de généralisation hâtive

Il est basé sur le fait de sauter aux conclusions sans avoir 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 le sont d'une manière.

Par exemple, la croyance que tous les Andalous sont paresseux et les Catalans radins est une généralisation hâtive.

5- Erreur ad hominem

Cette erreur consiste à rejeter les arguments d'une personne comme étant faux en raison d'une caractéristique personnelle. Par exemple, rejeter les idées de quelqu'un parce qu'il n'a pas une bonne image de soi, parce qu'il parle étrangement ou parce qu'il n'a pas de traits agréables.

6- Erreur 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 un autre, les deux doivent être directement liés, malgré le manque de preuves pour affirmer quelque chose comme ça.

Par exemple, si quelqu'un touche son porte-bonheur avant de jouer à la loterie et gagne, il peut affirmer qu'il a remporté le prix précisément pour avoir effectué cette action auparavant. Ce serait un cas post hoc ergo propter hoc.

Références

1. "Introduction à la logique / Qu'est-ce que la logique?" à: Wikiversity. Récupéré le 17 janvier 2018 sur Wikiversity: es.wikiversity.org.
2. "Logique formelle" dans: Britannica. Récupéré le 17 janvier 2018 sur Britannica: britannica.com.