Sistemas lógicos y lenguajes formales: ¿Genuinos Artefactos Cognitivos?

Abstract

El lenguaje, como objeto abstracto de la práctica lingüística de hablar, tiene ciertos rasgos característicos. La lógica se ocupa de éstos. Su tarea es explicar los rasgos fundamentales que gobiernan el papel inferencial y para ello postula entidades abstractas, las formas lógicas. Éstas están vinculadas con las funciones cognitivas de los hablantes. Los lenguajes formales pueden ser vistos como artefactos cognitivos que mejoran y modifican los procesos de razonamiento de los hablantes, asimismo como un proceso de evolución cultural mediante el cual los seres humanos desarrollan artefactos que les permiten realizar tareas y resolver problemas de manera más eficiente.

The language, as an abstract object of the linguistic practice of speaking, has certain characteristic features. The logic deals with these. Its goal is to explain the fundamental properties which govern the inferential role and for that it postulates abstract entities, the logic forms. These are linked to the cognitive functions of speakers. Formal languages can be seen as cognitive artifacts that improve and modify the reasoning processes of speakers, also as a process of cultural evolution through which human beings develop artifacts that allow them to perform activities and solve problems more efficiently.