The Journal of Symbolic Logic, Volume 20

Volume 20, Number 1, March 1955

• Abner Shimony: Coherence and the Axioms of Confirmation. 1-28
• Vaclav Edvard Benes: On the Consistency of an Axiom of Enumerability. 29-30
• Hao Wang: Undecidable Sentences Generated by Semantic Paradoxes. 31-43
• E. W. Beth, Robert Feys: The Amsterdam Meeting of the Association for Symbolic Logic. 90-94
• Steven Orey: Formal Development of Ordinal Number Theory. 95-104

Volume 20, Number 2, June 1955

• Raymond J. Nelson: Simplest Normal Truth Functions. 105-108
• Boleslaw Sobocinski: Note on a Problem of Paul Bernays. 109-114
• M. H. Lob: Solution of a Problem of Leon Henkin. 115-118
• Shen Yuting: Two Semantical Paradoxes. 119-120
• Herman Rubin, Patrick Suppes: A Note on Two-Place Predicates and Fitting Sequences of Measure Functions. 121-122
• Robert L. Stanley: Simplified Foundations for Mathematical Logic. 123-139
• Richard Montague: On the Paradox of Grounded Classes. 140
• W. V. Quine: A Proof Procedure for Quantification Theory. 141-149
• Alan Ross Anderson: Correction to a Paper on Modal Logic. 150
• Clifford Spector: Recursive Well-Orderings. 151-163
• William Craig: Eighteenth Meeting of the Association for Symbolic Logic. 200-206

Volume 20, Number 3, September 1955

• J. A. Faris: The Gergonne Relations. 207-231
• Raymond J. Nelson: Weak Simplest Normal Truth Functions. 232-234
• Lars Svenonius: Definability and Simplicity. 235-250
• R. Sherman Lehman: On Confirmation and Rational Betting. 251-262
• John G. Kemeny: Fair Bets and Inductive Probabilities. 263-273