Úvod do logiky Lvovsko-varšavské školy

V 19. století se filozofie ocitla na křižovatce. V přírodních a technických vědách docházelo k nebývalému rozvoji, ale filozofie jako by ustrnula na místě. Inspirováni pokrokem přírodních věd, usilovali mnozí filozofové dosáhnout takového pokroku i ve filozofii a udělat z ní skutečně vědeckou disciplínu. Tato snaha se také promítla do filozofie Lvovsko-varšavské školy. Zatímco její zakladatel Kazimierz Twardowski prosazoval jako metodu vědecké filozofie psychologii, jeden z jeho prvních žáků Jan Łukasiewicz byl přesvědčen, že takovou metodou je matematická logika. Łukasiewiczova práce zaujala mnoho dalších členů Lvovsko-varšavské školy a matematická logika se brzy stala jedním z nejvýznamnějších předmětů zájmu v této škole a také oborem, kterým se nejvíce proslavila. I když výsledky této polské školy na poli matematické logiky dosáhly světové proslulosti, v české filozofické literatuře zatím nebyly důkladněji a systematičtěji představeny.

Cílem této práce je vyplnit tuto mezeru a v sedmi kapitolách uvést systémy matematické logiky logiků Lvovsko-varšavské školy a také filozofické koncepce, které s nimi byly spojeny.