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 13, Issue 1
Publication Date: March, 1948
Miscellaneous front pages, J. Symbolic Logic, Volume 13, Issue 1 (1948)
Some Theorems About the Sentential Calculi of Lewis and Heyting
J. C. C. McKinsey and Alfred Tarski; 1-15
Reviews
Review: Clarence Irving Lewis, An Analysis of Knowledge and Valuation
Carl G. Hempel; 40-45
Review: Laszlo Kalmar, Janos Suranyi, On the Reduction of the Decision Problem. Second Paper. Godel Prefix, a Single Binary Predicate
W. Ackermann; 48
Review: Nelson Goodman, W. V. Quine, Steps Toward a Constructive Nominalism
Frederic B. Fitch; 49-50
Review: Gr. C. Moisil, Recherches sur les Logiques Non-Chrysippiennes
Albert A. Bennett; 50
Review: Gr. C. Moisil, Notes sur les Logiques Non-Chrysippiennes
Albert A. Bennett; 50
Review: Garrett Birkhoff, S. A. Kiss, A Ternary Operation in Distributive Lattices
H. E. Vaughan; 50-51
Review: A. H. Diamond, J. C. C. McKinsey, Algebras and Their Sub-Algebras
William Boone; 51
Review: Erik Gotlind, On Some Equivalence Propositions in Two-Valued Logic
Oiva Ketonen; 51-52
Review: A. Markov, Impossibility of Certain Algorithms in the Theory of Associative Systems
Andrzej Mostowski; 52-53
Review: A. Markov, Impossibility of Certain Algorithms in the Theory of Associative Systems II
Andrzej Mostowski; 53
Review: A. Markov, On Some Unsolvable Problems Concerning Matrices
Andrzej Mostowski; 53-54
Review: Paul Csillag, Eine Bemerkung zur Auflosung der Eingeschachtelten Rekursion
R. M. Robinson; 54
Review: Dimitri Riabouchinsky, Les Diviseurs de Zero et le Concept de L'Origine d'un Nombre; Dimitri Riabouchinsky, Sur le Concept de L'Origine d'un Nombre et le Probleme du Continu
Alonzo Church; 55-56
Review: P. Hoenen, De Structuur van het Systeem der Klassieke Syllogismen; P. Hoenen, La Structure du Systeme des Syllogismes Classiques
Robert Feys; 56
Review: Jean Piaget, Classes, Relations et Nombres. Essai sur les Groupements de la Logistique et sur la Reversibilite de la Pensee
Robert Feys; 56
Review: Abraham A. Fraenkel, The Recent Controversies About the Foundation of Mathematics
A. R. Turquette; 56
Review: Silvio Minetti, Il Principio del Terzo Escluso e la Logica Empirista di Brouwer
Norma R. Chatalian; 56-57
Review: J. A. Passmore, Logical Positivism; J. A. Passmore, Prediction and Scientific Law
Charles A. Baylis; 58
Miscellaneous back pages, J. Symbolic Logic, Volume 13, Issue 1 (1948)