Il y a plusieurs types de logique et tous concentrent leur objet d'étude sur la compréhension du raisonnement et l'identification du moment où il est correct ou incorrect. L'étude de la logique a évolué depuis l'époque du philosophe grec Aristote jusqu'à nos jours.
L'éthique a été ajusté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 lui permet une application plus tangible dans différents domaines.
La logique recherche 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, ainsi que ce qui a à voir avec le contenu, et la puissance dudit contenu..
A pesar de que la lógica se basa en el estudio de los enunciados, no se centra netamente en el lenguaje natural (el idioma tal como lo conocemos), sino que su utilidad ha llegado a áreas diversas y con estructuras distintas, como la matemática y l'informatique.
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.
Autrement dit, 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 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 Clara est un être humain, alors Clara a des jambes..
Dans le cas de la logique inductive, la construction des arguments se fait dans le 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 et un autre aime le poisson, et un autre aussi, alors tous les chats aiment le poisson..
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 valide les arguments logiques qui sont plus cohérents parmi d'autres qui ont une structure argumentative plus faible.
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 couvertes par 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 précise et adaptée à l'utilité dans la vie de tous les jours..
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 par 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 (langage), mais utilise un langage technique qui convertit 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.
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 lógica modal pretende ser más cónsona con el pensamiento humano, por ende abarca el uso de construcciones como “podría”, “posiblemente”, “a veces”, “quizás”, “probablemente”, “es probable”, “a lo mejor ", entre autres.
En logique modale, il s'agit de considérer un scénario dans lequel il y a une possibilité, et il a tendance à considérer toutes les possibilités qui peuvent exister, du point de vue logique.
La logique informatique est un type de logique dérivée de la logique symbolique ou mathématique, seulement 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 ces systèmes de langage, d'attribuer des tâches spécifiques et d'exécuter des actions de vérification.
Personne n'a encore commenté ce post.