Original title:
Formální aspekty Aristotelovy logiky z historického úhlu pohledu
Translated title:
Formal aspects of Aristotle's logic from the historical perspective
Authors:
Fontán, Martin ; Peregrin, Jaroslav (referee) ; Kolman, Vojtěch (advisor) Document type: Master’s theses
Year:
2010
Language:
cze Abstract:
[cze][eng] 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.
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/26985