The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
Volume 18, Issue 2
Publication Date: June, 1953
Miscellaneous front pages, J. Symbolic Logic, Volume 18, Issue 2 (1953)
Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden
J. C. C. McKinsey; 109-113
Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types
J. Richard Buchi; 125-135
Reviews
Review: Maria Kokoszynska, What Means "Relativity of Truth"?; Maria Kokoszynska, A Refutation of the Relativism of Truth
Carl G. Hempel; 170-171
Review: Henryk Mehlberg, Positivisme et Science. Premiere Partie. Analyse Logique du Postulat de Verificabilite
Carl G. Hempel; 171-173
Review: Alonzo Church, The Weak Theory of Implication
Haskell B. Curry and William Craig; 177-178
Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers
A. M. Turing; 179
Review: J. Barkley Rosser, The Axiom of Infinity in Quine's New Foundations
Vaclav Edvard Benes; 179
Review: Moh Shaw-Kwei, A Note on the Theory of Quantification
Vaclav Edvard Benes; 179-180
Review: G. Kreisel, Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus
Hao Wang; 180-181
Review: S. C. Kleene, Recursive Functions and Intuitionistic Mathematics
Andrzej Mostowski; 181-182
Review: Abraham Robinson, On the Application of Symbolic Logic to Algebra; Alfred Tarski, Some Notions and Methods on the Borderline of Algebra and Metamathematics
H. E. Vaughan; 182
Review: Einar Hille, Such Stuff as Dreams are Made on -- in Mathematics
Alonzo Church; 183
Miscellaneous back pages, J. Symbolic Logic, Volume 18, Issue 2 (1953)
