Journal of Symbolic Logic

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)

Inner Models for Set Theory--Part I

J. C. Shepherdson; 161-190

Toward an Inscriptional Semantics

R. M. Martin and J. H. Woodger; 191-203

Strong Completeness of Fragments of the Propositional Calculus

Alan Rose; 204

Reviews

Review: Rudolf Carnap, Logical Foundations of Probability

John G. Kemeny; 205-207

Review: D. R. Cousin, Carnap's Theories of Truth

Ernest H. Hutten; 207-208

Review: Leonard Linsky, On Using Inverted Commas

Alonzo Church; 208-209

Review: Paul Wienpahl, Dewey's Theory of Language and Meaning

Carl G. Hempel; 209

Review: Wilfrid Sellars, Language, Rules and Behavior

Carl G. Hempel; 209-210

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: Robert A. Price, A Note on Likeness of Meaning

J. F. Thomson; 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: Hugues Leblanc, The Semiotic Function of Predicates

Leon Henkin; 213

Review: Hugues Leblanc, On Definitions

Leon Henkin; 213-214

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: Hao Wang, Set-Theoretical Basis for Real Numbers

J. Barkley Rosser; 216

Review: Rozsa Peter, Zusammenhang der Mehrfachen und Transfiniten Rekursionen

R. M. Robinson; 216

Review: Rozsa Peter, Zum Begriff der Rekursiven Reellen Zahl

S. C. Kleene; 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: M. A. MacConaill, Causality in Embryology

Frederic B. Fitch; 218

Review: Karl Schroter, Der Nutzen der Mathematischen Logik fur die Mathematik

G. Zubieta R.; 218

Review: G. Hasenjaeger, Ein Beitrag zur Ordnungstheorie

G. Zubieta R.; 218

Review: J. C. C. McKinsey, A New Definition of Truth

Paul Bernays; 218-220

Review: Th. Skolem, A Remark on the Induction Scheme

Paul Bernays; 220-221

Review: Kurt Schutte, Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie

Wilhelm Ackermann; 221

Review: I. M. Bochenski, On the Syntactical Categories

Johannes Bendiek; 221-222

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: L. Susan Stebbing, Encyclopaedia Britannica

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: W. Peremans, A Remark on Intuitionistic Logic

E. W. Beth; 225-226

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: , Solutions of Exercises in Number 2(4)

Jan Kalicki; 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

Review: C. I. Lewis, Notes on the Logic of Intension

Nicholas Rescher; 231-232

Further Citations

232-235

Thirteenth Meeting of the Association for Symbolic Logic

Clifford D. Firestone; 236-240

Miscellaneous back pages, J. Symbolic Logic, Volume 16, Issue 3 (1951)


2013 © Association for Symbolic Logic