An Ancient Logic - Rezus, Adrian
16,99 €
inkl. MwSt.

Versandfertig in 6-10 Tagen
  • Broschiertes Buch

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.…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
Autorenporträt
Adrian Rezü studied philosophy and mathematics in Romania, Switzerland, and the Netherlands (PhD 1981, University of Utrecht). He did research in analytic philosophy, symbolic logic and theoretical computer science. Since 1981, he published several studies and monographs on the applications of lambda-calculus in proof theory and computer science.