Journal of Symbolic Logic

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 7, Issue 4

Publication Date: December, 1942

A System of Axiomatic Set Theory: Part IV. General Set Theory

Paul Bernays; 133-145

The Use of Dots as Brackets in Church's System

A. M. Turing; 146-156

On Existence Conditions for Elements and Classes

W. V. Quine; 157-159

Conditions Affecting the Application of Symbolic Logic

Edmund C. Berkeley; 160-168

Reviews

Review: Paul Henle, The Status of Emergence

Carl G. Hempel; 169-170

Review: Gustav Bergmann, Syntactical Analysis of the Class Calculus

Everett J. Nelson; 170

Review: Warner Arms Wick, On the Identification of Philosophy with Logical Analysis

Charles A. Baylis; 170

Review: Haskell B. Curry, The Inconsistency of Certain Formal Logics

Alonzo Church; 170-171

Review: K. Chandrasekharan, The Logic of Intuitionistic Mathematics

Alonzo Church; 171

Review: N. H. McCoy, Remarks on Divisors of Zero

P. Lagerstrom; 171

Review: J. W. Lasley, The Revolt Against Aristotle

Alonzo Church; 171

Review: L. O. Kattsoff, J. Thibaut, Semiotic and Psychological Concepts

Ernest Nagel; 171-172

Review: James A. Christenson., The If-Then Relation and Scientific Inference

Ernest Nagel; 172

Review: Arnulf Molitor, Zur Neupositivistischen Philosophie der Mathematik

Max Black; 172

Review: Everett H. Larguier, Concerning Some Views on the Structure of Mathematics

Frederic B. Fitch; 172-173

Review: Edwin W. Patterson, Logic in the Law

Frederic B. Fitch; 173

Review: Elias A. De Cesare, Logica y Matematica

R. Vazquez and R. M. Martin; 173

Review: Elias A. De Cesare, La Logica Moderna y la Crisis de la Matematica. (Resumen de una Conferencia)

R. Vazquez and R. M. Martin; 174

Review: Elias A. De Cesare, Evolucion de la Logica

Alonzo Church; 174

Review: Teodoro Sanchez de Bustamante, El Infinito

Alonzo Church; 174

Review: Annibale Pastore, Sullo Swiluppo delle Operazioni Logiche Dipendenti solo dal Numero Degli Enti

Saunders MacLane; 174

Further Citations

174-175

Institutional Contributing Subscribers to the Journal of Symbolic Logic

176

List of Officers and Members of the Association for Symbolic Logic

177-180

2013 © Association for Symbolic Logic