Correction (logique)

La correction indique donc que les règles d’un tel système mettent en œuvre des raisonnements qui font du sens, puisqu'on peut les interpréter. Le terme « correction » peut ici être pris dans son sens de « qualité de ce qui est correct ». Le mot correct vient de correctus, participe passé de corrigo (« redresser, corriger »), racine elle-même issue de regō (« diriger, guider, commander ») et du préfixe augmentatif cor-, qui intensifie le sens du mot préfixé. On retrouve la même étymologie pour le terme allemand correspondant Korrektheit, où le suffixe heit sert à former des substantifs féminins à partir d’adjectifs, et indiquant la qualité décrite par ceux-ci. Cependant, la correction est parfois confondue avec la cohérence ou la validité, notamment dans des écrits qui les présentent comme la traduction du terme anglais soundness. Celui-ci dérive du germanique sund, qu’on retrouve dans l’allemand Gesund (sain), et Gesundheit, (santé). En anglais, le suffixe -ness joue le même rôle que heit en allemand, il est apposé à un adjectif pour former un nom indiquant une qualité, un état en relation avec l’adjectif. En ce sens il faudrait, suivant cette étymologie, traduire soundness par la santé d’un système formel.