O svobodě výrokové logiky

Svoboda jednoho končí tam, kde začíná svoboda druhého...

Petr Staníček přichází s dalším úletem, a i tentokrát to - zdá se - myslí vážně.



Ve svém článku se snaží předvést, co znamená věta Odkazy jsou odlišeny od ostatního textu, a to nikoli pouze barvou.



Dokazuje nám, laikům nedotknutým formální logikou, že to znamená, že odkazy nemusejí být odlišeny barvou, pokud jsou odlišeny jinak. Promiňte, nedokazuje, demonstruje. Proč tak děsivě komplikovaně, to se mě neptejte.



A přitom se tak hluboce mýlí. Aplikovat matematickou logiku na přirozený jazyk je tak nesoudné, zavádějící, sprosté... Matematická logika patří do matematiky, je zběsilá, ale nutná pro její formalizaci (i když - někdo je dodnes přesvědčen, že epsilon-delta prostocviky jsou nutné pro formalizaci matematické analýzy, takže nechvalme dne před večeří).



Ale aplikovat na jazyk matematickou logiku? Směšné. Považovat "blabla, a to blabla" za konjunkci? Nabubřelé.