The Review of Modern Logic Articles (Project Euclid)

Richard Milton Martin: American Logician

Thu, 05 Aug 2010 15:41 EDT

Philip Meguire

Source: Rev. Mod. Log., Volume 10, Number 1-2, 7--66.

Abstract:
In his 1941 Ph.D. thesis, written at Yale under Frederick Fitch, the logician and analytic philosopher Richard Milton Martin (1916–85) discovered virtual sets before Quine, and was possibly the first non-Pole other than Woodger to employ a mereological system. From these and other devices, he gradually forged a first order theory capable of expressing its own syntax as well as some semantics and pragmatics (via an event logic), all while abstaining from set and model theory (consistent with his nominalist principles) and from modality and other intensional notions. Between 1943 and 1992, Martin published 16 books and about 240 papers (of which 179 were included in his books) on logic, linguistics, mathematics, metaphysics, the semiotic triad, science, phenomenology, theology, Frege, Peirce, and Whitehead. The young Chomsky took every course Martin taught at Penn, and Quine’s Word and Object (1960) cites Martin with approval. Yet no reference work on twentieth century philosophy has an entry under his name—hence this paper.

Some Views of Russell and Russell's Logic by His Early Contemporaries

Thu, 05 Aug 2010 15:41 EDT

Irving H. Anellis

Source: Rev. Mod. Log., Volume 10, Number 1-2, 67--98.

Very intuitionistic theories and quantifier elimination

Thu, 05 Aug 2010 15:41 EDT

Wim Ruitenburg

Source: Rev. Mod. Log., Volume 10, Number 1-2, 99--112.

Abstract:
We show methods to construct, and give examples of, consistent intuitionistic theories that admit quantifier elimination. The examples are very intuitionistic in the sense that they prove the negation of the schema of linearity.

Reviews

Thu, 05 Aug 2010 15:41 EDT

Francine F. Abeles

Source: Rev. Mod. Log., Volume 10, Number 1-2, 113--113.

Books Received

Thu, 05 Aug 2010 15:41 EDT

Source: Rev. Mod. Log., Volume 10, Number 1-2, 114--116.

Review: Alfred Tarski: Life and Logic , by Anita Burdman Feferman and Solomon Feferman

Thu, 05 Aug 2010 15:41 EDT

Irving H. Anellis

Source: Rev. Mod. Log., Volume 10, Number 1-2, 117--130.

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

Thu, 05 Aug 2010 15:41 EDT

Valentin A. Bazhanov

Source: Rev. Mod. Log., Volume 10, Number 1-2, 131--134.

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

Thu, 05 Aug 2010 15:41 EDT

Jean-Yves Béziau

Source: Rev. Mod. Log., Volume 10, Number 1-2, 135--138.

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

Thu, 05 Aug 2010 15:41 EDT

Michel Bourdeau

Source: Rev. Mod. Log., Volume 10, Number 1-2, 139--144.

Review: Logik, Vorlesung 1896 (Materialien, vol. 1) and Logik, Vorlesung 1902/03 (Materialien, vol. 2) , by E. Husserl

Thu, 05 Aug 2010 15:41 EDT

Claire Ortiz Hill

Source: Rev. Mod. Log., Volume 10, Number 1-2, 145--154.

Review: Lectures in Logic and Set Theory, Volume 2: Set Theory , by George Tourlakis

Thu, 05 Aug 2010 15:41 EDT

Richard E. Hodel

Source: Rev. Mod. Log., Volume 10, Number 1-2, 155--160.

Review: The Cambridge Companion to Bertrand Russell , edited by Nicholas Griffen

Thu, 05 Aug 2010 15:41 EDT

Kevin C. Klement

Source: Rev. Mod. Log., Volume 10, Number 1-2, 161--170.

Review of Cogwheels of the Mind: The Story of Venn Diagrams , by A. W. F. Edwards

Thu, 05 Aug 2010 15:41 EDT

Amirouche Moktefi

Source: Rev. Mod. Log., Volume 10, Number 1-2, 171--174.

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

Thu, 05 Aug 2010 15:41 EDT

Roman Murawski

Source: Rev. Mod. Log., Volume 10, Number 1-2, 175--178.

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

Thu, 05 Aug 2010 15:41 EDT

Roman Murawski

Source: Rev. Mod. Log., Volume 10, Number 1-2, 179--182.

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

Thu, 05 Aug 2010 15:41 EDT

Roman Murawski

Source: Rev. Mod. Log., Volume 10, Number 1-2, 183--186.

Review: The Search for Certainty , by Marcus Giaquinto

Thu, 05 Aug 2010 15:41 EDT

Dirk Schlimm

Source: Rev. Mod. Log., Volume 10, Number 1-2, 187--190.

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

Thu, 05 Aug 2010 15:41 EDT

Alasdair Urquhart

Source: Rev. Mod. Log., Volume 10, Number 1-2, 191--200.

Review: Free Logic. Selected Essays , by Karel Lambert

Thu, 05 Aug 2010 15:41 EDT

Jean Paul Van Bendegem

Source: Rev. Mod. Log., Volume 10, Number 1-2, 201--206.

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

Mon, 01 Aug 2011 09:03 EDT

Irving H. Anellis

Source: Rev. Mod. Log., Volume 10, Number 3-4, 13--90.

Are the Natural Numbers Just any Progression? Peano, Russell

Mon, 01 Aug 2011 09:03 EDT

Jan Dejnožka

Source: Rev. Mod. Log., Volume 10, Number 3-4, 91--111.

Reviews

Mon, 01 Aug 2011 09:03 EDT

Francine F. Abeles

Source: Rev. Mod. Log., Volume 10, Number 3-4, 113--113.

Books Received

Mon, 01 Aug 2011 09:03 EDT

Source: Rev. Mod. Log., Volume 10, Number 3-4, 114--116.

Review: Handbook of the History of Logic. Volume 1: Greek, Indian, and Arabic Logic, edited by Dov M. Gabbay and John Woods

Mon, 01 Aug 2011 09:03 EDT

Irving H. Anellis

Source: Rev. Mod. Log., Volume 10, Number 3-4, 117--141.

Review: Logika. Biobibliograficheskii spravochnik, authored and compiled by Olga Arkadevna Antonova, Aleksei Sergeevich Miloslavov, and T. E. Sokhor

Mon, 01 Aug 2011 09:03 EDT

Irving H. Anellis

Source: Rev. Mod. Log., Volume 10, Number 3-4, 143--147.

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†

Mon, 01 Aug 2011 09:03 EDT

Natan Berber

Source: Rev. Mod. Log., Volume 10, Number 3-4, 149--154.

Review: From Peirce to Skolen: A Neglected Chapter in the History of Logic, by Geraldine Brady

Mon, 01 Aug 2011 09:03 EDT

Jean-Yves Béziau

Source: Rev. Mod. Log., Volume 10, Number 3-4, 155--161.

Review: Truth, Thought, Reason: Essays on Frege, by Tyler Burge

Mon, 01 Aug 2011 09:03 EDT

John P. Burgess

Source: Rev. Mod. Log., Volume 10, Number 3-4, 163--178.

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)

Mon, 01 Aug 2011 09:03 EDT

John W. Dawson, Jr.

Source: Rev. Mod. Log., Volume 10, Number 3-4, 179--181.

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

Mon, 01 Aug 2011 09:03 EDT

David DeVidi

Source: Rev. Mod. Log., Volume 10, Number 3-4, 183--193.

Review: Some Interesting Memories: A Paradoxical Life, by Raymond Smullyan

Mon, 01 Aug 2011 09:03 EDT

Thomas Drucker

Source: Rev. Mod. Log., Volume 10, Number 3-4, 195--197.

Review: Memoirs of a Proof Theorist: Gödel and other Logicians, by Gaisi Takeuti and Jacek Malinowski

Mon, 01 Aug 2011 09:03 EDT

Thomas Drucker

Source: Rev. Mod. Log., Volume 10, Number 3-4, 199--205.

Review: Vagueness in Context, by Stewart Shapiro

Mon, 01 Aug 2011 09:03 EDT

George Englebretsen

Source: Rev. Mod. Log., Volume 10, Number 3-4, 207--212.

Review: Automated Model Building, by Richard Caferra

Mon, 01 Aug 2011 09:03 EDT

Vladik Kreinovich

Source: Rev. Mod. Log., Volume 10, Number 3-4, 213--217.

Review: A Modern Perspective on Type Theory: From its Origins until Today, by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt

Mon, 01 Aug 2011 09:03 EDT

Vladik Kreinovich

Source: Rev. Mod. Log., Volume 10, Number 3-4, 219--224.

Review: Lectures in Logic and Set Theory, Volume I: Mathematical Logic, by George Tourlakis

Mon, 01 Aug 2011 09:03 EDT

Robert Mignone

Source: Rev. Mod. Log., Volume 10, Number 3-4, 225--230.

Review: The Honors Class: Hilbert's Problems and Their Solvers, by Benjamin H. Yandell

Mon, 01 Aug 2011 09:03 EDT

Wim Ruitenburg

Source: Rev. Mod. Log., Volume 10, Number 3-4, 231--237.

Review: The Mathematical Works of Bernard Bolzano, translated, with an introduction and commentary, by Steve Russ

Mon, 01 Aug 2011 09:03 EDT

Paul Rusnock

Source: Rev. Mod. Log., Volume 10, Number 3-4, 239--255.

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

Mon, 01 Aug 2011 09:03 EDT

Source: Rev. Mod. Log., Volume 10, Number 3-4, 257--261.

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

Thu, 29 Sep 2011 10:12 EDT

Kevin C. Klement

Source: Rev. Mod. Log., Volume 11, Number 1-2, 7--30.

Reviews

Thu, 29 Sep 2011 10:12 EDT

Francine F. Abeles

Source: Rev. Mod. Log., Volume 11, Number 1-2, 31--31.

Books Received

Thu, 29 Sep 2011 10:12 EDT

Source: Rev. Mod. Log., Volume 11, Number 1-2, 32--34.

"Russell's Logic," by P. De Rouilhan

Thu, 29 Sep 2011 10:12 EDT

Irving H. Anellis

Source: Rev. Mod. Log., Volume 11, Number 1-2, 35--42.

"Hilbert's Wide Program," by W. Ewald

Thu, 29 Sep 2011 10:12 EDT

Irving H. Anellis

Source: Rev. Mod. Log., Volume 11, Number 1-2, 43--66.

Incompleteness: The Proof and Paradox of Kurt Gödel by R. Goldstein

Thu, 29 Sep 2011 10:12 EDT

Irving H. Anellis

Source: Rev. Mod. Log., Volume 11, Number 1-2, 67--70.

"Mathematical Logic in Iran: A Perspective," by M.-J. A. Larijani

Thu, 29 Sep 2011 10:12 EDT

Irving H. Anellis

Source: Rev. Mod. Log., Volume 11, Number 1-2, 71--72.

"Ibn-Sina's Anticipation of the Formulas of Buridan and Barcan," by Z. Movahed

Thu, 29 Sep 2011 10:12 EDT

Irving H. Anellis

Source: Rev. Mod. Log., Volume 11, Number 1-2, 73--86.

The Development of Symbolic Logic: A Critical-Historical Study of the Logical Calculus , by A. T. Shearman

Thu, 29 Sep 2011 10:12 EDT

Irving H. Anellis

Source: Rev. Mod. Log., Volume 11, Number 1-2, 87--106.

"Incompleteness Theorem and Its Frontier," by G. Takeuti

Thu, 29 Sep 2011 10:12 EDT

Irving H. Anellis

Source: Rev. Mod. Log., Volume 11, Number 1-2, 107--116.

Fixing Frege , by J. Burgess

Thu, 29 Sep 2011 10:12 EDT

Ignacio Angelelli

Source: Rev. Mod. Log., Volume 11, Number 1-2, 117--126.

Frege's Logic , by D. Macbeth

Thu, 29 Sep 2011 10:12 EDT

Ignacio Angelelli

Source: Rev. Mod. Log., Volume 11, Number 1-2, 127--132.

Doubt Truth to be a Liar , by G. Priest

Thu, 29 Sep 2011 10:12 EDT

Colin Caret

Source: Rev. Mod. Log., Volume 11, Number 1-2, 133--140.

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

Thu, 29 Sep 2011 10:12 EDT

Thomas Drucker

Source: Rev. Mod. Log., Volume 11, Number 1-2, 141--146.

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

Thu, 29 Sep 2011 10:12 EDT

Richard Hobel

Source: Rev. Mod. Log., Volume 11, Number 1-2, 147--160.

Bare Facts and Naked Truths: A New Correspondence Theory of Truth , by G. Englebretsen

Thu, 29 Sep 2011 10:12 EDT

Graeme Hunter

Source: Rev. Mod. Log., Volume 11, Number 1-2, 161--166.

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

Thu, 29 Sep 2011 10:12 EDT

Michael Liston

Source: Rev. Mod. Log., Volume 11, Number 1-2, 167--180.

The Continuum , by R. Taschner

Thu, 29 Sep 2011 10:12 EDT

Robert S. Lubarsky

Source: Rev. Mod. Log., Volume 11, Number 1-2, 181--186.

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

Thu, 29 Sep 2011 10:12 EDT

Roman Murawski

Source: Rev. Mod. Log., Volume 11, Number 1-2, 187--190.

Logical Pluralism , by JC Beall and G. Restall

Thu, 29 Sep 2011 10:12 EDT

Koji Tanaka

Source: Rev. Mod. Log., Volume 11, Number 1-2, 191--194.

Church's Thesis after 70 Years , edited by A. Olszewski et al.

Thu, 29 Sep 2011 10:12 EDT

R. Gregory Taylor

Source: Rev. Mod. Log., Volume 11, Number 1-2, 195--204.

Landmark Writings in Western Mathematics 1640-1940 , edited by I. Grattan-Guinness

Thu, 29 Sep 2011 10:12 EDT

Risti Vilkko

Source: Rev. Mod. Log., Volume 11, Number 1-2, 205--218.

A Hundred Years of Logical Investigations. Reform Efforts of Logic in Germany 1781-1879 , by R. Vilkko

Thu, 29 Sep 2011 10:12 EDT

Jan Woleński

Source: Rev. Mod. Log., Volume 11, Number 1-2, 219--222.