Alfredo Deaño define la Lógica la ciencia de los principios de la validez formal de la inferencia. Irving Copi afirma, por su parte que el principal problema que aborda la lógica es "la distinción entre el razonamiento correcto e incorrecto".