Neotřelý způsob, jakým pojmout knihu o logice. Tvoří ji totiž skoro komiks, základem každé stránky není text, ale ilustrace. Velmi často vidíme autora myšlenky, případně diskuzi dvou myslitelů, takže zároveň vnímáme i jejich podobu.

Takovéto zpracování s sebou nese jedno riziko - že stručnost popisků a komentářů bude na úkor srozumitelnosti. V tomto případě se ale dílo zdařilo a obsah je přesně vyvážený. Co ho vlastně tvoří? Historie logiky od samotných počátků u Aristotela, přes snahy logiku formalizovat, vybudovat pomocí ní matematiku (a vypořádat se s paradoxy a problémy), až po logiky alternativní nebo aplikace.

Když už jsem se logikou začal zabývat (vizte Co je nového v logice, Logika pro studenty humanitních oborů), vrátil jsem se i k tomuto komiksovému úvodu. Všímal jsem si mnoha věcí. Russelovy myšlenky o povrchové gramatice:

Povrchová gramatika (školní gramatika podstatných jmen, sloves a přídavných jmen) překrývá skutečný tvar věty. Russel se domníval, že jestliže budeme moci analyzovat jazyk tak, že z něj vypreparujeme dokonalou logickou strukturu, tak mnoho současných velkých problémů filozofie zmizí. (Str. 27)

Wittgensteinovy podobnosti mezi realitou a jazykem:

Aby byl nějaký obraz vůbec schopný popisovat skutečnost, musí s ní mít společnou logickou formu – formu reality. Pro Wittgensteina byla logika něčím, co musí mít svět a jazyk společného. Jen díky tomu, že jazyk má něco společného se světe, může se používat na zobrazování světa, a tedy jen díky logice mají naše věty vůbec nějaký smysl. (Str. 31)

Tarského pravdivostních podmínek:

Predikát „je pravdivé“ není uvnitř formálního jazyka nikdy použit korektně – spíše vypovídá něco o větách formálního jazyka. (Str. 60)

Konečně jsem pochopil bizarní metody důkazů (vizte otázku, jestli každý Skot má rád Skoty) – jde o důsledek leibnitzovské metody důkazu sporem:

Ze třetího axiomu plyne, že jestliže negace negace q je pravda, pak q je pravda. Je to podivný důsledek, neboť nám umožňuje dokázat cokoli, dokonce i věci, jejichž pravdivost nezávisí na pravdivosti rozporu, který jsme k důkazu použili. (str. 48)

Ale zejména a nepřehlédnutelně jsem (znovu) viděl, jak je tento komiksový úvod podařený. Čtivý, srozumitelný, graficky zajímavý.

Odkazy:

• Logika na ČBDB
• Logika na Databázi knih
• recenze Pavla Housera na ScienceWorld

nakladatelství Portál, Praha 2002, ISBN 80-7178-707-8, cena 225 Kč