Semántica teórico-probatoria

Opiniones de los lectores

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

Título original:

Proof-theoretic Semantics

Contenido del libro:

Este libro es una monografía sobre el tema de la Semántica Proof-Theoretic, una teoría del significado que constituye una alternativa a la más tradicional Semántica Model-Theoretic. Esta última considera el significado como condiciones de verdad (en modelos arbitrarios), mientras que la primera considera el significado como condiciones canónicas de derivabilidad en un sistema de prueba de deducción natural que confiere significado.

En la primera parte del libro se presenta la Semántica Proof-Theoretic para la lógica. Se estudia el modo en que un sistema de deducción natural puede servir para conferir significado y, en particular, se analizan varios criterios que debe cumplir un sistema de este tipo para ser considerado como tal. Un criterio central es la armonía, el equilibrio entre las reglas de introducción y las reglas de eliminación.

La teoría se aplica a varias lógicas, como la lógica de relevancia, y a varios sistemas de prueba, como la deducción natural multiconclusión y la bilateralidad. La presentación se inspira en trabajos recientes del autor y también examina los últimos avances. En la segunda parte, la teoría se aplica a fragmentos del lenguaje natural, tanto extensional como intensional, un desarrollo basado en el trabajo reciente del autor.

Por ejemplo, la conservatividad de los determinantes, una vez establecida en un marco teórico, se convierte en una propiedad demostrable de todos los determinantes (regulares). Se demuestra que el significado no necesita llevar la pesada carga ontológica característica de la semántica teórico-modelo de las construcciones complejas del lenguaje natural. Nissim Francez es profesor emérito de informática en el Technion, Instituto Tecnológico de Israel.

En cierto momento de su carrera pasó de la investigación relacionada con la programación concurrente y distribuida y la verificación de programas a la investigación en lingüística computacional, principalmente semántica formal del lenguaje natural. En los últimos años, ha trabajado en semántica teórico-probatoria, en particular para el lenguaje natural.