Sujet : La logique nous apprend-elle quelque chose ?

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.

• chose : 1. Désigne la réalité (res en latin : chose) en gén. ; cf. DESCARTES : « chose pensante » (âme), « chose étendue » (matière). 2. Désigne la réalité, envisagée comme déterminée et statique, existant hors de la représentation ; en ce sens, KANT utilise l'expression « chose en soi ». 3. (Par ext.) À partir du sens 2, désigne la réalité inanimée, hors de son rapport à la pensée (le monde des choses). Rem. : la chose se distingue de l'objet en ce que ce dernier est construit ; cela n'implique pas que la chose soit chose en soi ; ce qui est chose se constitue comme ce qui est maniable, ce qui est disponible ; autrement dit, l'objet se réfère à la pensée, la chose à l'action ; le monde des choses, c'est le monde qui se détermine dans la pratique, et y résiste ; à partir du sens 3, le réaliste confond volontiers la chose et l'objet (cf. DURKHEIM : « Il faut considérer les faits sociaux comme des choses »). 4. Chosisme : attitude qui consiste à considérer la réalité comme une chose au sens 2.

Extrait du corrigé : La théorie des ensembles, que l'on doit au mathématicien allemand Georg Cantor (1845-1918), permettait, semblait-il, d'unifier toutes les branches des mathématiques. Malheureusement, le logicien Bertrand Russell (1872-1970) découvre que cette théorie conduit à des antinomies, c'est-à-dire des contradictions qui ne sont pas imputables à un défaut de raisonnement, mais qui appartiennent à l'édifice logique lui-même. Les paradoxes mathématiques sont fondamentaux et nombreux. Ils doivent s'appuyer sur un raisonnement logique irréfutable qui conduit cependant à une contradiction. En mathématique, on peut distinguer deux acceptions du paradoxe. Une acception restreinte et une acception large. L'acception restreinte exigerait que cette contradiction soit elle aussi logique en montrant par exemple qu'une proposition soit vraie et fausse en même temps. L'acception large en revanche n'exige de la contradiction qu'elle remette « simplement » en question les lois naturelles. Les paradoxes mathématiques sont les plus choquants dès lors qu'ils appartiennent à la sphère de l'anti-paradoxal par excellence, à une sphère normée par la cohérence, la rigueur et donc l'indubitabilité. Il en est ainsi du paradoxe du Barbier si cher à Russell que nous ne faisions que mentionner en introduction. C'est Russell qui a monté un paradoxe pour démontrer le caractère contradictoire de la théorie des ensembles de Cantor. Russell illustre le paradoxe de la façon suivante : Dans le royaume de razibus, le roi décrète l'édit suivant: "Le barbier doit raser uniquement les hommes qui ne se rasent pas eux-mêmes". Or le barbier ne peut respecter cette règle car : S'il se rase lui-même, il enfreint la règle, car le barbier ne peut raser que les hommes qui ne se rasent pas eux-mêmes. S'il se fait raser, il est enfreint aussi la règle, puisque c'est à lui que revient la tâche de raser les hommes qui ne se rasent pas eux-mêmes.