William Cárdenas Marín

El presente artículo hace un recorrido histórico de los procesos lógicos para lograr una formalización rigurosa del lenguaje. Desde sus inicios en Grecia hasta las propuestas contemporáneas de la lógica simbólica o matemática. Se realiza una ubicación general de los avances en las diferentes épocas para luego explicar el proceso de formalización lógico del lenguaje cotidiano a partir de la lógica clásica; luego de ello se postulan algunas limitaciones de la formalización clásica y se procede a explicar el proceso moderno de formalización; en un tercer momento, se hace referencia a la importancia del manejo formal del lenguaje en el análisis del discurso y la validación de teorías cientí cas, valorando el lenguaje formal de la lógica y de la matemática como sistemas para la construcción de la ciencia. La formalización del lenguaje apoya con veracidad los manejos de la argumentación cientí ca y que luego se puede traducir en aplicaciones tecnológicas. El objetivo del artículo es analizar los procesos de formalización del lenguaje a través de un análisis histórico de la lógica, para la determinación de los elementos lógicos que aportan a la formalización del lenguaje y a la construcción de argumentos cientí cos válidos; y, se alcanzará por medio del planteamiento de las preguntas: ¿Qué aportes losó cos constituyen los postulados más relevantes para la evolución del análisis lógico? ¿Cuáles son las limitaciones que presenta la lógica clásica o aristotélica ante la lógica simbólica estructurada por Frege? ¿Cuáles son los aportes a partir de la formalización lógica del lenguaje para el análisis del discurso y la estructuración de la ciencia?

Se analiza el problema del nombrar tratado por diversos autores en el marco de la filosofía del lenguaje. Se busca dar una respuesta a la posible intercambiabilidad que plantean los filósofos entre nombres y descripciones, la existencia de sentidos y significados de los nombres, la necesidad de las proposiciones para determinación de referencias, y la convencionalidad del lenguaje al momento de atribuir significados a los nombres. Las ideas que guían la reflexión están constituidas por la obra Naming and Necessity de Saul Kripke.

Se realiza una reflexión sobre la importancia de la lógica formal y de la proposición en la comprensión de la realidad. Se sustenta la idea de que la proposición es un elemento fundamental en la figuración lógica, en el proceso de comprensión y en la transformación de la realidad; para ello se efectúa una distinción de términosutilizados en el campo de la lógica formal, se recurre a una explicación sobre la relación entre lógica pensamiento y lenguaje, se explica a breves rasgos la estructura de las proposiciones de forma típica y la relación presente entre nombre, sentido, significado y proposición, se argumenta en favor de la importancia de la proposición en la comprensión de la realidad y si existen límites para aquello que se puede pensar o representar en proposiciones lógicas. Las ideas que guían el artículo se basan principalmente en los postulados que surgen de la línea delpensamiento conocido como empirismo lógico. Se busca responder a las preguntas: ¿Es necesario que la lógica centre su atención en el lenguaje para la comprensión de la realidad? ¿Qué papel tiene la proposición en el proceso de abstracción de la realidad? ¿Ejerce la proposición, además de permitir la comprensión de la realidad,un papel fundamental en la transformación de la realidad? Para ello se emplea una metodología analítica. Se obtienen así elementos que ayudan a comprender el valor de la proposición en la forma en que el ser humano comprende la realidad –construcción mental de la realidad o figuración–, comunica lo comprendido –por medio del lenguaje– y construye nuevas realidades –creación y modificación de su entorno–.

The use of artificial intelligence for political decision-making is in an early stage of development; however, there are several questions that arise about its current and hypothetical uses. These questions often come from areas of philosophy, such as ethics, political philosophy, and logic. In this article, first, the theoretical approaches from which the current and hypothetical uses of artificial intelligence for political decision-making can be interpreted will be presented. These approaches include realistic politics, bureaucracy theory, and conflict theory. Then, the possible uses that artificial intelligence could have in politics, as well as the attempts that have already been made, will be discussed. Subsequently, the logical, ethical, and political problems that the use of artificial intelligence for political decision-making could cause will be outlined. Next, a basic experiment will be presented on what kind of political decisions artificial intelligence could suggest. Finally, the points previously discussed will be analyzed from the mentioned theories. The conclusion reached was that, at the present time, the use of artificial intelligence for political decision-making could align more with the approaches of Machiavelli, focusing primarily on achieving goals such as maintaining power, while downplaying moral dilemmas.