J. Symbolic Logic, Tome 12 (1947)

Project Euclid

Review: A. Heyting, On Weakened Quantification

Nelson, David

Project Euclid

Review: Julius Weinberg, Our Knowledge of Other Minds

v. Wright, G. H.

Project Euclid

Review: H. Meyer, Resemblance and Identity

Project Euclid

Review: J. Clay, Logic and Natural Science

Project Euclid

Review: G. F. C. Griss, Idealistic Philosophy

Project Euclid

Review: Andrzej Mostowski, On Undecidable Propositions in Formalized Systems of Mathematics

Ulam, S.

Project Euclid

Review: G. F. C. Griss, Negationless Intuitionistic Mathematics

Project Euclid

Review: E. W. Beth, Chapters from Modern Formal Logic

Project Euclid

Review: Alfred Tarski, Olaf Helmer, Introduction to Logic and to the Methodology of Deductive Sciences

Project Euclid

Review: A. N. Whitehead, Indication, Classes, Numbers, Validation

Project Euclid

Review: A. N. Whitehead, Mathematics

Project Euclid

Review: James Feibleman, Bertrand Russell, An Introduction to Peirce's Philosophy Interpreted as a System

Project Euclid

Review: Nelson Goodman, The Problem of Counterfactual Conditionals

McKinsey, J. C. C.

Project Euclid

Review: P. G. J. Vredenduin, Burkamp's Logic

Beth, E. W.

Project Euclid

Review: A. A. Grau, Ternary Boolean Algebra

Vaughan, H. E.

Project Euclid

Review: L. E. J. Brouwer, Directives of Intuitionistic Mathematics

Project Euclid

Review: J. Ridder, Ueber den Aussagen- und den Engeren Pradikatenkalkul

Project Euclid

Review: V. I. Sestakov, Representation of Characteristic Functions of Propositions by Expressions Realizable by Relay-Contact Circuits

Project Euclid

Review: Harold R. Smart, Bolzano's Logic

Project Euclid

Review: Bertrand Russell, Logical Positivism

Project Euclid

Review: Josef de Vries, Logistische Zeichensprache und Philosophie

Feys, Robert

Project Euclid

Review: M.-L. Guerard des Lauriers, Propositions Logistiques Vraies. Demonstrabilite Arithmetisation

Feys, Robert

Project Euclid

Review: William Kneale, Verifiability (Part III of a Symposium)

Project Euclid

Review: Friedrich Waismann, Verifiability (Part II of a Symposium)

Project Euclid

Review: William Kneale, Truths of Logic

Project Euclid

Review: Marcel Barzin, Sur la Portee du Theoreme de M. Godel

Fitch, Frederic B.

Project Euclid

Review: Everett W. Hall, On the Nature of the Predicate, `Verified.'

Goodman, Nelson

Project Euclid

Review: Willard V. Quine, Os Estados Unidos e o Ressurgimento da Logica

Ribeiro, Hugo

Project Euclid

Review: Gustav Bergmann, Remarks on Realism

Hempel, Carl G.

Project Euclid

Review: John Dewey, Arthur F. Bentley, "Definition."

Smullyan, Arthur Francis

Project Euclid

Review: Tadeusz Czezowski, Fundamental Principles of the Philosophical Sciences

Project Euclid

Review: Philotheus Boehner, El Sistema de Logica Escolastica. Estudio Historico y Critico

Project Euclid

Review: D. A. Bocvar, Some Logical Theorems on the Normal Sets and Predicates

Project Euclid

Review: Lawrence M. Graves, The Theory of Functions of Real Variables

Project Euclid

Review: Howard F. Fehr, Meaning in Algebra

Project Euclid

Review: W. V. Quine, On Relations as Coextensive with Classes

Turquette, A. R.

Project Euclid

Review: Ruth C. Barcan, The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication

Project Euclid

Review: Karl Durr, Alte und Neue Logik

Project Euclid

Review: R. Feys, Les Methodes Recentes de Deduction Naturelle

Ketonen, Oiva

Project Euclid

Review: Emil L. Post, Note on a Conjecture of Skolem

Kleene, S. C.

Project Euclid

Review: Paul Dubreil, Algebre. Tome I. Equivalences, Operations, Groupes, Anneaux, Corps

Project Euclid

Review: Augustin Sesmat, Victor Lalan, Equations dans le Corps de Boole et Relations Entre Propositions

Project Euclid

Review: Emile Borel, Sur L'Illusion des Definitions Numeriques

Project Euclid

Review: J. Billing, A Failure of the Bolzano-Weierstrass Lemma

Project Euclid

Further Citations

Project Euclid

Review: Arthur Pap, A Note on Logic and Existence

Project Euclid

Review: Henry Winthrop, Metalypsis and Paradox in the Concept of Metalanguage

Project Euclid

Review: Willard Van Orman Quine, Mathematical Logic

Project Euclid

Review: John W. Tukey, The Princeton University Bicentennial Conference on the Problems of Mathematics

Project Euclid

Review: G. Mannoury, Methodologisches und Philosophisches zur Elementar-Mathematik

Project Euclid

Review: Charles Serrus, Traite de Logique

Project Euclid

Review: Victor Lalan, Definition de Deux Structures D'Anneau dans une Algebre de Boole

Project Euclid

Review: B. Germansky, Axiomes des Nombres Naturels

Project Euclid

Review: O. Auriac, Contributions a la Logique

Project Euclid

Review: Antoinette Virieux-Reymond, A Propos de la Nature de la Negation en Logique

Project Euclid

Recursive Unsolvability of a Problem of Thue

Post, Emil L.

p. 1-11

Project Euclid

The Identity of Individuals in a Strict Functional Calculus of Second Order

Barcan, Ruth C.

p. 12-15

Project Euclid

Review: Willard Van Orman Quine, The Meaning of the New Logic

Berry, George D. W.

p. 16-17

Project Euclid

Review: W. V. Quine, On the Logic of Quantification

Berry, George D. W.

p. 17-19

Project Euclid

Review: Andrew Paul Ushenko, Power and Events. An Essay on Dynamics in Philosophy

Beth, E. W.

p. 19-20

Project Euclid

Review: Fausto I. Toranzos, Introduccion a la Epistemologia y Fundamentacion de la Matematica

p. 20-21

Project Euclid

Review: Jean Cavailles, Albert Lautman, La Pensee Mathematique

p. 21-22

Project Euclid

Review: C. Lewy, Equivalence and Identity

Nelson, Everett J.

p. 22-23

Project Euclid

Review: Yehoshua Bar-Hillel, Analysis of "Correct" Language

Ambrose, Alice

p. 23-24

Project Euclid

Review: Walter Brugger, Die Modalitat Einfacher Aussageverbindungen

Feys, Robert

p. 24-25

Project Euclid

Review: Thomas Greenwood, The Unity of Logic

Fitch, Frederic B.

p. 25-26

Project Euclid

Review: Zygmunt Zawirski, Genesis and Development of Intuitionistic Logic

p. 26-27

Project Euclid

Review: Robert Feys, La Technique de la Logique Combinatoire

Kleene, S. C.

p. 27-28

Project Euclid

Review: George D. Birkhoff, Garrett Birkhoff, Distributive Postulates for Systems Like Boolean Algebras

McKinsey, J. C. C.

p. 28-29

Project Euclid

Ninth Meeting of the Association for Symbolic Logic

p. 30-32

Project Euclid

On Absolute Properties of Relations

p. 33-42

Project Euclid

The Problem of Interpreting Modal Logic

p. 43-48

Project Euclid

Review: Charles Morris, Signs, Language, and Behavior

Smullyan, Arthur Francis

p. 49-51

Project Euclid

Review: Delton Thomas Howard, Analytical Syllogistics. A Pragmatic Interpretation of the Aristotelian Logic

Hinshaw, Virgil

p. 51-52

Project Euclid

Review: Everett J. Nelson, Contradiction and the Presupposition of Existence

p. 52-55

Project Euclid

Review: Emil L. Post, A Variant of a Recursively Unsolvable Problem

p. 55-56

Project Euclid

Review: Franz Brentano, Psychologie du Point de vue Empirique

p. 56-57

Project Euclid

Review: Henri Hiz, Remarque sur le Degre de Completude

L'Abbe, Maurice

p. 57-58

Project Euclid

Review: Heinrich Scholz, Eine Neue Gestalt der Grundlagenforschung

p. 58-59

Project Euclid

Review: Paul Schrecker, Leibniz and the Art of Inventing Algorisms

p. 59-60

Project Euclid

Review: Willard V. Quine, A Short Course in Logic. Chapters I-VII

p. 60-61

Project Euclid

Review: E. T. Bell, The Development of Mathematics

p. 61-62

Project Euclid

Review: D. van Dantzig, Mathematics, Logic, and Empirical Science

p. 62-63

Project Euclid

Further Citations

Kalmar, Laszlo ; Suranyi, Janos

p. 63-64

Project Euclid

On the Reduction of the Decision Problem

p. 65-73

Project Euclid

On Universals

p. 74-84

Project Euclid

Review: Max Black, Critical Thinking. An Introduction to Logic and Scientific Method

Nagel, Ernest

p. 85-86

Project Euclid

Review: Hans Reichenbach, Henri Savonnet, Introduction a la Logistique

Berry, George D. W.

p. 86-87

Project Euclid

Review: Hermann Weyl, David Meuhad, Abraham Adolf Fraenkel, Philosophy of Mathematics

Brown, George W.

p. 87-88

Project Euclid

Review: Jorgen Jorgensen, Introduction to Logic and Methodology

Skolem, Th.

p. 88-89

Project Euclid

Review: Archie Blake, A Boolean Derivation of the Moore-Osgood Theorem

Vaughan, H. E.

p. 89-90

Project Euclid

Review: Emil L. Post, Recursive Unsolvability of a Problem of Thue

Kleene, S. C.

p. 90-91

Project Euclid

Review: S. C. Kleene, On the Interpretation of Intuitionistic Number Theory

p. 91-93

Project Euclid

Review: David Nelson, Recursive Functions and Intuitionistic Number Theory

p. 93-94

Project Euclid

Review: , The Three Basic Directions in the Foundations of Mathematics

p. 94-95

Project Euclid

Review: Ruth C. Barcan, The Identity of Individuals in a Strict Functional Calculus of Second Order

p. 95-96

Project Euclid

Review: David Rynin, A Critical Essay on Johnson's Philosophy of Language

p. 96-98

Project Euclid

Review: Gerard P. Minogue, The Three Fundamental Laws of Thought in Their Metaphysical and Logical Aspects

p. 98-99

Project Euclid

Review: C. West Churchman, Carnap's "On Inductive Logic."

Hempel, Carl G.

p. 99-100

Project Euclid

Review: F. Waismann, Are There Alternative Logics?

p. 100-101

Project Euclid

Further Citations

Goodman, Nelson ; Quine, W. V.

p. 102-104

Project Euclid

Steps Toward a Constructive Nominalism

p. 105-122

Project Euclid

Transfinite Ordinals in Recursive Number Theory

Goodstein, R. L.

p. 123-129

Project Euclid

A Note on Quine's Principles of Quantification

Wang, Hao

p. 130-132

Project Euclid

Review: Paulette Destouches-Fevrier, Rapports Entre le Calcul des Problemes et le Calcul des Propositions

p. 133-134

Project Euclid

Review: Renaud de Bengy-Puyvallee, Sur les Regles de Composabilite dans les Logiques de la Complementarite de $M^{me}$ Destouches-Fevrier

p. 134-135

Project Euclid

Review: Karl Schroter, Was ist Eine Mathematische Theorie?

p. 136-137

Project Euclid

Review: Karl Durr, Die Logistik Johann Heinrich Lamberts

p. 137-138

Project Euclid

Review: Roderick M. Chisholm, The Contrary-to-Fact Conditional

McKinsey, J. C. C.

p. 138-139

Project Euclid

Review: W. V. Quine, The Problem of Interpreting Modal Logic

Smullyan, Arthur Francis

p. 139-141

Project Euclid

Review: Donald Williams, The Ground of Induction

p. 141-144

Project Euclid

Review: H. Meyer, The Concept of Truth in a Formalized Semantics

Bennett, Albert A.

p. 144-145

Project Euclid

Review: Gustav Bergmann, Sense Data, Linguistic Conventions, and Existence

Nelson, Everett J.

p. 145-146

Project Euclid

Further Citations

p. 146-147

Project Euclid

List of Officers and Members of the Association for Symbolic Logic

p. 148-153

Project Euclid

Index of Reviews: Volumes XI, XII