-
Anglický jazyk
An Ancient Logic
Autor: Adrian Rezu¿
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... Viac o knihe
Na objednávku
22.14 €
bežná cena: 24.60 €
O knihe
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.
- Vydavateľstvo: LAP LAMBERT Academic Publishing
- Rok vydania: 2016
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Anglický jazyk
- ISBN: 9783330016613
Ruský jazyk 
