Propozice je termín používaný v logice k popisu obsahu tvrzení. Tvrzení jsou non-lingvistické abstrakce z vět a mohou být hodnoceny jako pravdivé nebo nepravdivé. Povaha tvrzení je velmi kontroverzní mezi filozofy, z nichž mnozí jsou skeptičtí k existenci tvrzení. Mnoho logiků se raději vyhýbá použití termínu tvrzení ve prospěch použití vět.
Různé věty mohou vyjadřovat stejné tvrzení, pokud mají oba stejný význam. Například Sníh je bílý (v angličtině) a Schnee ist weiss (v němčině) jsou různé věty, ale obě říkají totéž, tedy že sníh je bílý. Proto vyjadřují stejné tvrzení. Dvě různé věty ve stejném jazyce mohou také vyjadřovat stejné tvrzení. Například Drobné krystalky zmrzlých vodních srážek jsou bílé je v angličtině, ale říká se, že je to stejné tvrzení jako sníh je bílý na základě definice sněhu.
Obvyklá konvence pro pojmenování výroků je vytvořit podstatnou větu tím, že se slovo, že na každé větě, která vyjadřuje dotyčný výrok. Tudíž, že Jones je starý mládenec je výrok vyjádřený větou Jones je starý mládenec.
V Aristotelově logice je výrok určitým druhem věty: takovou, která potvrzuje nebo popírá predikát daného subjektu. Aristotelovy výroky mají podobu Všichni lidé jsou smrtelní a Sokrates je člověk. Propoziční logika je tak pojmenována, protože její atomové prvky jsou vyjádřením úplných výroků; často se jim jednoduše říká výroky. Věta A a B vyjadřuje jak výrok A, tak výrok B. Oba tyto způsoby zacházejí s výrokem jednoduše jako s větou (i když určitého druhu). Toto užití je stále více nestandardní a ve zbytku tohoto článku nebude použito.
Často se výroky vztahují k uzavřeným větám, aby se odlišily od toho, co je vyjádřeno otevřenou větou, nebo predikátem. V tomto smyslu jsou výroky buď pravdivé, nebo nepravdivé. Toto pojetí výroku bylo podpořeno filozofickou školou logického pozitivismu.
Někteří filozofové, jako například John Searle, zastávají názor, že jiné druhy řeči nebo jednání také prosazují tvrzení. Otázky typu ano-ne jsou dotazem na pravdivostní hodnotu tvrzení. Dopravní značky vyjadřují tvrzení bez použití řeči nebo psaného jazyka. Je také možné použít deklarativní větu k vyjádření tvrzení bez jeho prosazení, jako když učitel požádá studenta, aby se vyjádřil k citátu; citát je tvrzení (to znamená, že má význam), ale učitel ho neprosazuje. Sníh je bílý vyjadřuje tvrzení, že sníh je bílý, aniž by ho prosazoval (to znamená, že tvrdí, že sníh je bílý).
O proroctvích se obvykle hovoří jako o obsahu přesvědčení a podobných záměrných postojů, jako jsou touhy, preference a naděje. Například „toužím mít nové auto“ nebo „přemýšlím, zda bude sněžit“ (nebo, zda je to tak, že bude sněžit). Touha, víra a tak dále, se tak nazývají výrokové postoje, pokud mají tento druh obsahu.
V aristotelovské logice je tvrzení určitý druh věty, která potvrzuje nebo popírá predikát subjektu. Aristotelovské tvrzení nabývají podoby jako Všichni lidé jsou smrtelní a Sokrates je člověk.
Propozice jsou prvky v oblasti výrokové logiky. Věta A a B vyjadřuje jak výrok A, tak výrok B.
Proroctví jsou to, co je vyjádřeno predikátovou logikou. (x)Fx je řečeno, že vyjadřuje tvrzení. Nicméně, ani F ani x není tvrzení samo o sobě. Jedním z prvních cílů predikátové logiky bylo pokusit se zachytit strukturu tvrzení nezávisle na větách, které je vyjadřují; jak německá, tak anglická verze snow is white může být přeložena jako Ws. Na základě definice objektu s (snow) to může být transformováno do přesnější formulace výše uvedeného tvrzení. Zda tento překlad může být skutečně proveden, je otázkou filozofické debaty.
Modální operátoři jako možnost nebo nutnost mají jako předmět své propozice (propozice jsou prý v jejich rozsahu). Modální logika byla podobně použita při zkoumání propozičních postojů jako je víra a touha, protože předměty víry a touhy jsou prý také propozice.
Námitky proti návrhům
Mnoho filozofů a lingvistů tvrdí, že pojem tvrzení je příliš vágní nebo není užitečný. Pro ně je to jen zavádějící pojem, který by měl být odstraněn z filozofie a sémantiky. W.V.O. Quine tvrdil, že neurčitost překladu brání jakékoliv smysluplné diskusi o tvrzení, a že by měly být vyřazeny ve prospěch vět.