Prehľad
Výrok je v logike a filozofii pojem označujúci tvrdenie, ktoré možno hodnotiť ako pravdivé alebo nepravdivé. Výrok sa chápe ako obsah oznamovacej vety nezávislý od jazyka alebo konkrétnej formulácie: rôzne vety môžu vyjadrovať ten istý výrok. V tomto zmysle rozlišujeme medzi vetou (sentence), výrokom (proposition) a prejavom (utterance). Základnou požiadavkou na výrok je, aby mal určiteľnú pravdivostnú hodnotu, t. j. aby bolo možné v princípe rozhodnúť alebo aspoň teoreticky zdôvodniť, či je pravdivý alebo nepravdivý.
Definícia a vlastnosti
V prísnej logickej terminológii je výrok abstraktny obsah, ktorý môže mať hodnoty pravda alebo nepravda (v niektorých systémoch aj viacero hodnôt). Výrok je nezávislý od jeho jazykovej reprezentácie: v rôznych jazykoch alebo v rôznych reformuláciách môžu existovať synonymické vety, ktoré nesú tú istú propozíciu. Na úrovni formálnej logiky sú dôležité vlastnosti ako determinácia pravdivostnej hodnoty, uzávierka voči logickým operáciám a možnosť zreprezentovať výrok pomocou symbolických výrazov a predikátov.
Historické zázemie
Pojem propozície a výroku sa vyvíjal od antickej logiky, kde Aristotelés rozpracoval kategórie a súdy, cez stredovekú scholastiku, až po modernú formálnu logiku 19. a 20. storočia. Filozofi a logici ako Frege a Russell prispeli k oddeleniu jazyka, sémantiky a logickej formy. V modernej filozofii viedli diskusie o význame a kognitívnosti tvrdení aj smery ako filozofia jazyka a matematická logika. Napríklad podľa určitej interpretácie logického pozitivizmu majú význam len tie výroky, ktorých pravdivostnú hodnotu je možné overiť empiricky alebo logicky; výroky, ktoré nemožno rozhodnúť, sú potom považované za bezobsahové alebo metafilozoficky problematické (ilustrácia: výroky o božstvách).
Formálne aspekty a typológia
Vo formálnej logike rozlišujeme atómové výroky, ktoré sú jednoduché a nezávislé (napr. "Sokrates je človek"), a zložité výrobky vytvorené logickými spojkami (konjunkcia, disjunkcia, implikácia, negácia). Ďalšou dimenziou je kategorizácia podľa kvantifikátorov: výroky s univerzálnymi alebo existenčnými kvantifikátormi majú inú logickú štruktúru než atomické tvrdenia. Klasické sémantické prístupy mapujú výroky na hodnoty v modeloch; v proof teórii sa na výroky pozeráme ako na objekty, ktoré možno odvodiť z axióm a pravidiel (dokazovanie, predikátová štruktúra).
Pravdivostné teórie
Rôzne filozofické teórie poskytujú odlišné chápanie pravdy výroku. Korespondenčná teória definuje pravdu ako korešpondenciu medzi výrokom a faktami; koherenčná teória kladie dôraz na vzťah a súlad výroku s celkovým systémom presvedčení; deflačné alebo pragmatické teórie považujú výrok za nositeľa pravdy bez hlbších metafyzických implikácií. Pri formálnych systémoch sa pracuje aj s mnohovrstevnými logikami (modálna, temporálna), ktoré rozširujú klasické poňatie pravdivostnej hodnoty o pojmy nutnosti, možnosti alebo časovej platnosti výroku.
Intenzionálne kontexty a indexiká
Nie všetky výroky sa správajú v jazyku rovnakým spôsobom. V intenzionálnych kontextoch (napr. pri veršej: "Myslím, že...", "Verím, že...") nemožno vždy substituovať synonymické vety bez zmeny pravdivostného hodnotenia. Rovnako indexiká a kontextuálne výrazy ("ja", "tu", "dnes") menia referenciu vety; pri formálnom zachytení obsahu je preto často potrebné predstavovať výroky v určitej formalizovanej alebo repasovanej podobe tak, aby boli stabilné naprieč kontextami.
Výroky vs. príkazy a otázky
Oznamovacie vety sú primárnym príkladom výrokov, pretože vyjadrujú tvrdenia, ktoré môžu byť pravdivé alebo nepravdivé. Naopak, imperatívy (príkazy) a interrogatíva (otázky) nemajú pravdivostnú hodnotu a nie sú považované za výroky v logickom zmysle. Rovnako sa rozlišuje medzi samotným výrokom a aktom jeho vyslovenia: assertívna dimenzia hovorí o tom, keď hovoriaci nielen formuluje vetu, ale aj tvrdošijnosť či záväzok voči jej obsahu.
Aplikácie a príklady
Výroky sú základom formálnych dôkazov v matematike, popisu invariánt v informatike (logické špecifikácie, podmienky v programovaní), návrhu databázových obmedzení alebo automatickej inferencie. V argumentácii a filozofii umožňujú štruktúrovať deduktívne a induktívne argumenty. Typické príklady a cvičenia zahŕňajú analýzu logickej formy vety, prevod prírodného jazyka do symbolickej logiky a testovanie validity argumentov pomocou modelov alebo dôkazových techník.
Ďalšie zdroje
Pre podrobnejšie štúdium sa odporúčajú učebnice formálnej logiky, články o sémantike a proof teórii a prehľady dejín logiky. Viac informácií možno hľadať v odborných prehľadoch o Aristotelovskej tradícii a o súčasných prístupoch k predikátom a predikátovej štruktúre. Praktické návody na dokazovanie a používanie výrokoch v technických oboroch sa nachádzajú v materiáloch o synonymii a preklade medzi reprezentáciami. Pre interdisciplinárne súvislosti možno konzultovať zdroje v oblasti logickej metodológie, formálnych systémov a filozofickej analýzy.