Logique formelle à l'étude, caractéristiques et exemples

1558
Abraham McLaughlin

La logique formelle, Aussi appelée logique théorique ou logique mathématique, elle détermine quelles sont les formes de raisonnement valides et correctes. À travers cette pratique, nous cherchons à différencier ce qui est correct de ce qui est incorrect.

Dans la logique formelle, les symboles sont utilisés sans ambiguïté et aussi clairement que possible, afin qu'ils ne puissent pas être manipulés. Grâce à cette pratique, il est possible de développer vos propres idées.

Alfred North Whitehead était l'un des partisans de la logique formelle. Source: Wellcome Trust [CC BY-SA 4.0 (https://creativecommons.org/licenses/by-sa/4.0)]

Le mot «logique» vient du grec ancien λογικήlogiket, qui signifie «doué de raison intellectuelle, dialectique et argumentative». La logique est l'une des branches de la philosophie et des mathématiques, et est considérée comme très utile pour ces disciplines.

En général, la logique étudie la forme de la pensée. Les premiers travaux réalisés en relation avec la logique sont attribués au philosophe grec Aristote, c'est pourquoi il est connu comme le père fondateur de ce domaine de pensée.

Tout au long de l'histoire, divers philosophes, mathématiciens et logiciens ont défendu la logique formelle. Parmi eux, nous pouvons citer le mathématicien et logicien Alonzo Church; le philosophe, mathématicien et logicien Gottlob Frege; et aussi le mathématicien et philosophe Alfred North Whitehead.

Alfred Tarski, KurtGödel, Bertrand Russell et Willard Van Orman Quine, entre autres, ont également été de grands défenseurs..

Index des articles

  • 1 Objet d'étude
  • 2 caractéristiques
  • 3 types
    • 3.1 Logique déontique
    • 3.2 Logique bivalente
    • 3.3 Logique polyvalente ou polyvalente
  • 4 exemples
  • 5 Références

Objet d'étude

La logique formelle utilise des aspects tels que le raisonnement, le concept, les jugements et la démonstration comme objet d'étude. A partir de ces éléments, il analyse et étudie toutes les ressources du langage et de la sémantique, afin de parvenir à une conclusion.

En ce sens, il est établi que dans la logique formelle le raisonnement est étudié du point de vue structuré, de sa validité ou de son invalidité.

La logique formelle n'est pas une étude empirique du processus de raisonnement. Il ne faut pas non plus le confondre avec la persuasion, car il faut la structure des arguments pour aboutir à une conclusion.

Cette logique est également connue sous le nom de logique théorique ou pure et cherche à réaliser une étude abstraite du contenu ou des formes logiques des arguments déductifs, des énoncés, des propositions et des phrases utilisées de manière assertive..

La réalisation d'une étude exhaustive des schémas logiques formels permettra à chaque individu de connaître exactement les procédures associées à sa réflexion..

Caractéristiques

Voici les caractéristiques les plus particulières qui différencient la logique formelle des autres types de logique:

-C'est une science qui étudie la forme de la prémisse, contrairement à d'autres types de logique qui n'étudient que le matériau.

-C'est une structure sans matière.

-Il est établi sous un sous-ensemble de systèmes formels.

-Applique des méthodes si efficaces que grâce à une logique formelle, vous pouvez distinguer ce qui ne va pas de ce qui est juste.

-Les conclusions du raisonnement correct ou valide découlent du fait que la structure des véritables prémisses est analysée.

-Étudier et analyser les gens pour entrer directement dans la pensée, et ainsi être en mesure d'établir de nouveaux modèles dans l'esprit de chaque individu.

-Il se caractérise par être symbolique.

-Du point de vue d'une science formelle, elle joue un rôle important dans les mathématiques, la philosophie, l'informatique et les statistiques..

-Il est lié à la grammaire en raison de l'étude de la sémantique.

-Étudier les structures, c'est pourquoi il est comparé aux mathématiques.

-Il est également lié à la psychologie car il se concentre sur l'étude de la pensée de chaque individu.

Les types

Logique déontique

Vient du grec ancien δέον [τος] déon [toux] et cela signifie «ce qui est dû» ou «ce qui est nécessaire». Le logicien autrichien Alois Höffler est le pionnier de ce concept, qui renvoie à l'étude et à l'analyse des normes.

Logique bivalente

C'est le type de logique qui ne prend en charge que les valeurs vraies et fausses. Il ne croit pas aux nuances, tout est noir ou blanc; le niveau de gris est impossible dans ce genre de logique.

Ses principes sont basés sur la logique aristotélicienne, qui sont l'identité, la non-contradiction et le tiers exclu..

Logique polyvalente ou polyvalente

Este tipo de lógica nació a raíz de los estudios realizados por los filósofos Jan Łukasiewicz y Emil Post, en los cuales exponen que se pueden admitir otros valores distintos de los ya comunes “verdadero” y “falso”, y que dichos valores pueden llegar prácticamente à l'infini.

En ce sens, il diffère de la logique bivalente, qui n'admet que deux valeurs. Des études montrent que la logique polyvalente ou polyvalente gère des valeurs telles que la possibilité, la nécessité, la non-nécessité, la vérité, le mensonge et l'impossibilité.

De même, ce type de logique formelle est également chargé d'étudier les aspects philosophiques et structurels des arguments..

Exemples

Grâce à la logique formelle, il est possible d'ajouter une valeur de vérité ou de mensonge à un raisonnement spécifique.

Comme nous l'avons expliqué précédemment, la logique formelle ne se concentre pas sur toutes les possibilités qui peuvent être extraites d'un argument; il se concentre uniquement sur la question de savoir si cela est vrai ou faux. En ce sens, nous énumérons ci-dessous quelques exemples basés sur une logique formelle:

-Buenos Aires est la capitale de l'Argentine; Donc, tous ceux qui sont nés à Buenos Aires sont argentins.

-Joao parle portugais. Joao est né au Portugal. Tout le monde au Portugal parle portugais.

-Les vaches donnent du lait. Les vaches sont des mammifères. Tous les mammifères donnent du lait.

-Pedro est blanc et María est brune, donc il y a des blancs et des bruns.

-Maria joue dans l'orchestre de rock. Ce sont les musiciens qui jouent dans l'orchestre de rock. Maria est musicienne.

-José a les cheveux noirs. Elena a les cheveux bruns. Leur fille pourrait naître avec des cheveux noirs ou bruns.

-Le pied a cinq orteils. Les êtres humains ont un pied droit et un pied gauche. Chaque personne a dix orteils..

-L'Espagne est un pays. L'Espagne reste en Europe. Tous les Espagnols sont européens.

- Ana est un être vivant. Ana est mortelle. Tous les êtres vivants sont mortels.

- José s'est mouillé avec de l'eau. L'eau se mouille.

- Maria a mangé sa nourriture chaude. Maria s'est brûlée en mangeant sa nourriture chaude. Brûlures d'aliments chauds.

- La Terre fait partie de l'univers. Il y a des planètes dans l'univers. La Terre est une planète.

- La lumière électrique s'allume. Il y a de la lumière électrique dans les rues. La lumière électrique illumine les rues.

Les références

  1. "Logique formelle" dans l'encyclopédie du nouveau monde. Extrait le 21 avril 2019 de l'encyclopédie New world: newworldencyclopedia.org.
  2. Morton L. Schagrin Ge Hughes «Formal logic» dans Récupéré le 21 avril 2019 sur Britannica: britannica.com.
  3. "La logique et sa classification" à l'Académie. Récupéré le 23 avril 2019 sur Academia: academia.edu.
  4. «Logique formelle» dans le dictionnaire philosophique. Extrait le 23 avril 2019 du dictionnaire philosophique: philosophia.org.
  5. «Logique polyvalente» dans le dictionnaire philosophique. Extrait le 23 avril 2019 du dictionnaire philosophique: philosophia.org.
  6. «General aspects of logic» dans Club Essays (18 août 2013). Récupéré le 23 avril 2019 des essais du club: clubensayos.com.
  7. "Logique déontique" dans wikipedia. Récupéré le 23 avril 2019 sur Wikipedia: es.wikipedia.org.
  8. "Logique polyvalente" sur wikipedia. Récupéré le 23 avril 2019 sur Wikipedia: es.wikipedia.org.
  9. "Logique bivalente" sur wikipedia. Récupéré le 23 avril 2019 sur Wikipedia: es.wikipedia.org

Personne n'a encore commenté ce post.