Les 7 caractéristiques logiques les plus remarquables
La logique se caractérise par l'étude des méthodes et des principes utilisés pour discerner le raisonnement valable de l'invalide.
Il est à noter que cette discipline s'intéresse uniquement à la manière dont elle est idéalement raisonnée et non pas à la façon dont chaque personne 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 faire la différence entre des arguments de qualité et des arguments médiocres.
Selon le degré de formalité des arguments, on distingue deux types de logique: formelle et informelle.
La logique formelle est caractérisée par l'application de l'inférence pour la compréhension de certaines déclarations. Pour sa part, la logique informelle est responsable de l'étude du langage naturel, celui utilisé par les locuteurs dans les situations de la vie courante.
D'autre part, la logique peut aussi ê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 de la logique 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'argument correct ou incorrect, mais valide ou invalide.
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 de communication.
Logique déductive
La logique déductive est une logique dans laquelle une conclusion est tirée de deux prémisses. Parmi ces deux prémisses, la première représente une proposition universelle (parce qu'elle est générale) et la seconde est une affirmation 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 qui constituent la base. Si les locaux ne sont pas valides, la conclusion sera également invalide.
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 comprend le processus opposé à la logique déductive. D'une manière générale, ce type de logique cherche à extraire les prémisses d'une conclusion déjà existante.
Autrement dit, ce type de logique suppose des prémisses qui appuient une conclusion observable. De cette manière, les locaux obtenus peuvent être probables et acceptables mais pas complètement vrais.
Ensuite, un exemple de logique inductive est présenté:
-Observable conclusion: le chiot dort dans la maison les jours de pluie.
-Premisa: Chaque fois qu'il pleut, le chiot dort à la maison.
Logique abductive
Ce type de logique s'apparente à la logique inductive en ce sens qu'il cherche à extraire les prémisses d'une conclusion.
La différence entre ces deux processus est que l'enlèvement offre la meilleure explication possible pour la conclusion qui est présentée. Cependant, les résultats peuvent être incorrects.
Par exemple:
-Les lumières dans la chambre de ma soeur sont allumées. Ensuite, elle doit être réveillée.
L'analogie
Ce processus logique se produit lorsque des relations de similitude sont établies entre une situation observée et une autre connue.
Par exemple: le chat de mon ami gratte la porte de la maison. Lorsque mon chat veut se promener, gratte la porte de ma maison. Peut-être que le chat de mon ami veut aller 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.
D'autre part, la logique informelle est celle chargée d'étudier les arguments exprimés en langage naturel (quotidien et non spécialisé).
Il se concentre sur l'analyse du raisonnement qui peut être trouvé dans des conversations avec des amis, des publicités, des articles de journaux, des nouvelles, entre autres.
4- Les énoncés logiques ne contredisent pas
La logique est régie par le principe de non-contradiction. Cela indique que deux propositions contradictoires ne peuvent pas être valables en même temps. C'est-à-dire que vous ne pouvez pas être et ne pas être simultanément.
Prendre en compte les propositions suivantes:
-La place a quatre côtés.
-La place a cinq côtés.
Lorsque deux déclarations contradictoires sont présentées, il faut nécessairement être invalide. Dans ce cas, la deuxième proposition est invalide puisqu'elle s'oppose à la logique mathématique.
5- Troisième 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 vrai ou faux, sans la possibilité de l'existence d'une troisième option.
Ce principe est lié à celui de 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 souligne que les deux propositions contradictoires ne peuvent pas être fausses. Par la force, il faut ê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éterminer si une proposition est valide ou non. Parmi ceux-ci sont:
- La différence temporelle: certaines propositions étaient fausses dans le passé mais maintenant, elles sont vraies dans le présent et inversement.
- La différence épistémologique: dans certains cas, on sait que les propositions sont vraies ou fausses. Dans d'autres cas, on pense que les propositions sont vraies ou non.
7- Les énoncés 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 dit que diviser des déclarations simples, celles qui sont formées de deux prémisses et d’une conclusion, serait une erreur car cela nuirait à la proposition.
