Items related to An Ancient Logic: Chrysippus and His Modern Readers...
Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
Adrian Rezuş 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.
"About this title" may belong to another edition of this title.
Search results for An Ancient Logic: Chrysippus and His Modern Readers...
Stock Image
An Ancient Logic: Chrysippus and His Modern Readers I
Published by
LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3330016612
ISBN 13: 9783330016613
New
Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26394682887
Seller Image
An Ancient Logic
Published by
LAP LAMBERT Academic Publishing Dez 2016, 2016
ISBN 10: 3330016612
ISBN 13: 9783330016613
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783330016613
Stock Image
An Ancient Logic: Chrysippus and His Modern Readers I
Published by
LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3330016612
ISBN 13: 9783330016613
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 401726936
Buy New
£ 33.80
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
An Ancient Logic: Chrysippus and His Modern Readers I
Published by
LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3330016612
ISBN 13: 9783330016613
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18394682893
Stock Image
An Ancient Logic: Chrysippus and His Modern Readers I
Published by
LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3330016612
ISBN 13: 9783330016613
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 60 pages. 8.66x5.91x0.14 inches. In Stock. Seller Inventory # __3330016612
Buy New
£ 44.54
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
An Ancient Logic : Chrysippus and His Modern Readers I
Published by
LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3330016612
ISBN 13: 9783330016613
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783330016613
Seller Image
An Ancient Logic
Published by
LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3330016612
ISBN 13: 9783330016613
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 158958273
Buy New
£ 19.16
£ 40.83 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
An Ancient Logic
Published by
LAP LAMBERT Academic Publishing Dez 2016, 2016
ISBN 10: 3330016612
ISBN 13: 9783330016613
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783330016613
Seller Image
An Ancient Logic | Chrysippus and His Modern Readers I
Published by
LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3330016612
ISBN 13: 9783330016613
New
Taschenbuch
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 108085723