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 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

Models of Logical Systems

John G. Kemeny; 16-30

Modality and Description

Arthur Francis Smullyan; 31-37

Corrections to Two Papers on Modal Logic

Frederic B. Fitch; 38-39

Reviews

Review: Clarence Irving Lewis, An Analysis of Knowledge and Valuation

Carl G. Hempel; 40-45

Review: Andrzej Mostowski, Axiom of Choice for Finite Sets

Laszlo Kalmar; 45-46

Review: Andrzej Mostowski, On Absolute Properties of Relations

John G. Kemeny; 46-48

Review: Laszlo Kalmar, Janos Suranyi, On the Reduction of the Decision Problem. Second Paper. Godel Prefix, a Single Binary Predicate

W. Ackermann; 48

Review: W. V. Quine, On Universals

Frederic B. Fitch; 48-49

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: Gr. C. Moisil, Recherches sur la Theorie des Chaines

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: Erik Gotlind, An Axiom System for the Propositional Calculus

Oiva Ketonen; 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: Thoralf Skolem, The Development of Recursive Arithmetic

David Nelson; 54

Review: Paul Csillag, Eine Bemerkung zur Auflosung der Eingeschachtelten Rekursion

R. M. Robinson; 54

Review: Henry M. Sheffer, Quantifiers

Alonzo Church; 54-55

Review: Brand Blanshard, The Escape from Philosophic Futility

Alonzo Church; 55

Review: Ernest Nagel, Sovereign Reason

Alonzo Church; 55

Review: Lillian R. Lieber, Hugh Gray Lieber, Mits, Wits and Logic

Alonzo Church; 55

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: Wilfrid Sellars, Pure Pragmatics and Epistemology

Virgil Hinshaw; 57

Review: F. L. Will, The Contrary-to-Fact Conditional

Charles A. Baylis; 57-58

Review: J. A. Passmore, Logical Positivism; J. A. Passmore, Prediction and Scientific Law

Charles A. Baylis; 58

Further Citations

58-60

Tenth Meeting of the Association for Symbolic Logic

Max Black; 61-64

Miscellaneous back pages, J. Symbolic Logic, Volume 13, Issue 1 (1948)


2013 © Association for Symbolic Logic