Sujet : l'existence de la logique dément-elle la liberté de l'esprit ?

Définitions des termes :

• existence : Par opposition à néant: le fait d'être ou d'exister. Par opposition à essence: mode d'être de l'homme, en tant qu'il ne se laisse enfermer dans aucune essence ou nature déterminée.

• 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.

• liberté : Ce mot, en philosophie a trois sens : 1° Libre arbitre. Pouvoir mystérieux de choisir entre les motifs qui me sollicitent sans être déterminé par aucun d'eux. 2° Liberté de spontanéité. S'oppose non plus au déterminisme mais à la contrainte : état de celui qui agit sans être contraint par une force extérieure. 3° Liberté du sage. État de celui qui est délivré des passions et agit à la lumière de la raison.

• esprit : La notion d'esprit revêt plusieurs sens. Elle désigne d'une part l'intellect, la raison, la pensée. Elle désigne d'autre part l'âme, l'être immatériel qui constitue notre intériorité, notre personnalité. Les philosophes classiques ne faisaient pas de différence entre les deux: l'âme, qui relève du sentiment que nous avons de nous-mêmes, est aussi le siège de la pensée. C'est peut-être une indication qu'affectivité et raison sont plus étroitement unies qu'on ne le croit, dans l'esprit, précisément.

Extrait du corrigé : Les règles de la logique ne s'appliquent qu'à l'esprit qui recherche l'objectivité.]   Penser n'est pas calculer - Le calcul est tautologique (ex. du syllogisme; il n'apporte rien de nouveau à la connaissance). - La pensée est au contraire capacité d'invention permanente. - De plus, la pensée prétend toujours évoquer le réel (le monde, l'homme, etc.). Le contenu intuitif ne peut donc pas en être simplement évacué, sous prétexte de rigueur, sans qu'elle nie son ambition et sa portée. - Quels que puissent être ses « défauts » (cf. les critiques de ce que la métaphysique implique d'illusion ontologique par des logiciens comme Louis Rougier), elle apparaît irréductible au calcul, et vient en réalité le compléter, en concevant ses applications. - Le caractère autoréférentiel du calcul oblige à en sortir - ne serait-ce que pour en faire valoir les qualités ! Même si l'on conçoit un méta-calcul pour parler du calcul, il faudra ensuite un méta-méta-calcul pour évoquer le méta-calcul, et ainsi de suite (comparer avec le théorème d'incomplétude de Gödel).