- Principales caractéristiques de la logique
- 1- Les résultats logiques sont valides ou invalides
- 2- Il peut être déductif, inductif, abductif ou analogique
- Logique déductive
- Logique inductive
- Logique abductive
- Analogie
- 3- La logique peut être formelle et informelle
- 4- Les énoncés logiques ne contredisent pas
- 5- Tiers exclus
- 6- La validité des propositions est évaluée en tenant compte de certaines modalités
- 7- Les déclarations logiques sont des unités
- Références
La logique est caractérisée par l'étude des méthodes et des principes utilisés pour discerner l'argument invalide valide.
Il est à noter que cette discipline ne s'intéresse qu'à la manière dont elle est idéalement raisonnée et non à la manière dont chacun raisonne (cette dernière est le travail de la psychologie).
Logic propose simplement un ensemble de règles qui régissent le raisonnement et fournit les outils nécessaires pour différencier les arguments de qualité et les arguments médiocres.
Selon le degré de formalité des arguments, on distingue deux types de logiques: la formelle et l'informelle.
La logique formelle est caractérisée par l'application de l'inférence à la compréhension de certains énoncés. Pour sa part, la logique informelle est chargée d'étudier le langage naturel, utilisé par les locuteurs dans des situations quotidiennes.
D'autre part, la logique peut également être inductive et déductive. Dans le premier cas, les résultats du processus logique seront acceptables mais non concluants. Dans le second cas, les résultats seront vérifiables et valides.
Principales caractéristiques de la logique
1- Les résultats logiques sont valides ou invalides
La logique consiste à raisonner pour produire des arguments. Ces arguments sont évalués en termes de validité.
Cela signifie que du point de vue de la logique, il n'y a pas d'arguments bons ou faux, mais valides ou invalides.
2- Il peut être déductif, inductif, abductif ou analogique
La logique suit une série de modèles pour produire un raisonnement valide. Ces modèles sont la déduction, l'induction, l'abduction et l'analogie.
Chacun des trois modèles est appliqué en fonction des circonstances du contexte communicatif.
Logique déductive
La logique déductive est celle dans laquelle une conclusion est tirée de deux prémisses. De ces deux prémisses, la première représente une proposition universelle (parce qu'elle est générale) et la seconde est un énoncé spécifique (parce qu'elle est particulière).
La validité des résultats de la logique déductive dépend de la véracité des prémisses sous-jacentes. Si les prémisses sont invalides, la conclusion le sera aussi.
L'exemple traditionnel de ce type de logique est le suivant:
-Tous les êtres humains sont mortels.
-Aristote est un être humain.
-Alors Aristote est mortel.
Logique inductive
La logique inductive consiste en le processus opposé de la logique déductive. De manière générale, ce type de logique cherche à extraire des prémisses d'une conclusion déjà existante.
Autrement dit, ce type de logique suppose des prémisses qui soutiennent une conclusion observable. De cette manière, les prémisses obtenues peuvent être probables et acceptables mais pas complètement vraies.
Voici un exemple de logique inductive:
-Conclusion observée: Le chiot dort dans la maison les jours de pluie.
-Premiss: Chaque fois qu'il pleut, le chiot dort dans la maison.
Logique abductive
Ce type de logique est similaire à la logique inductive car il cherche à extraire des prémisses d'une conclusion.
La différence entre ces deux processus est que l'abduction offre la meilleure explication possible de la conclusion présentée. Cependant, les résultats peuvent être erronés.
Par exemple:
-Les lumières de la chambre de ma sœur sont allumées. Alors elle doit être réveillée.
Analogie
Ce processus logique se produit lorsque des relations similaires sont établies entre une situation observée et une autre connue.
Par exemple: le chat de mon ami se gratte à la porte de la maison. Quand mon chat veut se promener, il se gratte sur la porte de ma maison. Peut-être que le chat de mon ami veut se promener.
3- La logique peut être formelle et informelle
La logique est divisée en deux branches principales: la logique formelle et la logique informelle.
La logique formelle est philosophique et traditionnelle. Il est chargé d'étudier les arguments déductifs, ceux dans lesquels l'inférence est utilisée pour tirer des conclusions.
De son côté, la logique informelle est chargée d'étudier les arguments exprimés en langage naturel (courant et non spécialisé).
Il se concentre sur l'analyse du raisonnement que l'on peut trouver dans les conversations avec des amis, les publicités, les articles de journaux, les nouvelles, entre autres.
4- Les énoncés logiques ne contredisent pas
La logique est régie par le principe de non-contradiction. Ceci établit que deux propositions contradictoires ne peuvent pas être valables en même temps. Autrement dit, vous ne pouvez pas être et ne pas être simultanément.
Prenons en compte les propositions suivantes:
-Le carré a quatre côtés.
-Le carré a cinq côtés.
Lorsque deux déclarations contradictoires sont présentées, l'une doit nécessairement être invalide. Dans ce cas, la seconde proposition est invalide car elle s'oppose à la logique mathématique.
5- Tiers exclus
La logique est caractérisée par le principe du tiers exclu. Ce principe est basé sur la logique classique, qui stipule qu'une proposition ne peut être que vraie ou fausse, sans possibilité de l'existence d'une troisième option.
Ce principe est lié à celui de la non-contradiction. Alors que le principe de non-contradiction stipule que deux propositions contradictoires ne peuvent pas être vraies en même temps, le tiers exclu déclare que les deux propositions contradictoires ne peuvent pas être fausses. Il faut nécessairement être vrai.
6- La validité des propositions est évaluée en tenant compte de certaines modalités
La logique prend en compte diverses modalités pour décider si une proposition est valide ou non. Ceux-ci inclus:
- La différence temporelle: certaines propositions étaient fausses dans le passé mais sont maintenant vraies dans le présent, et vice versa.
- La différence épistémologique: dans certains cas, on sait que les propositions sont vraies ou fausses. Dans d'autres cas, les propositions sont considérées comme vraies ou non.
7- Les déclarations logiques sont des unités
Les énoncés logiques, qu'ils soient déductifs, inductifs, abductifs ou analogiques, représentent une unité. Par conséquent, ils ne peuvent pas être divisés.
Cette caractéristique est défendue par la logique propositionnelle. Cette branche de la logique établit que diviser des énoncés simples, ceux qui sont composés de deux prémisses et d'une conclusion, serait une erreur car cela rendrait la proposition dénuée de sens.
Références
- Logique classique. Récupéré le 7 octobre 2017 sur plato.stanford.edu
- Logique. Récupéré le 7 octobre 2017 sur philosophiebasics.com
- Logique. Récupéré le 7 octobre 2017 sur philosophicalsociety.com
- Logique. Récupéré le 7 octobre 2017 sur wikipedia.org
- Philosophie de la logique. Récupéré le 7 octobre 2017 sur britannica.com
- La nature de la logique. Récupéré le 7 octobre 2017 de philosophie.lander.edu
- Qu'est-ce que la logique? Récupéré le 7 octobre 2017 de philosophie.hku.hk
- Qu'est-ce que la logique. Récupéré le 7 octobre 2017 sur study.ccom
- Qu'est-ce que la logique et pourquoi les philophiles l'étudient-ils?