définition de la logique

La logique est une science formelle, c'est-à-dire que, comme toute science formelle, elle crée son propre objet d'étude et de raisonnement et la création d'idées par l'esprit est sa méthodologie de travail et de connaissance, mais aussi, la logique, c'est l'une des les branches les plus importantes et les plus populaires de la philosophie, son objet d'étude étant les principes de démonstration et d'inférence valide, qui sont les méthodes qui nous permettront en fin de compte de distinguer le raisonnement correct du raisonnement incorrect..

L'origine de la logique remonte à l'âge d'or de la Grèce classique et le philosophe grec Aristote en est considéré comme le créateur et le père de celle-ci, puisqu'il a été le premier à utiliser la notion et à lui donner l'entité qu'elle garde à ce jour, d'étudier les arguments comme manifestations de la vérité en science.

Cette logique que nous avons décrite ci-dessus et dont Aristote est son fondateur est également connue sous le nom de logique formelleen attendant, il y a aussi un logique informelle qui concentrera son attention sur l'étude méthodique de ces arguments probables de la philosophie, de la rhétorique et de l'oratoire, parmi d'autres sciences qui traitent de ces derniers.

Fondamentalement, la logique informelle consacre tous ses efforts à identifier les erreurs et les paradoxes et à structurer correctement les discours.

Mais dans la logique formelle et informelle la question n'est pas épuisée puisque l'on retrouve aussi d'autres types de logiques qui proposent des méthodologies absolument différentes comme la logique naturelle qui est celle que propose la pensée naturelle, telle qu'elle fonctionne, sans recourir à la science formelle comme support.

Puis le logique floue ou aussi appelée floue qu'il prend certaines licences par rapport aux autres et admet une certaine ambiguïté entre la vérité ou la fausseté de ses propositions, en accord et rapport étroits avec la raison humaine.

Dans un autre ordre, nous pouvons trouver le Logique mathématique qui est manipulé en utilisant un langage artificiel et symbolique et en faisant une abstraction du contenu. Et enfin le logique binaire qui fonctionne avec des variables qui n'admettent que deux valeurs discrètes.