Výrok (logika)
Výrok je pojem z filozofie a logiky. Je to výrok, ktorý má pravdivostnú hodnotu, čo znamená, že sa dá dokázať, že je pravdivý alebo nepravdivý. Aby bola propozícia platná, musí byť možné dokázať, že je pravdivá alebo nepravdivá. Mnohí učitelia a študenti logiky používajú termín výrok a propozícia vo význame toho istého.
Rovnaké tvrdenie je možné vyjadriť viacerými spôsobmi. Propozície sa zaoberajú len skutočným významom, nie spôsobom, akým je propozícia vyjadrená. Propozície môžu vyzerať rôzne, ale znamenať to isté. Ak dve rôzne propozície znamenajú to isté, hovorí sa, že sú synonymné, čo znamená, že každá z nich má rovnaký význam.
Napríklad "Snow is white" (v angličtine) a "Schnee ist weiß" (v nemčine) sú rôzne vety, pretože sú napísané v rôznych jazykoch. Znamenajú však presne to isté: sneh je biely. Bez ohľadu na to, v akom jazyku je táto veta napísaná, bude znamenať to isté. V dôsledku toho sú tieto výroky synonymné.
V aristotelovskej logike je propozícia špecifický druh vety, ktorá potvrdzuje alebo popiera dej alebo predikát, ktorý sa uskutočnil prostredníctvom subjektu. Aristotelovské propozície majú podoby ako "Všetci ľudia sú smrteľní" a "Sokrates je človek". V každej vete má subjekt (ľudia, Sokrates) status (sú smrteľní, je človek), ktorý možno dokázať ako pravdivý alebo nepravdivý.
Podľa logického pozitivizmu je tvrdenie, o ktorého pravdivostnej hodnote sa nedá rozhodnúť, nezmyselné. Napríklad výroky o existencii božstiev nemožno podľa logického pozitivizmu dokázať. Keďže tieto výroky nemajú pravdivostnú hodnotu, logický pozitivista by výroky o božstvách (ako napríklad "Boh existuje" alebo "Boh neexistuje") považoval za výroky bez logického významu.
Otázky a odpovede
Otázka: Čo je to návrh?
Odpoveď: Výrok je tvrdenie, ktoré má pravdivostnú hodnotu, čo znamená, že sa dá dokázať jeho pravdivosť alebo nepravdivosť. Aby bola propozícia platná, musí byť možné dokázať, že je pravdivá alebo nepravdivá.
Otázka: Ako sú propozície reprezentované?
Odpoveď: Výroky sa často označujú veľkými písmenami, napríklad P, Q a R.
Otázka: Môžu dve rôzne propozície znamenať to isté?
Odpoveď: Áno, ak dve rôzne propozície znamenajú to isté, hovorí sa, že sú synonymné. Napríklad "Sneh je biely" (v angličtine) a "Schnee ist weiß" (v nemčine) majú rovnaký význam, aj keď sú napísané v rôznych jazykoch.
Otázka: Aký druh vety používa aristotelovská logika pre výrok?
Odpoveď: V aristotelovskej logike je propozícia špecifický druh vety, ktorá potvrdzuje alebo popiera dej alebo predikát, ktorý sa uskutočnil prostredníctvom subjektu. Príkladom sú výroky "Všetci ľudia sú smrteľní" a "Sokrates je človek".
Otázka: Čo hovorí logický pozitivizmus o propozíciách, o ktorých pravdivostnej hodnote nemožno rozhodnúť?
Odpoveď: Logický pozitivizmus tvrdí, že propozície, o ktorých pravdivostnej hodnote sa nedá rozhodnúť, sú nezmyselné. Napríklad výroky o existencii božstiev nemožno podľa logického pozitivizmu dokázať, takže tieto výroky by podľa tejto teórie nemali žiadny logický význam.
