Objet logique formel d'étude, caractéristiques et exemples

La logique formelle, Également appelé logique théorique ou logique mathématique, il détermine quelles sont les formes de raisonnement valides et correctes. Grâce à cette pratique, elle cherche à différencier l'exactitude de l'incorrect.

Dans la logique formelle, les symboles sont utilisés sans ambiguïté et de la manière la plus claire possible, afin qu'ils ne puissent pas être manipulés. Grâce à cette pratique, ils peuvent développer leurs propres idées.

Alfred North Whitehead était l'un des défenseurs de la logique formelle. Source: Wellcom Trust [CC BY-SA 4.0 (https: // CreativeCommons.Org / licences / by-sa / 4.0)]

Le mot "logique" vient de l'ancien grec λογικήlogiket, Ce qui signifie "doté d'une raison intellectuelle, dialectique, 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 premières œuvres réalisées en relation avec la logique sont attribuées 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, plusieurs philosophes, mathématiques et logique ont défendu la logique formelle. Parmi eux, nous pouvons nommer l'église mathématicienne et logique Alonzo; le philosophe, mathématicien et logique Gottlob Frege; Et aussi le mathématicien et philosophe Alfred North Whitehead.

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

[TOC]

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. De ces éléments analysent et étudient toutes les ressources du langage et de la sémantique, afin de parvenir à une conclusion.

En ce sens, il est établi que la logique formelle est étudiée à partir du point structuré, de sa validité ou de sa handicap.

La logique formelle n'est pas une étude empirique du processus de raisonnement. Il ne doit pas non plus être confondu avec la persuasion, car il prend la structure des arguments pour obtenir une conclusion.

Peut vous servir: l'origine de la philosophie: comment et quand a-t-elle eu lieu?

Cette logique est également connue sous le nom de logique théorique ou pure, et cherche à mener une étude abstraite du contenu ou des formes logiques d'arguments, de déclarations, de propositions et de phrases utilisées.

Réaliser une étude exhaustive des modèles 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 étudient uniquement le matériel.

-C'est une structure sans matière.

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

-Applique des méthodes aussi efficaces qui, par la logique formelle, l'incorrection de la droite peut être distinguée.

-Les conclusions du raisonnement correct ou de validité surviennent parce que la structure des vraies prémisses est analysée.

-Étudiez et analysez les gens pour réfléchir directement, et ainsi être en mesure d'établir de nouveaux modèles dans l'esprit de chaque individu.

-Est caractérisé par le fait d'être symbolique.

-Du point de vue d'une science formelle, il 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.

-Étudiez les structures, c'est pourquoi elle est comparée aux mathématiques.

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

Gars

Logique déontique

Cela vient de l'ancien grec Δέον [τος] Donon [toux] Et cela signifie "le dû" ou "le nécessaire". La logique autrichienne Alois Höffler est le percusseur de ce concept, qui fait référence à l'étude et à l'analyse des normes.

Peut vous servir: René Descartes: biographie, philosophie et contributions

Logique bivalente

C'est le type de logique qui n'admet que les valeurs de vrai et de faux. Il ne croit pas aux nuances, tout est noir ou blanc; L'échelle grise est impossible dans ce type de logique.

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

Logique multivalente 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 multivalente ou polyvalente gère les valeurs telles que la possibilité, le besoin, le besoin, la vérité, le mensonge et l'impossibilité.

De même, ce type de logique formelle est également responsable de l'étude des aspects philosophiques et structurels que les arguments ont.

Exemples

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

Comme nous l'avons expliqué ci-dessus, la logique formelle ne se concentre pas sur toutes les possibilités qui peuvent être extraites d'un argument; Il se concentre uniquement sur ceci est vrai ou faux. En ce sens, nous énumérons alors quelques exemples basés sur la logique formelle:

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

-Joao parle portugais. Joao est né au Portugal. Tous au Portugal parlent portugais.

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

-Pedro est Blanco et María Morena, donc il y a des gens blancs et brunes.

Peut vous servir: penseurs humanistes

-Maria touche à l'orchestre rock. Les musiciens sont ceux qui jouent dans l'orchestre rock. Maria est une musicienne.

-José a les cheveux noirs. Elena a les cheveux bruns. La fille d'entre eux pourrait naître avec des cheveux noirs ou bruns.

-Le pied a cinq doigts. Les êtres humains ont un pied droit et un. Chaque personne a dix doigts sur les pieds.

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

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

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

- Maria a mangé sa nourriture chaude. Maria a brûlé lorsqu'il mange sa nourriture chaude. Brûlures de nourriture chaude.

- 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 illumine. Il y a une lumière électrique dans les rues. La lumière électrique illumine les rues.

Les références

1. "Logique formelle" sur l'encyclopédie du Nouveau Monde. Récupéré le 21 avril 2019 de New World Encyclopedia: Newworldyclopedia.org.
2. Morton L. Schagrin Ge Hughes «Logique formelle» en rétablissement le 21 avril 2019 de Britannica: Britannica.com.
3. "Logique et sa classification" dans le monde universitaire. Récupéré le 23 avril 2019 de l'Académie: Academy.Édu.
4. "Logique formelle" dans le dictionnaire philosophique. Récupéré le 23 avril 2019 du Dictionnaire philosophique: philosophie.org.
5. "Logique polyvalente" dans le dictionnaire philosophique. Récupéré le 23 avril 2019 du Dictionnaire philosophique: philosophie.org.
6. «Aspects généraux de la logique» dans Club Essayos (18 août 2013). Récupéré le 23 avril 2019 de Club Essays: Clubansayos.com.
7. "Deontica Logic" dans Wikipedia. Récupéré le 23 avril 2019 de Wikipedia: c'est.Wikipédia.org.
8. "Logique polyvalente" dans Wikipedia. Récupéré le 23 avril 2019 de Wikipedia: c'est.Wikipédia.org.
9. "Logique bivalente" sur Wikipedia. Récupéré le 23 avril 2019 de Wikipedia: c'est.Wikipédia.org