Formální aspekty Aristotelovy logiky z historického úhlu pohledu
Formal aspects of Aristotle's logic from the historical perspective
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/26985Identifikátory
SIS: 88889
Kolekce
- Kvalifikační práce [23212]
Autor
Vedoucí práce
Oponent práce
Peregrin, Jaroslav
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
1. 7. 2010
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Čeština
Známka
Výborně
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.