Acest articol sau această secțiune arebibliografia incompletă sau inexistentă. Puteți contribui prin adăugarea de referințe în vedereasusținerii bibliografice a afirmațiilor pe care le conține.
Opropoziție (saujudecată) este un concept central înfilozofia limbajului,semantică,logică și domenii conexe, adesea caracterizat ca principalulpurtător deadevăr saufalsitate. Propozițiile sunt adesea caracterizate și ca fiind genul de lucru pe careîl denotăpropozițiile declarative. De exemplu, propoziția „Cerul este albastru” denotă propoziția că cerul este albastru. Cu toate acestea, este crucial ca propozițiile să nu fie ele înseleexpresii lingvistice. De exemplu, propozițiaengleză „Snow is white” denotă aceeași propoziție ca și propozițiagermană „Schnee ist weiß”, chiar dacă cele două propoziții nu sunt aceleași. În mod similar, propozițiile pot fi caracterizate și ca obiecte alecredinței și altoratitudini propoziționale. De exemplu, dacă cineva crede că cerul este albastru, ceea ce crede este propoziția că cerul este albastru. O propoziție poate fi gândită și ca un fel deidee: Collins Dictionary are o definiție pentrupropoziție ca "o afirmație sau o idee pe care oamenii o pot lua în considerare sau discuta dacă este adevărată”.[1]
Propozițiile sunt adesea modelate cafuncții care asociază olume posibilă cu ovaloare 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 dacă i s-ar da lumea actuală ca input, dar ar returna dacă i s-ar da o altă lume în care cerul este verde. Cu toate acestea, au fost propuse o serie de formalizări alternative, în special punctul de vedere alpropozițiilor structurate.
Propozițiile au jucat un rol important în istorialogicii,lingvisticii,filozofiei limbajului și a disciplinelor conexe. Unii cercetători au îndoieli cu privire la posibilitatea unei definiții consistente a propoziționalității,David Lewis(d) remarcând chiar că „concepția pe care o asociem cu cuvântul 'propoziție' poate fi un amestec de desiderate conflictuale”. Termenul este adesea folosit în sens larg și a fost folosit pentru a se referi la diverse concepte conexe.
Logica aristoteliană identifică opropoziție categorică ca o propoziție care afirmă sau neagă unpredicat al unuisubiect, opțional cu ajutorul unuiverb copulativ. O propoziție aristoteliană poate lua forma „Toți oamenii sunt muritori” sau „Socrate este un om”. În primul exemplu, subiectul este „oameni”, 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”.[2]
Unii filozofi susțin că unele (sau toate) tipurile de vorbire sau acțiuni, în afară de cele declarative, au și conținut propozițional. De exemplu,întrebările da-nu prezintă propoziții, fiind interogări asupravalorii de adevăr a acestora. Pe de altă parte, unelesemne pot fi afirmații declarative ale propozițiilor, fără a forma o propoziție sau chiar fără a fi lingvistice (de exemplu, semnele de circulație transmit un sens definit care este fie adevărat, fie fals).
Propozițiile sunt, de asemenea, vorbite ca conținut alcredințelor și alatitudinilor intenționale similare, precum dorințele, preferințele și speranțele. De exemplu, „îmi dorescsă am o mașină nouă” sau „mă întrebdacă 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 iau acest gen de conținut.[3]
Bertrand Russell a susținut că propozițiile erau entități structurate cu obiecte și proprietăți ca componente. O diferență importantă între punctul de vedere al luiLudwig Wittgenstein (conform căruia o propoziție este mulțimea delumi posibile/stări de lucruri în care este adevărată) este că, în cazul lui Russell, două propoziții care sunt adevărate în toate aceleași stări de lucruri pot fi încă diferențiate. De exemplu, propoziția „doi plus doi este egal cu patru” este distinctă, conform punctului de vedere al lui Russell, de propoziția „trei plus trei este egal cu șase”. Dacă propozițiile sunt mulțimi de lumi posibile, totuși, atunci toate adevărurile matematice (și toate celelalte adevăruri necesare) sunt aceeași mulțime (mulțimea tuturor lumilor posibile).[necesită citare]
Caracteristicile principale ale propoziției în filozofie sunt:
Conținutcognitiv: Propozițiile reprezintăidei, gânduri sauafirmații care au un anumit sens și pot fi evaluate din punctul de vedere aladevărului.
Valoare de adevăr: Fiecare propoziție este fie adevărată, fie falsă, aceasta fiind una dintre caracteristicile fundamentale ale propozițiilor înlogică șifilozofie. De exemplu, propoziția„Toți oamenii sunt muritori” este adevărată, iar propoziția„Toți oamenii sunt nemuritori” este falsă.
Independență față delimbaj: Deși propozițiile sunt exprimate prinpropoziții gramaticale în limbajul natural, ele nu se reduc la acestea. Două propoziții gramaticale diferite pot exprima aceeași propoziție filozofică dacă au același conținut de adevăr. De exemplu, propoziția„Zăpada este albă” înromână și„Snow is white”înengleză exprimă aceeași propoziție.
În relație cu mintea, propozițiile sunt discutate în principal așa cum se încadrează înatitudini propoziționale. Atitudinile propoziționale sunt pur și simplu atitudini caracteristicepsihologiei populare (credință, dorință etc.) pe care cineva o poate adopta față de o propoziție (de exemplu, 'plouă', 'zăpada este albă' etc.). În limba engleză, propozițiile urmează de obicei atitudinile psihologice populare printr-o „clauză that” (de exemplu, „Jane believesthat it is raining”). Înfilozofia minții și înpsihologie, stările mentale sunt adesea considerate a consta în principal din atitudini propoziționale. Propozițiile se spune că sunt „conținutul mental” al atitudinii. De exemplu, dacă Jane are o stare mentală de a crede că plouă, conținutul ei mental este propoziția 'plouă'. Mai mult, deoarece astfel de stări mentale sunt despre ceva (și anume, propoziții), se spune că sunt stări mentaleintenționate.
Explicarea relației propozițiilor cu mintea este deosebit de dificilă pentru perspectivele non-mentaliste asupra propozițiilor, precum cele ale pozitiviștilor logici și Russell descrise mai sus, și punctul de vedere al luiGottlob Frege că propozițiile sunt entitățiplatoniste, adică existente într-un domeniu abstract, non-fizic.[4] Astfel, unele perspective recente asupra propozițiilor le-au considerat mentale. Deși propozițiile nu pot fi gânduri particulare, deoarece acestea nu sunt partajabile, ele ar putea fi tipuri de evenimente cognitive[5] sau proprietăți ale gândurilor (care ar putea fi aceleași pentru diferiți gânditori).[6]
De asemenea, recentele dezbateri filozofice înconjurând propozițiile în relație cu atitudinile propoziționale s-au concentrat pe întrebarea dacă acestea sunt interne sau externe agentului sau dacă sunt entități dependente de minte sau independente de minte. Pentru mai multe, consultați intrarea despreinternalism și externalism(d) în filozofia minții.
După cum s-a menționat mai sus, înlogica aristoteliană o propoziție este un anumit tip de propoziție (opropoziție declarativă) care afirmă sau neagă unpredicat al unuisubiect, opțional cu ajutorul unuiverb copulativ.[7] Propozițiile aristoteliene iau forme precum „Toți oamenii sunt muritori” și „Socrate este un om”.
În logica modernă, termenul „propoziție” este adesea folosit pentru propozițiile unui limbaj formal. În acest uz, propozițiile suntsintactice formale care pot fi studiate independent de semnificația pe care ar primi-o dintr-osemantică. Propozițiile sunt numite și propoziții, enunțuri, forme de enunț, formule șiformule 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 includevariabile,operatori,simboluri de funcție,simboluri de predicat (sau relație),cuantificatori șiconstante propoziționale. (Simbolurile de grupare, cum ar fidelimitatorii, sunt adesea adăugate pentru comoditate în utilizarea limbajului, dar nu joacă un rol logic.) Simbolurile suntconcatenate împreună conform unor regulirecursive, pentru a construi șiruri cărora li se vor atribuivalori de adevăr. Regulile specifică modul în care operatorii, simbolurile de funcție și predicat și cuantificatorii trebuie să fie concatenați cu alte șiruri. O propoziție este apoi un șir 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 logică a enunțurilor include doar operatori și constante propoziționale ca simboluri în limbajul său. Propozițiile din acest limbaj sunt constante propoziționale, care sunt considerate propoziții atomice, și propoziții compuse (sau compuse),[8] care sunt compuse prin aplicarea recursivă a operatorilor la propoziții.Aplicația aici este pur și simplu o modalitate scurtă de a spune că regula de concatenare corespunzătoare a fost aplicată
Tipurile de logici numite logicăpredicativă, cuantificatoare sau de ordinuln includ variabile, operatori, simboluri de predicat și funcție și cuantificatori ca simboluri în limbajele lor. Propozițiile din aceste logici sunt mai complexe. În primul rând, se începe de obicei prin definirea unuitermen după cum urmează:
o variabilă; sau
Un simbol de funcție aplicat numărului de termeni necesar dearitatea simbolului de funcție.
De exemplu, dacă + este un simbol de funcție binară șix,y șiz sunt variabile, atuncix+(y +z) este un termen, care poate fi scris cu simbolurile în diferite ordine. După ce este definit un termen, o propoziție poate fi apoi definită după cum urmează:
Un simbol de predicat aplicat numărului de termeni necesar de aritatea sa sau
Un operator aplicat numărului de propoziții necesar de aritatea sa sau
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.
Propozițiile sunt în general înțelese semantic cafuncții indicatoare care preiau olume posibilă și returnează o valoare de adevăr. De exemplu, propoziția că cerul este albastru ar putea fi reprezentată ca o funcție astfel încât pentru fiecare lume dacă există, unde cerul este albastru, și pentru fiecare lume dacă există, unde nu este. O propoziție poate fi modelată echivalent cuimaginea inversă a lui sub funcția indicator, care este uneori numitămulțimea caracteristică a propoziției. De exemplu, dacă și sunt singurele lumi în care cerul este albastru, propoziția că cerul este albastru ar putea fi modelată ca mulțimea.[9][10][11][12]
Au fost propuse numeroase rafinări și noțiuni alternative de propoziționalitate, inclusivpropoziții iscoditoare șipropoziții structurate.[13][14] Propozițiile se numescpropoziții structurate dacă au componente, într-un sens larg.[15][16] Presupunând o perspectivă structurată asupra propozițiilor, se poate distinge întrepropozițiile singulare (saupropozițiile russelliene, numite dupăBertrand Russell) care sunt despre un anumit individ,propozițiile generale, care nu sunt despre niciun individ particular, șipropozițiile particularizate, care sunt despre un anumit individ, dar nu conțin acel individ ca componentă.[17]
Încercările de a oferi o definiție viabilă a propoziției includ următoarele:
Două propoziții declarative semnificative exprimă aceeași propoziție dacă și numai dacă înseamnă același lucru.[necesită citare]
care defineștepropoziția î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, astfel încât exprimă aceeași propoziție. O altă definiție a propoziției este:
Două propoziții declarative semnificative exprimă aceeași propoziție dacă și numai dacă înseamnă același lucru.[necesită citare]
Definițiile de mai sus pot duce la apariția a două propoziții/propoziții identice care par să aibă același sens și, astfel, să exprime aceeași propoziție și totuși să aibă valori de adevăr diferite, ca î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ă problemaambiguității în limbajul comun, rezultând o echivalență greșită a afirmațiilor. „Eu sunt Spartacus” spus de Spartacus este declarația că individul care vorbește se numește Spartacus și este adevărat. Când este spus de John Smith, este o declarație despre un alt vorbitor și este fals. Termenul „eu” înseamnă lucruri diferite, astfel încât „Eu sunt Spartacus” înseamnă lucruri diferite.
O problemă similară apare atunci când propozițiile identice au aceeași valoare de adevăr, dar exprimă propoziții diferite. Propoziția „Eu sunt filozof” ar fi putut fi spusă 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 înlogica predicativă prin utilizarea unei variabile pentru termenul problematic, astfel încât „X este filozof” poate avea Socrate sau Platon substituit pentru X, ilustrând că „Socrate este filozof” și „Platon este filozof” sunt propoziții diferite. În mod similar, „Eu sunt Spartacus” devine „X este Spartacus”, unde X este înlocuit cu termeni reprezentând indivizii 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 fără ambiguități.
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 șisemantică.W.V. Quine, care a recunoscut existențamulțimilor în matematică,[18] a susținut că indeterminarea traducerii a împiedicat orice discuție semnificativă despre propoziții și că acestea ar trebui abandonate în favoarea enunțului.[19] Pe de altă parte,P.F. Strawson(d) a susținut utilizarea termenului „afirmație”.
^Fitch, Greg; Nelson, Michael (), Zalta, Edward N., ed.,„Singular Propositions”,The Stanford Encyclopedia of Philosophy (ed. Spring 2018), Metaphysics Research Lab, Stanford University, accesat în
^McGrath, Matthew; Frank, Devin (), Zalta, Edward N., ed.,„Propositions”,The Stanford Encyclopedia of Philosophy (ed. Spring 2018), Metaphysics Research Lab, Stanford University, accesat în