Propozīcija: kas tā ir loģikā un filozofijā — definīcija un piemēri

Propozīcija ir termins filozofijā un loģikā. Tā apzīmē apgalvojumu vai saturu, kuram ir patiesības vērtība, proti, tam var piešķirt statusu — tas ir vai nu patiess, vai nepatiess. Lai runātu par propozīciju, būtiski ir, ka iespējams noteikt tās patiesības vai nepatiesības nosacījumus. Daudzi loģikas skolotāji un studenti lieto terminus apgalvojums un propozīcija, lai apzīmētu to pašu jēdzienu.

Propozīcijas un teikuma atšķirība

Ir svarīgi atšķirt teikumu kā valodas izteiksmi no propozīcijas kā domāšanas vai nozīmes vienības. Teikumi (rakstītā vai runātā forma) var atšķirties pēc valodas, stila vai gramatikas, bet tās pašas propozīcijas var tikt izteiktas dažādos veidos. Piemēram, teikumi "Sniegs ir balts" (latviski) un "Schnee ist weiß" (vāciski) ir dažādas valodas izteiksmes, bet tie pauž vienu un to pašu propozīciju — apgalvojumu par sniega krāsu. Ja divi dažādi izteikumi nozīmē to pašu, tos bieži sauc par sinonīmiem.

Atomiskas un savienotas propozīcijas

Loģikā propozīcijas iedala:

• atomiskās (vienkāršās) propozīcijas — tās nav sadalāmas loģiskajās sastāvdaļās (piem., "Sokrats ir cilvēks");
• molekulārās (savienotās) propozīcijas — tās veidojas, savienojot atomiskas propozīcijas ar loģiskajiem saistītājiem (konjunkcija "un", disjunkcija "vai", implikācija "ja...tad...", noliešana "nav").

Savienoto propozīciju patiesības vērtību bieži nosaka no to sastāvdaļām, tādēļ loģiskā analīzē izmanto patiesības tabulas un formālas formulas (propozicionālo loģiku).

Predikātu loģika un Aristoteļa pieeja

Aristoteļa loģikā propozīcija parasti ir teikuma veids, kas apstiprina vai noliedz attiecību starp subjektu un predikātu, piemēram, "Visi cilvēki ir mirstīgi" vai "Sokrats ir cilvēks". Šajā tradīcijā īpaša nozīme ir kvantifikatoriem ("visi", "daži") un tam, kā īpašības vai darbības piesaistās subjektam.

Mūsdienu predikātu loģika šo ideju paplašina — tā ļauj precīzi izteikt attiecības starp objektiem, īpašībām un kvantitātēm, veidojot sistēmu, kurā propozīciju patiesības nosacījumi tiek definēti formalizētā veidā.

Sātības, jēgas un intensionalitāte

Filosofijā un semantiskajā teorijā pastāv dažādi uzskati par to, kas tieši ir propozīcija. Daži domu skaidrojumi to uzskata par domu saturu vai patiesību noteicošu entitāti, citi — kā kopu iespējamību pasaulēm (piesakot, ka propozīcija ir tās vērtību kopa pasaulēs, kur tā ir patiess). Nozīmīga problēma ir arī intensionalie konteksti — vietas valodā (piemēram, "tic", "uzskata"), kurā nav iespējams droši aizvietot sinonīmus, nezaudējot patiesību. Piemēram, ja Annai ir kāda pārliecība par konkrētu personu, tad frāze, kas izmanto cita nosaukuma sinonīmu, var nebūt aizvietojama salva veritate (ar saglabāšanu patiesību).

Propozīcijas un loģiskās skolas

Saskaņā ar loģisko pozitīvismu propozīcija, par kuras patiesības vērtību nav iespējams izlemt, ir bezjēdzīga. Loģiskie pozitivisti — sekojot verifikācijas principam — apgalvoja, ka teikumiem par metafiziku vai par dievību esamību nav empīriskas pārbaudāmības, un tāpēc tie neesot saturiski nozīmīgi. Tādējādi frāzes kā "Dievs eksistē" vai "Dievs neeksistē" loģiskā pozitīvisma skatījumā nevarētu tikt traktētas kā propozīcijas ar noteiktu loģisko nozīmi.

Pretējā galā stāv pieejas, kas piešķir propozīcijām plašāku semantisku statusu (piem., iespējamo pasaulju teorijas vai pragmatiskās interpretācijas), kā arī mūsdienu valodas filozofija, kas uzsver, ka daudzas runas akti un kontekstualizācija ietekmē, kādu propozīciju mēs izsakām.

Praktiski piemēri un lietojums

Daži vienkārši piemēri, kas palīdz saprast propozīciju jēdzienu:

• "Sniegs ir balts." — atomiska propozīcija ar skaidri definējamu patiesības vērtību;
• "Ja līst, tad ceļš ir slapjš." — savienota propozīcija (implikācija) atkarībā no abu daļu patiesības;
• "Daži studenti zina loģiku." — predikāta loģikas propozīcija ar kvantifikatoru;
• "Es domāju, ka Rīga ir Latvijas galvaspilsēta." — propozicionāla izteiksme iekšbeztiskā/pārliecības (propozicionālā attieksme) kontekstā.

Noslēgumā — propozīcija ir centrāls jēdziens gan loģikā, gan filozofijā, jo tā ļauj formulēt, salīdzināt un analizēt teikumu nozīmes un to patiesības nosacījumus. Strīdi par to, kas tieši ir propozīcija (vai arī kā to vislabāk formalizēt), turpinās, un dažādas teorijas piedāvā atšķirīgas intuitīvas un tehniskas pieejas šim fundamentālajam jēdzienam.