The Review of Modern Logic

The Review of Modern Logic is a journal of symbolic logic, foundations, the foundations of mathematics, and set theory. It was formerly known as Modern Logic.


Volume 9, Number 3-4

Publication Date: December 2003 - August 2004

Front Cover, Review of Modern Logic, vol. 9, no. 3-4 (2003-2004)

Miscellaneous Frontmatter, Review of Modern Logic, vol. 9, no. 3-4 (2003-2004)

Table of Contents, Review of Modern Logic, vol. 9, no. 3-4 (2003-2004)

Articles

Ernest and Anellis up a Tree

Irving H. Anellis; 7-20

An Axiomatic Characterization of Linear Orders

Somdeb Lahiri; 21-26

Logic of Actual Infinity and G. Cantor's Diagonal Proof of the Uncountability of the Continuum

A. A. Zenkin; 27-82

Reviews

Reviews

Francine F. Abeles; 83

Books Received

84

Review: On neo-Fregeanism: The Reason's Proper Study. Essays Towards a Neo-Fregean Philosophy of Mathematics, by Bob Hale and Crispin Wright

Ignacio Angelelli; 87-98

Review: Alfred Tarski and the Vienna Circle: Austro-Polish Connections in Logical Empiricism, edited by Jan Woleński and Eckehart Köhler

Steve Awodey and Dana S. Scott; 99-112

Review: Conversations with a Mathematician: Math, Art, Science and the Limits of Reason, by Gregory J. Chaitin

George Engelbretsen; 113-118

Review: Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, by Volker Peckhaus

Hartwig Frank; 119-122

Review: Engines of Logic, by Martin Davis

Mark Fuller; 123-124

Review of Gödel '96: Logical Foundations of Mathematics, Computer Science, and Physics—Kurt Gödel's Legacy, edited by Petr Hájek

Leon Harkleroad; 125-128

Thin- and Full-Blooded Platonism: a review of Platonism and Anti-Platonism in Mathematics, by Mark Balaguer

Michael Liston; 129-162

Review of Gödel: Une Révolution en Mathématiques, by André Delessert

Enrico Moriconi; 163-166

Review: From the Calculus to Set Theory 1630-1910. An Introductory History, by I. Grattan-Guinness

Roman Murawski; 167-170

Review: Logic and Foundations of Mathematics. Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995, edited by A. Cantini, E. Casari, and P. Minari

Alberto Peruzzi; 171-180

Review: The Classical Decision Problem, by Egon Börger, Erich Grädel, and Yuri Gurevich

R. Gregory Taylor; 181-190

Review: A Boole Anthology. Recent and Classical Studies in the Logic of George Boole, edited by James Gasser

Risto Vilkko; 191-202

Review: Elements of Intuitionism. Second Edition, by Michael Dummett

Jan Woleński; 203-208

Errata, Review of Modern Logic vol. 9, no. 3-4 (2003-2004)

209-210

Information for Authors, and Subscription Information

211-214

2013 © The Review of Modern Logic