LOGIQUE (gr. technè logikè, art ou science du raisonnement)

Gén. Étude des opérations par lesquelles l'esprit prétend élaborer des raisonnements cohérents (non contradictoires), et détermination des règles de construction auxquelles doivent obéir ces raisonnements pour être valides dans la forme, ou formellement vrais. La logique dite formelle, ou classique, fut d'abord codifiée par Aristote. Son objet est de fixer les conditions de validité formelle d'une démonstration sans se soucier de la vérité matérielle des propositions qui la composent. Log. Science de la validité des inférences, c.-à-d. de toute opération qui consiste à établir une proposition à partir d'une ou de plusieurs propositions antécédentes, en vertu de certaines règles opératoires. La logique moderne est formalisée ou algorithmique; on l'appelle logique symbolique pour la distinguer de la logique classique d'Aristote, dont les raisonnements (syllogismes) s'énoncent encore en grec selon la grammaire ordinaire de cette langue. Les modernes et les contemporains (de Leibniz à Russell) découvrent l'intérêt logique d'une langue artificielle qui permet d'exprimer, sans l'équivocité propre aux langues naturelles, les structures universelles de la pensée.

PENSÉE (lat. pensare, peser)

La définition cartésienne de la pensée comme ensemble des phénomènes de l'esprit (entendre, vouloir, imaginer, sentir) est peu usitée : "Par le mot pensée, j'entends tout ce qui se fait en nous".

CONNAISSANCE (lat. cognoscere, chercher à savoir)

Le terme de connaissance désigne d'abord l'acte par lequel la pensée s'efforce de saisir et de définir un objet qui se présente à elle. Il désigne ensuite le savoir résultant de cette action. On oppose principalement croyance et connaissance, non par le degré de certitude éprouvé soit par le sujet qui croit, soit par le sujet qui connaît, mais par le fait que la croyance n'est pas nécessairement fondée en raison, autrement dit n'implique pas nécessairement l'idée de vérité.