Výrok (logika)

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.