Afirmație (filozofie)

O afirmație (sau propunere) este un concept central în filozofia limbajului, semantică, logică și domenii conexe, adesea caracterizat ca purtător primar de adevăr sau al falsitate. De asemenea, propozițiile sunt adesea caracterizate ca fiind tipul de lucru pe care îl denotă propozițiile declarative. De exemplu, propoziția „Cerul este albastru” denotă afirmația că cerul este albastru. Cu toate acestea, în mod esențial, propozițiile nu sunt în sine expresii lingvistice. De exemplu, propoziția engleză „Snow is white” denotă aceeași propunere ca și propoziția germană „Schnee ist weiß”, chiar dacă cele două propoziții nu sunt identice. În mod similar, propozițiile pot fi caracterizate și ca obiecte ale credinței și ale altor atitudini propoziționale. De exemplu, dacă cineva crede că cerul este albastru, ceea ce crede este propunerea că cerul este albastru. O propunere poate fi considerată, de asemenea, un fel de idee: Collins Dictionary are o definiție pentru propunere ca „o afirmație sau o idee pe care oamenii o pot lua în considerare sau discuta dacă este adevărată”.

Formal, propunerile sunt adesea modelate ca funcții care asociază o lume posibilă cu o valoare de adevăr. De exemplu, propoziția că cerul este albastru poate fi modelată ca o funcție care ar returna valoarea de adevăr $A$ dacă ar primi ca intrare lumea reală, dar ar returna $F$ dacă ar primi o lume alternativă în care cerul este verde. Cu toate acestea, au fost propuse o serie de formalizări alternative, în special punctul de vedere al propunerilor structurate.

Propozițiile au jucat un rol important de-a lungul istoriei logicii, lingvisticii, filozofiei limbajului și a disciplinelor conexe. Unii cercetători s-au îndoit că este posibilă o definiție coerentă a propoziției, David Lewis^⁠(d) remarcând chiar că „concepția pe care o asociem cu cuvântul „propoziție” poate fi un fel de amestec de deziderate contradictorii”. Termenul este adesea utilizat în sens larg și a fost folosit pentru a se referi la diverse concepte conexe.

Utilizare istorică

De Aristotel

Logica aristotelică identifică o afirmație categorică drept o propunere care afirmă sau neagă un predicat al unui subiect, opțional cu ajutorul unui verb copulativ. O propoziție aristotelică poate lua forma „Toți oamenii sunt muritori” sau „Socrate este un om”. În primul exemplu, subiectul este „oamenii”, predicatul este „mortal” și verbul copulativ este „sunt”, în timp ce în al doilea exemplu, subiectul este „Socrate”, predicatul este „un om” și verbul copulativ este „este”.

De către pozitiviștii logici

Adesea, afirmațiile sunt legate de formule închise (sau propoziții logice) pentru a le distinge de ceea ce este exprimat printr-o formulă deschisă. În acest sens, propunerile sunt „afirmații” care sunt purtătoare de adevăr. Această concepție a unei propoziții a fost susținută de școala filozofică a pozitivismului logic.

Unii filozofi susțin că unele (sau toate) tipuri de discursuri sau acțiuni, pe lângă cele declarative, au și conținut propozițional. De exemplu, întrebările da-nu prezintă propuneri, fiind cercetări privind valoarea de adevăr a acestora. Pe de altă parte, unele semne pot fi afirmații declarative de propuneri, fără a forma o propoziție și fără a fi nici măcar lingvistice (de exemplu, semnele de circulație transmit un înțeles definit care este fie adevărat, fie fals).

Propozițiile sunt, de asemenea, considerate conținutul credințelor și al atitudinilor intenționale similare, cum ar fi dorințele, preferințele și speranțele. De exemplu, „îmi doresc să am o mașină nouă” sau „mă întreb dacă va ninge” (sau, dacă este cazul că „va ninge”). Dorința, credința, îndoiala și așa mai departe sunt astfel numite atitudini propoziționale atunci când au acest tip de conținut.

De Russell

Bertrand Russell susținea că propunerile sunt entități structurate cu obiecte și proprietăți ca elemente constitutive. O diferență importantă față de punctul de vedere al lui Ludwig Wittgenstein (conform căruia o propunere este setul de lumi/stări de lucruri posibile în care este adevărată) este că, în concepția russelliană, două propuneri care sunt adevărate în toate aceleași stări de lucruri pot fi diferențiate. De exemplu, propoziția „doi plus doi egal patru” este distinctă de propoziția „trei plus trei egal șase” în conformitate cu teoria russelliană. Totuși, dacă propunerile sunt seturi de lumi posibile, atunci toate adevărurile matematice (și toate celelalte adevăruri necesare) sunt același set (setul tuturor lumilor posibile).

Relația cu mintea

În ceea ce privește mintea, propunerile sunt discutate în primul rând deoarece se încadrează în atitudinile propoziționale. Atitudinile propoziționale sunt pur și simplu atitudini caracteristice psihologiei populare (credință, dorință etc.) pe care cineva le poate lua față de o propunere (de exemplu, „plouă”, „zăpada este albă” etc.). În limba engleză, propunerile urmează de obicei atitudinile psihologice populare printr-o „that clause” (de exemplu, „Jane believes that it is raining”). În filozofia minții și în psihologie, se consideră adesea că stările mentale constau în principal în atitudini propoziționale. Se spune de obicei că propunerile sunt „conținutul mental” al atitudinii. De exemplu, dacă Jane are starea mentală de a crede că plouă, conținutul său mental este propunerea „plouă”. În plus, deoarece astfel de stări mentale sunt despre ceva (și anume, propuneri), se spune că sunt stări mentale intenționate.

Explicarea relației dintre propuneri și minte este deosebit de dificilă pentru viziunile non-mentaliste asupra propunerilor, cum ar fi cele ale pozitiviștilor logici și ale lui Russell descrise mai sus, precum și viziunea lui Gottlob Frege conform căreia propunerile sunt entități Platonice, adică există într-un tărâm abstract, non-fizic. Prin urmare, unele viziuni recente asupra propunerilor le-au considerat mentale. Deși propunerile nu pot fi gânduri particulare, deoarece acestea nu sunt partajabile, ele ar putea fi tipuri de evenimente cognitive sau proprietăți ale gândurilor (care ar putea fi aceleași pentru diferiți gânditori).

Dezbaterile filozofice privind propunerile în ceea ce privește atitudinile propoziționale s-au axat recent și pe întrebarea dacă acestea sunt interne sau externe agentului sau dacă sunt entități dependente de minte sau independente de minte. Pentru mai multe informații, a se vedea intrarea privind internalismul și externalismul^⁠(d) în filozofia minții.

Tratament în logică

Logica aristotelică

După cum s-a menționat mai sus, în logica aristotelică, o propunere este un anumit tip de propoziție (o propoziție declarativă) care afirmă sau neagă un predicat al unui subiect, opțional cu ajutorul unui verb copulativ. Propozițiile aristotelice iau forme precum „Toți oamenii sunt muritori” și „Socrate este un om”.

Caracterizarea sintactică

În logica modernă, termenul „propunere” este adesea utilizat pentru propozițiile unui limbaj formal. În această utilizare, propozițiile sunt obiecte sintactice formale care pot fi studiate independent de sensul pe care l-ar primi de la o semantică. Propunerile se mai numesc propoziții, enunțuri, forme de enunț, formule și formule bine formate, deși acești termeni nu sunt de obicei sinonimi într-un singur text.

Un limbaj formal începe cu diferite tipuri de simboluri. Aceste tipuri pot include variabile, operatori, simboluri de funcție, simboluri de predicat (sau relație), cuantificatori, și constante propoziționale (simbolurile de grupare, cum ar fi delimitatorii, sunt adesea adăugate pentru a facilita utilizarea limbajului, dar nu joacă un rol logic). Simbolurile sunt concatenate în conformitate cu reguli recursive, pentru a construi șiruri cărora li se vor atribui valori de adevăr. Regulile specifică modul în care operatorii, simbolurile funcțiilor și predicatelor, precum și cuantificatorii trebuie concatenați cu alte șiruri. O propoziție este deci un șir de caractere cu o formă specifică. Forma pe care o ia o propoziție depinde de tipul de logică.

Tipul de logică numită logică propozițională sau a enunțurilor include în limbajul său numai operatori și constante propoziționale ca simboluri. Propozițiile din acest limbaj sunt constante propoziționale, care sunt considerate propoziții atomice, și propoziții compuse, care sunt compuse prin aplicarea recursivă a operatorilor la propoziții. Aplicarea aici este pur și simplu un mod scurt de a spune că a fost aplicată regula de concatenare corespunzătoare.

Tipurile de logică numite logică de predicat, cuantificațională sau de ordine n includ variabile, operatori, simboluri de predicat și de funcție, precum și cuantificatori ca simboluri în limbajele lor. Propozițiile din aceste logici sunt mai complexe. În primul rând, se începe de obicei prin a defini un termen după cum urmează:

1. o variabilă; sau
2. Un simbol de funcție aplicat la numărul de termeni cerut de aritatea simbolului de funcție.

De exemplu, dacă + este simbolul unei funcții binare și x, y și z sunt variabile, atunci x+( y + z ) este un termen, care poate fi scris cu simbolurile în diferite ordine. Odată ce un termen este definit, o propoziție poate fi definită după cum urmează:

1. un simbol de predicat aplicat la numărul de termeni cerut de aritmetica sa; sau
2. un operator aplicat la numărul de propoziții cerut de aritatea sa; sau
3. un cuantificator aplicat unei propoziții.

De exemplu, dacă = este un simbol de predicat binar și ∀ este un cuantificator, atunci ∀ x, y, z [( x = y ) → ( x + z = y + z )] este o propoziție. Această structură mai complexă a propozițiilor permite acestor logici să facă distincții mai fine între inferențe, adică să aibă o putere expresivă mai mare.

Caracterizare semantică

Propozițiile sunt în mod standard înțelese semantic ca funcții indicatoare care iau o lume posibilă și returnează o valoare de adevăr. De exemplu, propoziția că cerul este albastru ar putea fi reprezentată ca o funcție $f$ astfel încât $f(w)=A$ pentru fiecare lume $w,$ dacă există, în care cerul este albastru, și $f(v)=F$ pentru fiecare lume $v,$ dacă există, în care nu este. O propunere poate fi modelată în mod echivalent cu imaginea inversă a $A$ sub funcția indicatoare, care este uneori numit setul caracteristic al propoziției. De exemplu, dacă $w$ și $w'$ sunt singurele lumi în care cerul este albastru, propoziția că cerul este albastru ar putea fi modelată ca setul $\{w,w'\}$.

Au fost propuse numeroase rafinamente și noțiuni alternative ale caracterului de propunere, inclusiv propuneri curioase și propuneri structurate. Propunerile sunt numite propuneri structurate dacă au constituenți, într-un sens larg. Presupunând o viziune structurată a propunerilor, se poate face distincția între propunerile singulare (de asemenea , propunerile russeliene, numite după Bertrand Russell) care sunt despre un anumit individ, propunerile generale, care nu sunt despre niciun individ anume, și propunerile particularizate, care sunt despre un anumit individ, dar nu conțin acel individ ca constituent.

Obiecții la propuneri

Încercările de a oferi o definiție viabilă a propunerii includ următoarele:

Două propuneri declarative semnificative exprimă aceeași propoziție, dacă și numai dacă ele înseamnă același lucru.

care definește propunerea în termeni de sinonimie. De exemplu, „Snow is white” (în engleză) și „Schnee ist weiß” (în germană) sunt propoziții diferite, dar spun același lucru, deci exprimă aceeași propoziție. O altă definiție a propunerii este:

Două fraze-token declarative semnificative exprimă aceeași propoziție, dacă și numai dacă ele înseamnă același lucru.

Definițiile de mai sus pot avea ca rezultat două propuneri/fraze-tokeni identice care par să aibă același sens, exprimând astfel aceeași propoziție și având totuși valori de adevăr diferite, cum ar fi în „Eu sunt Spartacus” spus de Spartacus și spus de John Smith, și „Este miercuri” spus într-o miercuri și într-o joi. Aceste exemple reflectă problema ambiguității în limbajul comun, care duce la o echivalență eronată a enunțurilor. „Eu sunt Spartacus” rostit de Spartacus este declarația că individul care vorbește se numește Spartacus și este adevărat. Atunci când este rostită de John Smith, este o declarație despre un vorbitor diferit și este falsă. Termenul „eu” înseamnă lucruri diferite, astfel încât „Eu sunt Spartacus” înseamnă lucruri diferite.

O problemă conexă este atunci când propuneri identice au aceeași valoare de adevăr, dar exprimă propuneri diferite. Propoziția „Sunt un filozof” ar fi putut fi rostită atât de Socrate, cât și de Platon. În ambele cazuri, afirmația este adevărată, dar înseamnă ceva diferit.

Aceste probleme sunt abordate în logica predicatelor prin utilizarea unei variabile pentru termenul problematic, astfel încât „X este un filozof” poate fi înlocuit cu X de Socrate sau Platon, ilustrând faptul că „Socrate este un filozof” și „Platon este un filozof” sunt propoziții diferite. În mod similar, „Eu sunt Spartacus” devine „X este Spartacus”, unde X este înlocuit cu termeni care reprezintă persoanele Spartacus și John Smith.

Cu alte cuvinte, problemele de exemplu pot fi evitate dacă propozițiile sunt formulate cu precizie, astfel încât termenii lor să aibă semnificații neechivoce.

Un număr de filozofi și lingviști susțin că toate definițiile unei propoziții sunt prea vagi pentru a fi utile. Pentru ei, este doar un concept înșelător care ar trebui eliminat din filozofie și semantică. W.V. Quine, care a acordat existența mulțimilor în matematică, a susținut că nedeterminarea traducerii a împiedicat orice discuție semnificativă despre propuneri și că acestea ar trebui eliminate în favoarea propozițiilor. P.F. Strawson^⁠(d), pe de altă parte, a pledat pentru utilizarea termenului „declarație”.

Vezi și

• Propoziție categorială
• Propoziție probabilistică

Legături externe

• Materiale media legate de proposition la Wikimedia Commons