Výrok (logika)
Propozice je pojem ve filozofii a logice. Je to tvrzení, které má pravdivostní hodnotu, což znamená, že lze dokázat, že je pravdivé nebo nepravdivé. Aby propozice platila, musí být možné dokázat, že je pravdivá, nebo nepravdivá. Mnoho učitelů a studentů logiky používá termíny výrok a propozice ve významu téhož.
Stejnou větu je možné vyjádřit mnoha způsoby. Propozice se zabývají pouze skutečným významem, nikoli způsobem, jakým je propozice vyjádřena. Propozice mohou vypadat různě, ale znamenat totéž. Pokud dvě různé propozice znamenají totéž, říká se, že jsou synonymní, což znamená, že každý výrok má stejný význam.
Například věty "Snow is white" (v angličtině) a "Schnee ist weiß" (v němčině) se liší, protože jsou napsány v různých jazycích. Znamenají však přesně totéž: sníh je bílý. Bez ohledu na to, v jakém jazyce je věta napsána, bude znamenat totéž. V důsledku toho jsou tyto výroky synonymní.
V aristotelské logice je propozice specifický druh věty, která potvrzuje nebo popírá, že se uskutečnil nějaký děj nebo predikát prostřednictvím subjektu. Aristotelské propozice mají podoby jako "Všichni lidé jsou smrtelní" a "Sokrates je člověk". V každé větě má subjekt (lidé, Sokrates) status (jsou smrtelní, je člověk), který lze dokázat jako pravdivý nebo nepravdivý.
Podle logického pozitivismu je propozice, o jejíž pravdivostní hodnotě nelze rozhodnout, nesmyslná. Například výroky o existenci božstev nelze podle logického pozitivismu dokázat. Protože tyto výroky nemají pravdivostní hodnotu, logický pozitivista by propozice o božstvech (jako "Bůh existuje" nebo "Bůh neexistuje") považoval za výroky bez logického významu.
Otázky a odpovědi
Otázka: Co je to návrh?
Odpověď: Výrok je tvrzení, které má pravdivostní hodnotu, což znamená, že lze dokázat jeho pravdivost nebo nepravdivost. Aby propozice platila, musí být možné dokázat, že je buď pravdivá, nebo nepravdivá.
Otázka: Jak jsou propozice reprezentovány?
Odpověď: Výroky se často označují velkými písmeny, například P, Q a R.
Otázka: Mohou dvě různé propozice znamenat totéž?
Odpověď: Ano, pokud dvě různé propozice znamenají totéž, říká se, že jsou synonymní. Například věty "Snow is white" (v angličtině) a "Schnee ist weiß" (v němčině) mají stejný význam, i když jsou napsány v různých jazycích.
Otázka: Jaký druh věty používá aristotelská logika pro větu?
Odpověď: V aristotelské logice je propozice specifický druh věty, která potvrzuje nebo popírá, že se uskutečnil nějaký děj nebo predikát prostřednictvím subjektu. Příkladem jsou věty "Všichni lidé jsou smrtelní" a "Sokrates je člověk".
Otázka: Co říká logický pozitivismus o propozicích, o jejichž pravdivostní hodnotě nelze rozhodnout?
Odpověď: Logický pozitivismus tvrdí, že propozice, o jejichž pravdivostní hodnotě nelze rozhodnout, jsou nesmyslné. Například výroky o existenci božstev nelze podle logického pozitivismu dokázat, takže tyto výroky by podle této teorie neměly žádný logický význam.
