Teoria logicii propoziționale paraconsistente efective

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

Theory of Effective Propositional Paraconsistent Logics

Conținutul cărții:

Poate că cea mai contraintuitivă proprietate a logicii clasice (precum și a celui mai faimos rival al său, logica intuiționistă) este faptul că permite inferența oricărei propoziții dintr-o singură pereche de afirmații contradictorii. De-a lungul anilor, au fost depuse numeroase eforturi pentru a dezvolta alternative la logica clasică care să nu prezinte acest dezavantaj. Aceste alternative sunt numite în prezent "sisteme paraconsistente", iar domeniul de cercetare corespunzător --- raționamentul paraconsistent.

Scopul acestei cărți este de a oferi o prezentare metodologică cuprinzătoare a teoriei matematice bogate care există până în prezent cu privire la cele mai multe.

Parte fundamentală a raționamentului paraconsistent: logicile propoziționale (monotone). Dintre aceste logici se concentrează în principal asupra celor care sunt eficiente.

(în sensul că sunt decidabile, au o semantică concretă și pot fi echipate cu sisteme de demonstrație analitice implementabile).

Prima parte a cărții definește în termeni preciși toate noțiunile de bază care sunt legate de paraconsistență, după trecerea în revistă a tuturor preliminariilor necesare. Celelalte părți descriu în detaliu toate abordările principale ale subiectului. Aceasta include semanticile cu valori finite (atât funcționale de adevăr, cât și nedeterministe)

Logica inconsistenței formale.

Logici relevante.

Logici paraconsistente constructive care se bazează pe logica intuiționistă pozitivă.

Și logici paraconsistente care se bazează pe logici modale. Cartea acoperă mii de logici paraconsistente, fiecare dintre ele fiind studiată atât din punct de vedere semantic, cât și al dovezilor.

puncte de vedere teoretice. În plus, majoritatea acestor logici sunt caracterizate din punct de vedere al proprietăților de minimalitate sau maximalitate pe care le pot avea.