Límites de la lógica de predicados de primer orden para el análisis lingüístico

La lógica de predicados de primer orden es una herramienta muy conveniente para abordar problemas de ambigüedad propios del lenguaje natural. El hecho de que dentro de este sistema existan valores fijos para las interpretaciones, impide que existan ambigüedades o vaguedades. Sin embargo, esta lógica no puede abarcar todas las expresiones del lenguaje natural, en tanto sus valores fijos no permiten abordar oración que no sean afirmaciones o que no estén dadas en términos de cuantificadores absolutos ya sean existenciales o universales. Este documento muestra algunas insuficiencias de la lógica de primer orden que se evidencian en el análisis lingüístico.

Abstract licence: CC BY-NC-ND

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.