reconstruieşte într-un fel care nu corespunde intenţiei mele precise şi care face argumentul mult mai slab decât este necesar.De asemenea, cred că în această scurtă notă nu aveam deloc ambiţia să demonstrez în mod riguros „esenţialismul [doar] pe baza teoriei referinţei". Nota a fost atât de condensată încât cititorii ar putea uşor să reconstruiască detaliile în feluri diferite.
10
Saul Kripke
siunea pentru o revizuire masivă nu este puternică.. Totuşi, voi folosi această prefaţă pentru a descrie în modsuccint fundalul ş.i geneza ideilor principale din această monografie şi pentru a discuta câteva neînţelegeri care par să fie comune. Mi-e teamă că trebuie să-i dezamăgesc pe acei cititori care au considerat deja satisfăcătoareexpunerea acestor probleme în monografie. Vor fi adăugate destul de puţine lucruri pentru a aborda ceea ceconsider a fi problemele mai de fond ale monografiei. Chestiunile explicate în continuare - în mare parte legatede modalitate şi de designarea rigidă - se poate să fi fost deja clare pentru majoritatea cititorilor. Pe de altă parte,acei cititori care privesc cu înţelegere unele dintre obiecţiile menţionate aici, pot foarte bine să dorească în mod justificat o abordare mai completă. Mi-e teamă că în majoritatea cazurilor, abordarea punctelor problematice careeste permisă în spaţiul unei prefeţe este pur şi simplu prea scurtă pentru a convinge numeroşii cititori care suntînclinaţi să dea crezare obiecţiilor. într-o anumită măsură, o abordare succintă a obiecţiilor poate să facă mai multrău decât bine, din moment ce cititorul care este nelămurit poate să creadă că dacă
aceasta
este tot ceea ce se poate răspunde, obiecţia originală trebuie să fi fost puternică şi convingătoare. Cu toate acestea, am crezut cătrebuie să notez pe scurt de ce consider că anumite reacţii sunt prost concepute. Sper că despre anumite cazurivoi putea să scriu mai pe larg. Aici trebuie să susţin că o discuţie completă este imposibilă în limitele acestei prefeţe.
3
Noii cititori ai acestei cărţi pot folosi prefaţa pentru o clarificare suplimentară a anumitor puncte şi pentru oscurtă istorie a genezei lor. Aş recomanda ca astfel de cititori să nu citească prefaţa la început, ci să se întoarcă laea pentru clarificare (dacă este necesară) după ce vor fi citit textul principal. Prefaţa
nu
este scrisă în aşa fel încâtsă fie autosuficientă.Ideile din
Numire şi necesitate
au evoluat la începutul anilor şaizeci -cea mai mare parte a lor era formulată prin1963-64. Bine înţeles, lucrarea s-a dezvoltat pe baza cercetărilor formale anterioare în teoria modelelor pentrulogica modală. încă pe când lucram în logica modală mi se păruse, după cum a spus Wiggins, că principiulleibnizian al indiscernabilităţii identicilor
4
este la fel de evident de la sine ca şi legea contradicţiei. Mi s-a părutîntotdeauna bizar că unii filozofi l-ar fi putut pune la îndoiaLă. Studiul model-teoretic al logicii modale(semantica „lumilor posibile") nu putea dacât să confirme
3
Astfel, unele critici publicate nu sunt discutate aici pentru că sunt atât de neserioase încât sper că nu li se acordă o trecere prea mare; altele pentru că sunt prea substanţiale; iar altele, pur şi simplu, din lipsă de spaţiu. îl las pe cititor să decidă căreicategorii i se subsumează fiecare exemplu în parte.
4
Principiul că identicii au toate proprietăţile în comun; în mod schematic,
(x) (y) (x=y A Fx. z> .Fy).
A nu se confunda cuidentitatea indiscernabililor.
Numire şi necesitate11
această convingere - s-a dovedit mereu că pretinsele contraexemple care conţin proprietăţi modale se bazau peunele confuzii: contextele implicate nu exprimau proprietăţi autentice, domeniile erau confundate, saucoincidenţa dintre concepte individuale era confundată cu identitatea dintre indivizi. Teoria modelelor a clarificattoate acestea pe deplin, deşi ar fi trebuit să fie destul de clar la nivel intuitiv. Renunţând la consideraţiile pedantecare derivă din faptul că
x
nu este nevoie să aibă existenţa necesară, era clar din
(x)
□
(x=x)
şi din legea luiLeibnitz că identitatea este o relaţie „internă":
(x) (y) (x=y
D
D
x=y).
(Ce perechi
(x,y)
ar putea fi contraexemple? Nu perechi de obiecte distincte, pentru că atunci antecedentul este fals; nici vreo pereche a unui obiect cu elînsuşi, pentru că atunci consecventul este adevărat.) Dacă
„a"
si
„b"
sunt desig-natori rigizi, decurge că
„a=b",
dacă este adevărat, este un adevăr necesar. Dacă „a" şi
„b" nu
sunt designatori rigizi, nu decurge nici o astfel deconcluzie în privinţa
enunţului ,<a=b"
(deşi
obiectele
desemnate prin
„a"
şi
„b"
vor fi în mod necesar identice).Când vorbim despre designatori rigizi, vorbim despre o posibilitate care există în mod cert într-un limbaj modalformal. Din punct de vedere logic, nu suntem angajaţi, până acum, faţă de nici o teză despre statutul a ceea cenumim de obicei în limbajul natural „nume". Trebuie să facem o distincţie între trei teze diferite: (i) că obiecteidentice sunt identice în mod necesar; (ii) că enunţuri adevărate de identitate între designatori rigizi suntnecesare; (iii) că enunţuri de identitate între ceea ce numim în limbajul actual „nume" sunt necesare, (i) şi (ii)sunt teze (de la sine evidente) ale logicii filosofice independente'de limbajul natural. Ele sunt legate între ele,deşi (i) este despre obiecte, iar (ii) este metalingvistică. ((ii) „decurge" în linii mari din (i), folosind substituţiadesignatorilor rigizi pentru cuantificatori universali - spun „oarecum", pentru că sunt relevante aici anumitedistincţii fine despre rigiditate, vezi pagina 27 n.21; deducţia analoagă pentru designatori nonrigizi estesofistică.) Din (ii), tot ceea ce decurge în mod strict în legătură cu aşa-zisele „nume" din limbajul natural este
sau
că ele nu sunt rigide
sau
că identităţi adevărate între nume sunt necesare. Ideea noastră intuitivă desprenumire sugerează că numele sunt rigide, dar cred că odată am presupus vag, influenţat fiind de presupoziţiirăspândite, că din moment ce este evident că există identităţi contingente între aşa-zisele nume obişnuite, astfelde nume obişnuite nu trebuie să fie rigide. Totuşi, pe baza lui (i) era deja clar - fără nici o cercetare a limbajului
Leave a Comment