Titlul original:
Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Conținutul cărții:
Teoria consecințelor logice este esențială în logica modernă și în aplicațiile sale. Cu toate acestea, ea este în mare parte dispersată într-o abundență de lucrări adesea greu accesibile și rareori este tratată cu gândul la aplicații.
Această carte reunește cele mai fundamentale aspecte ale acestei teorii și oferă cititorului bazele aplicațiilor sale în informatică, inteligența artificială și științele cognitive, pentru a numi doar cele mai importante domenii în care această noțiune își găsește numeroasele aplicații. Sunt discutate atât consecințele deductive, cât și cele nedeductive. Punctul de plecare este consecvența deductivă clasică: logica clasică este sistemul de referință, iar sistemele deductive neclasice sunt văzute ca extensii, devieri sau variații ale acesteia.
Discuția privind consecințele deductive neclasice se concentrează asupra consecințelor logice multivalori, intuiționiste, modale, paraconsistente și substructurale. Subiectul consecinței nedeductive este dezvoltat din perspectiva logicii abductive, inductive și probabilistice.
În ansamblu, sunt discutate aici principalele (clase de) sisteme logice contemporane. Abordarea este de esență matematică, iar fundalul matematic, bazat în principal pe relațiile de ordine, este tratat în detaliu și într-un mod accesibil pentru nematematicieni.
