Propozicija
Propozicija je izraz v filozofiji in logiki. Je izjava, ki ima resničnostno vrednost, kar pomeni, da lahko dokažemo, da je resnična ali neresnična. Da bi bila propozicija veljavna, mora biti mogoče dokazati, da je resnična ali neresnična. Mnogi učitelji in študenti logike uporabljajo izraza izjava in propozicija za isto stvar.
Isto trditev je mogoče izraziti na več načinov. Pri propozicijah gre le za dejanski pomen in ne za način, kako je propozicija izražena. Propozicije so lahko videti različno, vendar pomenijo isto stvar. Kadar dve različni propoziciji pomenita isto stvar, pravimo, da sta sinonimni, kar pomeni, da ima vsaka izjava enak pomen.
Na primer: "Snow is white" (v angleščini) in "Schnee ist weiß" (v nemščini) sta različna stavka, ker sta zapisana v različnih jezikih. Vendar pa pomenita popolnoma isto stvar: sneg je bel. Ne glede na to, v katerem jeziku je stavek zapisan, pomeni isto. Zato sta ti izjavi sinonima.
V aristotelski logiki je propozicija posebna vrsta stavka, ki potrjuje ali zanika dejanje ali predikat, ki se je zgodil prek subjekta. Aristotelske propozicije imajo oblike, kot sta "Vsi ljudje so smrtni" in "Sokrat je človek". V vsakem stavku ima subjekt (ljudje, Sokrat) status (so smrtni, je človek), ki ga je mogoče dokazati kot resničnega ali neresničnega.
V logičnem pozitivizmu je propozicija, o katere resničnostni vrednosti ni mogoče odločiti, nesmiselna. Na primer, izjav o obstoju božanstev po logičnem pozitivizmu ni mogoče dokazati. Ker izjave nimajo resničnostne vrednosti, bi logični pozitivist menil, da propozicije o božanstvih (na primer "Bog obstaja" ali "Bog ne obstaja") nimajo logičnega pomena.
Vprašanja in odgovori
V: Kaj je predlog?
O: Propozicija je izjava, ki ima resničnostno vrednost, kar pomeni, da lahko dokažemo, da je resnična ali neresnična. Da bi bila propozicija veljavna, mora biti mogoče dokazati, da je resnična ali neresnična.
V: Kako so propozicije predstavljene?
O: Propozicije so pogosto predstavljene z velikimi črkami, kot so P, Q in R.
V: Ali lahko dve različni propoziciji pomenita isto stvar?
O: Da, če dve različni propoziciji pomenita isto stvar, pravimo, da sta sinonima. Na primer: "Snow is white" (v angleščini) in "Schnee ist weiß" (v nemščini) imata enak pomen, čeprav sta zapisana v različnih jezikih.
V: Kakšno vrsto stavka uporablja aristotelska logika za propozicijo?
O: V aristotelski logiki je propozicija posebna vrsta stavka, ki potrjuje ali zanika dejanje ali predikat, ki se je zgodil prek subjekta. Primera sta "Vsi ljudje so smrtni" in "Sokrat je človek".
V: Kaj pravi logični pozitivizem o propozicijah, o katerih resničnostni vrednosti ni mogoče odločiti?
O: Logični pozitivizem pravi, da so propozicije, o katerih resničnostni vrednosti ni mogoče odločiti, nesmiselne. Na primer, izjav o obstoju božanstev po logičnem pozitivizmu ni mogoče dokazati, zato te izjave po tej teoriji ne bi imele logičnega pomena.
