El lenguaje natural como lenguaje formal

Formal languages theory is useful for the study of natural language. In particular, it is of interest to study the adequacy of the grammatical formalisms to express syntactic phenomena present in natural language. First, it helps to draw hypotheses about the nature and complexity of the speaker-hearer linguistic competence, a fundamental question in linguistics and other cognitive sciences. Moreover, from an engineering point of view, it allows for the knowledge of practical limitations of applications based on those formalisms. This article introduces the problem of adequacy of grammatical formalisms for natural language, also introducing some formal language theory concepts required for this discussion. Then, it reviews the formalisms that have been proposed through history, and the arguments that have been given to support or reject their adequacy.La teoría de lenguajes formales es útil para el estudio de los lenguajes naturales. En particular, resulta de interés estudiar la adecuación de los formalismos gramaticales para expresar los fenómenos sintácticos presentes en el lenguaje natural. Primero, ayuda a trazar hipótesis acerca de la naturaleza y complejidad de las competencias lingüísticas de los hablantes-oyentes del lenguaje, un interrogante fundamental de la lingüística y otras ciencias cognitivas. Además, desde el punto de vista de la ingeniería, permite conocer limitaciones prácticas de las aplicaciones basadas en dichos formalismos. En este artículo se hace una introducción al problema de la adecuación de los formalismos gramaticales para el lenguaje natural, introduciendo también algunos conceptos de la teoría de lenguajes formales necesarios para esta discusión. Luego, se hace un repaso de los formalismos que han sido propuestos a lo largo de la historia, y de los argumentos que se han dado para sostener o refutar su adecuación

La lógica informal y las nuevas lógicas

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)

Lógica proposicional: sintaxis y semántica.

La traducción del lenguaje natural al lenguaje formal es un proceso, que no es tan sencillo como en ocasiones se piensa, es más, por lo general a los estudiantes le cuesta realizarlo y se convierte para ellos en un gran problema. La correcta traducción del lenguaje natural al lenguaje formal constituye la base para, entre otras cosas, determinar la validez de un argumento. Es por ello, que con esta investigación se pretende brindar orientaciones para realizar la traducción del lenguaje natural al lenguaje formal de forma menos traumática para los estudiantes, además de presentar una herramienta tecnológica, Excel, la cual nos ayudará con la construcción de las tablas de verdad para determinar la validez de un argumento, puesto que, si se cuentan con más de tres premisas el método de la tabla de verdad se torna tedioso y son altas las probabilidades de cometer errores dada la cantidad de renglones con los cuales se deben trabajar. Esperamos que el mismo sea de gran beneficio para los docentes y los estudiantes

Equilibrio reflexivo en la teoría de la formalización

En la reciente disputa sobre la cuestión de la formalización en lógica, autores como Georg Brun, Jaroslav Peregrin y Vladimir Svoboda sostienen que la tarea de formalizar argumentos del lenguaje natural involucra un equilibrio reflexivo a la Nelson Goodman, entre la autoridad normativa del sistema lógico formal elegido y las intuiciones informales correspondientes al lenguaje natural. En el presente trabajo argumentamos a favor de la normatividad de la lógica formal para determinar la validez de los argumentos en lenguaje natural, y que una instancia exterior relativa a la elección del sistema lógico formal involucra un tipo de equilibrio reflexivo.Facultad de Humanidades y Ciencias de la Educació

Motivaciones, supuestos y enfoques para investigar en lógica

observaré que posiciones como las de Hacking y de Quine, desarrolladas ambas bajo un enfoque formal de la lógica, admiten una distinción según el autor proponga objetivos en torno de la noción de verdad necesario o no lo haga. A continuación, explicitaré en qué sentido algunos trabajos realizados en el marco de la lógica informal quedan comprendidos junto con los de Quine, si se acepta la distinción sugerida. Finalmente, y dadas las limitaciones conceptuales del enfoque formal en lo que se refiere a la evaluación de razonamientos expresados en lenguaje natural, argumentaré que un examen de supuestos asumidos en cada caso acerca del lenguaje permitiría investigar la posibilidad de establecer articulaciones entre los enfoques considerados

La enseñanza de textos jurídicos en sede indeterminista

23 p.El arquetipo formal de los sistemas jurídicos, distinto a la forma de positivismo jurídico arcaico visto en la tradición del formalismo, y que tampoco obedece a la noción estipulativa de la formalidad del derecho, se erigió bajo el ideal o la pretensión de completitud. En este sentido, se aspiraba a que el derecho prestara soluciones jurídicas correctas y definitivas a los problemas jurídicos que se suscitaban; pretensión que requería de una contundente precisión en los conceptos sobre los cuales se estimaban los supuestos jurídicos de la vida cotidiana. Sin embargo, al ser el lenguaje de las normas jurídicas un lenguaje combinatorio, entre tanto requiere el uso de tecnicismos, acompañado del lenguaje natural, el derecho adopta de este sus características definitorias, como son, su ambigüedad y vaguedad, las cuales se presentan como condiciones propias del fenómeno de la indeterminación.Introducción Borderline cases e indeterminación legal Concepciones y formas de la indeterminación legal Causas y soluciones del indeterminismo legal Sistema jurídico e indeterminación normativa El problema de las respuestas correctas Los casos prácticos Conclusiones: ¿Por qué casos imaginarios

Uso de la gramática distributiva en la ingeniería de requisitos

Dentro del contexto de desarrollo de herramientas, esta investigación tiene como objetivo el concretar una especificación formal a partir de una especificación realizada en lenguaje natural. Para ello se comienza primero por construir una herramienta, que sobre la base de la Gramática Distributiva permita producir texto en lenguaje natural con un alto grado de precisión ya que la aplicación de las reglas de la Gramática Distributiva así lo permiten, para luego, sobre la base de un texto en lenguaje natural, que tenga la semántica prevista por el usuario y un alto grado de coherencia y regularidad, someterlo a otra herramienta que permita traducir dicho texto a un lenguaje ejecutable. Por otro, lado la herramienta para la Gramática Distributiva tendrá otras aplicaciones propias de los objetivos de dicha gramática, tales como orientar a los usuarios de la misma a producir textos, sobre todos textos complejos sobre temas científicos, que sean lo más claro y menos ambiguos posible.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Uso de la gramática distributiva en la ingeniería de requisitos

Dentro del contexto de desarrollo de herramientas, esta investigación tiene como objetivo el concretar una especificación formal a partir de una especificación realizada en lenguaje natural. Para ello se comienza primero por construir una herramienta, que sobre la base de la Gramática Distributiva permita producir texto en lenguaje natural con un alto grado de precisión ya que la aplicación de las reglas de la Gramática Distributiva así lo permiten, para luego, sobre la base de un texto en lenguaje natural, que tenga la semántica prevista por el usuario y un alto grado de coherencia y regularidad, someterlo a otra herramienta que permita traducir dicho texto a un lenguaje ejecutable. Por otro, lado la herramienta para la Gramática Distributiva tendrá otras aplicaciones propias de los objetivos de dicha gramática, tales como orientar a los usuarios de la misma a producir textos, sobre todos textos complejos sobre temas científicos, que sean lo más claro y menos ambiguos posible.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI

Uso de la gramática distributiva en la ingeniería de requisitos

Dentro del contexto de desarrollo de herramientas, esta investigación tiene como objetivo el concretar una especificación formal a partir de una especificación realizada en lenguaje natural. Para ello se comienza primero por construir una herramienta, que sobre la base de la Gramática Distributiva permita producir texto en lenguaje natural con un alto grado de precisión ya que la aplicación de las reglas de la Gramática Distributiva así lo permiten, para luego, sobre la base de un texto en lenguaje natural, que tenga la semántica prevista por el usuario y un alto grado de coherencia y regularidad, someterlo a otra herramienta que permita traducir dicho texto a un lenguaje ejecutable. Por otro, lado la herramienta para la Gramática Distributiva tendrá otras aplicaciones propias de los objetivos de dicha gramática, tales como orientar a los usuarios de la misma a producir textos, sobre todos textos complejos sobre temas científicos, que sean lo más claro y menos ambiguos posible.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI