LAP Lambert Academic Publishing ( 14.12.2016 )
€ 23,90
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.
Kitap detayları: |
|
ISBN-13: |
978-3-330-01661-3 |
ISBN-10: |
3330016612 |
EAN: |
9783330016613 |
Kitabın dili: |
English |
Yazar: |
Adrian Rezuș |
Sayfa sayısı: |
60 |
Yayın tarihi: |
14.12.2016 |
Kategori: |
Antikalık |