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 16, Issue 3
Publication Date: September, 1951
Miscellaneous front pages, J. Symbolic Logic, Volume 16, Issue 3 (1951)
Reviews
Review: Morton G. White, The Analytic and the Synthetic: An Untenable Dualism
Carl G. Hempel; 210-211
Review: Arthur Pap, The Philosophical Analysis of Natural Language
Carl G. Hempel; 211
Review: C. D. Rollins, The Philosophical Denial of Sameness of Meaning; Arthur Smullyan, $\Phi$-Symbols
J. F. Thomson; 211-212
Review: Veli Valpola, Uber Namen. Eine Logische Untersuchung
Nicholas Rescher and J. F. Thomson; 212-213
Review: James K. Feibleman, Class-Membership and the Ontological Problem
Leon Henkin; 213
Review: Luciano Allende Lezama, Armando Asti Vera, El Concepto de Inversion en el Pensamiento
W. V. Quine; 214
Review: Manley H. Thompson, The Logical Paradoxes and Peirce's Semiotic
A. R. Turquette; 214-215
Review: A. Markov, Impossibility of Certain Algorithms in the Theory of Associative Systems
Andrzej Mostowski; 215
Review: Laszlo Kalmar, Janos Suranyi, On the Decision Problem. Third Paper. Pepis Prefix, a Single Binary Predicate
Th. Skolem; 215-216
Review: Rozsa Peter, Zusammenhang der Mehrfachen und Transfiniten Rekursionen
R. M. Robinson; 216
Review: Alfred Horn, On Sentences Which are True of Direct Unions of Algebras
R. C. Lyndon; 216-217
Review: John Myhill, Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility
W. V. Quine; 217-218
Review: Karl Schroter, Der Nutzen der Mathematischen Logik fur die Mathematik
G. Zubieta R.; 218
Review: Kurt Schutte, Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
Wilhelm Ackermann; 221
Review: Josef Lense, Vom Wesen der Mathematik und Ihren Grundlagen
Paul Kustaanheimo; 222-223
Review: H. W. Leggett, Bertrand Russell, O. M. A Pictorial Biography
Alonzo Church; 223
Review: Antoinette Virieux-Reymond, La Logique et L'Epistemologie des Stoiciens. Leurs Rapports Avec: a) La Logique d'Aristote b) La Logistique et la Pensee Contemporaine; Antoinette Virieux-Reymond, La Logique et L'Epistemologie des Stoiciens. Leurs Rapports Avec la Logique d'Aristote, la Logistique et la Pensee Contemporaine. Avec une Preface de M. Emile Brehier
I. M. Bochenski; 224
Review: A. N. Prior, Categoricals and Hypotheticals in George Boole and his Successors
Roderick M. Chisholm; 224
Review: George Boole, An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities
Alonzo Church; 224-225
Review: Clarence Irving Lewis, Cooper Harold Langford, Symbolic Logic
Alonzo Church; 225
Review: B. U. Pil'cak, On the Decision Problem for the Calculus of Problems
Helena Rasiowa; 226-227
Review: K. Wagner, Zum Reprasentantenproblem der Logik fur Aussagenfunktionen mit Beliebig Endlich Oder Unendlich Vielen Wahrheitswerten
H. E. Vaughan; 227
Review: Robert McNaughton, A Theorem About Infinite-Valued Sentential Logic
H. E. Vaughan; 227-228
Review: Maurice L'Abbe, On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus
Soren Hallden; 228
Review: Andrezej Mostowski, Some Reflections on the Subject of the Logical Exercises in "Matematyka"
Jan Kalicki; 228
Review: Alan Rose, Completeness of Lukasiewicz-Tarski Propositional Calculi
A. R. Turquette; 228-229
Review: Jan Lukasiewicz, On Variable Functors of Propositional Arguments; C. A. Meredith, On an Extended System of the Propositional Calculus
Alonzo Church; 229-230
Review: Arnold Schmidt, Systematische Basisreduktion der Modalitaten bei Idempotenz der Positiven Grundmodalitaten
W. T. Parry; 230-231
Review: Soren Hallden, A Reduction of the Primitive Symbols of the Lewis Calculi
Alan Rose; 231
Review: Erik Gotlind, A System of Postulates for Lewis's Calculus S1
A. F. Bausch; 231
Thirteenth Meeting of the Association for Symbolic Logic
Clifford D. Firestone; 236-240
Miscellaneous back pages, J. Symbolic Logic, Volume 16, Issue 3 (1951)