LOGIQUE FORMELLE: OBJET D'ÉTUDE, CARACTÉRISTIQUES ET EXEMPLES - PHILOSOPHIE - 2025

La logique formelle, également appelée logique théorique ou logique mathématique, qui détermine les formes de raisonnement valides et correctes sont. Par 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 de la manière la plus claire possible, de sorte qu'ils ne peuvent 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

Le mot «logique» vient du grec ancien λογικήlogik ḗ, qui signifie «doté d'une raison intellectuelle, dialectique et argumentative». La logique est l'une des branches de la philosophie et des mathématiques, et elle 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.

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. Elle ne doit pas non plus être confondue avec la persuasion, car elle prend 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.

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

-Les conclusions du raisonnement ou de la validité correctes découlent du fait que la structure des vrais locaux est analysée.

-Étudier et analyser les gens pour entrer directement dans la pensée, et ainsi pouvoir é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 en mathématiques, philosophie, informatique et statistiques.

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

-Structures d'étude, 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

Il vient du grec ancien δέον déon et 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; niveaux 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

Ce type de logique est né à la suite des études menées par les philosophes Jan Łukasiewicz et Emil Post, dans lesquelles ils déclarent que des valeurs autres que le déjà commun «vrai» et «faux» peuvent être admises, et que ces valeurs peuvent pratiquement atteindre à l'infini.

En ce sens, il diffère de la logique bivalente, qui n'admet que deux valeurs. Des études montrent que la logique multivalente ou multivalente 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; puis, 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.

-María joue dans l'orchestre de rock. Les musiciens sont ceux 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 est mouillée.

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

- La Terre fait partie de l'univers. Dans l'univers, il y a des planètes. 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.

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 «Logique formelle» 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: philosophie.org.
5. «Logique polyvalente» dans le dictionnaire philosophique. Extrait le 23 avril 2019 du Dictionnaire philosophique: philosophie.org.
6. «General aspects of logic» dans Club Essays (18 août 2013). Récupéré le 23 avril 2019 à partir 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" dans wikipedia . Récupéré le 23 avril 2019 sur Wikipedia: es.wikipedia.org.
9. "Logique bivalente" dans wikipedia . Récupéré le 23 avril 2019 sur Wikipedia: es.wikipedia.org