Concept en définition ABC

La logique est une science formelle, c'est-à-dire que, comme toutes les sciences formelles, elle crée son propre objet d'étude et la raisonnement et la création d'idées par l'esprit sont votre méthodologie du travail et de la connaissance, mais aussi de la logique, est l'une des branches les plus importantes et les plus populaires au sein de la Philosophie, son objet d'étude étant les principes de démonstration et inférence valides, quelles sont les méthodes qui permettront in fine de distinguer le bon raisonnement du mauvais.

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, puisqu'il fut le premier à utiliser la notion et à lui donner l'entité qu'elle conserve à ce jour, d'étudier les arguments en tant que manifestations de la vérité en science.

Cette logique que nous avons décrite plus haut et dont Aristote est le fondateur est aussi connue sous le nom de logique formelle

en 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 art oratoire, entre autres sciences qui s'en occupent.

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

Mais dans les logiques formelles et informelles la question n'est pas épuisée puisqu'on trouve aussi d'autres types de logiques qui proposent des méthodologies absolument différentes telles que logique naturelle qui est celui que le pensée naturel, en l'occurrence, sans recourir à la science formelle comme base d'appui.

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

Dans un autre ordre, nous pouvons trouver le Logique mathématique qui est géré à l'aide d'un Langue artificielle et symbolique et faire abstraction du contenu. Et enfin le logique binaire qui fonctionne avec des variables qui n'admettent que deux valeurs discrètes.

Sujets en logique