New books by The Advanced Reasoning Forum
The Advanced Reasoning Forum is pleased to announce the publication of
two works of formal logic. We keep our prices very low in part by
letting folks know about our books mainly through list-serves. Our
books are now printed and distributed from the U.K., U.S.A., Brazil,
Russia, Poland, South Korea, Australia, and Germany.Studies in the History of Mathematical Logic
ed. Stanislaw J. Surma
This volume contains seventeen essays in the history of modern
mathematical logic. The essays were first presented in the national
conferences of the Thematic Group for the History of Logic organized by
the Department of Logic of the Polish Academy of Sciences and the
Department of Logic of Jagiellonian University in 1966?1971. It is
published in our Classic Reprints series.
The essays are: 1. Emil Post's doctoral dissertation (Stanislaw J.
Surma), 2. A historical survey of the significant methods of proving
Post's theorem about the completeness of the classical propositional
calculus (Stanislaw J. Surma), 3. A survey of the results and methods of
investigations of the equivalential propositional calculus (Stanislaw J.
Surma), 4. A uniform method of proof of the completeness theorem for the
equivalential propositional calculus and for some of its extensions
(Stanislaw J. Surma), 5. Kolmogorov and Glivenko's papers about
intuitionistic logic (Jacek K. Kabzinski), 6. Jaskowski's matrix
criterion for the intuitionistic propositional calculus (Stanislaw J.
Surma), 7. Axiomatization of the implicational Gödel's matrices by
Kalmar's method (Andrzej Wronski), 8. A contribution to the history of
the investigations into the intermediate propositional calculi (Andrzej
Wronski), 9. On Ackermann's rigorous implication (Jan Wolenski), 10.
Kurt Gödel's doctoral dissertation (Jan Zygmunt), 11. A survey of the
methods of proof of the Gödel-Malcev's completeness theorem (Jan
Zygmunt), 12. The concept of the Lindenbaum algebra: its genesis
(Stanislaw J. Surma), 13. On the old and new methods of interpreting
quantifiers (Andrzej Wronski), 14. L. Rieger's logical achievement
(Wladyslaw Szczech), 15. The development of Cantor's definition of set
(Jerzy Perzanowski), 16. On the origins of the set-theoretical concept
of relation (Piotr Kossowski), 17. A survey of various concepts of
completeness of the deductive theories (Stanislaw J. Surma).Reasoning and Formal Logic
by Richard L. Epstein
The essays are: 1. Possibiities and Valid Inferences; 2. A General
Framework for Semantics for Propositional Logics, 3. Why Are There So
Many Logics?, 4. Truth and Reasoning. 5. On Translations; Reflections on
Temporal and Modal Logic, 6. The Timelessness of Classical Predicate
Logic, 7. Events in the Metaphysics of Predicate Logic, 8. Categoricity
with Minimal Metaphysics, 9. Reflections on Godels's Theorems, 10. On
the Error in Frege's Proof that Names Denote, 11. Postscript: Logic as
the Art of Reasoning Well.