La lógica clásica, como herramienta formal del razonamiento, ha significado un gran aporte para la ciencia. Recientemente, en el ámbito interdisciplinario de la ciencia cognitiva se ha investigado intensamente el razonamiento humano de sentido común. Los numerosos estudios desarrollados tratan el razonamiento no-monótono o revisable y han diseñado formalismos, es decir, lenguajes y reglas para implementar el razonamiento del hombre común, expresado en su lenguaje natural, en programas computacionales. En este trabajo se entrega una síntesis de los aportes de la ciencia cognitiva, mediante la revisión de los nuevos modelos lógicos y las aproximaciones lógico-semánticas, aplicadas al razonamiento humano, evaluando su potencial y limitaciones. Por último, se presentan ejemplos de razonamientos comunes y de cómo ellos se formalizan en la ciencia cognitiva.