Home » Articole » RO » Societate » Filozofie » Logica » Kit Fine: Semantica relațională pentru logica de primul ordin

Kit Fine: Semantica relațională pentru logica de primul ordin

postat în: Logica 0

Având în vedere o viziune relațională a variabilelor, cum ar trebui să continue semanticele pentru limbajul logicii de ordinul întâi? Fine face la început câteva remarci generale cu privire la forma corectă de semantică și apoi ia în considerare aplicarea lor.

Scopul semanticii, conceput în mod obișnuit, este de a atribui o valoare semantică fiecărei expresii (semnificative) a limbajului considerat.

Scopul unei semantici relaționale, prin contrast, este de a atribui o conexiune semantică fiecărei secvențe de expresii. Având în vedere conexiunile semantice pe secvențe de elemente lexicale, se determină conexiunea semantică pe orice secvență de expresii. Astfel, conexiunile semantice înlocuiesc valorile semantice ca fiind principalele obiecte ale anchetei semantice.

Compoziționalitatea, așa cum este formulată de obicei, trebuie abandonată acum. Pentru că „semnificația” (sau valoarea semantică) a unei expresii nu va fi, în general, o funcție a semnificațiilor expresiilor sale componente; relațiile de semnificație dintre acestea va fi, de asemenea, relevant pentru sensul lui E. Fine arată că este abandonat doar intrinsecalismul, nu compoziția propriu-zisă.

Aplică apoi ideea generală a unei semantici relaționale la limbajul logicii de ordinul întâi. Pentru a stabili semantica, este nevoie de o concepție adecvată a legăturii semantice. Apoi trebuie să se vadă cum să se determine conexiunea semantică pe o anumită secvență de expresii – începând cu semantica lexicală, pentru expresiile foarte simple și apoi să ne străduim succesiv prin formele de exprimare din ce în ce mai complicate. Semantica lexicală este, în cea mai mare parte, simplă: extensiile ar trebui să fie atribuite predicatelor, denotărilor constantelor și funcțiilor. În acest mod apare relaționismul.

De asemenea, avem nevoie de reguli pentru extinderea conexiunilor semantice la expresii mai complicate și secvențe de expresii mai complicate. Aceeași regulă este ușor de extins la cazul formulelor atomice, și o regulă similară poate fi dată în cazul formulelor complexe din punct de vedere funcțional.

Cuantificatorii ridică probleme suplimentare. Metoda evidentă de a evalua o secvență care conține o formulă cuantificată.Fine propune să se renunțe la presupunerea că toate aparițiile aceleiași variabile ar trebui tratate în același mod. Până acum am presupus că diferitele evenimente libere ale aceleiași variabile ar trebui să aibă întotdeauna același indice ca valoare; și aceasta este, într-adevăr, o presupunere rezonabilă pentru a face. Cu toate acestea, atunci când o apariție liberă a unei variabile a fost legată anterior și a devenit doar liberă în procesul de evaluare, atunci nu mai trebuie să presupunem că aceasta este coordonată cu acele evenimente ale aceleiași variabile care au fost inițial libere sau au provenit dintr- cuantificator diferit.

Aceasta înseamnă că, în scopul evaluării unei secvențe de expresii, ar trebui să indicăm în mod explicit care dintre aparițiile libere ale unei variabile date trebuie să fie coordonate și care nu.

Dezvoltarea propunerii lui Fine necesită unele revizuiri fundamentale în formularea anterioară a sintaxei și a semanticii. În primul rând, obiectul sintactic al evaluării nu va mai fi o secvență de expresii ci o secvență coordonată de expresii. Regulile sintactice trebuie apoi modificate corespunzător. În al doilea rând, regula lexicală pentru variabile trebuie să fie modificată. În loc să se solicite ca toate aparițiile aceleiași variabile să primească aceeași valoare, ar trebui să cerem ca aceștia să primească aceeași valoare atunci când sunt coordonați. Astfel, sintaxa însăși devine relațională și coordonarea la nivel semantic trebuie privită ca reflectând o coordonare subiacentă la nivelul sintaxei.

Fine concluzionează că semantica relațională pentru limbajul logicii de primul ordin are mai multe avantaje clare față de rivalii săi. În primul rând, ea întruchipează o soluție la antinomie: trăsăturile semantice intrinseci ale lui x și y (date de conexiunile semantice degenerate pe acele variabile) sunt aceleași, deși elementele semantice intrinseci ale perechilor x, y și x, x (din nou, așa cum sunt date de conexiunile semantice pe acele perechi) sunt diferite. Semantica este, de asemenea, mult mai satisfăcătoare, în diferite moduri, ca o semantică. Spre deosebire de abordările autonome, el atribuie un rol semantic expresiilor deschise; spre deosebire de abordarea instanțială, se poate acorda o formulare extensivă; și, spre deosebire de abordarea algebrică, se bazează pe o metodă directă de evaluare credibilă. De asemenea, are marele avantaj – față de principalul său rival, semantica Tarski – de a nu fi tipografic. Dacă mergem relațional, evităm să încorporăm variabilele în sine (sau unele surogate ale acestora) în însăși identitatea entităților pe care semantica le atribuie expresiilor deschise ale limbii.

Sursa: Fine, Kit. 2007. „Coordination among Variables:. In Semantic Relationism. Blackwell, 2007. ISBN 978-1-4051-0844-7

Lasă un răspuns

Adresa ta de email nu va fi publicată. Câmpurile obligatorii sunt marcate cu *