Qu'est-ce que la logique ?

La logique est la science des jugements et des raisonnements, elle est fondée par Aristote. Son objet est de déterminer les conditions formelles de validité des propositions et des liens que le langage et la pensée tissent entre elles (une proposition est un énoncé déclaratif, par exemple, « l'homme est un animal rationnel «). Le champ d'investigation de la logique ne se préoccupe pas de savoir si une série d'énoncés est vraie matériellement, c'est-à-dire, en dehors de sa forme verbale, mais si elle est vraie d'un point de vue formel. Par exemple, l'enchaînement suivant : « Tous les chats sont des insectes, Félix est un chat, donc Félix est un insecte « est valide logiquement quoique faux matériellement. En effet, les chats ne sont pas des insectes, mais l'emboîtement des classes impliquées dans ce qu'on appelle ici un syllogisme est logiquement conforme aux exigences déductives de la pensée seule. On le voit bien en remplaçant les noms par des lettres : « Tous les A appartiennent à B, C appartient à A, donc, C appartient à B. «  Cette absence d'intérêt pour la réalité matérielle ne doit pas nous leurrer. Loin de faire de la logique une occupation futile ou absurde, elle est la condition même de son existence et de son intérêt intellectuel. Aristote a voulu d'abord fixer le cadre le plus rigoureux possible, pour que la pensée dispose et prenne conscience des moyens formels lui permettant d'atteindre la vérité en rendant le monde intelligible. C'est ensuite l'application de cet instrument (organon) qui nous guide dans l'exploration et la classification du réel. Ainsi, avant de penser le monde, la pensée doit donc se penser elle-même pour déterminer les conditions de son propre déploiement.