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 4
Publication Date: December, 1948
Volume Information
Miscellaneous front pages, J. Symbolic Logic, Volume 13, Issue 4 (1948)
Axiom Schemes for $M$-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility
J. B. Rosser and A. R. Turquette; 177-192
Proofs of Non-Deducibility in Intuitionistic Functional Calculus
Andrzej Mostowski; 204-207
Reviews
Review: Jean-Louis Destouches, Louis de Broglie, Principes Fondamentaux de Physique Theorique
J. Barkley Rosser; 213
Review: Maurice Cornforth, Science Versus Idealism. An Examination of "Pure Empiricism" and Modern Logic
Charles A. Baylis; 213-214
Review: George Boole, The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning
Alonzo Church; 216
Review: Leon Brunschvicg, Les Etapes de la Philosophie Mathematique
Alonzo Church; 216
Review: Otakar V. Zich, Introduction to the Philosophy of Mathematics
Frantisek Wolf; 216-217
Review: Miroslav Katetov, Quelle est la Construction Logique des Mathematiques?
O. V. Zich; 217
Review: Emil L. Post, Conjuntos Recurrentemente Numerables de Enteros Positivos y sus Problemas de Decision
Hugo Ribeiro; 217
Review: L. O. Kattsoff, What is Behavior?; Elaine Graham, Logic and Semiotic. Some Comments Regarding the Treatment of Logical Signs in Charles Morris' Signs, Language, and Behavior; Charles Morris, Signs About Signs About Signs
Alonzo Church; 218
Review: W. V. Quine, Concatenation as a Basis for Arithmetic
Frederic B. Fitch; 219-220
Review: Paul Bernays, A System of Axiomatic Set Theory--Part VI
C. D. Firestone; 220-221
Review: Anders Wedberg, The Logical Construction of the World. A Critical Analysis of Rudolf Carnap's Der Logische Aufbau der Welt
Carl G. Hempel; 222
Review: Wilfrid Sellars, Epistemology and the New Way of Words; Wilfrid Sellars, Realism and the New Way of Words
Ernest Nagel; 222-223
Review: J. C. C. McKinsey, On the Representation of Projective Algebras
C. J. Everett; 223
Review: Dal Charles Gerneth, Generalization of Menger's Result on the Structure of Logical Formulas
Alonzo Church; 224
Review: Kurt Bing, On the Axioms of B. Germanski for the Natural Numbers
S. Karlin; 225
Review: Ettore Carruccio, Considerazioni Sulla Compatibilita di un Sistema di Postulati e Sulla Dimostrabilita delle Formule Mathematiche
Alonzo Church; 225-226
Errata
Miscellaneous back pages, J. Symbolic Logic, Volume 13, Issue 4 (1948)
