J. Symbolic Logic, Tome 4 (1939)

Project Euclid

Review: Paul Dienes, Logic of Algebra

Project Euclid

Review: Carl G. Hempel, Vagueness and Logic

Project Euclid

Review: Irving M. Copilowish, Border-line Cases, Vagueness, and Ambiguity

Project Euclid

Review: V. J. McGill, Concerning the Laws of Contradiction and Excluded Middle

Hempel, Carl G.

Project Euclid

Review: Justus Buchler, Peirce's Theory of Logic

Hempel, Carl G.

Project Euclid

Review: M. Cipolla, Nulla e Zero

Project Euclid

Review: Claude E. Shannon, A Symbolic Analysis of Relay and Switching Circuits

Project Euclid

Review: S. Pankajam, On Finite Boolean Algebra

Duthie, W. D.

Project Euclid

Review: Oskar Morgenstern, Logistik und Sozialwissenschaften

Project Euclid

Review: Paul Levy, Les Paradoxes de la Theorie des Ensembles Infinis

Quine, W. V.

Project Euclid

Institutional Contributing Subscribers to the Journal of Symbolic Logic

Project Euclid

[Omnibus Review]

Project Euclid

Review: Rudolf Carnap, Science and Analysis of Language

Wedberg, Anders

Project Euclid

Review: Felix Kaufmann, Truth and Logic

Wedberg, Anders

Project Euclid

Review: Olaf Helmer, Languages with Expressions of Infinite Length

Project Euclid

Review: Barkley Rosser, The Introduction of Quantification into a Three-Valued Logic

Project Euclid

Review: W. V. Quine, A Logistical Approach to the Ontological Problem

Project Euclid

Review: Kurt Grelling, A Logical Theory of Dependence

Project Euclid

Review: Janina Lindenbaum-Hosiasson, On Confirmation

Project Euclid

Review: K. Reach, Some Basic Features of a Universal Language

Ducasse, C. J.

Project Euclid

Review: K. Reach, What is a Language?

Project Euclid

Review: Rudolf Metz, Mathematical Logic

Project Euclid

Review: Hugo Bergmann, Maimons Logischer Kalkul

Project Euclid

Review: Eugen G. Mihailescu, Sur le Calcul des Propositions

Project Euclid

Review: C. G. Hempel, On the Logical Form of Probability-Statements

Project Euclid

Review: Gr. C. Moisil, Sur la Structure Algebrique du Calcul des Propositions

Project Euclid

Review: Gr. C. Moisil, Recherches sur le Syllogisme

Project Euclid

Review: Eino Kaila, Vahasen Logistiikasta (Einiges uber die Logistik)

Saarnio, Uuno

Project Euclid

Review: Jan Sykora, The Concept of Power in Mathematics

Reach, K.

Project Euclid

Review: Tang Tsao-Chen, Algebraic Postulates and a Geometric Interpretation for the Lewis Calculus of Strict Implication

Project Euclid

Review: Abraham Robinsohn, On the Independence of the Axioms of Definiteness

Project Euclid

Review: Barkley Rosser, An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem

Project Euclid

Review: C. H. van Os, The Crisis of Logic

Project Euclid

Review: Annibale Pastore, La Logica del Potenziamento

Parker, DeWitt H.

Project Euclid

Review: Abraham Adolf Fraenkel, Diskrete und Kontinuierliche Gebilde

Project Euclid

Review: J. Dieudonne, Les Methodes Axiomatiques Modernes et les Fondements des Mathematiques

Project Euclid

Review: Gr. C. Moisil, Les Etapes de la Connaissance Mathematique

Project Euclid

Review: Harold Jeffreys, The Nature of Mathematics

Project Euclid

Review: Andrzej Mostowski, Uber den Begriff einer Endlichen Menge

Fraenkel, A. A.

Project Euclid

Review: Fridrich Zavarsky, Aristotelian and Theoretical Logic

Reach, K.

Project Euclid

Review: Alfred Tarski, Einige Bemerkungen zur Axiomatik der Boole'schen Algebra

Henle, Paul

Project Euclid

Review: Gr. C. Moisil, Sur un Calcul des Theorems

Henle, Paul

Project Euclid

Review: K. Reach, The Name Relation and the Logical Antinomies

Henle, Paul

Project Euclid

Review: H. M. MacNeille, Extension of a Distributive Lattice to a Boolean Ring

Project Euclid

Review: F. Graf Hoensbroech, On Russell's Paradox

Project Euclid

Review: Wladyslaw Hetper, Relations Ancestrales dans le Systeme de la Semantique

Perkal, Juljan

Project Euclid

Review: W. V. Quine, On the Theory of Types

Project Euclid

Review: M. H. Stone, The Representation of Boolean Algebras

Project Euclid

Review: H. B. Curry, A Note on the Reduction of Gentzen's Calculus LJ

Peter, Rozsa

Project Euclid

Review: R. B. Braithwaite, Two Ways of Definition by Verification

Project Euclid

Review: Jorgen Jorgensen, Imperatives and Logic

Project Euclid

Review: W. V. Quine, Relations and Reason

Project Euclid

Review: John C. Cooley, Outline of Symbolic Logic

Project Euclid

Review: Alessandro Padoa, Come si Deduce

Parker, DeWitt H.

Project Euclid

Review: M. H. A. Newman, The Calculus of Sets

Project Euclid

Review: R. Vaidyanathaswami, Inaugural Address

Project Euclid

Review: Innocenzo M. Bochenski, Nove Lezioni di Logica Simbolica

Langer, Susanne K.

Project Euclid

Review: Evert Beth, The Paradoxes

Project Euclid

Review: Evert Beth, Number Concept and Time Intuition

Project Euclid

Review: H. Scholz, Was ist Eine Formalisierte Theorie?

Project Euclid

Review: H. Scholz, Naturliche Sprachen und Kunstsprachen

Project Euclid

Review: Jean-Louis Destouches, Sur L'Unite de la Physique Theorique

Quine, W. V.

Project Euclid

Review: E. V. Huntington, Note on a Recent Set of Postulates for the Calculus of Propositions

Project Euclid

Review: S. Pankajam, On Symmetric Functions of m Symmetric Functions in a Boolean Algebra

Project Euclid

Review: P. G. J. Vredenduin, A System of Strict Implication

McKinsey, J. C. C.

Project Euclid

Review: M. Barzin, Cours de Logique

Feys, Robert

Project Euclid

Review: E. Huffer, La Logistique

Feys, Robert

Project Euclid

Review: Kazimierz Makarczyk, La Technique du Calcul Logique

Kaplanski, H. L.

Project Euclid

Review: Jan Herzberg, Sur la Notion de Collectif

Mehlberg, Jozefa

Project Euclid

Review: Jozef Pepis, Uber das Entscheidungsproblem des Engeren Logischen Funktionenkalkuls

Project Euclid

Review: Arnold Schmidt, Uber Deduktive Theorien mit Mehreren Sorten von Grunddingen

Project Euclid

On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, A Single Binary Predicate

Kalmar, Laszlo

p. 1-9

Project Euclid

Note on a Recent Set of Postulates for the Calculus of Propositions

Huntington, E. V.

p. 10-14

Project Euclid

On the Consistency of Quine's New Foundations for Mathematical Logic

p. 15-24

Project Euclid

Review: Martin Strauss, Mathematics as Logical Syntax--A Method to Formalize the Language of a Physical Theory

p. 25-26

Project Euclid

Review: Alfred Tarski, Der Aussagenkalkul und die Topologie

p. 26-27

Project Euclid

Review: R. Vaidyanathaswamy, Quasi-Boolean Algebras and many-Valued Logics

McKinsey, J. C. C.

p. 27-28

Project Euclid

Review: Rudolf Carnap, Notes for Symbolic Logic

p. 29-30

Project Euclid

Review: Adolf Lindenbaum, Andrzej Mostowski, Uber die Unabhangigkeit des Auswahlaxioms und Einiger seiner Folgerungen

Fraenkel, A. A.

p. 30-31

Project Euclid

Review: Gerhard Gentzen, Neue Fassung des Widerspruchsfreiheitsbeweises fur die reine Zahlentheorie

Peter, Rozsa

Review: Jean Cavilles, Methode Axiomatique et Formalisme. I. Le Probleme du Fondement des; Jean Cavailles, Methode Axiomatique et Formalisme: II Axiomatique et Systeme Formel; Jean Cavailles, Methode Axiomatique et Formalisme: III La Non-Contradiction de l'Arithmetique

p. 31-32

Project Euclid

p. 32-33

Project Euclid

Review: Wladyslaw Hetper, Le Role des Schemas Independants dans le Systeme de la Semantique Elementaire

Perkal, Juljan

p. 33-34

Project Euclid

Review: Garrett Birkhoff, Lattices and their Applications

p. 34-35

Project Euclid

Review: Friedrich Waismann, Ist die Logik eine Deduktive Theorie?

p. 35-36

Project Euclid

Further Citations

p. 37-38

Project Euclid

Fourth Meeting of the Association for Symbolic Logic

p. 39-40

Project Euclid

Symbols, Signs, and Signals

Ducasse, C. J.

p. 41-52

Project Euclid

An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem

p. 53-60

Project Euclid

A Formal Proof of Godel's Theorem

Chwistek, L.

p. 61-68

Project Euclid

On the Independence of the Axioms of Definiteness (Axiome Der Bestimmtheit)

Robinsohn, Abraham

p. 69-72

Project Euclid

A System of Strict Implication

Vredenduin, P. G. J.

p. 73-76

Project Euclid

A Theorem on Deducibility for Second-Order Functions

p. 77-79

Project Euclid

Definition by Induction in Quine's New Foundations for Mathematical Logic

p. 80-81

Project Euclid

Review: Rudolf Carnap, The Logical Syntax of Language

Kleene, S. C.

p. 82-87

Project Euclid

Review: Hans Hermes, Semiotik. Eine Theorie der Zeichengestalten als Grundlage fur Untersuchungen von Formalisierten Sprachen

Quine, W. V.

p. 87-88

Project Euclid

Review: M. H. Stone, Applications of the Theory of Boolean Rings to General Topology

p. 88-89

Project Euclid

Review: Katudi Ono, Logische Untersuchungen uber die Grundlagen der Mathematik

p. 89-90

Project Euclid

Review: Francesco Orestano, A Propos de mes "Nouvelles vues Logiques."

p. 90-91

Project Euclid

Review: Eugen Gh. Mihailescu, Recherches sur les Formes Normales par Rapport a l'Equivalence et la Disjonction, dans le Calcul des Propositions

Wajsberg, M.

p. 91-92

Project Euclid

Review: S. C. Kleene, On Notation for Ordinal Numbers

Peter, Rozsa

p. 93-94

Project Euclid

Review: Albert A. Bennett, Charles A. Baylis, Formal Logic: A Modern Introduction

p. 94-96

Project Euclid

Review: Harald Nordenson, Kritische Bemerkungen zu den Grundlagen der Logistik

Jorgensen, Jorgen

p. 96-97

Project Euclid

Review: Frederic B. Fitch, The Consistency of the Ramified Principia

Bernays, Paul

p. 97-98

Project Euclid

Review: D. A. Bocvar, On a Three-Valued Logical Calculus and its Application to the Analysis of Contradictions

p. 98-99

Project Euclid

Review: Arnold Reymond, La Negation et le Principe du Tiers Exclu

Kleene, S. C.

p. 99-100

Project Euclid

Further Citations

p. 103-104

Project Euclid

On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth

Tarski, Alfred

p. 105-112

Project Euclid

Bemerkungen Zum Begriff Der Inhaltlichen Widerspruchsfreiheit

p. 113-114

Project Euclid

Note on Modal Functions

Fitch, Frederic B.

p. 115-116

Project Euclid

Review: Rudolf Carnap, Foundations of Logic and Mathematics

Kokoszynska, M.

p. 117-118

Project Euclid

Review: Leonard Bloomfield, Linguistic Aspects of Science

Ducasse, C. J.

p. 118-119

Project Euclid

Review: Ernest Nagel, Principles of the Theory of Probability

p. 119-120

Project Euclid

Review: H. P. Evans, S. C. Kleene, A Postulational Basis for Probability

Hempel, Carl G.

p. 120-121

Project Euclid

Review: James Wilkinson Miller, The Structure of Aristotelian Logic

p. 121-122

Project Euclid

Review: R. L. Goodstein, Mathematical Systems

p. 122-123

Project Euclid

Review: Lucius Garvin, Do We Ever Think in Propositions?

p. 123-124

Project Euclid

Review: Andrzej Mostowski, Alfred Tarski, Boolesche Ringe Mit Geordneter Basis

Wallman, Henry

p. 124-125

Project Euclid

Review: Saunders Mac Lane, Symbolic Logic

p. 125-126

Project Euclid

Review: Karl Schnell, Eine Topologie der Zeit in Logistischer Darstellung

Robertson, H. P.

p. 126-127

Project Euclid

Review: Laszlo Kalmar, On the Reduction of the Decision Problem. First Paper. Ackerman prefix, a single binary predicate

Skolem, Th.

p. 127-128

Project Euclid

Review: A. M. Turing, Systems of Logic Based on Ordinals

p. 128-129

Project Euclid

Review: Andrzej Mostowski, Uber die Unabhangigkeit des Wohlordnungssatzes vom Ordnungsprinzip

p. 129-130

Project Euclid

Review: A. G. D. Watson, Mathematics and Its Foundations

Kleene, S. C.

p. 130-131

Project Euclid

Review: J. D. Mabbott, Two Notes on Syllogism

p. 131-132

Project Euclid

Review: Karl Britton, Communication: A Philosophical Study of Language

p. 132-133

Project Euclid

Review: Benedykt Bornstein, Geometrical Logic. The Structures of Thought and Space

p. 133-134

Project Euclid

Further Citations

p. 135-136

Project Euclid

Modalities in the Survey System of Strict Implication

Parry, William Tuthill

p. 137-154

Project Euclid

Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions

McKinsey, J. C. C.

p. 155-158

Project Euclid

The Hypothesis That Infinite Classes are Similar

Fitch, Frederic B.

p. 159-162

Project Euclid

Review: A. Fraenkel, J. Bar-Hillel, Le Probleme des Antinomies et ses Developpements Recents

p. 163-164

Project Euclid

Review: J. R. Kantor, The Role of Language in Logic and Science

Leonard, Henry S.

p. 164-165

Project Euclid

Review: O. V. Zich, Sentential Calculus with Complex Values

Reach, K.

p. 165-166

Project Euclid

Review: Paulette Fevrier, Sur la Causalite

p. 166-167

Project Euclid

Review: Gr. C. Moisil, Sur la Theorie Classique de la Modalite des Jugements

p. 167-168

Project Euclid

Review: Kurt Grelling, Paul Oppenheim, Logical Analysis of "Gestalt" as "Functional Whole."

p. 169-170

Project Euclid

Review: J. Kraft, Logische Oder Metaphysische Interpretation der Logistik?

Wedberg, Anders

p. 170-171

Project Euclid

Further Citations

p. 172-175

Project Euclid

Fifth Meeting of the Association for Symbolic Logic

Goodman, Nelson

p. 176-177

Project Euclid

List of Officers and Members of the Association for Symbolic Logic

p. 179-183

Project Euclid

Index of Reviews