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 18, Issue 4
Publication Date: December, 1953
Volume Information
Miscellaneous front pages, J. Symbolic Logic, Volume 18, Issue 4 (1953)
Errata
Reviews
Review: Alonzo Church, The Weak Theory of Implication
Haskell B. Curry and William Craig; 326
Review: H. Poincare, Science and Hypothesis; Henri Poincare, Science and Method
Alonzo Church; 327
Review: Oskar Anderson, Zur Axiomatik der Wahrscheinlichkeitslehre
A. R. Turquette; 329
Review: Walter Brugger, Die Ubermodalitat der Notwendigkeit in Logischer Betrachtung
A. R. Turquette; 329
Review: Eberhard Fels, Ordnungsrelationen in Einer Subjektiven Werttheorie
A. R. Turquette; 329-330
Review: Hasso Harlen, Elementares uber 2-Wertige Funktionen von 2-Wertigen Variabeln
A. R. Turquette; 330
Review: Erwin Koschmieder, Aus den Beziehungen von Sprache und Logik
A. R. Turquette; 330
Review: Albert Menne, Zur Stufenkoppelung Monadischer Bivalenter Funktoren
A. R. Turquette; 330
Review: Gerhard Stammler, Zur Philosophischen Neugestaltung der Logischen Urteilslehre
A. R. Turquette; 330
Review: Alexander Wilhelmy, Traditionelle Logik und Positiver Aussagenkalkul
A. R. Turquette; 330-331
Review: Boleslaw Sobocinski, L'analyse de l'Antinomie Russellienne par Lesniewski
A. N. Prior; 331-333
Review: I. M. Bochenski, Non-Analytical Laws and Rules in Aristotle
A. N. Prior; 333-334
Review: Johannes Bendiek, Die Lehre von den Konsequenzen bei Pseudo-Scotus
Joseph T. Clark; 334
Review: Philotheus Boehner, Does Ockham Know of Material Implication?
Joseph T. Clark; 334-335
Review: Philotheus Boehner, Medieval Logic. An Outline of Its Development From 1250 to c. 1400
Johannes Bendiek; 335
Review: Eberhard Rogge, Axiomatik alles Moglichen Philosophierens. Das Grundsatzliche Sprechen der Logistik, der Sprachkritik und der Lebens-Metaphysik
Heinrich Scholz; 336
Review: Henry Babcock Veatch, Intentional Logic. A Logic Based on Philosophical Realism
Christopher Blake; 336-337
Review: Bela von Juhos, The Application of Logistic Analysis to Philosophical Problems; Giuseppe Vaccarino, Discussion; B. v. Juhos, Answer to Mr. Vaccarino
Roderick M. Chisholm; 337-338
Review: Alan Ross Anderson, A Note on Subjunctive and Counterfactual Conditionals
Charles A. Baylis; 338
Review: A. C. Lloyd, Mr. Anderson on Subjunctive and Counterfactual Conditionals
Charles A. Baylis; 338-339
Review: Jurgen v. Kempski, Zur Logik der Ordnungsbegriffe, Besonders in den Sozialwissenschaften
Carl G. Hempel; 339
Review: Tadeusz Czezowski, Remarks on the Classical Definition of Truth
Jan Kalicki; 339
Review: H. Rasiowa, R. Sikorski, A Proof of the Skolem-Lowenheim Theorem
Solomon Feferman and Alfred Tarski; 339-340
Review: Martin Davis, Arithmetical Problems and Recursively Enumerable Predicates
John Myhill; 341-342
Review: Andrzej Mostowski, Correction to the Paper "Some Impredicative Definitions in the Axiomatic Set-Theory."
Th. Skolem; 343
Review: Alan Rose, Sur un Ensemble de Fonctions Primitives pour le Calcul des Predicats du Premier Ordre Lequel Constitue son Propre Dual
Nicholas Rescher; 343-344
Review: Alan Rose, Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkul
Nicholas Rescher; 344
Review: A. Korcik, Genesis of the Idea of Sheffer Concerning the Reduction of Five Logical Constants to a Constant Different From Them
H. Hiz; 345
Review: Stanislaw Jaskowski, Sur la Conjonction Discursive dans le Calcul des propositions pour les Systems Contradictoires
Andrzej Mostowski; 345
Review: Akira Nakasima, Masao Hanzawa, Nippon Electrical Communication Engineering
Alonzo Church; 346
Review: Claude E. Shannon, A Symbolic Analysis of Relay and Switching Circuits
Alonzo Church; 347
Review: Howard H. Aiken, William Burkhart, Theodore Kalin, Peter F. Strong, Synthesis of Electronic Computing and Control Circuits
Alonzo Church; 347
Review: William Keister, Alistair E. Ritchie, Seth H. Washburn, John Meszar, The Design of Switching Circuits
Alonzo Church; 347-348
Review: Robert E. Staehler, An Application of Boolean Algebra to Switching Circuit Design
George W. Patterson; 348
Review: John D. Goodell, The Foundations of Computing Machinery. Part II
Nelson M. Blachman; 348-349
Miscellaneous back pages, J. Symbolic Logic, Volume 18, Issue 4 (1953)
