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.


AlegsaOnline.com - 2020 / 2022 - License CC3