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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : Books Puddle, New York, NY, Etats-Unis
Etat : New. N° de réf. du vendeur 26394682887
Quantité disponible : 4 disponible(s)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Etat : New. Print on Demand. N° de réf. du vendeur 401726936
Quantité disponible : 4 disponible(s)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18394682893
Quantité disponible : 4 disponible(s)
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 60 pp. Englisch. N° de réf. du vendeur 9783330016613
Quantité disponible : 2 disponible(s)
Vendeur : moluna, Greven, Allemagne
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Rezus AdrianAdrian Rezus 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. Sinc. N° de réf. du vendeur 158958273
Quantité disponible : Plus de 20 disponibles
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 60 pp. Englisch. N° de réf. du vendeur 9783330016613
Quantité disponible : 1 disponible(s)
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783330016613
Quantité disponible : 1 disponible(s)
Vendeur : preigu, Osnabrück, Allemagne
Taschenbuch. Etat : Neu. An Ancient Logic | Chrysippus and His Modern Readers I | Adrian Rezu¿ | Taschenbuch | 60 S. | Englisch | 2016 | LAP LAMBERT Academic Publishing | EAN 9783330016613 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. N° de réf. du vendeur 108085723
Quantité disponible : 5 disponible(s)