Sujet : Que peut-on attendre de la logique ?

Extrait du corrigé : 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.