Dialogue

Articles

On Confusions About Bivalence and Excluded Middle

David DeVidia1 and Graham Solomona2

a1 University of Waterloo

a2 Wilfrid Laurier University

Résumé

Cet article discute diverses confusions, actueles ou potentielles, liées á la bivalence et au tiers exclu. Il s'agit, en particulier, 1) d'examiner divers cas illustrant les rapports entre la bivalence et le tiers exclu (cette section doit faire appel à certains concepts techniques, mais elle ne présuppose aucune connaissance technique, les concepts requis y étant définis); 2) de discuter la thése selon laquelle le tiers exclu et le schéma-T de Tarskipour la vérité entraînent la bivalence; 3) de proposer quelques remarques sur les rapports entre la bivalence, le tiers exclu et la preuve par l'absurde; 4) de scruter un argument répandu selon lequel le tiers exclu vaut pour les termes «précis» et 5) de commenter l'histoire de la terminologie. L'objectif ici est d'attirer l'attention des philosophes sur une distinction importante qui ne reçoit pas souvent le traitement minutieux qu'elle mérite.