Faut il systématiser l'opposition entre mensonge et vérité ?

SYSTÈME (gr. sustema ; sunistanai, placer ensemble)

Ensemble dont les parties se tiennent réciproquement et forment un tout organisé et cohérent. Condillac le définit comme « la disposition des différentes parties d'un art ou d'une science dans un ordre où elles se soutiennent toutes mutuellement, et où les dernières s'expliquent par les premières ».

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.

MENSONGE : Acte par lequel un locuteur déforme ou dissimule volontairement ce qu'il sait être la vérité.