Není kalkul jako kalkul:

Jak na filozofickou logiku: Harry Gensler a jeho Introduction to Logic

PhDr. Petr HROMEK
Katedra filozofie FF-OU v Ostravě
pphhh@seznam.cz



Abstrakt

Logikové, kteří mají svůj obor představit studentům humanitních oborů, se potýkají s tradičními obtížemi: Moderní logika, protože má svůj původ především v metamatematických výzkumech Boola, Frega, Russella, Hilberta, Gentzena a dalších logiků, je pro studenty humanitních oborů těžce stravitelná – problémy, které považují za zajímavé studenti matematiky, jsou studenty filozofie považovány za zcela irelevantní z hlediska jejich vlastního oboru. Dále, příklady, kterými je moderní logika ilustrována, jsou obvykle příliš triviální, a představují tak spíše karikaturu logického myšlení, nebo pocházejí-li z matematiky, pak tito studenti nechápou, proč by se jimi měli vůbec zabývat. Na druhou stranu, neformální logiku, případně teorii argumentace, které jsou místo klasické logiky často požadovány, není možné adekvátně představit bez předchozího elementárního kursu klasické logiky. Z tohoto důvodu čas od času vznikají publikace, které se cíleně pokoušejí představit logiku skrze filozofii, případně logiku a zároveň filozofii. Jednou z těchto publikací je knížka Harryho Genslera Introduction to Logic, která je doprovázena volně dostupným výukovým softwarem LogiCola. Harry Gensler důsledně představuje logiku prostřednictvím témat převzatých z filozofie, a dokonce jednu kapitolu knížky představuje formalizovaná teorie etiky, v níž Gensler formálně dokazuje známé tzv. „zlaté pravidlo“. Příspěvek se věnuje úvahám o dilematech, s nimiž se musí potýkat logik představující svůj obor studentům filozofie, a představuje řešení, které zvolil Harry Gensler.

Prezentace

Článek ve sborníku