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 11, Issue 4
Publication Date: December, 1946
The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication
Ruth C. Barcan; 115-118
Reviews
Review: Georg Henrik von Wright, Uber Wahrscheinlichkeit. Eine Logische und Philosophische Untersuchung
Max Black; 122-124
Review: Rudolf Carnap, Remarks on Induction and Truth; Felix Kaufmann, On the Nature of Inductive Inference; Rudolf Carnap, Rejoinder to Mr. Kaufmann's Reply
Carl G. Hempel; 124-125
Review: Vitorino Magalhais Godinho, Esbocos Sobre Alguns Problemas da Logica
W. V. Quine; 126
Review: Edmund Landau, F. Steinhardt, Grundlagen der Analysis. (Das Rechnen mit Ganzen, Rationalen, Irrationalen, Komplexen Zahlen.) Erganzung zu den Lehrbuchern der Differential- und Integralrechnung
Alonzo Church; 126
Review: K. Chandrasekharan, A Further Note on Intuitionistic Set-Theory
Max Black; 127
Review: S. C. Kleene, On the Forms of Predicates in the Theory of Constructive Ordinals
H. E. Vaughan; 127
Review: Jerzy Slupecki, A Criterion of Fullness of Many-Valued Systems of Propositional Logic
Jan Kalicki; 128
Review: D. A. Bochvar, On the Consistency of a Three-Valued Logical Calculus
Wanda Szmielew; 129
Review: D. A. Bochvar, To the Question of Paradoxes of the Mathematical Logic and Theory of Sets
Wanda Szmielew; 129
Review: P. S. Novikoff, On the Consistency of Certain Logical Calculus
Alonzo Church; 129-131
Review: F. I. Mautner, An Extension of Klein's Erlanger Program: Logic as Invariant-Theory
Andrzej Mostowski; 134-136
Miscellaneous back pages, J. Symbolic Logic, Volume 11, Issue 4 (1946)
