Logika nie je len suchá veda z učebníc. Je to filter na nezmysly, ktorý nám pomáha prežiť vo svete plnom názorov, hoaxov a manipulatívnych rečí. Je to hľadanie pevnej pôdy pod nohami v oceáne slov. Tento príbeh je o ceste od antických hádok až k bodu, kde sme zistili, že vesmír je múdrejší než naše vzorce.
Matematika je v skutočnosti logika dotiahnutá do extrému. Kým v bežnej reči sa môžeme vykrúcať, v matematike musí byť každý krok nepriestrelný. Práve tu sa zrodil veľký sen: vytvoriť univerzálny stroj na pravdu, kde by sa každý spor dal vyriešiť jednoduchým výpočtom.
1. časť: Aristoteles – filter na nezmysly
Skutočná logika sa zrodila v 4. storočí pred Kr. ako zbraň proti sofistom. Títo platení rečníci dokázali pomocou slovných hračiek urobiť z klamstva pravdu.
Príklad rozhovoru (v štýle sofistov):
Sofista: "Súhlasíš, že tento pes je tvoj?"
Občan: "Áno, je môj."
Sofista: "A súhlasíš, že tento pes má šteniatka, teda je otcom?"
Občan: "Áno, je to otec."
Sofista: "Takže ten pes je otec a zároveň je tvoj. Z toho vyplýva, že ten pes je tvoj otec a ty si brat šteniatok!"
Napadá mi, že svet sa až tak nezmenil, lebo aj dnes sa nájdu takí "sofisti".
Aristoteles by sofistov zosmiešnil podobným, ale logicky identickým trikom:
"Táto brána je tvoja?" (Áno)
"Táto brána má krídla?" (Áno)
"Teda ty si okrídlený a môžeš odletieť!"
Teraz ale vážne. Aristoteles pochopil, že problém nie je vo faktoch, ale v ich štruktúre. Vytvoril systém sylogizmov, kde oddelil formu od obsahu. Ak z vety odstránite emócie a dosadíte premenné, hneď vidíte, či argument drží pokope.
Klasický sylogizmus:
Všetci ľudia sú smrteľní. (Všeobecná premisa)
Sokrates je človek. (Konkrétna premisa)
Sokrates je smrteľný. (Záver)
Tým, že tieto veci od seba oddelil, urobil zo sofistiky (umenia vyhrávať spory) logiku (vedu o hľadaní pravdy).
2. Časť: Výška a pád
Celé stáročia sa nič nemenilo, stredovekí učenci Aristotela len leštili a klasifikovali, no nikam sa neposunuli. Skutočný zlom nastal až v 19. storočí. George Boole preklopil logiku do reči algebry (0 a 1, AND/OR). Bol to základ pre dnešné počítače, ale stále to malo háčik: táto logika nedokázala analyzovať vnútro vety.
Potom prišiel Gottlob Frege (zakladateľ modernej logiky). Chcel vytvoriť dokonalý stroj na pravdu. Rozhodol sa, že celú matematiku postaví na základoch logiky. Zaviedol do nej funkcie a množiny. Dokonca aj samotné číslo 1 definoval ako "množinu všetkých množín, ktoré majú práve jeden prvok". Predstavte si to ako super-nádobu, v ktorej sú uložené všetky nádoby sveta s jedným jablkom či jedným Mesiacom. Matematika sa stala logikou. Všetko do seba zapadalo.
Jeho osudovým predpokladom bolo, že množinu možno definovať akoukoľvek vlastnosťou. Chceš množinu všetkých koní? Nech sa páči. Chceš množinu všetkých čísiel? Máš ju mať. Matematika a logika sa stali jedným telom.
Frege mal životné dielo takmer hotové, keď mu v roku 1902 prišiel list od mladého Bertranda Russella. Ten mu položil otázku, ktorá odpálila nálož pod základmi celého jeho sveta. Russell využil práve Fregeho slobodu tvoriť akékoľvek množiny a vymyslel jednu "toxickú" – množinu všetkých množín, ktoré neobsahujú samy seba.
Dnes ju poznáme ako Paradox holiča:
"V dedine žije holič, ktorý holí práve tých, ktorí sa neholia sami."
S tými čo sa holia sami, nie je problém, ani s tými, čo sa neholia sami - tých holí holič, ale čo so samotným holičom?
Tu nastáva totálny logický skrat:
Ak sa oholí, poruší príkaz (má holiť len tých, čo sa neholia sami).
Ak sa neoholí, poruší ho tiež (má holiť každého, kto sa neholí sám).
Logika nevie spracovať objekt, ktorý v ten istý moment podmienku spĺňa aj nespĺňa. Fregeho stroj na pravdu sa v sekunde zasekol v nekonečnej slučke. Sen o dokonalej matematickej istote sa zrútil. Jeho logika ostala v troskách.
Frege bol intelektuálne čestný – paradox nepoprel, priznal ho verejne. Ale opraviť ho nedokázal a zlomilo to nielen jeho systém, ale aj jeho samého.
3. Časť: Russellov pokus o záchranu (Zákaz paradoxov)
Bertrand Russell sa odmietol vzdať. Spolu s Alfredom Northom Whiteheadom strávil desať rokov písaním monumentálneho diela Principia Mathematica. Ich cieľom bolo logiku "opraviť" tak, aby v nej paradox už nikdy nevznikol.
Zaviedli tzv. Teóriu typov. Bol to prísny zákon, ktorý zakázal logike pozerať sa do zrkadla:
Žiadna množina (katalóg) nesmie obsahovať samu seba. Svet rozdelili na poschodia – katalógy na prvom poschodí hovoria o knihách, katalógy na druhom o katalógoch. Miešanie poschodí bolo trestné. Týmto ťahom Russell paradox s holičom jednoducho vymazal zo zákona. Budovanie tohto nového sveta však bolo brutálne. Trvalo im 362 strán, kým cez všetky tie bezpečnostné pravidlá dokázali, že 1 + 1 = 2.
Principia Mathematica vyšla v rokoch 1910–1913 a matematický svet vydýchol. Russell bol oslavovaný. Jeho systém prijatý. Na dvadsať rokov nastalo ticho – nie ticho pochybností, ale ticho spokojnosti. Základy matematiky boli konečne pevné. Paradoxy vyhostené. Logika očistená. Alebo tak aspoň všetci verili.
Lenže ak niekomu zakážete zrkadlo, nájde si spôsob, ako sa uvidieť v odraze na hladine.
4. Časť: Gödel – Rozsudok nad dokonalosťou
V roku 1931 mladý Rakúšan Kurt Gödel ukázal, že Russellov "plot" je deravý. Použil pri tom zbraň, ktorú nikto nečakal: čísla.
Gödel prišiel na to, že logické symboly a vety sa dajú preložiť do číselného kódu (podobne ako dnešné programovanie). Tým pádom matematika, ktorá hovorila o číslach, v skrytom význame hovorila o logických pravidlách samotného systému.
Jeho trik bol v skratke tento:
1. Zobral Russellov prísny systém.
2. Vytvoril v ňom matematickú rovnicu, ktorá cez číselný kód hovorila: "Toto tvrdenie je v tomto systéme nedokázateľné."
Nastala šachová partia, ktorú systém nemohol vyhrať:
Ak by systém toto tvrdenie dokázal, dokázal by niečo, čo o sebe hovorí, že je to nedokázateľné. Systém by si odporoval (bol by lživý).
Ak ho systém nedokáže, tak to tvrdenie je pravdivé (veď hovorí, že sa nedá dokázať!), ale systém ho nevie potvrdiť svojimi nástrojmi.
Záver bol zdrvujúci: Gödel dokázal, že v každom dostatočne silnom systéme (ako bol ten Russellov) existujú pravdy, na ktoré logika nestačí. Povedal v podstate: "Pravda je väčšia ako dôkaz." Russellov sen o logike, ktorá by vedela vysvetliť úplne všetko bez paradoxov, definitívne pochoval. Ukázal, že logika nie je uzavretá pevnosť, ale otvorený vesmír, v ktorom vždy zostane niečo neznáme.
Russell to prijal so zvláštnou zmesou pokory a smútku. Neskôr napísal: "Môj záujem o matematickú logiku utrpel vážnu ranu. Už nikdy som sa nevrátil k pocitu, že logika je ten pevný, krištáľovo čistý základ, na ktorom stojí vesmír." Pochopil, že Gödel neprišiel s nejakou chybičkou v jeho výpočtoch, ale že dokázal vrodenú nedokonalosť samotného rozumu.
Gödel bol absolútny unikát – taký ten typ génia, o ktorom Einstein raz povedal, že do úradu v Inštitúte pre pokročilé štúdiá v Princetone chodí už len preto, "aby mal tú česť kráčať domov s Kurtom Gödelom".
Záver: Od sylogizmov k čipom
Tu končí éra hľadania "absolútnej pravdy" a začína realita. Hoci Gödel rozbil sen o dokonalej matematike, jej trosky nezostali nevyužité. Alan Turing ich pozbieral a postavil na nich koncept stroja, ktorý dnes voláme počítač. Z Booleových núl a jednotiek sa stali procesory a z Fregeho "kódu" programovacie jazyky.
Dnes sa pýtame: Má AI logiku? V skutočnosti je to obrovský štatistický stroj, ktorý ju simuluje tak presvedčivo, že nás dokáže oklamať rovnako rafinovane ako starovekí sofisti. Možno sme sa od Aristotela nepohli tak ďaleko, ako si myslíme. Stále hľadáme filter na nezmysly, len ho už nenazývame sylogizmom, ale „fact-checkingom“. Logika nezomrela, len sa presťahovala z prachu knižníc do kremíkových čipov. A Gödelov odkaz nám pripomína, že bez ohľadu na to, aký výkonný procesor zostrojíme, pravda bude vždy o krok vpred pred každým dôkazom.
