Resumen en español

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 oraciones 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.