Que peut-on attendre de la logique ?

Plus tard, la logique de Port-Royal d'Arnauld et de Nicole voit en la logique l'art de "bien conduire sa raison dans la connaissance des choses, tant pour s'instruire soi-même que pour en instruire les autres." - Pourtant, bien que la logique soit formelle (les mots importent peu, ils peuvent être remplacés par des variables), Aristote la concevait comme un instrument pour la science (Organon en grec). La logique permet en effet d'énoncer les règles du vrai. La logique a donc comme ambition de s'appuyer sur la pensée de l'homme pour en découvrir les règles de fonctionnement valide et ainsi avancer vers la connaissance vraie des choses.   2. La logique est formelle et abstraite et ne peut s'interroger ni sur le sens, ni sur le contenu - La logique est formelle : elle ne traite que de la forme du raisonnement, en laissant de côté le contenu et les objets sur laquelle elle porte. Ainsi, logiquement le syllogisme suivant est bon, alors que matériellement, il n'a aucune cohérence : "tous les hommes sont des vertébrés, or mon chien est un vertébré, donc mon chien est un homme." - La logique ne peut donc pas s'interroger sur le sens, ni sur l'adéquation des contenus avec le réel. C'est un outil qui ne s'applique qu'à la pensée humaine, dans ce qu'elle a de formalisable. Ainsi, la logique moderne ne fonctionne même plus avec mots, mais juste avec des symboles.

La logique est la science des inférences valides. L'objet de la logique est donc de dégager des lois qui autorisent des procédures, et de les expliciter et formuler. Aristote fut le premier à en tenter une explicitation. Le terme dérive directement du grec logos qui signifie à la fois discours, raison et calcul. La réflexion d'Aristote est un prolongement sur les interrogations et les recherches sur l'argumentation dans le discours. Sa logique a donc but de prime abord d'apprendre à bien raisonner. Par suite, la logique semblait poser les règles pour accéder à la vérité. Cependant, la logique en étant purement formelle, vide de contenu, peut-elle atteindre la vérité ou même comprendre le sens des choses et du monde?