Partager:
Les 6 principaux types de logique
Il y en a plusieurs types de logiqueet tous concentrent leur objet d'étude sur la compréhension du raisonnement et identifient quand ils sont corrects ou incorrects.
L’étude de la logique a évolué depuis l’époque du philosophe grec Aristote jusqu’à présent, et elle a été ajustée dans l’intention d’être plus spécifique et, en même temps, plus adaptée à la vie quotidienne de l’être humain, ce qui lui permet de application plus tangible dans différents domaines.
La logique cherche l'étude systématique des arguments et des propositions, et les différents types de logique permettent d'étudier à la fois la structure purement formelle de ces énoncés, ce qui concerne le contenu et la puissance dudit contenu.
Bien que la logique soit basée sur l’étude des déclarations, elle ne se concentre pas clairement sur le langage naturel (la langue telle que nous la connaissons), mais son utilité a atteint différents domaines et différentes structures, telles que les mathématiques et l'informatique.
Les types de logique les plus pertinents
Formel
La logique formelle, également connue sous le nom de logique classique ou logique aristotélicienne, est l'étude des propositions, des arguments, des déclarations ou des phrases du point de vue structurel.
C'est une méthode pour structurer la pensée et déterminer les formes correctes ou incorrectes d'une approche spécifique.
La logique formelle ne se concentre pas sur la vérité ou la fausseté du contenu d'un argument particulier, mais se concentre 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é; mais son étude se concentre clairement sur la structure de cet argument.
Dans la logique formelle, il existe deux classifications très importantes: la logique déductive et la logique inductive.
La logique déductive se réfère à ces déclarations spécifiques générées à partir de notions générales. À travers ce type de logique, des conclusions peuvent être tirées de concepts ou de théories existants.
Par exemple, dans la logique déductive, on pourrait dire que si l’homme a 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 de manière contraire; c'est-à-dire que les concepts généraux sont créés à partir d'arguments spécifiques.
Par exemple, dans le cadre de la logique inductive, on pourrait dire que si un chat aime le poisson et qu'un autre l'aime aussi, et un autre aussi, tous les chats aiment le poisson.
Informel
La logique informelle est la branche d'étude qui met l'accent 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 sens que la logique formelle étudie les structures des phrases et des propositions; et la logique informelle se concentre sur le fond du message transmis.
Son objet d'étude est la manière d'argumenter pour obtenir le résultat souhaité. La logique informelle donne de la validité à des arguments logiques plus cohérents parmi d’autres qui ont une structure argumentative plus faible.
Pas classique
La logique non classique, ou la logique moderne, trouve son origine au XIXe siècle et s’oppose aux affirmations de la logique classique.
Il établit d'autres formes d'analyse pouvant englober plus d'aspects que ce qui peut être compris dans l'approche classique de la logique.
C'est ainsi que sont inclus les éléments mathématiques et symboliques, de nouveaux énoncés ou théorèmes 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 modal, mathématique, trivalent, entre autres.
Tous ces types de logique diffèrent dans une certaine mesure de la logique formelle, ou incorporent de nouveaux éléments complémentaires, et permettent d'étudier de manière plus logique et adaptée à l'utilité dans la vie quotidienne.
Symbolique
La logique symbolique est également appelée logique de premier ordre ou logique mathématique et se caractérise par l’utilisation de symboles constituant un nouveau langage permettant de «traduire» les arguments.
L'intention de la logique symbolique est de convertir des pensées abstraites en structures plus formelles.
En fait, il n'utilise pas le langage naturel (langage), mais utilise un langage technique qui convertit les phrases en éléments susceptibles d'appliquer des règles plus précises que celles pouvant être appliquées en langage naturel.
Ensuite, la logique symbolique permet de traiter les propositions à travers les lois de calcul, afin d’éviter toute confusion ou imprécision.
Il cherche à incorporer des éléments mathématiques dans l'analyse des structures logiques formelles. 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.
Modal
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 prétend être plus en accord avec la pensée humaine, englobant ainsi l'utilisation de constructions telles que "pourrait", "éventuellement", "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 existe une possibilité, et on a tendance à considérer toutes les possibilités qui peuvent exister, du point de vue logique.
Informatique
La logique computationnelle est un type de logique dérivé de la logique symbolique ou mathématique, mais uniquement appliqué dans le domaine de l'informatique.
Les programmes informatiques utilisent le langage de la programmation pour leur développement et, grâce à la logique, il est possible de travailler sur ces systèmes linguistiques, d’attribuer des tâches spécifiques et d’exécuter des actions de vérification.
Références
- "Logique" dans Encyclopedia Britannica. Récupéré le 4 août 2017 chez Encyclopedia Britannica: britannica.com
- "Logique formelle" dans Encyclopedia Britannica. Récupéré le 4 août 2017 chez Encyclopedia Britannica: britannica.com
- Hernández, F. "Logique computationnelle" à l'Université nationale autonome du Mexique. Récupéré le 4 août 2017 à l'Université nationale autonome du Mexique: unam.mx
- Muñoz, C. "Logiques non classiques" à 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 Español. Récupéré le 4 août 2017 de eHow en Español: ehowenespanol.com
- Oller, C. "Logique et argumentation formelles" (2006) à l'Université nationale de La Plata. Récupéré le 4 août 2017 à 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.