Sujet : La logique nous livre t-elle la vérité ?

Définitions des termes :

• logique : a) Comme nom, science des lois de la pensée. b) Comme adjectif, se dit d'un discours dans lequel les arguments s'enchaînent de façon cohérente.

• vérité : La vérité concerne l'ordre du discours, et il faut en cela la distinguer de la réalité. Elle se définit traditionnellement comme l'adéquation entre le réel et le discours. Qualité d'une proposition en accord avec son objet. La vérité formelle, en logique, en mathématiques c'est l'accord de l'esprit avec ses propres conventions. La vérité expérimentale c'est la non-contradiction de mes jugements, l'accord et l'identification de mes énoncés à propos d'un donné matériel. On distinguera soigneusement la réalité qui concerne un objet (ce cahier, cette lampe sont réels) et la vérité qui est une valeur qui concerne un jugement. Ainsi le jugement : « ce cahier est vert » est un jugement vrai ou bien un jugement faux. La vérité ou la fausseté qualifient donc non l'objet lui-même mais la valeur de mon assertion. La philosophie, parce qu'elle recherche la vérité, pose le problème de ses conditions d'accès et des critères du jugement vrai.

Extrait du corrigé :

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.

VÉRITÉ FORMELLE

Cohérence. Validité logique d'un raisonnement considéré abstraction faite de la vérité matérielle des propositions qui le composent. Ainsi, un raisonnement peut être cohérent dans la forme (vrai formellement) malgré la fausseté matérielle d'une ou plusieurs de ses propositions. Par ex., le syllogisme suivant : « Tous les Chinois sont français, or je suis chinois, donc je suis français. » La logique formelle contemporaine exprime en langage d'implication ce que nous voulons dire lorsque nous affirmons que la validité d'une inférence est indépendante de son contenu : si tout f est g et si tout x est f, alors tout x est g. La vérité formelle est donc l'absence de contradiction, l'accord de la pensée avec elle-même.

VÉRITÉ MATÉRIELLE

Celle qui consiste dans l'accord de la pensée avec l'Expérience . A distinguer de vérité formelle; ainsi, le syllogisme : « Tous les Français sont européens, or je suis européen, donc je suis français » ne comporte que des propositions vraies matériellement, mais est faux formellement.