- Les types de logique les plus pertinents
- Logique formelle
- Logique informelle
- Logique non classique
- Logique symbolique
- Logique modale
- Logique de calcul
- Références
Il existe plusieurs types de logiques et toutes focalisent leur objet d'étude sur la compréhension du raisonnement et l'identification quand elles sont correctes ou incorrectes. L'étude de la logique a évolué depuis l'époque du philosophe grec Aristote jusqu'à nos jours.
L'éthique s'est adaptée avec l'intention d'être plus spécifique et, en même temps, plus adaptée à la vie quotidienne de l'être humain, ce qui permet une application plus tangible dans différents domaines.
Aristote, reconnu comme le père de la logique.
La logique recherche l'étude systématique des arguments et des propositions, et les différents types de logiques permettent d'étudier à la fois la structure purement formelle de ces énoncés, ainsi que ce qui a à voir avec le contenu, et la puissance dudit contenu.
Bien que la logique soit basée sur l'étude des énoncés, elle ne se concentre pas clairement sur le langage naturel (le langage tel que nous le connaissons), mais son utilité a atteint différents domaines et avec des structures différentes, comme les mathématiques et l'informatique.
Les types de logique les plus pertinents
Logique formelle
La logique formelle, également connue sous le nom de logique classique ou logique aristotélicienne, est l'étude de propositions, d'arguments, d'énoncés ou de phrases d'un point de vue structurel. C'est une méthode de structuration de la pensée et de détermination des formes correctes ou incorrectes d'une approche spécifique.
La logique formelle ne se concentre pas sur la véracité ou la fausseté du contenu d'un argument particulier, mais se concentre plutôt sur la validité ou non de la construction de sa forme.
C'est-à-dire que l'objet d'étude de la logique formelle n'est pas empirique, pour le logicien il n'est pas pertinent de déterminer si l'argument présenté est réel et prouvé; Au contraire, son étude est clairement centrée sur la structure dudit argument.
Dans la logique formelle, il existe deux classifications très importantes: la logique déductive et la logique inductive.
La logique déductive fait référence aux énoncés spécifiques générés à partir de notions générales. Grâce à ce type de logique, des inférences peuvent être faites à partir de concepts ou de théories qui existent déjà.
Par exemple, dans la logique déductive, on pourrait dire que si les humains ont des jambes et que Clara est un être humain, alors Clara a des jambes.
Dans le cas de la logique inductive, la construction des arguments se fait en sens inverse; c'est-à-dire que les concepts généraux sont créés à partir d'arguments spécifiques.
Par exemple, dans la logique inductive, on pourrait dire que si un chat aime le poisson, un autre l'aime aussi, et un autre aussi, alors tous les chats aiment le poisson.
Logique informelle
La logique informelle est la branche d'étude qui se concentre sur le langage et le message qui émane des constructions et des arguments sémantiques.
Cette logique est différente de la logique formelle, en ce que la logique formelle étudie les structures des phrases et des propositions; et la logique informelle se concentre sur la substance du message véhiculé.
Son objet d'étude est la manière d'argumenter pour obtenir le résultat souhaité. La logique informelle donne de la validité aux arguments logiques qui sont plus cohérents parmi d'autres qui ont une structure argumentative plus faible.
Logique non classique
La logique non classique, ou logique moderne, trouve son origine au XIXe siècle et se pose en opposition aux déclarations de la logique classique. Il établit d'autres formes d'analyse qui peuvent couvrir plus d'aspects que celles qui peuvent être incluses dans l'approche classique de la logique.
C'est ainsi que sont inclus des éléments mathématiques et symboliques, de nouveaux énoncés ou théorèmes qui sont venus combler les lacunes d'un système logique formel.
Dans la logique non classique, il existe différents sous-types de logique, tels que modale, mathématique, trivalente, entre autres.
Tous ces types de logiques diffèrent dans une certaine mesure de la logique formelle, ou intègrent de nouveaux éléments complémentaires, et permettent à l'étude logique d'un énoncé particulier d'être plus exacte et adaptée à l'utilité dans la vie quotidienne.
Logique symbolique
La logique symbolique est également appelée logique du premier ordre, ou logique mathématique, et se caractérise par l'utilisation de symboles qui constituent un nouveau langage à travers lequel les arguments sont «traduits».
L'intention de la logique symbolique est de convertir des pensées abstraites en structures plus formelles. En fait, il n'utilise pas de langage naturel (idiome), mais utilise un langage technique qui transforme les phrases en éléments susceptibles d'appliquer des règles plus exactes que celles qui peuvent être appliquées en langage naturel.
Ainsi, la logique symbolique permet le traitement des propositions à travers les lois du calcul, afin d'éviter toute confusion ou inexactitude.
Il cherche à incorporer des éléments mathématiques dans l'analyse des structures de la logique formelle. Dans le domaine mathématique, la logique est utilisée pour prouver des théorèmes.
En bref, la logique symbolique ou mathématique cherche à exprimer la pensée humaine à travers le langage mathématique.
Cette application mathématique de la logique permet aux arguments et aux constructions d'être plus précis.
Logique modale
La logique modale se concentre sur l'étude des arguments, mais ajoute des éléments liés à la possibilité que l'énoncé en question soit vrai ou faux.
La logique modale essaie d'être plus en phase avec la pensée humaine, elle englobe donc l'utilisation de constructions telles que «pourrait», «peut-être», «parfois», «peut-être», «probablement», «est probable», «peut-être ", entre autres.
En logique modale, il s'agit de considérer un scénario dans lequel il y a une possibilité, et elle a tendance à considérer toutes les possibilités qui peuvent exister, du point de vue logique.
Logique de calcul
La logique informatique est un type de logique dérivée de la logique symbolique ou mathématique, mais elle est appliquée dans le domaine de l'informatique.
Les programmes informatiques utilisent le langage de programmation pour leur développement et, grâce à la logique, il est possible de travailler sur ces systèmes de langage, d'attribuer des tâches spécifiques et d'exécuter des actions de vérification.
Références
- "Logique" dans l'Encyclopédie Britannica. Récupéré le 4 août 2017 de l'Encyclopedia Britannica: britannica.com
- "Logique formelle" dans l'Encyclopédie Britannica. Récupéré le 4 août 2017 de l'Encyclopedia Britannica: britannica.com
- Hernández, F. "Computational Logic" à l'Université nationale autonome du Mexique. Récupéré le 4 août 2017 de l'Université nationale autonome du Mexique: unam.mx
- Muñoz, C. "Non-Classic Logic" à l'Université Complutense de Madrid. Récupéré le 4 août 2017 de l'Université Complutense de Madrid: ucm.es
- Julia, J. "Qu'est-ce que la logique symbolique?" dans eHow en espagnol. Récupéré le 4 août 2017 sur eHow en espagnol: ehowenespanol.com
- Oller, C. "Logique formelle et argumentation" (2006) à l'Université nationale de La Plata. Récupéré le 4 août 2017 de l'Université nationale de La Plata: rfytp.fahce.unlp.edu.ar
- "Inférences déductives et inductives" dans Junta de Extremadura. Récupéré le 4 août 2017 dans Junta de Extremadura: educarex.es.