Les 6 types de logique et leur signification

Il y a plusieurs Types de logique et tous concentrent leur objet d'étude sur la compréhension du raisonnement et de l'identification lorsqu'ils sont corrects ou incorrects. L'étude de la logique a évolué depuis l'époque du philosophe grec Aristote jusqu'à présent.

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 permet une application plus tangible dans différents domaines.

Aristote, reconnu comme le père de la logique.

La logique cherche l'étude systématique des arguments et des propositions, et les différents types de logique permettent qu'il soit possible d'étudier à la fois la structure simplement formelle de ces déclarations, et 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.

Les types de logique les plus pertinents

Logique formelle

La logique formelle, également connue sous le nom de logique aristotélicienne classique ou logique, est l'étude des propositions, des arguments, des déclarations ou des phrases du point de vue structurel. Il s'agit d'une méthode pour structurer la pensée et déterminer les façons correctes ou incorrectes d'une approche spécifique.

La logique formelle ne se concentre pas sur la véracité ou le mensonge du contenu d'un argument particulier, mais est concentré dans 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, car il n'est pas pertinent de déterminer si l'argument présenté est réel et prouvé; Mais votre étude est clairement axée sur la structure dudit argument.

Peut vous servir: empedocles

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 à ces déclarations spécifiques générées à partir des notions générales. Grâce à ce type de logique, ils peuvent devenir des inférences à 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 claire est un être humain, alors Clear a des jambes.

Dans le cas de la logique inductive, la construction des arguments se produit contraire; 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 aussi, et un autre aussi, alors tous les chats aiment le poisson.

Logique informelle

La logique informelle est la branche de l'étude qui se concentre sur la langue et le message émanant 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 prières et des propositions; Et la logique informelle se concentre sur le bas du message transmis.

Son objet d'étude est le moyen de se disputer pour obtenir le résultat souhaité. La logique informelle donne une validité aux arguments logiques qui sont plus cohérents entre autres qui ont une structure argumentative plus faible.

Logique non classique

La logique non classique, ou logique moderne, est originaire du 19e siècle et se produit contrairement aux déclarations de la logique classique. Il établit d'autres formes d'analyse qui peuvent couvrir plus d'aspects possibles à englober grâce à l'approche logique classique.

Peut vous servir: sujet moral

C'est ainsi que les éléments mathématiques et symboliques, les nouvelles déclarations ou les théorèmes qui sont venus fournir les lacunes d'un système logique formel sont inclus.

Dans la logique non classique, il existe différents sous-types de logique, tels que modal, mathématiques, trivalents, 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 à l'étude logique d'une déclaration particulière d'être plus précise et adaptée à l'utilité dans la vie quotidienne.

Logique symbolique

Dans ce jeu, vous devez localiser chaque morceau du carré central dans les différentes figures autour

La logique symbolique est également appelée logique de premier ordre, ou logique mathématique, et se caractérise en utilisant des symboles qui constituent une nouvelle langue à travers laquelle ils "traduisent" 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 (langue), mais utilise un langage technique qui convertit les phrases en éléments sensibles à l'application de règles plus exactes qui peuvent être appliquées en langage naturel.

Ensuite, la logique symbolique permet le traitement des propositions à travers les lois du calcul, afin d'éviter la confusion ou les inexactitudes.

Cherche à intégrer 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 démontrer les 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 exacts.

Logique modale

Modal Logic 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.

Peut vous servir: utilitarisme

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.

Dans la logique modale, il s'agit de considérer un scénario dans lequel il y a une possibilité, et toutes les possibilités qui peuvent exister, du point de vue logique,.

Logique informatique

La logique de calcul est un type de logique dérivé de la logique symbolique ou mathématique, seulement qu'elle est appliquée dans le domaine de l'informatique.

Les programmes informatiques utilisent le langage de la programmation pour leur développement et, via la logique, il est possible de travailler ces systèmes linguistiques, d'attribuer des tâches spécifiques et d'exécuter des actions de vérification.

Les références

1. "Logique" dans Britannica Encyclopedia. Récupéré à Britannica.com
2. "Logique formelle" dans l'encyclopédie Britannica. Récupéré à Britannica.com
3. Hernández, f. "Logique informatique" à l'Université nationale autonome du Mexique. Récupéré à unam.mx
4. Muñoz, C. «Logique non classique» à l'Université Complutense de Madrid. Récupéré dans UCM.est
5. "Inférences déductives et inductives" au conseil d'administration. Récupéré dans Educarex.est.