Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>
The present work consists of an attempt to a conceptual reconstruction of the logic of Chrysippus of Soli (cca 279 - cca 206 BCE), from the point of view of modern proof theory. The author argues that Chrysippus and his followers were fully aware of both the truth-value semantics and the proof-theoretical behaviour of the classical logic connectives, and that Chrysippus' logic amounts, actually, to a redundant formulation of classical two-valued logic, understood as a system of rules. From this one can extract several equivalent formulations of classical logic, in natural deduction style, matching modern standards.
| Autorius: | Adrian Rezu¿ |
| Leidėjas: | LAP LAMBERT Academic Publishing |
| Išleidimo metai: | 2016 |
| Knygos puslapių skaičius: | 60 |
| ISBN-10: | 3330016612 |
| ISBN-13: | 9783330016613 |
| Formatas: | 220 x 150 x 5 mm. Knyga minkštu viršeliu |
| Kalba: | Anglų |
Parašykite atsiliepimą apie „An Ancient Logic: Chrysippus and His Modern Readers I“
