The Journal of Symbolic Logic, Volume 5

Volume 5, Number 1, March 1940

• Leopold Lowenheim: Einkleidung der Mathematik in Schroderschen Relativkalkul. 1-15

Volume 5, Number 2, June 1940

• Henry S. Leonard, Nelson Goodman: The Calculus of Individuals and Its Uses. 45-55
• Alonzo Church: A Formulation of the Simple Theory of Types. 56-68

Volume 5, Number 3, September 1940

• J. C. C. McKinsey: Postulates for the Calculus of Binary Relations. 85-97
• G. Polya: Sur Les Types Des Propositions Composees. 98-103
• W. V. Quine, Nelson Goodman: Elimination of Extra-Logical Postulates. 104-109
• J. C. C. McKinsey: Proof That There are Infinitely Many Modalities in Lewis's System S₂. 110-112

Volume 5, Number 4, December 1940

• Janina Hosiasson-Lindenbaum: On Confirmation. 133-148
• J. C. C. McKinsey: A Correction to Lewis and Langford's Symbolic Logic. 149
• James Dugundji: Note on a Property of Matrices for Lewis and Langford's Calculi of Propositions. 150-151