Lenguaje, forma y lógica: En busca del Santo Grial de la lógica natural

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 2 votos.

Título original:

Language, Form, and Logic: In Pursuit of Natural Logic's Holy Grail

Contenido del libro:

Este libro retoma una idea explorada por primera vez por los lógicos medievales hace 800 años y la revisita armada con las herramientas de la lingüística, la lógica y la informática contemporáneas. La idea -el Santo Grial de los lógicos medievales- era que toda la lógica podía reducirse a dos reglas muy sencillas sensibles a la polaridad lógica (por ejemplo, la presencia y ausencia de negaciones).

Ludlow y Zivanovic persiguen esta idea y muestran cómo tiene profundas consecuencias para nuestra comprensión de la naturaleza de las capacidades inferenciales humanas. También muestran sus consecuencias para algunas de las cuestiones más profundas de la lingüística contemporánea, como la naturaleza de la cuantificación, los enigmas sobre la anáfora del discurso y la pragmática, e incluso la comprensión de la fuente de la información en el lenguaje natural. La clave de su empresa es una relación formal que denominan p-ámbito, una relación sensible a la polaridad que controla las operaciones que pueden llevarse a cabo en su Sistema Deductivo Dinámico. Demuestran que con p-scope en juego, las deducciones pueden llevarse a cabo utilizando operaciones sub-lógicas como las que denominan COPY y PRUNE - operaciones que son simples operaciones sintácticas sobre oraciones. Demuestran que el sistema deductivo resultante es completo y sólido.

El resultado es un bello tapiz formal en el que p-scope desvela importantes propiedades del lenguaje natural, incluida la propiedad de restricción, que demuestran que es equivalente a la noción semántica de conservatividad. Además, demuestran que la restricción también es clave para entender la cuantificación y la anáfora del discurso, así como muchos otros fenómenos lingüísticos.