The Review of Modern Logic (Project Euclid)

The Review of Modern Logic, Volume 10, Number 1-2 (2005)

Mon, 23 Jun 2008 11:28 EDT

Contents:

Philip Meguire. Richard Milton Martin: American Logician. 7--66.

Irving H. Anellis. Some Views of Russell and Russell's Logic by His Early Contemporaries. 67--98.

Wim Ruitenburg. Very intuitionistic theories and quantifier elimination. 99--112.

Francine F. Abeles. Reviews. 113--113.

Irving H. Anellis. Review: Alfred Tarski: Life and Logic , by Anita Burdman Feferman and Solomon Feferman. 117--130.

Valentin A. Bazhanov. Review: Mathematics of the 19 th Century. Mathematical Logic - Algebra - Number Theory - Probability Theory, 2nd revised edition , edited by A. N. Kolmogorov and A. P. Yushkevich. 131--134.

Jean-Yves Béziau. Review: The Search for Mathematical Roots 1870-1940 (Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel) , by I. Grattan-Guiness. 135--138.

Michel Bourdeau. Review: Gnomes in the Fog, The Reception of Brouwer’s Intuitionism in the 1920s , by Dennis E. Hesseling. 139--144.

Claire Ortiz Hill. Review: Logik, Vorlesung 1896 (Materialien, vol. 1) and Logik, Vorlesung 1902/03 (Materialien, vol. 2) , by E. Husserl. 145--154.

Richard E. Hodel. Review: Lectures in Logic and Set Theory, Volume 2: Set Theory , by George Tourlakis. 155--160.

Kevin C. Klement. Review: The Cambridge Companion to Bertrand Russell , edited by Nicholas Griffen. 161--170.

Amirouche Moktefi. Review of Cogwheels of the Mind: The Story of Venn Diagrams , by A. W. F. Edwards. 171--174.

Roman Murawski. Review: The Universal History of Computing. From the Abacus to the Quantum Computers , by Georges Ifrah, translated from French and with notes by E. F. Harding. 175--178.

Roman Murawski. Review: Computability. Computable Functions, Logic, and The Foundations of Mathematics 2nd edition, , by Richard L. Epstein and Walter A. Carnielli, with Computability and Undecidability—A Timeline. The Story of the Development of Computable Functions and the Undecidability of Arithmetic to 1970 , by Richard L. Epstein. 179--182.

Roman Murawski. Review: Knowledge Contributors , edited by Vincent F. Hendricks, Klaus Frovin Jørgensen and Stig Andur Pedersen. 183--186.

Dirk Schlimm. Review: The Search for Certainty , by Marcus Giaquinto. 187--190.

Alasdair Urquhart. Review: Collected Works, Volume IV: Correspondence A-G, Volume V: Correspondence H-Z , by Kurt Gödel, edited by Solomon Feferman, John W. Dawson, Jr. (Editors-in-chief), Warren Goldfarb, Charles Parsons and Wilfried Sieg. 191--200.

Jean Paul Van Bendegem. Review: Free Logic. Selected Essays , by Karel Lambert. 201--206.

The Review of Modern Logic, Volume 10, Number 3-4 (2005)

Mon, 01 Aug 2011 09:02 EDT

Contents:

Irving H. Anellis. The Rise of Modern Logic: From Leibniz to Frege. Review-Essay of Handbook of the History of Logic , Volume 3. 13--90.

Jan Dejnožka. Are the Natural Numbers Just any Progression? Peano, Russell. 91--111.

Francine F. Abeles. Reviews. 113--113.

Books Received. 114--116.

Irving H. Anellis. Review: Handbook of the History of Logic. Volume 1: Greek, Indian, and Arabic Logic, edited by Dov M. Gabbay and John Woods. 117--141.

Irving H. Anellis. Review: Logika. Biobibliograficheskii spravochnik, authored and compiled by Olga Arkadevna Antonova, Aleksei Sergeevich Miloslavov, and T. E. Sokhor. 143--147.

Natan Berber. Review: Philosophy and Logic: In Search of the Polish Tradition: Essays in Honour of Jan Wolénski on the Occasion of His 60th Birthday, edited by J. Hintikka, T. Czarnecki, K. Kijania-Placek, T. Placek, and A. Rojszczak†. 149--154.

Jean-Yves Béziau. Review: From Peirce to Skolen: A Neglected Chapter in the History of Logic, by Geraldine Brady. 155--161.

John P. Burgess. Review: Truth, Thought, Reason: Essays on Frege, by Tyler Burge. 163--178.

John W. Dawson, Jr.. Review: The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Ingelligence, and Artificial Life plus The Secrets of Enigma, by Alan M. Turing (author) and B. Jack Copeland (editor). 179--181.

David DeVidi. review: Trends in Logic: 50 Years of Studia Logica, edited by Vincent F. Hendricks and Jacek Malinowski. 183--193.

Thomas Drucker. Review: Some Interesting Memories: A Paradoxical Life, by Raymond Smullyan. 195--197.

Thomas Drucker. Review: Memoirs of a Proof Theorist: Gödel and other Logicians, by Gaisi Takeuti and Jacek Malinowski. 199--205.

George Englebretsen. Review: Vagueness in Context, by Stewart Shapiro. 207--212.

Vladik Kreinovich. Review: Automated Model Building, by Richard Caferra. 213--217.

Vladik Kreinovich. Review: A Modern Perspective on Type Theory: From its Origins until Today, by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt. 219--224.

Robert Mignone. Review: Lectures in Logic and Set Theory, Volume I: Mathematical Logic, by George Tourlakis. 225--230.

Wim Ruitenburg. Review: The Honors Class: Hilbert's Problems and Their Solvers, by Benjamin H. Yandell. 231--237.

Paul Rusnock. Review: The Mathematical Works of Bernard Bolzano, translated, with an introduction and commentary, by Steve Russ. 239--255.

Review: Gödel's Theorem: An Incomplete Guide to Its Use and Abuse, by Torkel Franzén. 257--261.

Updated: The Review of Modern Logic, Volume 10, Number 3-4 (2007)

Mon, 22 Aug 2011 11:48 EDT

Contents:

Irving H. Anellis. The Rise of Modern Logic: From Leibniz to Frege. Review-Essay of Handbook of the History of Logic , Volume 3. 13--90.

Jan Dejnožka. Are the Natural Numbers Just any Progression? Peano, Russell. 91--111.

Francine F. Abeles. Reviews. 113--113.

Books Received. 114--116.

Irving H. Anellis. Review: Handbook of the History of Logic. Volume 1: Greek, Indian, and Arabic Logic, edited by Dov M. Gabbay and John Woods. 117--141.

Irving H. Anellis. Review: Logika. Biobibliograficheskii spravochnik, authored and compiled by Olga Arkadevna Antonova, Aleksei Sergeevich Miloslavov, and T. E. Sokhor. 143--147.

Jean-Yves Béziau. Review: From Peirce to Skolen: A Neglected Chapter in the History of Logic, by Geraldine Brady. 155--161.

John P. Burgess. Review: Truth, Thought, Reason: Essays on Frege, by Tyler Burge. 163--178.

David DeVidi. Review: Trends in Logic: 50 Years of Studia Logica, edited by Vincent F. Hendricks and Jacek Malinowski. 183--193.

Thomas Drucker. Review: Some Interesting Memories: A Paradoxical Life, by Raymond Smullyan. 195--197.

Thomas Drucker. Review: Memoirs of a Proof Theorist: Gödel and other Logicians, by Gaisi Takeuti and Jacek Malinowski. 199--205.

George Englebretsen. Review: Vagueness in Context, by Stewart Shapiro. 207--212.

Vladik Kreinovich. Review: Automated Model Building, by Richard Caferra. 213--217.

Vladik Kreinovich. Review: A Modern Perspective on Type Theory: From its Origins until Today, by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt. 219--224.

Robert Mignone. Review: Lectures in Logic and Set Theory, Volume I: Mathematical Logic, by George Tourlakis. 225--230.

Wim Ruitenburg. Review: The Honors Class: Hilbert's Problems and Their Solvers, by Benjamin H. Yandell. 231--237.

Paul Rusnock. Review: The Mathematical Works of Bernard Bolzano, translated, with an introduction and commentary, by Steve Russ. 239--255.

Review: Gödel's Theorem: An Incomplete Guide to Its Use and Abuse, by Torkel Franzén. 257--261.

The Review of Modern Logic, Volume 11, Number 1-2 (2007)

Thu, 29 Sep 2011 10:12 EDT

Contents:

Kevin C. Klement. A New Century in the Life of a Paradox. Review-Essay of One Hundred Years of Russell's Paradox , edited by G. Link. 7--30.

Francine F. Abeles. Reviews. 31--31.

Books Received. 32--34.

Irving H. Anellis. "Russell's Logic," by P. De Rouilhan. 35--42.

Irving H. Anellis. "Hilbert's Wide Program," by W. Ewald. 43--66.

Irving H. Anellis. Incompleteness: The Proof and Paradox of Kurt Gödel by R. Goldstein. 67--70.

Irving H. Anellis. "Mathematical Logic in Iran: A Perspective," by M.-J. A. Larijani. 71--72.

Irving H. Anellis. "Ibn-Sina's Anticipation of the Formulas of Buridan and Barcan," by Z. Movahed. 73--86.

Irving H. Anellis. The Development of Symbolic Logic: A Critical-Historical Study of the Logical Calculus , by A. T. Shearman. 87--106.

Irving H. Anellis. "Incompleteness Theorem and Its Frontier," by G. Takeuti. 107--116.

Ignacio Angelelli. Fixing Frege , by J. Burgess. 117--126.

Ignacio Angelelli. Frege's Logic , by D. Macbeth. 127--132.

Colin Caret. Doubt Truth to be a Liar , by G. Priest. 133--140.

Thomas Drucker. The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today , edited by J. van Bentham et al.. 141--146.

Richard Hobel. Review: Ernst Zermelo: An Approach to His Life and Work , by H.-D. Ebbinghaus. 147--160.

Graeme Hunter. Bare Facts and Naked Truths: A New Correspondence Theory of Truth , by G. Englebretsen. 161--166.

Michael Liston. The Architecture of Modern Mathematics: Essays in History and Philosophy , edited by J. Ferreirós and J. J. Gray. 167--180.

Robert S. Lubarsky. The Continuum , by R. Taschner. 181--186.

Roman Murawski. Computability. Computable Functions, Logic, and the Foundations of Mathematics , 2nd edition, by R. L. Epstein and W. A. Carnielli. 187--190.

Koji Tanaka. Logical Pluralism , by JC Beall and G. Restall. 191--194.

R. Gregory Taylor. Church's Thesis after 70 Years , edited by A. Olszewski et al.. 195--204.

Risti Vilkko. Landmark Writings in Western Mathematics 1640-1940 , edited by I. Grattan-Guinness. 205--218.

Jan Woleński. A Hundred Years of Logical Investigations. Reform Efforts of Logic in Germany 1781-1879 , by R. Vilkko. 219--222.