Conclusions

Oliver Schlaudt

Mohsen Sakhri

pp. 241-260

in: Oliver Schlaudt, Mohsen Sakhri (eds), Louis Couturat, Berlin, Springer, 2010

Abstract

La comparaison de la Logique algorithmique avec la Logique classique fait bien ressortir les avantages de la première sur la seconde^a La Logique algorithmique a d"abord le mérite^b d"une précision et d"une rigueur absolues. La^c Logique classique est verbale, et par suite asservie aux formes plus ou moins vagues du langage, qui traduit souvent la pensée d"une manière incomplète ou inexacte. Aussi distingue-t-elle des jugements qui sont au fond identiques^d sous une forme différente, et fait-elle dépendre la classification des syllogismes de la place accidentelle que les termes occupent dans les prémisses comme sujet ou comme prédicat, ce qui complique inutilement la théorie en présentant comme des modes divers appartenant à des figures différentes des raisonnements absolument semblables^e.⁽¹⁾ D"autre part, la Logique scolastique considère comme équivalents des jugements qui ne le sont pas⁽²⁾, |parce qu"elle^g fait rentrer dans leur compréhension des prémisses implicites que le bon sens y ajoute ou y sous-entend, mais qui n"y sont^h pas logiquement contenues ; en d"autres termes, parce qu"elle attribue aux jugements universels une portée existentielle qui n"appartient qu"aux jugements particuliers.