Formální aspekty Aristotelovy logiky z historického úhlu pohledu

Abstract

Tato práce se zabývá vlastnostmi Aristotelovy sylogistiky z hlediska moderní logiky a zároveň se snaží prezentovat samotný Aristotelův text na dané téma. Práce ukazuje, jak lze dokázat větu o úplnosti sylogistiky, aniž by bylo v navrženém deduktivním systému zapotřebí používat nepřímý důkaz, což je naprosto běžná praxe pro autory, kteří se tímto tématem ve 20. století zabývali.

This thesis focuses on formal properties of Aristotle's syllogistic as seen from the per- spective of both modern logic and Aristotle himself. Its main objective is the proof of the standard completeness theorem that does not employ the indirect deduction as has become a custom in modern reconstructions of Aristotle's deductive system.