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 6, Issue 4
Publication Date: December, 1941
A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology
J. C. C. McKinsey; 117-134
Reviews
Review: Georg Henrik von Wright, The Logical Problem of Induction
Carl G. Hempel; 157-159
Review: C. J. Ducasse, Philosophy as a Science, Its Matter and its Method
Carl G. Hempel; 159-160
Review: C. J. Ducasse, Truth, Verifiability, and Propositions about the Future
Ernest Nagel; 160
Review: Cassius Jackson Keyser, Charles Sanders Peirce as a Pioneer
Alonzo Church; 161-162
Review: Barkley Rosser, The Independence of Quine's Axioms $^\ast 200$ and $^\ast 201$
W. V. Quine; 163
Review: B. O. Koopman, Intuitive Probabilities and Sequences
Arthur H. Copeland; 163-165
Review: Laurence J. Lafleur, A Functionalistic Interpretation of Mathematics
Ernest Nagel; 165-166
Review: Joachim Metallmann, Introduction to Philosophical Problems, Part I
Helen Brodie; 168-169
Review: C. West Churchman, Elements of Logic and Formal Science
J. C. C. McKinsey; 169-170
Review: Haskell B. Curry, A Revision of the Fundamental Rules of Combinatory Logic; Haskell B. Curry, Consistency and Completeness of the Theory of Combinators
Barkley Rosser; 170
List of Officers and Members of the Association for Symbolic Logic
C. H. Langford; 174-178
