Evaluare:
În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.
Language, Form, and Logic: In Pursuit of Natural Logic's Holy Grail
Această carte preia o idee explorată pentru prima dată de logicienii medievali în urmă cu 800 de ani și o revizitează cu instrumentele lingvisticii, logicii și informaticii contemporane. Ideea - Sfântul Graal al logicienilor medievali - a fost aceea că întreaga logică ar putea fi redusă la două reguli foarte simple care sunt sensibile la polaritatea logică (de exemplu, prezența și absența negațiilor).
Ludlow și Zivanovic urmăresc această idee și arată cum are consecințe profunde pentru înțelegerea noastră asupra naturii capacităților inferențiale umane. Ei arată, de asemenea, consecințele sale asupra unora dintre cele mai profunde probleme ale lingvisticii contemporane, inclusiv natura cuantificării, nedumeriri cu privire la anafora și pragmatica discursului și chiar perspective cu privire la sursa caracterului informativ în limbajul natural. Cheia întreprinderii lor este o relație formală pe care o numesc p-scope - o relație sensibilă la polaritate care controlează operațiunile care pot fi efectuate în sistemul lor deductiv dinamic. Aceștia arată că, cu p-scope în joc, deducțiile pot fi efectuate folosind operații sublogice precum cele pe care le numesc COPY și PRUNE - operații care sunt simple operații sintactice asupra propozițiilor. Ei dovedesc că sistemul deductiv rezultat este complet și solid.
Rezultatul este o frumoasă tapiserie formală în care p-scope deblochează proprietăți importante ale limbajului natural, inclusiv proprietatea restrictivității, pe care o dovedesc a fi echivalentă cu noțiunea semantică de conservativitate. Mai mult decât atât, ei arată că restrictivitatea este, de asemenea, o cheie pentru a înțelege cuantificarea și anafora discursivă, precum și multe alte fenomene lingvistice.
© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)