Keďže logika nehovorí (sama) nič o vzťahoch medzi časopriestorovými objektmi, zdalo by sa prirodzené predpokladať, že nebude mať nič dočinenia ani s idealizáciami, ktoré sú štandardne súčasťou modelovania empirického sveta. No opak je pravdou.
Na stránkach Quarku sme sa v čísle 12/2025 venovali niektorým základným charakteristikám a funkciám idealizácií v empirických vedných disciplínach. Idealizácie tu mali podobu užitočných a vedome prijatých nepravdivých predpokladov, ktoré môžu plniť istú teoretickú funkciu. Idealizácie ako súčasť teoretických modelov predstavujú zjednodušujúcu reprezentáciu sveta, ktorá zároveň robí niektoré podstatné aspekty skúmaného javu zjavnými.
Logika, podobne ako matematika, je však vedná disciplína, ktorá neskúma vlastnosti objektov a procesov empirického sveta. Vypovedá skôr o vzťahoch a štruktúrach medzi určitými abstraktnými objektmi, akými sú čísla, množiny, grupy, pojmy či pravdivostné hodnoty. Konkrétne logika sa – minimálne vo svojej modernej podobe – zaoberá predovšetkým vzťahom vyplývania medzi výrokmi (resp. ich významami) a vzťahmi, ktoré s vyplývaním súvisia.
Logika ako jazyk
Moderná logika, ktorej základy položil nemecký logik a filozof Gottlob Frege (1848 – 1925) vo svojej práci Begriffsschrift (slov. Pojmové písmo, 1879), je dnes samostatnou etablovanou vednou disciplínou. Logika, resp. každý logický systém, ktorým sa logici zaoberajú, má vlastný, tzv. formálny jazyk s presne vymedzenou syntaxou a sémantikou. Súčasťou jazyka logického systému sú na jednej strane výrazy pre individuálne objekty ľubovoľného druhu, pre ich vlastnosti a vzťahy, do ktorých tieto objekty vstupujú; na druhej strane sú to tzv. logické výrazy.
V jednoduchších logických systémoch, medzi ktoré patrí klasická predikátová logika, sú logickými výrazmi predovšetkým výrokové spojky (negácia ¬, konjunkcia ∧, disjunkcia ∨, implikácia →, ekvivalencia ↔) a kvantifikátory (reprezentované výrazmi ako ∃ pre existuje aspoň jeden… a ∀ pre pre všetky…). Sémantika (rozumej rovina významu výrazov) jazyka predikátovej logiky je pritom veľmi jednoduchá. Obvykle zahŕňa dve pravdivostné hodnoty, pravdu a nepravdu, a funkcie, ktoré s týmito hodnotami pracujú. Predpokladá tiež určitý súbor objektov, o ktorých v danom kontexte uvažujeme a ktorý nazývame univerzum úvahy, a napokon určitú interpretačnú funkciu, ktorá výrazom pre mená, vlastnosti a vzťahy priraďuje určité prvky, resp. podmnožiny univerza úvahy ako ich význam.
Zložitejšie logické systémy dopĺňajú či modifikujú syntax alebo sémantiku klasickej predikátovej logiky (prvého rádu). Napríklad v prípade neklasickej trojhodnotovej logiky sa pravdivostné hodnoty pravda a nepravda dopĺňajú o tretiu hodnotu X, ktorá môže reprezentovať buď neurčitosť nášho poznania, alebo neurčitosť určitého stavu sveta (v danom okamihu). Iné logické systémy dopĺňajú jazyk o určité modálne výrazy, napríklad je nevyhnutné, že… (□) alebo je možné, že… (◇) a prispôsobujú tomu aj sémantiku.
Takéto logické systémy vykazujú množstvo zaujímavých vlastností, ktoré samy osebe môžu byť predmetom štúdia nadšencov logiky. No význam týchto formálnych jazykov sa ukazuje najmä vtedy, keď ich uplatňujeme na analýzu a modelovanie výrokov a úsudkov, ktoré robíme v prirodzenom jazyku či v jazyku určitej vednej disciplíny, ktorá z prirodzeného jazyka vychádza.
Celý článok nájdete v časopise Quark 1/2026.
Vďaka predplatnému si ho však môžete dočítať už teraz a získať aj prístup k exkluzívnemu obsahu!
Máte predplatné?
Prihlásiť saKatedra logiky a metodológie vied
Filozofická fakulta
Univerzita Komenského v Bratislave
Práca na tomto príspevku bola podporená projektom VEGA 1/0557/23.
