Název: Formální aspekty Aristotelovy logiky z historického úhlu pohledu
Překlad názvu: Formal aspects of Aristotle's logic from the historical perspective
Autoři: Fontán, Martin ; Peregrin, Jaroslav (oponent) ; Kolman, Vojtěch (vedoucí práce)
Typ dokumentu: Diplomové práce
Rok: 2010
Jazyk: cze
Abstrakt: [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.

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/26985

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-282078


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Diplomové práce