I. Un argumento es correcto si (1) es válido y (2) sus premisas, y, por tanto, su conclusión, son verdaderas.
II. Un sistema lógico es correcto syss todos sus teoremas son lógicamente verdaderos; corrección es la conversa de completud.
(Haack, 1978).
A la corrección también se la llama validez lógica y no hay que confundirla con verdad logica. Puede haber pues, argumentos correctos, pero falsos y viceversa.
En lógica, la validez es la propiedad que tienen los argumentos cuando las premisas implican la conclusión. Si la conclusión es una consecuencia lógica de las premisas, se dice que el argumento es deductivamente válido. Algunos consideran estas dos nociones [deductivo y válido] idénticas y usan ambos términos indistintamente. Otros, sin embargo, consideran que puede haber argumentos válidos que no sean deductivamente válidos, como las inducciones. En cualquier caso, de las inducciones a veces se dice que son buenas o malas, en vez de válidas o inválidas.
(Wikipedia).