Logica modală (din latină modus - metodă, măsură) - logică , în care, pe lângă conectivele logice standard, variabilele și predicatele , există modalități (operatori modali, alte denumiri: concepte modale, relații modale, caracteristici modale, estimări).
O teorie logică este modală dacă [1]
Operatorii modali sunt utilizați pentru a evalua adevărul unei judecăți (detaliat: pentru a evalua adevărul judecăților despre adevărul unei situații sau al unei judecăți). Se poate spune că logica modală este studiul comportamentului deductiv al expresiilor „este necesar ca”, „este posibil ca” și similare (în sens restrâns se numește [2] „logica necesității și posibilității”. ”). Cu toate acestea, termenul „logică modală” se aplică și altor sisteme care operează cu concepte similare (a se vedea mai jos pentru varietățile de modalități). Logica modală este aplicabilă în informatică și în special în filosofie, unde judecățile cu modalități sunt aplicate pe scară largă și în același timp complex. [3]
Cerințele de mai sus sunt considerate necesare pentru orice logică modală, iar prima dintre ele corespunde însăși definiției logicii modale, în timp ce restul împiedică logica modală să degenereze în logica propozițională obișnuită (care nu are calificări prin operatori modali). Totuși, una dintre cele mai simple logici modale - logica lui Kripke propusă de Saul Kripke, numită „logica K” în cinstea sa – conține doar doi operatori modali (dintre cei obligatorii, doar „necesar”, iar cel de-al doilea este opțional „poate „) și nu este [3 ] suficient de puternic pentru a lua în considerare în mod adecvat operatorul „necesar”.
Logica modală se aplică [2] în filosofia limbajului, epistemologiei, metafizicii și semanticii formale. În același timp, aparatul matematic al logicii modale s-a dovedit a fi util în multe alte domenii, inclusiv în [4] teoria jocurilor, verificarea programelor, designul web, teoria seturilor [5] și epistemologia socială [6]
Logica formală poate fi simplificată la un lanț de cunoștințe adevărate → proces → concluzii .
De unde să obțineți cunoștințe adevărate pentru logica formală dacă doar o singură cunoaștere adevărată este universală?...
Logica trebuie să răspundă situațiilor din viața reală și există puține adevăruri universale .
Logica modală în sens larg operează :
Adică, este o extensie mai reală/practică a logicii propoziționale și a logicii de ordinul întâi .
De exemplu, logica modală este capabilă să gestioneze afirmații precum „Moscova a fost întotdeauna capitala Rusiei” sau „Sankt Petersburg, cândva în trecut, a fost capitala Rusiei”, care sunt imposibil sau extrem de greu de exprimat într-un limbaj non-modal. Pe lângă modalitățile temporale și spațiale, există și altele, precum „se știe că” (logica cunoașterii) sau „se poate dovedi că” ( logica demonstrabilității ).
De obicei , dualul este folosit și pentru a desemna un operator modal. la acesta :
Acest lucru reflectă faptul că a spune „Moscova a fost cândva capitala Rusiei” este același lucru cu a spune „nu este adevărat că Moscova nu a fost niciodată capitala Rusiei”.
Modalitățile sunt de diferite tipuri. Modalitatea este o evaluare, o calificare care fixează natura enunțului. Afirmațiile care fixează doar faptul însuși prezența sau absența unei situații se numesc asertorice. Enunțurile care caracterizează, pe lângă aceasta, natura unei astfel de afirmații - adică conțin modalități - se numesc modale. Modalitățile sunt aranjate pe rând în funcție de forță [7] : este necesară modalitatea cea mai puternică; o modalitate mai slabă este absența modalității, adică modalitatea unui enunț asertoric; cea mai slabă modalitate este modalitatea posibilității. Modalitatea „Impossible B” este definită ca „Este necesar ca B să nu fie adevărat” (este important că, deși în limba rusă colocvială numele său arată ca o negare a unei posibilități, negarea unei posibilități nu apare în definiție - logica modală nu necesită deloc setarea modului „posibil”).
Cu acest mod de setare, operatorii modali joacă rolul de funcții cu trei-patru valori pentru evaluarea adevărului sau a determinismului. Alternativ [4] , în semantica lui Kripke, logica modală poate fi specificată prin intermediul a 2 operatori modali care joacă un rol similar cuantificatorilor suplimentari („necesar” ca „orice”, și „poate” ca „există”). Aceasta este urmată de o enumerare a modalităților în ordinea puterii modalității lor (modalitățile aletice logice pot fi considerate ca o listă de bază; primele trei modalități din fiecare paragraf sunt necesare, modalitatea „poate” nu este întotdeauna posibil de stabilit, nu este întotdeauna setat și, spre deosebire de primele trei modalități, nu este în lista modalităților necesare pentru ca logica să fie considerată logică modală și să funcționeze ca atare)
Modalitățile aletice evaluează adevărul afirmațiilor despre adevărul situațiilor fie din punctul de vedere al legilor logicii (modalități aletice logice), fie din punctul de vedere al faptelor și legilor naturii cunoscute (modalități aletice ontologice). În caz contrar, putem spune că ei evaluează cât de mult este determinată situația descrisă de un anumit set de legi și fapte. [7] De exemplu, afirmația „este necesar ca fiecare animal să fie muritor” este adevărată dacă „necesar” este interpretat ca o modalitate ontologică (deoarece dovezile științifice acumulate indică acest lucru) - dar este și falsă dacă „necesar” este interpretată ca o modalitate logică.(deoarece exprimă afirmaţia „pentru orice x este adevărat că dacă x are proprietatea A, atunci x are proprietatea B”, care nu are forma unui enunţ general valabil). [7] Un alt exemplu [7] este afirmația „este posibil să existe o mașină cu mișcare perpetuă”. Dacă modalitatea este interpretată ca logică, atunci afirmația este adevărată (deoarece exprimă doar că există un x care are o anumită proprietate); dar dacă modalitatea este interpretată ca ontologică, atunci enunţul este fals (pentru că contrazice legile cunoscute ale fizicii şi faptele pe baza cărora sunt stabilite).
Diferența dintre evaluările cunoștințelor și credințelor în acest caz este că afirmația „A crede că B” fixează doar opinia lui A – în timp ce afirmația „A știe că B” fixează următoarea situație: „A crede că B și B are loc de fapt. [7]
Logica axiologică a fost dezvoltată de filozoful A. A. Ivin .
În plus, pot fi introduse și alte modalități [7] : „va fi mereu” (situația va avea loc în fiecare moment al viitorului), „era” (situația a avut loc cândva în trecut) etc. De exemplu [ [ 3] , puteți seta:
În plus, modalitățile sunt împărțite în funcție de alte câteva criterii. [7]
După cantitatea de localitate a modalității (la fel cum se vorbește despre localitatea conectivelor propoziționale)
Dacă situația este evaluată din poziția unui anumit subiect
După ce parte a enunţului caracterizează operatorul modal
De exemplu [7] , modul silogistic (Barbara)
Fiecare A este un B Fiecare C este un A Prin urmare, fiecare C este un BEste adevărat dacă se consideră că conține modalitatea internă „necesară din punct de vedere logic” - dar este falsă din punct de vedere logic dacă se consideră că conține modalitatea externă „necesară din punct de vedere logic”. Afirmatie corecta:
Fiecare A trebuie să fie un B Fiecare C este un A Prin urmare, fiecare C trebuie să fie un BAfirmatie falsa:
Este necesar ca fiecare A să fie un B Fiecare C este un A Prin urmare, este necesar ca fiecare C să fie un BExistă două reguli [7] care trebuie adăugate la silogistică pentru a testa silogismele de dicto:
Apodictic - „a necesarului inerent” sau „a necesarului non-inerent”; problematic - „despre posibil inerent” sau „despre posibil inerent”.
Funcționează cu conceptele de „știe”, „crede”.
Funcționează cu concepte: obligație , permisiune , normă .
„Trebuie să o faci” („Datoria ta să o faci”) sau „Poți să o faci”
Ei au încercat să introducă aceste concepte cu mult timp în urmă, dar numai Georg von Wright a avut un rezultat semnificativ în Deontic Logic, Mind, New Series, Vol. 60, nr. 237. (ian. 1951), pp. 1-15. [9]
Lucrare din 2007 despre implementarea logicii deontice. Un limbaj formal pentru contractele electronice [10] folosind µ-calcul și implementarea mu-cke a lui A. Biere [11]
În logica matematică și informatică , cea mai comună este semantica Kripke , există și semantică algebrică , semantică topologică și o serie de altele.
O formulă modală este definită recursiv ca un cuvânt dintr-un alfabet constând dintr-un set numărabil de variabile propoziționale , conjunctive clasice , paranteze și un operator modal . Și anume, formula este
O logică modală normală este un set de formule modale care conțin toate tautologiile clasice , axioma normalității.
si inchis sub regulile Modus ponens , substituirea si introducerea modalitatii .
Logica modală normală minimă este notată cu .
![]() | |
---|---|
În cataloagele bibliografice |
Logici | |||||||||
---|---|---|---|---|---|---|---|---|---|
Filosofie • Semantică • Sintaxă • Istorie | |||||||||
Grupuri logice |
| ||||||||
Componente |
| ||||||||
Lista simbolurilor booleene |