Lógica y análisis del lenguaje natural (original) (raw)

La lógica de predicados y el lenguaje natural. Un lenguaje formal es un sistema semiótico similar al lenguaje natural humano. Como tal sistema semiótico, comparte con este último las características propias de los sistemas de signos. La principal diferencia entre los lenguajes formales y el lenguaje natural humano reside en su uso desde el punto de vista de la comunicación: los lenguajes formales han sido diseñados para ser usados en determinados contextos y con fines comunicativos muy concretos, frente a la versatilidad contextual y a la creatividad propias de las lenguas humanas. Por lo demás, los problemas de ambigüedad o de complejidad estructural que se derivan de la comparación entre los lenguajes formales y los lenguajes naturales muestran sólo diferencias de grado que no tienen por qué ser consideradas como características propias de dos realidades esencialmente distintas. En este sentido, Richard Montague propuso en las décadas de 1960 y 1970 un programa de investigación en el que las lenguas naturales eran consideradas desde una perspectiva similar a la de los lenguajes formales de la lógica y de las matemáticas, de modo que en su análisis cabría la posibilidad de utilizar herramientas extraídas a partir de estos últimos. Un lenguaje formal está compuesto por símbolos que, en un principio, no están interpretados. Estos símbolos se combinan entre sí para obtener expresiones complejas del lenguaje según ciertas reglas que han de ser expuestas con claridad y rigor, no habiendo excepciones para las mismas. Finalmente, es posible interpretar (es decir: dar un significado) a cada una de las expresiones, simples o complejas, del lenguaje formal en función del contexto en el que vaya a ser utilizado y la finalidad para la que se lo requiera. Por lo tanto, en todo lenguaje formal cabe distinguir: 1. Un conjunto de símbolos no interpretados o vocabulario. 2. Un conjunto de reglas sintácticas o de formación de expresiones complejas a partir del vocabulario. 3. Un conjunto de funciones semánticas para la interpretación de las expresiones del lenguaje. Ejemplifiquemos las características de los lenguajes formales a través del análisis de un lenguaje de lógica de predicados de primer orden al que llamaremos, a partir de ahora, lenguaje L.

Sign up for access to the world's latest research.

checkGet notified about relevant papers

checkSave papers to use in your research

checkJoin the discussion with peers

checkTrack your impact