Les 6 principaux types de logique
Il existe plusieurs types de logique et tous se concentrent sur leur objet d'étude pour comprendre le raisonnement et identifier le moment où ils sont corrects ou incorrects.
L’étude de la logique a évolué depuis l’époque du philosophe grec Aristote jusqu’à aujourd’hui, et elle a été ajustée dans le but d’être plus spécifique et, en même temps, plus adaptée à la vie quotidienne de l’être humain, ce qui lui permet 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 déclarations, ainsi que celle qui concerne le contenu et le pouvoir de ce contenu.
Bien que la logique soit basée sur l’étude des énoncés, elle n’est pas clairement axée sur le langage naturel (langage tel que nous le connaissons), mais son utilité a atteint de nombreux domaines et avec différentes structures, telles que les mathématiques et les mathématiques. l'informatique.
Les types de logique les plus pertinents
Formelle
La logique formelle, également connue sous le nom de logique classique ou de logique aristotélicienne, consiste en l'étude de propositions, d'arguments, d'énoncés ou de 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 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, il n'est pas pertinent pour le logicien de déterminer si l'argument présenté est réel et prouvé; mais son étude se concentre clairement sur la structure de l'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 déclarations spécifiques générées à partir de notions générales. Ce type de logique permet de tirer des conclusions à partir de concepts ou de théories existantes.
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 de manière opposée; 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.
Informel
La logique informelle est la branche d'étude qui se concentre sur le langage et le message émanant de constructions et d'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 l'arrière-plan du message transmis.
Son objet d'étude est le moyen d'argumenter pour obtenir le résultat souhaité. La logique informelle donne la validité aux arguments logiques qui sont plus cohérents parmi d'autres qui ont une structure argumentative plus faible.
Pas classique
La logique non classique, ou logique moderne, a ses origines au XIXe siècle et s’oppose aux énoncés de la logique classique.
Il établit d'autres formes d'analyse pouvant englober plus d'aspects que l'approche classique de la logique.
C’est ainsi que sont inclus des éléments mathématiques et symboliques, de nouvelles déclarations ou de nouveaux théorèmes pour compenser les faiblesses 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 logiquement un énoncé particulier plus précis et mieux adapté à l’utilité de la vie quotidienne.
Symbolique
La logique symbolique est également appelée logique du premier ordre ou logique mathématique. Elle 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 les pensées abstraites en structures plus formelles.
En fait, il n'utilise pas de 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 le traitement des propositions à travers les lois du 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 un 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 la déclaration en question soit vraie ou fausse.
La logique modale prétend être plus conforme à la pensée humaine, elle inclut donc 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 y a une possibilité, et on a tendance à considérer toutes les possibilités qui peuvent exister, du point de vue logique.
Informatique
La logique informatique est un type de logique dérivée de la logique symbolique ou mathématique, à la différence qu’elle s’applique dans le domaine de l’informatique.
Les programmes informatiques utilisent le langage de programmation pour leur développement et, par la logique, il est possible de travailler sur ces systèmes de langage, d'assigner des tâches spécifiques et d'exécuter des actions de vérification.
