Abstract
Una concepción bastante extendida acerca de la lógica formal deductiva es la que sostiene que
ella proporciona métodos e instrumentos para el análisis y la evaluación de argumentos del
lenguaje natural. Según este enfoque, la evaluación de un argumento formulado en un lenguaje
natural (tal como el castellano) depende fundamentalmente de la forma lógica que tiene (la
traducción de) ese argumento en el lenguaje artificial de un sistema lógico (tal como el de la
lógica de. primer orden).