Steve Watson

La Logique

La logique a été découverte par Aristote, ou peut-être il l’a inventé. Selon la version traditionnelle, il avait remarqué que parmi certains arguments les raisons garantissent la conclusion. Il n’est pas possible que les raisons soient vraies et la conclusion fausse. Un argument de cette sorte nous appelons maintenant ‘valide’. Aristote a en outre noté que pour certains des arguments, c’était la forme elle-même de l’argument qui garantissait la validité. C’est évident par exemple qu’un argument avec la forme ‘si A alors B, et A, alors B’ est valide – en fait c’est valide ‘formellement’. le système de règles relatives à la validité formelle est ce que nous appelons la logique. Et maintenant, on peut utiliser la logique pour découvrir si un argument dans la langue courante est valide ou non : tout simplement, si l’argument original puisse être mis dans une forme valide, sans perdre le sens de l’original, l’argument doit être valide.

Bon, mais comment savons-nous qu’une forme est valide ? C’est peut-être un fait de l’univers, mais ce n’est pas une chose que nous avons découverte par l’observation comme nous avons découvert la forme du monde. Nous pouvons admettre la possibilité que le monde soit plat, mais nous ne pouvons pas même comprendre la proposition qu’une loi de la logique ne tienne pas. C’est peut-être donc une loi de la pensée – c’est-à-dire, psychologique. Mais non, parce que personne n’accepterait que les arguments valides pour un singe, un chien, ou un extraterrestre soient différents que les arguments valides pour nous. Encore, on ne peut pas même comprendre la possibilité. Donc nous nous retrouvons avec un mystère. Les plus surs de nos arguments reposent elles-mêmes sur des fondations sans support.