Linguaggio, forma e logica: Alla ricerca del Santo Graal della logica naturale

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

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

Contenuto del libro:

Questo libro riprende un'idea esplorata dai logici medievali 800 anni fa e la rivisita con gli strumenti della linguistica, della logica e dell'informatica contemporanee. L'idea - il Santo Graal dei logici medievali - era che tutta la logica potesse essere ridotta a due regole molto semplici, sensibili alla polarità logica (per esempio, la presenza e l'assenza di negazioni).

Ludlow e Zivanovic portano avanti questa idea e mostrano come essa abbia profonde conseguenze per la nostra comprensione della natura delle capacità inferenziali umane. Mostrano inoltre le sue conseguenze su alcune delle questioni più profonde della linguistica contemporanea, tra cui la natura della quantificazione, le perplessità sull'anafora del discorso e sulla pragmatica, e persino le intuizioni sulla fonte dell'aboutness nel linguaggio naturale. La chiave della loro impresa è una relazione formale che chiamano p-scope, una relazione sensibile alla polarità che controlla le operazioni che possono essere eseguite nel loro sistema deduttivo dinamico. Dimostrano che con il p-scope in gioco, le deduzioni possono essere eseguite usando operazioni sublogiche come quelle che chiamano COPY e PRUNE - operazioni che sono semplici operazioni sintattiche sulle frasi. Dimostrano che il sistema deduttivo risultante è completo e solido.

Il risultato è un bellissimo arazzo formale in cui il p-scope sblocca importanti proprietà del linguaggio naturale, tra cui la proprietà di restrizione, che dimostrano essere equivalente alla nozione semantica di conservatività. Inoltre, dimostrano che la limitatezza è anche una chiave per comprendere la quantificazione e l'anafora discorsiva e molti altri fenomeni linguistici.