square of opposition

Alonzo Church’s JSL Reviews

Alonzo Church

Alonzo Church (of Church’s Thesis and Church’s Theorem) was editor of the Reviews section of the Journal of Symbolic Logic from its founding in 1936 until 1979. During this period, he wrote or commissioned short reviews of virtually every article or book in the field of logic. Church’s reviews are valuable both for the keen insights they contain and for the record they provide of mid-twentieth century logic and philosophy of logic.

This list of Church’s JSL reviews has been compiled with the help of the JSTOR database. The titles below are linked to page images of the reviews in JSTOR.

Definition of Post’s Generalized Negative and Maximum in Terms of One Binary Operation. Donald L. Webb, Journal of Symbolic Logic, Vol. 1, No. 1. (Mar., 1936), p. 42.

The Law of Transitivity. H. B. Smith, Journal of Symbolic Logic, Vol. 1, No. 1. (Mar., 1936), p. 43.

Reducible Boolean Functions. J. C. C. McKinsey, Journal of Symbolic Logic, Vol. 1, No. 2. (Jun., 1936), p. 69.

Extensions of Partially Ordered Sets. H. M. MacNeille, Journal of Symbolic Logic, Vol. 1, No. 2. (Jun., 1936), p. 73.

A Note on Contradiction. Everett J. Nelson, Journal of Symbolic Logic, Vol. 1, No. 3. (Sep., 1936), p. 117.

On Euler’s ϕ-Function and its Extensions. S. Pankajam, Journal of Symbolic Logic, Vol. 1, No. 3. (Sep., 1936), p. 118.

Logistic and Philosophy. Jan Lukasiewicz, Journal of Symbolic Logic, Vol. 1, No. 3. (Sep., 1936), p. 118.

Demonstration d’un theoreme concernant le principe du tiers exclu E. W. Beth, Journal of Symbolic Logic, Vol. 1, No. 3. (Sep., 1936), p. 118.

Note sur la demonstration de M. E. W. Beth Marcel Barzin, Journal of Symbolic Logic, Vol. 1, No. 3. (Sep., 1936), p. 118.

The theory of Representations for Boolean Algebras. M. H. Stone, Journal of Symbolic Logic, Vol. 1, No. 3. (Sep., 1936), pp. 118-119.

Die Widerspruchsfreiheit der Stufenlogik. Gerhard Gentzen, Journal of Symbolic Logic, Vol. 1, No. 3. (Sep., 1936), p. 119.

A note on recursive functions. S. C. Kleene, Journal of Symbolic Logic, Vol. 1, No. 3. (Sep., 1936), p. 119.

On Computable Numbers, with an Application to the Entscheidungsproblem. A. M. Turing, Journal of Symbolic Logic, Vol. 2, No. 1. (Mar., 1937), pp. 42-43.

Finite Combinatory Processes–Formulation 1. Emil L. Post, Journal of Symbolic Logic, Vol. 2, No. 1. (Mar., 1937), p. 43.

The Algebra of Propositions. H. B. Smith, Journal of Symbolic Logic, Vol. 2, No. 1. (Mar., 1937), pp. 43-44.

Modality and Probability. Louis Osgood Kattsoff, Journal of Symbolic Logic, Vol. 2, No. 1. (Mar., 1937), p. 44.

Une Demonstration de la non-Contradiction de la Logique des Types au Point de vue Fini. E. W. Beth, Journal of Symbolic Logic, Vol. 2, No. 1. (Mar., 1937), p. 44.

The Logic of Quantum Mechanics. Garrett Birkhoff, John von Neumann, Journal of Symbolic Logic, Vol. 2, No. 1. (Mar., 1937), pp. 44-45.

Zur Begrundung der Statistischen Transformationstheorie der Quantenphysik. M. Strauss, Journal of Symbolic Logic, Vol. 2, No. 1. (Mar., 1937), p. 45.

The Development of Intuitionistic Mathematics. A. Heyting, Journal of Symbolic Logic, Vol. 2, No. 2. (Jun., 1937), p. 89.

Postulates for Boolean Algebra in Terms of Ternary Rejection. Albert Whiteman, Journal of Symbolic Logic, Vol. 2, No. 2. (Jun., 1937), p. 91.

Men of Mathematics. E. T. Bell, Journal of Symbolic Logic, Vol. 2, No. 2. (Jun., 1937), p. 95.

Uberwindung des Begriffsrealismus. Leon Chwistek, Journal of Symbolic Logic, Vol. 2, No. 4. (Dec., 1937), pp. 168-170.

A Set of Postulates for Boolean Algebra. Solomon Hoberman, J. C. C. McKinsey, Journal of Symbolic Logic, Vol. 2, No. 4. (Dec., 1937), pp. 172-173.

Modal Logic–A Revision. H. B. Smith, Journal of Symbolic Logic, Vol. 2, No. 4. (Dec., 1937), p. 173.

Une Solution des Paradoxes de la Logique et ses Consequences pour la Conception de l’Infini. Ch. Perelman, Journal of Symbolic Logic, Vol. 2, No. 4. (Dec., 1937), p. 174.

Outline of the Recent Development of the Theory of Deduction. Jorgen Jorgensen, Journal of Symbolic Logic, Vol. 3, No. 1. (Mar., 1938), p. 43.

De Consequentiis Scholasticorum Earumque Origine. I. M. Bochenski, Journal of Symbolic Logic, Vol. 3, No. 1. (Mar., 1938), pp. 45-46.

A Possible Solution of the Heterological Paradox. Julius Weinberg, Journal of Symbolic Logic, Vol. 3, No. 1. (Mar., 1938), p. 46.

Zur Reduktion des Entscheidungsproblems. Laszlo Kalmar, Journal of Symbolic Logic, Vol. 3, No. 1. (Mar., 1938), p. 46.

Explanation to the Foregoing Paper of L. Kalmar. Th. Skolem, Journal of Symbolic Logic, Vol. 3, No. 1. (Mar., 1938), p. 46.

Recherches sur l’Equivalence et la Reciprocite dans le Calcul des Propositions. Eugen Gh. Mihailescu, Journal of Symbolic Logic, Vol. 3, No. 1. (Mar., 1938), p. 55.

Mathematics, Logic, and Philosophy of Science at the Congres-Descartes. Evert Beth, Journal of Symbolic Logic, Vol. 3, No. 2. (Jun., 1938), pp. 87-88.

L’Equivalence, la Definition et la Solution du Paradoxe de Russell. Ch. Perelman, Journal of Symbolic Logic, Vol. 3, No. 2. (Jun., 1938), p. 88.

Die Finsler’schen Arbeiten zur Grundlegung der Mathematik. L. Locher, Journal of Symbolic Logic, Vol. 3, No. 2. (Jun., 1938), pp. 89-90.

Boolean Algebra (The Technique for Manipulating “and,” “or,” “not,” and Conditions) and Applications to Insurance. Edmund C. Berkeley, Journal of Symbolic Logic, Vol. 3, No. 2. (Jun., 1938), p. 90.

Sur le Syllogisme Hypothetique dans la Logique Intuitioniste. Gr. C. Moisil, Journal of Symbolic Logic, Vol. 3, No. 3. (Sep., 1938), p. 118.

Zur Neubegrundung der Mengenlehre. Johann Jakob Burckhardt, Journal of Symbolic Logic, Vol. 3, No. 4, Including an Update to A Bibliography of Symbolic Logic. (Dec., 1938), pp. 165-166.

Notes for Symbolic Logic. Rudolf Carnap, Journal of Symbolic Logic, Vol. 4, No. 1. (Mar., 1939), pp. 29-30.

On a Three-Valued Logical Calculus and its Application to the Analysis of Contradictions. D. A. Bocvar, Journal of Symbolic Logic, Vol. 4, No. 2. (Jun., 1939), pp. 98-99.

The Paradoxes. Evert Beth, Journal of Symbolic Logic, Vol. 4, No. 3. (Sep., 1939), p. 125.

Symbolic Logic. Saunders Mac Lane, Journal of Symbolic Logic, Vol. 4, No. 3. (Sep., 1939), pp. 125-126.

Inaugural Address. R. Vaidyanathaswami, Journal of Symbolic Logic, Vol. 4, No. 3. (Sep., 1939), p. 126.

The Calculus of Sets. M. H. A. Newman, Journal of Symbolic Logic, Vol. 4, No. 3. (Sep., 1939), p. 126.

Les Methodes Axiomatiques Modernes et les Fondements des Mathematiques. J. Dieudonne, Journal of Symbolic Logic, Vol. 4, No. 4. (Dec., 1939), p. 163.

Diskrete und Kontinuierliche Gebilde. Abraham Adolf Fraenkel, Journal of Symbolic Logic, Vol. 4, No. 4. (Dec., 1939), p. 163.

A Logistical Approach to the Ontological Problem. W. V. Quine, Journal of Symbolic Logic, Vol. 4, No. 4. (Dec., 1939), p. 170.

The Introduction of Quantification into a Three-Valued Logic. Barkley Rosser, Journal of Symbolic Logic, Vol. 4, No. 4. (Dec., 1939), p. 170.

An Enumeration of Logical Functions. William Wernick, Journal of Symbolic Logic, Vol. 5, No. 1. (Mar., 1940), p. 31.

La Ley de Dualidad de los Conjuntos de Puntos. L. Gutierrez Novoa, Journal of Symbolic Logic, Vol. 5, No. 1. (Mar., 1940), pp. 36-37.

Sur Quelques Theoremes D’Existence. P. Novikoff, Journal of Symbolic Logic, Vol. 5, No. 2. (Jun., 1940), pp. 69-70.

Are There any Extra-Syllogistic Forms of Reasoning? Sylvester Hartman, Journal of Symbolic Logic, Vol. 5, No. 2. (Jun., 1940), p. 81.

Good Logics and Bad. Harry Ruja, Journal of Symbolic Logic, Vol. 5, No. 2. (Jun., 1940), p. 81.

What is Independence? Richard Robinson, Journal of Symbolic Logic, Vol. 5, No. 2. (Jun., 1940), p. 81.

Self-Contradictory Propositions. M. Lazerowitz, Journal of Symbolic Logic, Vol. 5, No. 2. (Jun., 1940), pp. 81-82.

Uber Einen Aussagenkalkul mit Abzahlbaren Logischen Summen und Produkten. D. A. Bochvar, Journal of Symbolic Logic, Vol. 5, No. 3. (Sep., 1940), p. 119.

Sur les Fondements de L’Arithmetique. A. Errera, Journal of Symbolic Logic, Vol. 5, No. 3. (Sep., 1940), pp. 119-120.

The Development of Mathematics. E. T. Bell, Journal of Symbolic Logic, Vol. 5, No. 4. (Dec., 1940), pp. 152-153.

Another Form of the Russell Paradox. L. S. Johnston, Journal of Symbolic Logic, Vol. 5, No. 4. (Dec., 1940), p. 157.

Thought and Its Objects. A. I. Melden, Journal of Symbolic Logic, Vol. 5, No. 4. (Dec., 1940), pp. 162-163.

Mathematical Logic. Willard Van Orman Quine, Journal of Symbolic Logic, Vol. 5, No. 4. (Dec., 1940), pp. 163-164.

Introduction to Logic and to the Methodology of Deductive Sciences. Alfred Tarski, Olaf Helmer, Journal of Symbolic Logic, Vol. 6, No. 1. (Mar., 1941), pp. 30-32.

The Law of Excluded Middle. Eric Toms, Journal of Symbolic Logic, Vol. 6, No. 1. (Mar., 1941), p. 35.

Zum Logischen Funktionsbegriffe des Wiener Kreises. Katsumi Nakamura, Journal of Symbolic Logic, Vol. 6, No. 1. (Mar., 1941), p. 36.

Die Mathematische Logik des Arnold Geulincx. Karl Durr, Journal of Symbolic Logic, Vol. 6, No. 3. (Sep., 1941), p. 104.

Sobre una Objecion a la Logica Brouweriana. Claro C. Dassen, Journal of Symbolic Logic, Vol. 6, No. 3. (Sep., 1941), pp. 106-107.

The Foundations of Empirical Knowledge. Alfred J. Ayer, Journal of Symbolic Logic, Vol. 6, No. 3. (Sep., 1941), p. 108.

Some Observations Concerning the Nature of Probability. C. J. Ducasse, Journal of Symbolic Logic, Vol. 6, No. 3. (Sep., 1941), pp. 108-109.

On the Many-Valued Logics. Barkley Rosser, Journal of Symbolic Logic, Vol. 6, No. 3. (Sep., 1941), p. 109.

Charles Sanders Peirce as a Pioneer. Cassius Jackson Keyser, Journal of Symbolic Logic, Vol. 6, No. 4. (Dec., 1941), pp. 161-162.

Algebra of Classes. Garrett Birkhoff, Saunders MacLane, Journal of Symbolic Logic, Vol. 6, No. 4. (Dec., 1941), p. 165.

Some Comments on the Nature of Mathematical Logic. John J. Wellmuth, Journal of Symbolic Logic, Vol. 7, No. 1. (Mar., 1942), pp. 39-40.

Dr. Quine’s Theory of Truth-Functions. Andrew Ushenko, Journal of Symbolic Logic, Vol. 7, No. 1. (Mar., 1942), p. 45.

Galen and the Logic of Propositions. James W. Stakelum, Journal of Symbolic Logic, Vol. 7, No. 1. (Mar., 1942), p. 46.

Some Dangers in the Use of Symbolic Logic in Psychology. Everett W. Hall, Journal of Symbolic Logic, Vol. 7, No. 2. (Jun., 1942), p. 100.

Whitehead and the Rise of Modern Logic. Willard V. Quine, Paul Arthur Schilpp, Journal of Symbolic Logic, Vol. 7, No. 2. (Jun., 1942), pp. 100-101.

An Extended Arithmetic. Garrett Birkhoff Generalized Arithmetic. Garrett Birkhoff, Journal of Symbolic Logic, Vol. 7, No. 3. (Sep., 1942), pp. 125-126.

Algebraischer Aussagenkalkul. Hans Robert Muller, Journal of Symbolic Logic, Vol. 7, No. 3. (Sep., 1942), p. 126.

Dimensions of Society. A Quantitative Systematics for the Social Sciences. Stuart Carter Dodd, Journal of Symbolic Logic, Vol. 7, No. 3. (Sep., 1942), pp. 128-129.

Goedelian Sentences: A Non-Numerical Approach. J. Findlay, Journal of Symbolic Logic, Vol. 7, No. 3. (Sep., 1942), pp. 129-130.

The Inconsistency of Certain Formal Logics. Haskell B. Curry, Journal of Symbolic Logic, Vol. 7, No. 4. (Dec., 1942), pp. 170-171.

The Logic of Intuitionistic Mathematics. K. Chandrasekharan, Journal of Symbolic Logic, Vol. 7, No. 4. (Dec., 1942), p. 171.

The Revolt Against Aristotle. J. W. Lasley, Jr., Journal of Symbolic Logic, Vol. 7, No. 4. (Dec., 1942), p. 171.

Evolucion de la Logica. Elias A. De Cesare, Journal of Symbolic Logic, Vol. 7, No. 4. (Dec., 1942), p. 174.

El Infinito. Teodoro Sanchez de Bustamante, Journal of Symbolic Logic, Vol. 7, No. 4. (Dec., 1942), p. 174.

Les Principes de la Logique Mathematique Thomas Greenwood, Journal of Symbolic Logic, Vol. 8, No. 1. (Mar., 1943), pp. 28-29.

On Existence Conditions for Elements and Classes. W. V. Quine, Journal of Symbolic Logic, Vol. 8, No. 1. (Mar., 1943), pp. 31-32.

Recursive Predicates and Quantifiers. S. C. Kleene, Journal of Symbolic Logic, Vol. 8, No. 1. (Mar., 1943), pp. 32-34.

The Null Class Nullified. Peter A. Carmichael, Journal of Symbolic Logic, Vol. 8, No. 1. (Mar., 1943), p. 35.

Notes on Existence and Necessity. Willard V. Quine, Journal of Symbolic Logic, Vol. 8, No. 1. (Mar., 1943), pp. 45-47.

Logica, in Usum Scholarum. Gerard Esser, Journal of Symbolic Logic, Vol. 8, No. 1. (Mar., 1943), pp. 47-48.

The Form of Inference. Bernard Lonergan, Journal of Symbolic Logic, Vol. 8, No. 1. (Mar., 1943), p. 48.

Animadversion on the Null Class. Peter A. Carmichael, Journal of Symbolic Logic, Vol. 8, No. 1. (Mar., 1943), p. 48.

La Logica de Bertrand Russell. Jose Encinas del Pando, Journal of Symbolic Logic, Vol. 8, No. 1. (Mar., 1943), p. 50.

Formal Reductions of the General Combinatorial Decision Problem. Emil L. Post, Journal of Symbolic Logic, Vol. 8, No. 1. (Mar., 1943), pp. 50-52.

Some Advances in the Combinatory Theory of Quantification. Haskell B. Curry, Journal of Symbolic Logic, Vol. 8, No. 1. (Mar., 1943), p. 52.

Towards a General Logic of Propositions. C. West Churchman, F. P. Clarke, M. C. Nahm, Journal of Symbolic Logic, Vol. 8, No. 1. (Mar., 1943), pp. 53-54.

Notes on identity. Gustav Bergmann, Journal of Symbolic Logic, Vol. 8, No. 3. (Sep., 1943), p. 86.

The Modes of Meaning. C. I. Lewis, Journal of Symbolic Logic, Vol. 9, No. 1. (Mar., 1944), pp. 28-29.

On Disjunction in Intuitionist Logic. R. Vaidyanathaswamy, Journal of Symbolic Logic, Vol. 9, No. 2. (Jun., 1944), p. 48.

The New Algebras and Their Significance for Physics and Philosophy. E. T. Whittaker, Journal of Symbolic Logic, Vol. 9, No. 2. (Jun., 1944), p. 48.

Imperatives and Logic. Alf Ross, Journal of Symbolic Logic, Vol. 9, No. 2. (Jun., 1944), p. 48.

Stratified Systems of Logic. M. H. A. Newman, Journal of Symbolic Logic, Vol. 9, No. 2. (Jun., 1944), pp. 50-52.

Postulate-sets for Boolean Rings. B. A. Bernstein, Journal of Symbolic Logic, Vol. 9, No. 2. (Jun., 1944), p. 54.

The foundation of Phenomenology. Edmund Husserl and the Quest for a Rigorous Science of Philosophy. Marvin Farber, Journal of Symbolic Logic, Vol. 9, No. 3. (Sep., 1944), pp. 63-65.

David Hilbert and His Mathematical Work. Hermann Weyl, Journal of Symbolic Logic, Vol. 9, No. 4. (Dec., 1944), p. 98.

The Alleged Predicament of Logic. Harold R. Smart, Journal of Symbolic Logic, Vol. 9, No. 4. (Dec., 1944), p. 103.

The Foundations of Probability. P. R. Halmos, Journal of Symbolic Logic, Vol. 9, No. 4. (Dec., 1944), p. 106.

Logic Without Ontology. Ernest Nagel, Journal of Symbolic Logic, Vol. 10, No. 1. (Mar., 1945), pp. 16-18.

Frege’s Logic. H. R. Smart, Journal of Symbolic Logic, Vol. 10, No. 3. (Sep., 1945), pp. 101-103.

Algebra of Analysis. Karl Menger, Journal of Symbolic Logic, Vol. 10, No. 3. (Sep., 1945), p. 103.

Lattices with Unique Complements. R. P. Dilworth, Journal of Symbolic Logic, Vol. 10, No. 3. (Sep., 1945), p. 104.

A Search for Firm Names. John Dewey, Arthur F. Bentley On a Certain Vagueness in Logic. Arthur F. Bentley A terminology for Knowings and Knowns. John Dewey, Arthur F. Bentley Postulations. John Dewey, Arthur F. Bentley, Journal of Symbolic Logic, Vol. 10, No. 4. (Dec., 1945), pp. 132-133.

A Challenge. C. W. Churchman, T. A. Cowan, Journal of Symbolic Logic, Vol. 10, No. 4. (Dec., 1945), p. 133.

A New Method of Presentation of the Theory of the Syllogism. Max Black, Journal of Symbolic Logic, Vol. 10, No. 4. (Dec., 1945), pp. 133-134.

The Problem of Relation in Some Non-Scholastic Philosophies. Clifford G. Kossel, Journal of Symbolic Logic, Vol. 11, No. 3. (Sep., 1946), pp. 82-83.

La Logique Symbolique en France et les Recentes Journees de Logique. Paulette Destouches, Journal of Symbolic Logic, Vol. 11, No. 3. (Sep., 1946), p. 91.

Theorie des Ensembles (Fascicule de Resultats). N. Bourbaki, Journal of Symbolic Logic, Vol. 11, No. 3. (Sep., 1946), p. 91.

Sur le Fondement Logique des Mathematiques. Henri Cartan, Journal of Symbolic Logic, Vol. 11, No. 3. (Sep., 1946), pp. 91-92.

El Numero y la Realidad. Oscar Miro Quesada, Journal of Symbolic Logic, Vol. 11, No. 3. (Sep., 1946), p. 96.

Geometry and Empirical Science. C. G. Hempel An Introduction to Logic and Scientific Method. Morris R. Cohen, Ernest Nagel, Journal of Symbolic Logic, Vol. 11, No. 3. (Sep., 1946), p. 100.

Cours de Logique. Marcel Barzin La Relativite de la Logique. Louis Rougier, Journal of Symbolic Logic, Vol. 11, No. 3. (Sep., 1946), p. 100.

Les Crises de L’unite dans la Mathematique. G. Bouligand, Journal of Symbolic Logic, Vol. 11, No. 3. (Sep., 1946), p. 100.

Partially Ordered Sets and Symbolic Logic. K. Chandrasekharan, Journal of Symbolic Logic, Vol. 11, No. 3. (Sep., 1946), pp. 100-101.

A Logica Matematica e o Ensino Medio. Jose Sebastiao E Silva, Journal of Symbolic Logic, Vol. 11, No. 3. (Sep., 1946), p. 101.

Grundlagen der Analysis. (Das Rechnen mit Ganzen, Rationalen, Irrationalen, Komplexen Zahlen.) Erganzung zu den Lehrbuchern der Differential- und Integralrechnung. Edmund Landau, F. Steinhardt, Journal of Symbolic Logic, Vol. 11, No. 4. (Dec., 1946), p. 126.

On the Consistency of Certain Logical Calculus. P. S. Novikoff, Journal of Symbolic Logic, Vol. 11, No. 4. (Dec., 1946), pp. 129-131.

The Liar. Alexandre Koyre, Journal of Symbolic Logic, Vol. 11, No. 4. (Dec., 1946), p. 131.

Gibt es Unentscheidbare Satze? Paul Finsler, Journal of Symbolic Logic, Vol. 11, No. 4. (Dec., 1946), pp. 131-132.

A Note on the “Paradox of Analysis.” Morton G. White The “Paradox of Analysis” Again: A Reply. Max Black Analysis and Identity: A Rejoinder. Morton G. White How can Analysis be Informative? Max Black, Journal of Symbolic Logic, Vol. 11, No. 4. (Dec., 1946), pp. 132-133.

A Defence of Aristotle’s Logic. A. D. Ritchie, Journal of Symbolic Logic, Vol. 11, No. 4. (Dec., 1946), p. 134.

Logic and Foundations-Research 1940-1945. E. W. Beth, Journal of Symbolic Logic, Vol. 11, No. 4. (Dec., 1946), p. 134.

Metalypsis and Paradox in the Concept of Metalanguage. Henry Winthrop, Journal of Symbolic Logic, Vol. 12, No. 2. (Jun., 1947), p. 55.

A Variant of a Recursively Unsolvable Problem. Emil L. Post, Journal of Symbolic Logic, Vol. 12, No. 2. (Jun., 1947), pp. 55-56.

Mathematical Logic. Willard Van Orman Quine, Journal of Symbolic Logic, Vol. 12, No. 2. (Jun., 1947), p. 56.

Psychologie du Point de vue Empirique. Franz Brentano, Journal of Symbolic Logic, Vol. 12, No. 2. (Jun., 1947), pp. 56-57.

Definition de Deux Structures D’Anneau dans une Algebre de Boole. Victor Lalan, Journal of Symbolic Logic, Vol. 12, No. 2. (Jun., 1947), p. 58.

Axiomes des Nombres Naturels. B. Germansky, Journal of Symbolic Logic, Vol. 12, No. 2. (Jun., 1947), p. 58.

A Short Course in Logic. Chapters I-VII. Willard V. Quine, Journal of Symbolic Logic, Vol. 12, No. 2. (Jun., 1947), pp. 60-61.

Introduction to Logic and to the Methodology of Deductive Sciences. Alfred Tarski, Olaf Helmer, Journal of Symbolic Logic, Vol. 12, No. 2. (Jun., 1947), p. 61.

The Development of Mathematics. E. T. Bell, Journal of Symbolic Logic, Vol. 12, No. 2. (Jun., 1947), pp. 61-62.

A Failure of the Bolzano-Weierstrass Lemma. J. Billing, Journal of Symbolic Logic, Vol. 12, No. 3. (Sep., 1947), p. 94.

Sur L’Illusion des Definitions Numeriques. Emile Borel, Journal of Symbolic Logic, Vol. 12, No. 3. (Sep., 1947), p. 94.

Equations dans le Corps de Boole et Relations Entre Propositions. Augustin Sesmat, Victor Lalan, Journal of Symbolic Logic, Vol. 12, No. 3. (Sep., 1947), p. 94.

Algebre. Tome I. Equivalences, Operations, Groupes, Anneaux, Corps. Paul Dubreil, Journal of Symbolic Logic, Vol. 12, No. 3. (Sep., 1947), p. 94.

The Three Basic Directions in the Foundations of Mathematics. , Journal of Symbolic Logic, Vol. 12, No. 3. (Sep., 1947), pp. 94-95.

Meaning in Algebra. Howard F. Fehr, Journal of Symbolic Logic, Vol. 12, No. 3. (Sep., 1947), p. 96.

The Theory of Functions of Real Variables. Lawrence M. Graves, Journal of Symbolic Logic, Vol. 12, No. 3. (Sep., 1947), p. 96.

A Critical Essay on Johnson’s Philosophy of Language. David Rynin, Journal of Symbolic Logic, Vol. 12, No. 3. (Sep., 1947), pp. 96-98.

El Sistema de Logica Escolastica. Estudio Historico y Critico. Philotheus Boehner, Journal of Symbolic Logic, Vol. 12, No. 3. (Sep., 1947), p. 98.

The Three Fundamental Laws of Thought in Their Metaphysical and Logical Aspects. Gerard P. Minogue, Journal of Symbolic Logic, Vol. 12, No. 3. (Sep., 1947), pp. 98-99.

Die Logistik Johann Heinrich Lamberts. Karl Durr, Journal of Symbolic Logic, Vol. 12, No. 4. (Dec., 1947), pp. 137-138.

Quantifiers. Henry M. Sheffer, Journal of Symbolic Logic, Vol. 13, No. 1. (Mar., 1948), pp. 54-55.

The Escape from Philosophic Futility. Brand Blanshard, Journal of Symbolic Logic, Vol. 13, No. 1. (Mar., 1948), p. 55.

Sovereign Reason. Ernest Nagel, Journal of Symbolic Logic, Vol. 13, No. 1. (Mar., 1948), p. 55.

Mits, Wits and Logic. Lillian R. Lieber, Hugh Gray Lieber, Journal of Symbolic Logic, Vol. 13, No. 1. (Mar., 1948), p. 55.

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. Dimitri Riabouchinsky, Journal of Symbolic Logic, Vol. 13, No. 1. (Mar., 1948), pp. 55-56.

Einfuhrung in Das Mathematische Denken. Die Begriffsbildung der Modernen Mathematik. Friedrich Waismann, Journal of Symbolic Logic, Vol. 13, No. 2. (Jun., 1948), p. 117.

Sur Les Nombres d’Origine Imaginaire et la Notion de Signe d’un Nombre Complexe. Dimitri Riabouchinsky, Journal of Symbolic Logic, Vol. 13, No. 2. (Jun., 1948), p. 122.

Introduction to Philosophy. Louis de Raeymaeker, Harry McNeill, Journal of Symbolic Logic, Vol. 13, No. 2. (Jun., 1948), p. 123.

Difficolta del Concetto di “Insieme.” Ludovico Geymonat, Journal of Symbolic Logic, Vol. 13, No. 2. (Jun., 1948), pp. 126-127.

Scientific Conception of World. On a New Textbook of Positivism. Richard von Mises, Journal of Symbolic Logic, Vol. 13, No. 2. (Jun., 1948), p. 127.

L’Enumeration Transfinie. Livre I. La Notion de Rang. Arnaud Denjoy, Journal of Symbolic Logic, Vol. 13, No. 3. (Sep., 1948), p. 144.

Introducao a Logica. Edmundo Curvelo, Journal of Symbolic Logic, Vol. 13, No. 3. (Sep., 1948), p. 144.

On God and Immortality. Frederic B. Fitch, Charles A. Baylis, Journal of Symbolic Logic, Vol. 13, No. 3. (Sep., 1948), p. 148.

Designation and Truth. P. T. Geach, Journal of Symbolic Logic, Vol. 13, No. 3. (Sep., 1948), pp. 151-152.

A Translation of Frege’s Ueber Sinn und Bedeutung. Introductory Note. Max Black, Journal of Symbolic Logic, Vol. 13, No. 3. (Sep., 1948), pp. 152-153.

Aritmetica e Logica. Gottlob Frege, L. Geymonat, Journal of Symbolic Logic, Vol. 13, No. 3. (Sep., 1948), p. 153.

The Neurological and Behavioristic Psychological Basis of the Ordering of Society by Means of Ideas. F. S. C. Northrop, Journal of Symbolic Logic, Vol. 13, No. 3. (Sep., 1948), pp. 157-158.

Logic and Fact. A. H. Basson, Journal of Symbolic Logic, Vol. 13, No. 3. (Sep., 1948), p. 158.

The Mathematics of Classification. Robert Arthur Fairthorne, A. B. Agard Evans, T. H. O’Beirne, E. M. R. Ditmas, Journal of Symbolic Logic, Vol. 13, No. 3. (Sep., 1948), pp. 158-159.

The Shortest Axiom of the Implicational Calculus of Propositions. Jan Lukasiewicz, Journal of Symbolic Logic, Vol. 13, No. 3. (Sep., 1948), p. 164.

Trois Contributions au Calcul des Propositions Bivalent. Stanislaw Jaskowski, Journal of Symbolic Logic, Vol. 13, No. 3. (Sep., 1948), pp. 164-165.

On the Impossibility of Certain Algorithms in the Theory of Associative Systems. A. Markoff, Journal of Symbolic Logic, Vol. 13, No. 3. (Sep., 1948), pp. 170-171.

Negationless Intuitionistic Mathematics. G. F. C. Griss Ueber den Aussagen-und den Engeren Pradikatenkalkul. J. Ridder Richtlijnen der Intuitionistische Wiskunde. L. E. J. Brouwer, Journal of Symbolic Logic, Vol. 13, No. 3. (Sep., 1948), p. 174.

The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning. George Boole, Journal of Symbolic Logic, Vol. 13, No. 4. (Dec., 1948), p. 216.

Les Etapes de la Philosophie Mathematique. Leon Brunschvicg, Journal of Symbolic Logic, Vol. 13, No. 4. (Dec., 1948), p. 216.

What is Behavior? L. O. Kattsoff Logic and Semiotic. Some Comments Regarding the Treatment of Logical Signs in Charles Morris’ Signs, Language, and Behavior. Elaine Graham Signs About Signs About Signs. Charles Morris, Journal of Symbolic Logic, Vol. 13, No. 4. (Dec., 1948), p. 218.

Generalization of Menger’s Result on the Structure of Logical Formulas. Dal Charles Gerneth, Journal of Symbolic Logic, Vol. 13, No. 4. (Dec., 1948), p. 224.

Considerazioni Sulla Compatibilita di un Sistema di Postulati e Sulla Dimostrabilita delle Formule Mathematiche. Ettore Carruccio, Journal of Symbolic Logic, Vol. 13, No. 4. (Dec., 1948), pp. 225-226.

Le Origini della Metodologia Moderna. L. Geymonat, Journal of Symbolic Logic, Vol. 13, No. 4. (Dec., 1948), p. 226.

La Crisi Della Logica Formale. L. Geymonat, Journal of Symbolic Logic, Vol. 13, No. 4. (Dec., 1948), pp. 226-227.

An Evaluation of Symbolic Logic. R. A. Kocourek, Journal of Symbolic Logic, Vol. 14, No. 1. (Mar., 1949), p. 52.

Language, Truth and Logic. Alfred Jules Ayer, Journal of Symbolic Logic, Vol. 14, No. 1. (Mar., 1949), pp. 52-53.

A Note Concerning the Paradoxes of Strict Implication and Lewis’s System S1. Soren Hallden, Journal of Symbolic Logic, Vol. 14, No. 1. (Mar., 1949), p. 69.

Les Etapes des Mathematiques. Marcel Boll, Journal of Symbolic Logic, Vol. 14, No. 2. (Jun., 1949), p. 126.

La Scuola Polacca di Logica. Giusseppe Vaccarino, Journal of Symbolic Logic, Vol. 14, No. 2. (Jun., 1949), p. 127.

Cybernetics. Or Control and Communication in the Animal and the Machine. Norbert Wiener, Journal of Symbolic Logic, Vol. 14, No. 2. (Jun., 1949), p. 127.

Mathematical Biophysics. N. Rashevsky, Journal of Symbolic Logic, Vol. 14, No. 2. (Jun., 1949), p. 128.

Algebra of Neural Nets. Duane Studley, Journal of Symbolic Logic, Vol. 14, No. 2. (Jun., 1949), p. 128.

L’etat et les Besoins de L’Histoire de la Logique Formelle. I. M. Bochenski, Journal of Symbolic Logic, Vol. 14, No. 2. (Jun., 1949), p. 132.

Consciousness, Philosophy, and Mathematics. L. E. J. Brouwer, Journal of Symbolic Logic, Vol. 14, No. 2. (Jun., 1949), pp. 132-133.

`An Account of the Word Semantics.’ Allen Walker Read, Journal of Symbolic Logic, Vol. 14, No. 2. (Jun., 1949), p. 135.

Mr. Ill-Named. P. T. Geach, Journal of Symbolic Logic, Vol. 14, No. 2. (Jun., 1949), p. 136.

Certain Problems Connected with the Definitions of Identity and of Definite Descriptions Given in Principia Mathematica. Soren Hallden, Journal of Symbolic Logic, Vol. 14, No. 2. (Jun., 1949), pp. 136-137.

A Proposito di Alcune Discussioni Recenti sui Problemi della Logica Deduttiva. Giovanni Giorgi, Journal of Symbolic Logic, Vol. 14, No. 2. (Jun., 1949), p. 141.

Alcune Conseguenze di un Risultato del Godel e la Razionalita del Reale. Ettore Carruccio, Journal of Symbolic Logic, Vol. 14, No. 2. (Jun., 1949), p. 142.

Remarks Concerning the Latest Discussion on Sense-Data. K. Marc-Wogau, Journal of Symbolic Logic, Vol. 14, No. 3. (Sep., 1949), p. 183.

Introduction a la Philosophie. Louis De Raeymaeker Inleiding tot de Wijsbegeerte. L. De Raeymaeker, Journal of Symbolic Logic, Vol. 14, No. 3. (Sep., 1949), p. 186.

Textbook of Logic. A. Wolf, Journal of Symbolic Logic, Vol. 14, No. 3. (Sep., 1949), p. 186.

On the Idea of Logical Truth (I). G. H. v. Wright Form and Content in Logic. G. H. von Wright, Journal of Symbolic Logic, Vol. 15, No. 1. (Mar., 1950), pp. 58-59.

Grundzuge der Theoretischen Logik. D. Hilbert, W. Ackermann, Journal of Symbolic Logic, Vol. 15, No. 1. (Mar., 1950), p. 59.

Lattice Theory. Garrett Birkhoff, Journal of Symbolic Logic, Vol. 15, No. 1. (Mar., 1950), pp. 59-60.

Are Variables Necessary in Calculus? Karl Menger, Journal of Symbolic Logic, Vol. 15, No. 1. (Mar., 1950), p. 61.

Der Gestaltbegriff im Lichte der Neuen Logik. Kurt Grelling, Paul Oppenheim Supplementary Remarks on the Concept of Gestalt. Kurt Grelling, Paul Oppenheim, Journal of Symbolic Logic, Vol. 15, No. 1. (Mar., 1950), p. 61.

The Theory of Logic–A Contribution to Scientific Logic. Katsumi Nakamura Zum Logistischen Gestaltbegriffe. Katsumi Nakamura, Journal of Symbolic Logic, Vol. 15, No. 1. (Mar., 1950), pp. 61-62.

Uber die Konverse der Relation. Uuno Saarnio, Journal of Symbolic Logic, Vol. 15, No. 1. (Mar., 1950), p. 62.

Statistical vs. Pragmatic Inference. John E. Freund A Note on Churchman’s “Statistics, Pragmatics, Induction.” Thomas A. Cowan Reply to Comments on “Statistics, Pragmatics, Induction.” C. West Churchman, Journal of Symbolic Logic, Vol. 15, No. 1. (Mar., 1950), pp. 62-63.

The Problem of the Morning Star and the Evening Star. Frederic B. Fitch, Journal of Symbolic Logic, Vol. 15, No. 1. (Mar., 1950), p. 63.

Are Philosophical Theses Relative to Language? L. Jonathan Cohen, Journal of Symbolic Logic, Vol. 15, No. 1. (Mar., 1950), p. 63.

Stoic Logic and the Text of Sextus Empiricus. Benson Mates, Journal of Symbolic Logic, Vol. 15, No. 1. (Mar., 1950), pp. 63-64.

The Condition and the Needs of the History of Formal Logic. Inocenty M. Bochenski, Journal of Symbolic Logic, Vol. 15, No. 1. (Mar., 1950), p. 64.

An Investigation of Protothetic. Boleslaw Sobocinski, Journal of Symbolic Logic, Vol. 15, No. 1. (Mar., 1950), p. 64.

On an Implication Function in Many-Valued Systems of Logic. Z. P. Dienes , Nicholas Rescher Journal of Symbolic Logic, Vol. 15, No. 1. (Mar., 1950), pp. 69-70.

Theorie et Applications des Treillis. Garrett Birkhoff, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), p. 136.

A Relay Machine for the Demonstration of Symbolic Logic. W. Mays, D. G. Prinz, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), p. 138.

A Proof of Independence. Hao Wang, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), p. 138.

On the System of Natural Numbers. M. O. Gonzalez, J. D. Mancill, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), pp. 138-139.

On the Categorical Syllogism. I. M. Bochenski, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), pp. 140-141.

CS(n): An Extension of CS. Ivo Thomas, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), pp. 141-142.

The Aristotelian Theory of Classes. Anders Wedberg, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), p. 142.

Logic and Theology. Ivo Thomas, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), pp. 142-143.

Some Laws of the Calculus of Quantifiers. Ivo Thomas, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), p. 143.

Il Problema della Razionalita del Reale. Ettore Carruccio, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), p. 143.

Sulla Potenza dell’insieme delle Proposizioni di un dato Sistema Ipotetico-Deduttivo. Ettore Carrucio, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), p. 143.

Mathematiques et Formalisme. Jean Cavailles, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), pp. 143-144.

On Likeness of Meaning. Nelson Goodman, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), pp. 150-151.

Fugitive Propositions. Austin Duncan-Jones, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), p. 151.

On Rigour in Semantics. Peter Thomas Geach Mr. Geach on Mention and Use. R. M. Martin, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), p. 151.

A Note on Semantics. Ernest H. Hutten, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), p. 152.

Tractatus Logico-Philosophicus. Ludwig Wittgenstein, Journal of Symbolic Logic, Vol. 15, No. 2. (Jun., 1950), p. 157.

On the Idea of Logical Truth (I). G. H. v. Wright Form and Content in Logic. G. H. von Wright, Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), p. 199.

Theory of Sets. E. Kamke, Frederick Bagemihl, Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), p. 201.

Axiome de Zermelo et Nombres Transfinis. Paul Levy, Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), pp. 201-202.

Analyse et Geometrie Euclidiennes. Emile Borel, Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), p. 202.

Giant Brains. Or Machines That Think. Edmund Callis Berkeley, Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), pp. 202-203.

Multiply General Sentences. Stuart Hampshire, Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), p. 216.

Heterology and Hierarchy. Nathaniel Lawrence, Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), pp. 216-217.

Russell’s Theory of Descriptions. P. T. Geach, Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), p. 217.

Entailment and the Meaning of Words. S. Korner, Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), pp. 217-218.

Whitehead and Russell’s Theory of Types. J. J. C. Smart, Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), p. 218.

Modern Logic and the Synthetic a Priori. Irving M. Copi (Copilowish), Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), p. 221.

Godel and the Synthetic a Priori. Atwell R. Turquette, Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), pp. 221-222.

Acquaintance and Description Again. Wilfrid Sellars, Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), p. 222.

Das Kontinuumproblem. P. Finsler, Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), p. 230.

Semantics, General Semantics, Semiotic. New Acceptations of Old Terms. Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), p. 235.

Semantics: 10 eventful years S. I. Hayakawa, Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), p. 235.

The Morass of Modern Bourgeois Philosophy. B. Bykhovsky, Anatol Rapoport, S. I. Hayakawa, Journal of Symbolic Logic, Vol. 15, No. 3. (Sep., 1950), pp. 235-236.

On the Idea of Logical Truth (I). G. H. v. Wright Form and Content in Logic. G. H. von Wright, Journal of Symbolic Logic, Vol. 15, No. 4. (Dec., 1950), p. 280.

Supplement to my Paper “Axioms of the Natural Numbers”. Baruch Germansky, Journal of Symbolic Logic, Vol. 15, No. 4. (Dec., 1950), p. 282.

A New Set of Axioms Sufficient for the Development of the Theory of Natural Numbers. Baruch Germansky, Journal of Symbolic Logic, Vol. 15, No. 4. (Dec., 1950), p. 282.

An Alternative Proof of a Theorem of Equivalence Concerning Axioms of Natural Numbers. Baruch Germansky, Journal of Symbolic Logic, Vol. 15, No. 4. (Dec., 1950), p. 282.

An Introduction to the Theory of Statistics. G. Udny Yule, M. G. Kendall, Journal of Symbolic Logic, Vol. 16, No. 1. (Mar., 1951), p. 51.

Zur Algebraik des Logikkalkuls. F. L. Bauer, Journal of Symbolic Logic, Vol. 16, No. 1. (Mar., 1951), p. 62.

A Venn Diagram Analogue Computer. A. Archer, Journal of Symbolic Logic, Vol. 16, No. 1. (Mar., 1951), p. 62.

Die Moderne und die Traditionelle Logik. Victor Kraft, Journal of Symbolic Logic, Vol. 16, No. 1. (Mar., 1951), p. 78.

Uber ein Zweiwertiges Modell einer Vierwertigen Logik. Gottfried Martin, Journal of Symbolic Logic, Vol. 16, No. 2. (Jun., 1951), p. 150.

The Inconsistency or Redundancy of Principia Mathematica. Irving M. Copi, Journal of Symbolic Logic, Vol. 16, No. 2. (Jun., 1951), pp. 154-155.

On Using Inverted Commas. Leonard Linsky, Journal of Symbolic Logic, Vol. 16, No. 3. (Sep., 1951), pp. 208-209.

Bertrand Russell, O. M. A Pictorial Biography. H. W. Leggett, Journal of Symbolic Logic, Vol. 16, No. 3. (Sep., 1951), p. 223.

Encyclopaedia Britannica L. Susan Stebbing, Journal of Symbolic Logic, Vol. 16, No. 3. (Sep., 1951), p. 223.

An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities. George Boole, Journal of Symbolic Logic, Vol. 16, No. 3. (Sep., 1951), pp. 224-225.

Symbolic Logic. Clarence Irving Lewis, Cooper Harold Langford, Journal of Symbolic Logic, Vol. 16, No. 3. (Sep., 1951), p. 225.

On Variable Functors of Propositional Arguments. Jan Lukasiewicz On an Extended System of the Propositional Calculus. C. A. Meredith, Journal of Symbolic Logic, Vol. 16, No. 3. (Sep., 1951), pp. 229-230.

Remarque Sur les Notions d’Independance et de Non-Contradiction. Alan Rose, Journal of Symbolic Logic, Vol. 16, No. 4. (Dec., 1951), p. 279.

Introduccion a la Logica y a la Metodologia de las Ciencias Deductivas. Alfred Tarski, T. R. Bachiller, J. R. Fuentes, Journal of Symbolic Logic, Vol. 16, No. 4. (Dec., 1951), pp. 283-284.

Transcendentalizaciones Matematicas Ilegitimas y Falacias Correlacionadas. Version Taquigrafica de las Conferencias Pronunciadas en la Facultad de Filosofia y Letras de Buenos Aires. Carlos Vaz Ferreira, Journal of Symbolic Logic, Vol. 17, No. 1. (Mar., 1952), p. 64.

Basic Confusions in Current Notions of Propositional Calculi. Henry Veatch, Journal of Symbolic Logic, Vol. 17, No. 1. (Mar., 1952), pp. 64-66.

A Formalization of the C-0 Propositional Calculus. Alan Rose, Journal of Symbolic Logic, Vol. 17, No. 1. (Mar., 1952), p. 66.

Some Comments on Truth and Designation. R. M. Martin Designation and Truth–A Reply. P. T. Geach, Journal of Symbolic Logic, Vol. 17, No. 1. (Mar., 1952), pp. 70-71.

On the Representation of Recursive Functions. A. A. Markov, Journal of Symbolic Logic, Vol. 17, No. 1. (Mar., 1952), pp. 72-73.

Contributions to the Reduction Theory of the Decision Problem. First Paper. Prefix (x1)(x2)(∃x3)⋯(∃xn − 1)(xn), a Single Binary Predicate. Laszlo Kalmar, Journal of Symbolic Logic, Vol. 17, No. 1. (Mar., 1952), p. 73.

On Natural Deduction. W. V. Quine, Journal of Symbolic Logic, Vol. 17, No. 1. (Mar., 1952), pp. 76-77.

2 + 2 Fanno 4. A. Natucci, Journal of Symbolic Logic, Vol. 17, No. 1. (Mar., 1952), p. 77.

Bemerkungen zur Geschichte der De Morgansche Gesetze in der Scholastik. Philotheus Boehner, Journal of Symbolic Logic, Vol. 17, No. 2. (Jun., 1952), pp. 123-124.

Konstruktiver Aufbau Eines Abschnitts der Zweiten Cantorschen Zahlenklasse. Wilhelm Ackermann, Journal of Symbolic Logic, Vol. 17, No. 2. (Jun., 1952), pp. 152-153.

Sobre el Algebra de la Logica de Schroder. Ramon Crespo Pereira, Journal of Symbolic Logic, Vol. 17, No. 2. (Jun., 1952), p. 154.

Symbolic Logic and Metamathematics. Crispin Kim-Bradley, Journal of Symbolic Logic, Vol. 17, No. 2. (Jun., 1952), p. 154.

Mathematische Grundlagenforschung. Arnold Schmidt, Journal of Symbolic Logic, Vol. 17, No. 3. (Sep., 1952), pp. 198-199.

La Objecion de Grandjot a la Teoria de Peano del Numero Natural. Pedro Pi Calleja, Journal of Symbolic Logic, Vol. 17, No. 3. (Sep., 1952), pp. 199-200.

El Tercero Incluido en la Contraparadoja de Russell. Pedro Pi Calleja, Journal of Symbolic Logic, Vol. 17, No. 3. (Sep., 1952), p. 200.

A Proposito de la Nota del Dr. Pi Calleja. Sobre Paradojas Logicas y Principio del Tertium non Datur. B. Levi, Journal of Symbolic Logic, Vol. 17, No. 3. (Sep., 1952), pp. 200-201.

Analisis Matematico. Vol. I. Analisis Algebraico–Teoria de Ecuaciones–Calculo Infinitesimal de una Variable. Julio Rey Pastor, Pedro Pi Calleja, Cesar A. Trejo, Journal of Symbolic Logic, Vol. 17, No. 3. (Sep., 1952), p. 201.

Elementi di Teoria dei Numeri. Giovanni Ricci, Journal of Symbolic Logic, Vol. 17, No. 3. (Sep., 1952), p. 201.

Contributions to the Founding of the Theory of Transfinite Numbers. Georg Cantor, Philip E. B. Jourdain, Journal of Symbolic Logic, Vol. 17, No. 3. (Sep., 1952), p. 208.

Introduction to Mathematical Thinking. The Formation of Concepts in Modern Mathematics. Friedrich Waismann, Karl Menger, Theodore J. Benac, Journal of Symbolic Logic, Vol. 17, No. 3. (Sep., 1952), p. 208.

What is Semantics? Anatol Rapoport, Journal of Symbolic Logic, Vol. 17, No. 3. (Sep., 1952), pp. 216-217.

An Aristotelian Defense of “Non-Aristotelian” Logics. Robert S. Brumbaugh, Journal of Symbolic Logic, Vol. 17, No. 3. (Sep., 1952), p. 217.

Logic Machines. Martin Gardner, Journal of Symbolic Logic, Vol. 17, No. 3. (Sep., 1952), p. 217.

A Note on an Article by R. K. P. Singh and R. Shukla. Erik Gotlind, Journal of Symbolic Logic, Vol. 17, No. 4. (Dec., 1952), p. 277.

Essays on Logic and Language A. G. N. Flew, Gilbert Ryle, Journal of Symbolic Logic, Vol. 17, No. 4. (Dec., 1952), pp. 284-285.

(Logistiek en wetenschapsleer) Logistic and Methodology of Science. E. J. E. Huffer (Logica en wijsbegeerte van de wiskunde) Logic and Philosophy of Mathematics. R. Feys, Journal of Symbolic Logic, Vol. 17, No. 4. (Dec., 1952), p. 289.

Astounding Science Fiction. C. Kim-Bradley, Journal of Symbolic Logic, Vol. 17, No. 4. (Dec., 1952), p. 289.

On the Proofs of Independence of the Axioms of the Classical Sentential Calculus. Thoralf Skolem , Nicholas Rescher Journal of Symbolic Logic, Vol. 18, No. 1. (Mar., 1953), p. 67.

A Summary of Symbolic Logic and its Practical Applications. Edmund C. Berkeley A Summary of Symbolic Logic and its Practical Applications. Second Printing. Edmund C. Berkeley, Journal of Symbolic Logic, Vol. 18, No. 1. (Mar., 1953), p. 68.

Exhibition of the Work of W. Stanley Jevons. W. Mays, D. P. Henry, Journal of Symbolic Logic, Vol. 18, No. 1. (Mar., 1953), p. 69.

Translations from the Philosophical Writings of Gottlob Frege. Peter Geach, Max Black, Journal of Symbolic Logic, Vol. 18, No. 1. (Mar., 1953), pp. 92-93.

Studia Philosophica Daniela Gromska, Journal of Symbolic Logic, Vol. 18, No. 1. (Mar., 1953), pp. 93-94.

Such Stuff as Dreams are Made on – in Mathematics. Einar Hille, Journal of Symbolic Logic, Vol. 18, No. 2. (Jun., 1953), p. 183.

Problem. Baruch Germansky, Journal of Symbolic Logic, Vol. 18, No. 3. (Sep., 1953), p. 263.

Contributions to the Reduction Theory of the Decision Problem. Second Paper. Three Universal, One Existential Quantifiers. Janos Suranyi, Journal of Symbolic Logic, Vol. 18, No. 3. (Sep., 1953), p. 264.

Contributions to the Reduction Theory of the Decision Problem. Third Paper. Prefix (x1)(∃x2)⋯(∃xn − 2)(xn − 1)(xn), a Single Binary Predicate. Laszlo Kalmar, Journal of Symbolic Logic, Vol. 18, No. 3. (Sep., 1953), p. 264.

Contributions to the Reduction Theory of the Decision Problem. Fourth Paper Reduction to the Case of a Finite Set of Individuals. Laszlo Kalmar, Journal of Symbolic Logic, Vol. 18, No. 3. (Sep., 1953), pp. 264-265.

Contributions to the Reduction Theory of the Decision Problem. Fifth Paper. Ackermann Prefix with Three Universal Quantifiers. Janos Suranyi, Journal of Symbolic Logic, Vol. 18, No. 3. (Sep., 1953), p. 265.

Logic and Dialectic in the Soviet Union. Alexander Philipov, Ernest Nagel, Journal of Symbolic Logic, Vol. 18, No. 3. (Sep., 1953), pp. 272-273.

Self-Dual Primitives for Modal Logic. Alan Rose, Journal of Symbolic Logic, Vol. 18, No. 3. (Sep., 1953), pp. 282-283.

On a Universal Decision Element. Boleslaw Sobocinski, Journal of Symbolic Logic, Vol. 18, No. 3. (Sep., 1953), pp. 284-285.

Science and Hypothesis. H. Poincare Science and Method. Henri Poincare, Journal of Symbolic Logic, Vol. 18, No. 4. (Dec., 1953), p. 327.

Formal Logic and Switching Circuits. Theodore A. Kalin, Journal of Symbolic Logic, Vol. 18, No. 4. (Dec., 1953), pp. 345-346.

Nippon Electrical Communication Engineering. Akira Nakasima, Masao Hanzawa, Journal of Symbolic Logic, Vol. 18, No. 4. (Dec., 1953), p. 346.

A Symbolic Analysis of Relay and Switching Circuits. Claude E. Shannon, Journal of Symbolic Logic, Vol. 18, No. 4. (Dec., 1953), p. 347.

Synthesis of Electronic Computing and Control Circuits. Howard H. Aiken, William Burkhart, Theodore Kalin, Peter F. Strong, Journal of Symbolic Logic, Vol. 18, No. 4. (Dec., 1953), p. 347.

Calculating Instruments and Machines. Douglas R. Hartree, Journal of Symbolic Logic, Vol. 18, No. 4. (Dec., 1953), p. 347.

The Design of Switching Circuits. William Keister, Alistair E. Ritchie, Seth H. Washburn, John Meszar, Journal of Symbolic Logic, Vol. 18, No. 4. (Dec., 1953), pp. 347-348.

Principles of Mathematics. Carl B. Allendoerfer, Cletus O. Oakley, Journal of Symbolic Logic, Vol. 19, No. 1. (Mar., 1954), pp. 64-65.

Zum Problem der Ubertragung Mathetischer Prinzipien: Die “Allgemeine Semantik.” Eine Nichtaristotelische Wertungslehre Alfred Korzybskis. Hugo Fischer, Journal of Symbolic Logic, Vol. 19, No. 1. (Mar., 1954), p. 65.

The Parva Logicalia in Modern Dress. A. N. Prior, Journal of Symbolic Logic, Vol. 19, No. 1. (Mar., 1954), pp. 73-74.

Saint Vincent Ferrer’s De Suppositionibus. Ivo Thomas, Journal of Symbolic Logic, Vol. 19, No. 1. (Mar., 1954), p. 74.

Some Remarks on “Synonymity” and the Language of the Semanticists. David Shwayder, Journal of Symbolic Logic, Vol. 19, No. 2. (Jun., 1954), p. 139.

On Types, Denotation, and Truth. R. M. Martin, Journal of Symbolic Logic, Vol. 19, No. 2. (Jun., 1954), pp. 139-140.

Algebra of Classes. Garrett Birkhoff, Saunders MacLane, Journal of Symbolic Logic, Vol. 19, No. 2. (Jun., 1954), p. 140.

A Note on Chwistek and Hetper’s Foundation of Formal Metamathematics. Erik Gotlind, Journal of Symbolic Logic, Vol. 19, No. 2. (Jun., 1954), p. 140.

Computers and Automata. Claude E. Shannon, Journal of Symbolic Logic, Vol. 19, No. 2. (Jun., 1954), pp. 140-141.

Machine Aid for Switching Circuit Design. Claude E. Shannon, Edward F. Moore, Journal of Symbolic Logic, Vol. 19, No. 2. (Jun., 1954), p. 141.

Theory of Logical Nets. Arthur W. Burks, Jesse B. Wright, Journal of Symbolic Logic, Vol. 19, No. 2. (Jun., 1954), pp. 141-142.

Elements of Boolean Algebra for the Study of Information-Handling Systems. Robert Serrell, Journal of Symbolic Logic, Vol. 19, No. 2. (Jun., 1954), p. 142.

Two Theorems about Truth-Functions. W. V. Quine, Journal of Symbolic Logic, Vol. 19, No. 2. (Jun., 1954), pp. 142-143.

On Completeness of Decision Element Sets. Norman M. Martin, Journal of Symbolic Logic, Vol. 19, No. 2. (Jun., 1954), p. 143.

Notes on Decision Element Systems using Various Practical Techniques. John D. Goodell, Journal of Symbolic Logic, Vol. 19, No. 2. (Jun., 1954), p. 143.

Single Axioms for the Systems (C, N), (C, 0) and (A, N) of the Two- Valued Propositional Calculus. Carew A. Meredith, Journal of Symbolic Logic, Vol. 19, No. 2. (Jun., 1954), pp. 143-144.

A Single Axiom of Positive Logic. Carew A. Meredith, Journal of Symbolic Logic, Vol. 19, No. 2. (Jun., 1954), p. 144.

On the Pseudo-Set. Tameharu Shirai, Journal of Symbolic Logic, Vol. 19, No. 3. (Sep., 1954), p. 221.

Logique 1900-1950. Robert Blanche, Journal of Symbolic Logic, Vol. 19, No. 3. (Sep., 1954), p. 235.

A Formalisation of the 2-Valued Propositional Calculus with Self-Dual Primitives. Alan Rose, Journal of Symbolic Logic, Vol. 19, No. 4. (Dec., 1954), p. 295.

Zum Problem der Konstitution von Bedeutung. Hans Heinz Holz Language and Hypostatization. H. G. Alexander Was ist Konventionalismus? Zum 50jahrigen Jubilaum des Erscheinens der Hugo Dingler La Definition des Nombres par leur valeur Numerique et par leur Origine; Role de ce Concept en Philosophie Mathematique. Dimitri Riabouchinsky La Matematica como Ciencia de Estructuras Formales (Dialectica) y como ciencia de Estructuras Reales (Ciencia Natural). Miguel Sanchez-Mazas A Synoptic Index to the Proceedings of the Aristotelian Society 1900-1949. J. W. Scott, Journal of Symbolic Logic, Vol. 20, No. 1. (Mar., 1955), pp. 57-58.

On a Pseudo-Test of Translation. Nelson Goodman, Journal of Symbolic Logic, Vol. 20, No. 1. (Mar., 1955), p. 62.

The Vienna Circle. The Origin of Neo-Positivism. A Chapter in the History of Recent Philosophy. Victor Kraft, Journal of Symbolic Logic, Vol. 20, No. 1. (Mar., 1955), pp. 62-63.

Teoria Algorifmov (Az Algoritmusok Elemelete. A. A. Markov, Journal of Symbolic Logic, Vol. 20, No. 1. (Mar., 1955), p. 73.

Introduction to Symbolic Logic. A. H. Basson, D. J. O’Connor, Journal of Symbolic Logic, Vol. 20, No. 1. (Mar., 1955), pp. 84-86.

Sulla Critica di Grandjot all’Arimetica di Paeno. Ugo Cassina, Journal of Symbolic Logic, Vol. 20, No. 2. (Jun., 1955), pp. 175-176.

Banishing the Rule of Substitution for Functional Variables. Leon Henkin, Journal of Symbolic Logic, Vol. 20, No. 2. (Jun., 1955), pp. 179-180.

On Insolubilia. P. T. Geach, Journal of Symbolic Logic, Vol. 20, No. 2. (Jun., 1955), p. 192.

Physics and Mathematical Logic. U. Farinelli, A. Gamba, Journal of Symbolic Logic, Vol. 20, No. 3. (Sep., 1955), p. 285.

Application of Logical Mathematics to the Theory of Relay Networks. Motinori Goto, Journal of Symbolic Logic, Vol. 20, No. 3. (Sep., 1955), pp. 285-286.

The Algebra of States and Events. Edmund C. Berkeley, Journal of Symbolic Logic, Vol. 20, No. 3. (Sep., 1955), pp. 286-287.

Contradiction and Absurdity. K. Baier, Journal of Symbolic Logic, Vol. 20, No. 3. (Sep., 1955), p. 301.

Problemas de “Theoria.” Problema n.o I. Journal of Symbolic Logic, Vol. 20, No. 3. (Sep., 1955), p. 304.

Sematics and the Philosophy of language Leonard Linsky, Journal of Symbolic Logic, Vol. 21, No. 1. (Mar., 1956), p. 76.

The Semantic Conception of Truth and the Foundations of Semantics. Alfred Tarski The Modes of Meaning. C. I. Lewis On Likeness of Meaning. Nelson Goodman, Journal of Symbolic Logic, Vol. 21, No. 1. (Mar., 1956), pp. 76-77.

Notes on Existence and Necessity. Willard V. Quine, Journal of Symbolic Logic, Vol. 21, No. 1. (Mar., 1956), pp. 77-78.

The Paradox of Necessary Truth. Paul Weiss, Journal of Symbolic Logic, Vol. 21, No. 1. (Mar., 1956), p. 83.

Mr. Weiss on the Paradox of Necessary Truth. Yehoshua Bar-Hillel, Journal of Symbolic Logic, Vol. 21, No. 1. (Mar., 1956), p. 83.

An Introduction to Symbolic Logic. Susanne K. Langer, Journal of Symbolic Logic, Vol. 21, No. 2. (Jun., 1956), p. 187.

Inleiding tot de Logica en tot de Methodeleer der Deductieve Wetenschappen. Alfred Tarski, Journal of Symbolic Logic, Vol. 21, No. 2. (Jun., 1956), p. 187.

An Analysis and Generalization of Venn’s Diagrammatic Decision Procedure. Seweryna Luszczewska-Romahnowa, Journal of Symbolic Logic, Vol. 21, No. 2. (Jun., 1956), p. 193.

Frege on Functions Max Black, Journal of Symbolic Logic, Vol. 21, No. 2. (Jun., 1956), pp. 201-202.

On Certain Peculiarities of Singular Propositions. Tadeusz Czezowski, Journal of Symbolic Logic, Vol. 21, No. 2. (Jun., 1956), p. 207.

On Equivalence Relations. W. T. Guy, Jr., Journal of Symbolic Logic, Vol. 21, No. 2. (Jun., 1956), p. 207.

Remark on Equivalence Relations. R. A. Rosenbaum, Journal of Symbolic Logic, Vol. 21, No. 2. (Jun., 1956), p. 207.

Logistique. Robert Feys, Journal of Symbolic Logic, Vol. 21, No. 3. (Sep., 1956), p. 309.

Some Logical Concepts for Syntax. Luitgard Wundheiler, Alex Wundheiler, William N. Locke, A. Donald Booth, Journal of Symbolic Logic, Vol. 21, No. 3. (Sep., 1956), pp. 312-313.

Logik. Bela Fogarasi, Samuel Szemere, Journal of Symbolic Logic, Vol. 21, No. 3. (Sep., 1956), p. 314.

On the Language of Converse Relations. Ellis Evans, Journal of Symbolic Logic, Vol. 21, No. 3. (Sep., 1956), pp. 318-319.

A System Which can Define Its Own Truth. John Myhill, Journal of Symbolic Logic, Vol. 21, No. 3. (Sep., 1956), p. 319.

On Peut Eviter les Antinomies Classiques Sans Restreindre la Notion d’Ensemble. Francois Moch, Journal of Symbolic Logic, Vol. 21, No. 3. (Sep., 1956), p. 322.

Zwei Theoreme Uber Die Einerklasse. Curt Christian, Journal of Symbolic Logic, Vol. 21, No. 3. (Sep., 1956), p. 322.

A Proof of the Inconsistency of Quine’s System “Mathematical Logic (1951).” Curt Christian, Journal of Symbolic Logic, Vol. 21, No. 3. (Sep., 1956), p. 322.

Godel’s Proof. Ernest Nagel, James R. Newman, Journal of Symbolic Logic, Vol. 21, No. 4. (Dec., 1956), p. 374.

The Rise of Scientific Philosophy. Hans Reichenbach, Journal of Symbolic Logic, Vol. 21, No. 4. (Dec., 1956), p. 396.

Remarks on the Definition and Nature of Mathematics. H. B. Curry, Journal of Symbolic Logic, Vol. 22, No. 1. (Mar., 1957), pp. 85-86.

Signs, Language, and Behavior. Charles Morris, Journal of Symbolic Logic, Vol. 22, No. 1. (Mar., 1957), p. 88.

Logical and Combinatorial Problems in Computer Design. Robert McNaughton, Journal of Symbolic Logic, Vol. 22, No. 2. (Jun., 1957), p. 222.

On Variables in Mathematics and in Natural Science. Karl Menger Variables, de Diverses Natures. Karl Menger What are Variables and Constants. Karl Menger, Journal of Symbolic Logic, Vol. 22, No. 3. (Sep., 1957), pp. 300-301.

Contemporary Science and Deductive Methodology. Joseph T. Clark, Journal of Symbolic Logic, Vol. 22, No. 4. (Dec., 1957), p. 359.

Decision Problems of Logic and Mathematics. E. W. Beth, Journal of Symbolic Logic, Vol. 22, No. 4. (Dec., 1957), p. 359.

Errata. Arithmetical Predicates and Function Quantifiers. S. C. Kleene, Journal of Symbolic Logic, Vol. 22, No. 4. (Dec., 1957), p. 375.

Metodos Grafico y Algebraico Para el Proyecto de Circuitos Electronicos de Calculo. P. Puig Adam, Journal of Symbolic Logic, Vol. 22, No. 4. (Dec., 1957), p. 377.

Some Calculations in Logic. C. C. H. Barker, Journal of Symbolic Logic, Vol. 22, No. 4. (Dec., 1957), p. 379.

Linguaggio e ftlosofia, Studi metodologici Max Black, F. Salvoni, Journal of Symbolic Logic, Vol. 22, No. 4. (Dec., 1957), p. 407.

Chapter 23: Logic. John E. Freund, Journal of Symbolic Logic, Vol. 22, No. 4. (Dec., 1957), p. 407.

Deux Etudes sur les Fondements des Mathematiques. P. Laberenne La Geometrie non Euclidienne et les Definitions Axiomatiques. Jacques Hadamard Sur l’Impossibilite de Demontrer la Compatibilite des Axiomes de L’Arithmetique Jacques Hadamard L’idealisme de la Theorie des Ensembles. A. D. Alexandrov, Journal of Symbolic Logic, Vol. 23, No. 1. (Mar., 1958), pp. 30-32.

Introduction to the Theory of Sets. Joseph Breuer, Howard Franklin Fehr, Journal of Symbolic Logic, Vol. 23, No. 1. (Mar., 1958), pp. 32-33.

A Theorem on Parametric Boolean Functions. W. V. Quine Commutative Boolean Functions. W. V. Quine On Functions of Relations, with Especial Reference to Social Welfare. W. V. Quine Representation of Events in Nerve Nets and Finite Automata. S. C. Kleene, Journal of Symbolic Logic, Vol. 23, No. 1. (Mar., 1958), pp. 58-59.

Gedanken-Experiments on Sequential Machines. Edward F. Moore, Journal of Symbolic Logic, Vol. 23, No. 1. (Mar., 1958), p. 60.

Boolean Algebra and Circuit Analysis. William G. Leavitt, Journal of Symbolic Logic, Vol. 23, No. 1. (Mar., 1958), p. 62.

Logic, Symbolic. W. V. Quine, Journal of Symbolic Logic, Vol. 23, No. 2. (Jun., 1958), pp. 207-209.

Tractatus Logico-Philosophicus. Ludwig Wittgenstein, Journal of Symbolic Logic, Vol. 23, No. 2. (Jun., 1958), p. 213.

Ordinali Transfiniti e Principio del Terzo Escluso (A Proposito di un Ragionamento del Godel. Lucio Lombardo-Radice, Journal of Symbolic Logic, Vol. 23, No. 2. (Jun., 1958), pp. 214-215.

Ein Kriterium fur die Erweiterbarkeit einer Implikation zu Einer Aquivalenz. H. Wendelin, Journal of Symbolic Logic, Vol. 23, No. 2. (Jun., 1958), p. 215.

Hypothese du Continu. Waclaw Sierpinski, Journal of Symbolic Logic, Vol. 23, No. 2. (Jun., 1958), p. 215.

Une Theorie Formalisee Demontree sans Symboles. Robert Feys, Journal of Symbolic Logic, Vol. 23, No. 3. (Sep., 1958), p. 344.

La Conception Intuitionniste de la Logique. A. Heyting, Journal of Symbolic Logic, Vol. 23, No. 3. (Sep., 1958), pp. 344-345.

Ockham Philosophical Writings Philotheus Boehner, Journal of Symbolic Logic, Vol. 23, No. 3. (Sep., 1958), p. 351.

Introduction to Symbolic Logic. A. H. Basson, D. J. O’Connor, Journal of Symbolic Logic, Vol. 23, No. 4. (Dec., 1958), pp. 434-435.

Logic and Scientific Methods. An Introductory Course. Herbert L. Searles, Journal of Symbolic Logic, Vol. 23, No. 4. (Dec., 1958), p. 436.

The Paradox of Necessary Truth, Once More. Paul Weiss, Journal of Symbolic Logic, Vol. 23, No. 4. (Dec., 1958), p. 442.

4-Quantifier Completeness: A Banach-Mazur Functional not Uniformly Partial Recursive. Richard M. Friedberg, Journal of Symbolic Logic, Vol. 24, No. 1. (Mar., 1959), p. 52.

La Logique Mathematique et le Calcul Mecanique. J. Porte, Journal of Symbolic Logic, Vol. 24, No. 1. (Mar., 1959), p. 70.

Some Selected Topics on Switching Algebra. W. L. Van Der Poel, Journal of Symbolic Logic, Vol. 24, No. 1. (Mar., 1959), p. 78.

John of St. Thomas, Outline of Formal Logic Francis C. Wade, Journal of Symbolic Logic, Vol. 24, No. 1. (Mar., 1959), pp. 81-83.

Introduction to Logic. Andrew H. Bachhuber, Journal of Symbolic Logic, Vol. 24, No. 1. (Mar., 1959), pp. 83-84.

Learning Theory and Culture. Omar K. Moore, Donald J. Lewis, Journal of Symbolic Logic, Vol. 24, No. 1. (Mar., 1959), p. 85.

Nominal Definitions of Culture. Omar Khayyam Moore. Moore’s Nominal Definitions of Culture. T. Foster Lindley. Dr. Lindley and “Nominal Definitions of Culture. Omar Khayyam Moore. Journal of Symbolic Logic, Vol. 24, No. 1. (Mar., 1959), pp. 85-86.

Modern Logic and Tasks for Experiments on Problem Solving Behavior. Omar Khayyam Moore, Scarvia B. Anderson Search Behavior in Individual and Group Problem Solving. Omar Khayyam Moore, Scarvia B. Anderson Problem Solving in Multiple-Goal Situations. Scarvia B. Anderson Problem Solving and the Perception of Persons. Omar Khayyam Moore, Journal of Symbolic Logic, Vol. 24, No. 1. (Mar., 1959), p. 86.

Pictorial History of Philosophy. Dagobert D. Runes, Journal of Symbolic Logic, Vol. 24, No. 3. (Sep., 1959), p. 216.

On Mathematics and Mathematicians. Robert Edouard Moritz, Journal of Symbolic Logic, Vol. 24, No. 3. (Sep., 1959), p. 216.

FIRO, A Three-Dimensional Theory of Interpersonal Behavior. William C. Schutz, Journal of Symbolic Logic, Vol. 24, No. 3. (Sep., 1959), pp. 216-217.

‘True’ and ‘Provable’. L. Goddard, Journal of Symbolic Logic, Vol. 25, No. 1. (Mar., 1960), pp. 85-86.

Self-Reference, Truth, and Provability. Charles Parsons, Herbert R. Kohl, Journal of Symbolic Logic, Vol. 25, No. 1. (Mar., 1960), p. 86.

Psychology of Judgment and Choice: A Theoretical Essay. Frank Restle, Journal of Symbolic Logic, Vol. 25, No. 3. (Sep., 1960), p. 257.

Symmetry, Transitivity and Reflexivity. A. N. Prior, Journal of Symbolic Logic, Vol. 25, No. 3. (Sep., 1960), pp. 263-264.

Symbolic Logic and The Game of Logic. Lewis Carroll, Edmund C. Berkeley, Journal of Symbolic Logic, Vol. 25, No. 3. (Sep., 1960), pp. 264-265.

On the Construction of Venn Diagrams. Trenchard More, Jr., Journal of Symbolic Logic, Vol. 27, No. 1. (Mar., 1962), p. 108.

On Lukasiewicz’s L-Modal System. Timothy Smiley, Journal of Symbolic Logic, Vol. 27, No. 1. (Mar., 1962), p. 113.

Language as Existent. Harry A. Nielsen, Journal of Symbolic Logic, Vol. 27, No. 1. (Mar., 1962), p. 118.

Aesthetics and the Gestalt Ian Rawlins, Journal of Symbolic Logic, Vol. 27, No. 1. (Mar., 1962), pp. 126-127.

Formulario Mathematico. Giuseppe Peano, Journal of Symbolic Logic, Vol. 27, No. 4. (Dec., 1962), p. 471.

Neuva Demonstracion de la Completicidad Funcional del Calculo Proposicional Bivalente. Luis Elpidio Sanchis, Journal of Symbolic Logic, Vol. 27, No. 4. (Dec., 1962), p. 471.

The Godel Theorem. An Informal Exposition. Norwood Russell Hanson, Journal of Symbolic Logic, Vol. 27, No. 4. (Dec., 1962), pp. 471-472.

On Bernstein’s Self-Dual Set of Postulates for Boolean Algebras. Richard Montague, Jan Tarski, Journal of Symbolic Logic, Vol. 27, No. 4. (Dec., 1962), p. 472.

Algorithms and Automatic Computing Machines. B. A. Trakhtenbrot, Journal of Symbolic Logic, Vol. 28, No. 1. (Mar., 1963), pp. 104-105.

Some Remarks on Russell’s Treatment of Definite Descriptions. Rolf Schock, Journal of Symbolic Logic, Vol. 28, No. 1. (Mar., 1963), pp. 105-106.

Zu den Logischen Paradoxien. Johann Mokre, Journal of Symbolic Logic, Vol. 28, No. 1. (Mar., 1963), p. 106.

Abstract set theory. Abraham A. Fraenkel, Journal of Symbolic Logic, Vol. 28, No. 2. (Jun., 1963), pp. 168-169.

Apuntes de Teoria de los Conjuntos Abstractos. Julio Rey Pastor, Journal of Symbolic Logic, Vol. 28, No. 3. (Sep., 1963), pp. 250-251.

The Logic of Existence. Henry S. Leonard, Journal of Symbolic Logic, Vol. 28, No. 3. (Sep., 1963), pp. 259-261.

A Note on the Godel Theorem. Norwood Russell Hanson, Journal of Symbolic Logic, Vol. 28, No. 4. (Dec., 1963), p. 295.

A Milestone in Math–Professor’s New Concept. David Perlman, Journal of Symbolic Logic, Vol. 28, No. 4. (Dec., 1963), p. 295.

Stoic Logic. Benson Mates, Journal of Symbolic Logic, Vol. 28, No. 4. (Dec., 1963), p. 295.

American Philosophy in the Twentieth Century. Arthur E. Murphy, Journal of Symbolic Logic, Vol. 29, No. 1. (Mar., 1964), pp. 48-49.

Classics in Logic Dagobert D. Runes, Journal of Symbolic Logic, Vol. 29, No. 3. (Sep., 1964), p. 135.

A Current Appraisal of the Behavioral Sciences. Rollo Handy, Paul Kurtz, Journal of Symbolic Logic, Vol. 29, No. 3. (Sep., 1964), pp. 135-136.

Existential Import Revisited. Karel Lambert, Journal of Symbolic Logic, Vol. 30, No. 1. (Mar., 1965), pp. 103-104.

Die Allgemeingultigkeit der Logischen Regeln. Paul Lorenzen, Journal of Symbolic Logic, Vol. 30, No. 1. (Mar., 1965), p. 104.

Svobodny filosofskij traktat: A Free Philosophical Treatise. Aleksandr Sergeyevich Yesenin-Volpin, Journal of Symbolic Logic, Vol. 30, No. 1. (Mar., 1965), pp. 104-105.

Alcohol and Higher-Order Problem Solving. John A. Carpenter, Omar K. Moore, Charles R. Snyder, Edith S. Lisansky, Journal of Symbolic Logic, Vol. 30, No. 2. (Jun., 1965), p. 243.

Archiv fur Elektrotechnik Hansi Piesch, Journal of Symbolic Logic, Vol. 30, No. 2. (Jun., 1965), pp. 247-248.

N-Terminal Switching Circuits. E. N. Gilbert, Journal of Symbolic Logic, Vol. 30, No. 2. (Jun., 1965), p. 248.

On Formally Undectdable Propositions of Principia Mathematica and Related Systems B. Meltzer, Journal of Symbolic Logic, Vol. 30, No. 3. (Sep., 1965), pp. 357-359.

Automaten und Denkprozesse. Heinz Zemanek, Journal of Symbolic Logic, Vol. 30, No. 3. (Sep., 1965), p. 382.

Wandlungen des Mathematischen Denkens. Eine Einfuhrung in die Grundlagenprobleme der Mathematik. Herbert Meschkowski, Journal of Symbolic Logic, Vol. 31, No. 1. (Mar., 1966), p. 111.

An Incorrect Theorem. Theodore Hailperin, Journal of Symbolic Logic, Vol. 31, No. 1. (Mar., 1966), p. 128.

Ein Bemerkung zu Henkin’s Beweis fur die Vollstandigkeit des Pradikatenkalkuls der ersten Stufe. G. Hasenjaeger, Journal of Symbolic Logic, Vol. 31, No. 2. (Jun., 1966), p. 268.

Roczniki Polskiego Towarzystwa Matematycznego A. Mostowski, Journal of Symbolic Logic, Vol. 31, No. 3. (Sep., 1966), p. 517.

Introduction: A treatise on language David Rynin, Journal of Symbolic Logic, Vol. 31, No. 4. (Dec., 1966), pp. 670-671.

The Gentle Art of Mathematics. Dan Pedoe, Griselda El Tayeb, Journal of Symbolic Logic, Vol. 31, No. 4. (Dec., 1966), p. 675.

International Directory of Philosophy and Philosophers. Gilbert Varet, Paul Kurtz, Journal of Symbolic Logic, Vol. 32, No. 1. (Mar., 1967), p. 106.

Note on the Completeness of Decision Element Sets. Norman M. Martin, Journal of Symbolic Logic, Vol. 32, No. 1. (Mar., 1967), p. 134.

Some Questions about Relations. Peter Glassen, Journal of Symbolic Logic, Vol. 32, No. 3. (Sep., 1967), p. 408.

Scientific Method. Charles Sanders Peirce, Journal of Symbolic Logic, Vol. 32, No. 3. (Sep., 1967), p. 421.

Transistor Logic Circuits. Richard B. Hurley, Journal of Symbolic Logic, Vol. 33, No. 1. (Mar., 1968), pp. 126-127.

Cours de Calcul Booleien Applique (Notions sur les Ensembles et les Treillis, Algebres Booleiennes, Algebre Binaire). M. Denis-Papin, A. Kaufmann, R. Faure, Rene de Possel, Journal of Symbolic Logic, Vol. 33, No. 1. (Mar., 1968), p. 127.

Logica Hamburgensis. Joachim Jungius, Rudolf W. Meyer, Journal of Symbolic Logic, Vol. 33, No. 1. (Mar., 1968), p. 139.

Leibniz, Logical papers G. H. R. Parkinson, Gottfried Wilhelm Leibniz, Journal of Symbolic Logic, Vol. 33, No. 1. (Mar., 1968), pp. 139-140.

The Truth-Conditional Consistency of Natural Languages. Hans G. Herzberger, Journal of Symbolic Logic, Vol. 33, No. 1. (Mar., 1968), pp. 146-147.

The Logical Consistency of Language. Hans G. Herzberger, Janet A. Emig, James T. Fleming, Helen M. Popp, Journal of Symbolic Logic, Vol. 33, No. 1. (Mar., 1968), p. 147.

Signification and Significance. A Study of the Relation of Signs and Values. Charles Morris, Journal of Symbolic Logic, Vol. 33, No. 2. (Jun., 1968), p. 317.

The Completeness of Elementary Algebra and Geometry. Alfred Tarski, Journal of Symbolic Logic, Vol. 34, No. 2. (Jun., 1969), p. 302.

Collected Papers of Charles Sanders Peirec Charles Hartshorne, Paul Weiss, Journal of Symbolic Logic, Vol. 34, No. 3. (Sep., 1969), pp. 494-495.

Geometry and Necessary Truth. Raymond D. Bradley, Journal of Symbolic Logic, Vol. 34, No. 3. (Sep., 1969), pp. 496-497.

Elementary Functions and Coordinate Geometry. Sze-Tsen Hu, Journal of Symbolic Logic, Vol. 34, No. 3. (Sep., 1969), pp. 520-521.

MINIAC: World’s Smallest Electronic Brain. Thomas Storer, Journal of Symbolic Logic, Vol. 34, No. 3. (Sep., 1969), p. 521.

Before and After. G. E. M. Anscombe, Journal of Symbolic Logic, Vol. 36, No. 1. (Mar., 1971), pp. 173-175.

The Problem of Induction and Its Solution. Jerrold J. Katz, Journal of Symbolic Logic, Vol. 36, No. 2. (Jun., 1971), p. 320.

Folia biotheoretica Hans Freudenthal., E. J. Brill, P. Bernays, H. Freudenthal, F. Gonseth, M. Frechet, J. Ladriere, B. Segre, Journal of Symbolic Logic, Vol. 36, No. 3. (Sep., 1971), pp. 514-515.

Les Logiques a Plusieurs Valeurs et l’Automatique. Gr. C. Moisil, Journal of Symbolic Logic, Vol. 36, No. 3. (Sep., 1971), pp. 546-547.

Teoria Algebrica dei Meccanismi Automatici. Grigore Constantin Moisil, Journal of Symbolic Logic, Vol. 36, No. 3. (Sep., 1971), p. 547.

Terms in Their Propositional Contexts in Wittgenstein’s Tractatus. George Kimball Plochmann, Jack B. Lawson, Journal of Symbolic Logic, Vol. 36, No. 3. (Sep., 1971), p. 551.

Belief and Intention in the Epimenides. Judith Schoenberg, Journal of Symbolic Logic, Vol. 36, No. 4. (Dec., 1971), pp. 671-672.

Material Implication and “if…then J. Knox, Jr., Journal of Symbolic Logic, Vol. 37, No. 1. (Mar., 1972), p. 185.

The Antinomy of the Theory of Types. A. Dumitriu, Journal of Symbolic Logic, Vol. 37, No. 1. (Mar., 1972), p. 194.

A Source Book in Mathematical Logic 1879-1931 Gottlob Frege, Journal of Symbolic Logic, Vol. 37, No. 2. (Jun., 1972), p. 405.

Elementary Logic. Benson Mates, Journal of Symbolic Logic, Vol. 37, No. 2. (Jun., 1972), pp. 419-420.

Linguistics David Crystal Grammar Frank Palmer, Journal of Symbolic Logic, Vol. 37, No. 2. (Jun., 1972), p. 420.

An Unsolvable Problem in Number Theory. Hilary Putnam, Journal of Symbolic Logic, Vol. 37, No. 3. (Sep., 1972), pp. 601-602.

On the Work of Alan Baker. Paul Turan Effective Methods in the Theory of Numbers. Alan Baker, Journal of Symbolic Logic, Vol. 37, No. 3. (Sep., 1972), p. 606.

Diophantine Representation of Recursively Enumerable Predicates. Yu. V. Matijasevic, Journal of Symbolic Logic, Vol. 37, No. 3. (Sep., 1972), pp. 606-607.

Symbolic Logic. John Venn, Journal of Symbolic Logic, Vol. 37, No. 3. (Sep., 1972), pp. 614-615.

Elementare Logik (Pradikatenlogik der Ersten Stufe). Benson Mates, Anneliese Oberschelp, Journal of Symbolic Logic, Vol. 37, No. 3. (Sep., 1972), pp. 615-616.

La Synthese des automates finis par la methode de A. Church. Octavian C. Basca, Journal of Symbolic Logic, Vol. 37, No. 3. (Sep., 1972), pp. 625-626.

Les Etats Transitoires dans les Circuits Sequentiels. Gr. C. Moisil, Journal of Symbolic Logic, Vol. 37, No. 3. (Sep., 1972), p. 626.

Problems of Space and Time J. J. C. Smart, Journal of Symbolic Logic, Vol. 38, No. 1. (Mar., 1973), p. 146.

Existence and Description in Formal Logic. Dana Scott, Ralph Schoenman, Journal of Symbolic Logic, Vol. 38, No. 1. (Mar., 1973), pp. 166-169.

Logica e Aritmetica Ludovico Geymonat, Gottlob Frege, Journal of Symbolic Logic, Vol. 38, No. 3. (Dec., 1973), pp. 532-534.

Elementary Logic. Benson Mates, Journal of Symbolic Logic, Vol. 38, No. 4. (Dec., 1973), p. 647.

Language Strata. F. Waismann, A. G. N. Flew, Journal of Symbolic Logic, Vol. 38, No. 4. (Dec., 1973), p. 663.

How I see Philosophy R. Harre, F. Waismann, Journal of Symbolic Logic, Vol. 38, No. 4. (Dec., 1973), pp. 663-665.

Theory Construction. J. J. C. Smart, A. G. N. Flew, Journal of Symbolic Logic, Vol. 38, No. 4. (Dec., 1973), pp. 665-668.

Logique, automatique, informatique C. Moisill, Journal of Symbolic Logic, Vol. 39, No. 1. (Mar., 1974), p. 184.

Introductory Note. Jean van Heijenoort Letter to Frege. Bertrand Russell Introductory Note. Jean van Heijenoort Letter to Russell. Gottlob Frege, Journal of Symbolic Logic, Vol. 39, No. 2. (Jun., 1974), p. 355.

Introductory Note. W. V. Quine Mathematical Logic as Based on the Theory of Types. Bertrand Russell, Journal of Symbolic Logic, Vol. 39, No. 2. (Jun., 1974), pp. 355-356.

Mathematical Logic as Based on the Theory of Types. Bertrand Russell, Irving M. Copi, James A. Gould, Journal of Symbolic Logic, Vol. 39, No. 2. (Jun., 1974), p. 356.

Threshold Logic. Sze-Tsen Hu, Journal of Symbolic Logic, Vol. 40, No. 2. (Jun., 1975), p. 250.

The Logic of Scientific Discovery. Karl R. Popper, Journal of Symbolic Logic, Vol. 40, No. 3. (Sep., 1975), p. 471.

The Logic of Scientific Discovery. Karl Popper, Journal of Symbolic Logic, Vol. 40, No. 3. (Sep., 1975), pp. 471-472.

Logische Syntax der Sprache. Rudolf Carnap, Journal of Symbolic Logic, Vol. 40, No. 3. (Sep., 1975), p. 472.

Logic in Poland. Jerzy Slupecki, Raymond Klibansky Kazimierz Ajdukiewicz. Maria Kokoszynska La Logique en Italie. Ettore Casari, Journal of Symbolic Logic, Vol. 40, No. 3. (Sep., 1975), p. 472.

Logic in Japan. Shoji Maehara, Journal of Symbolic Logic, Vol. 40, No. 3. (Sep., 1975), p. 472.

Intuitionism in Mathematics. A. Heyting, Journal of Symbolic Logic, Vol. 40, No. 3. (Sep., 1975), p. 472.

Introductory Note. W. V. Quine, Jean van Heijenoort Incomplete Symbols: Descriptions. Alfred North Whitehead, Bertrand Russell, Journal of Symbolic Logic, Vol. 40, No. 3. (Sep., 1975), pp. 472-473.

Realism as a Philosophy of Mathematics. Stephen F. Barker, Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), p. 593.

Mathematical Objects. Joseph Ullian, Bernard Baumrin Is any Set Theory True? Joseph S. Ullian, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), pp. 593-595.

Analytical Philosophy. M. J. Charlesworth, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), p. 595.

Antinomy. H. A. Nielsen, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), p. 595.

Axiomatic System. J. A. Ladriere, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), p. 596.

Bolzano, Bernhard. T. A. K. Kloyda, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), p. 596.

Boole, George. G. L. Farre, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), p. 596.

De Morgan, Augustus. G. L. Farre, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), p. 596.

Frege, Gottlob. G. L. Farre, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), p. 596.

Linguistic Analysis. H. A. Nielsen, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), p. 596.

Logic, History of. I. Thomas, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), pp. 596-597.

Logic, Symbolic. W. A. Wallace, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), p. 597.

Mathematics, History of. E. R. Kiely, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), pp. 597-598.

Peano, Giuseppe. G. L. Farre, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), p. 598.

Russell, Bertrand, Philosophy of. B. F. McGuinness, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), p. 598.

Semantics. M. Gorman, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), pp. 598-599.

Note on a Less Restricted Type of Rule of Inference. R. Bradshaw Angell The Sentential Calculus using Rule of Inference Re. R. B. Angell, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), pp. 602-603.

The Rule of Excision in Positive Implication. Ivo Thomas, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), p. 603.

Remarks on Sentential Logics. J. Los, R. Suszko, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), pp. 603-604.

Note on Rules of Inference. Hao Wang, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), p. 604.

Uber die Verallgemeinerung der Theorie der Rekursiven Funktionen fur Abstrakte Mengen Geeigneter Struktur als Definitionsbereiche. Rozsa Peter, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), pp. 620-621.

Rekursive Wortfunktionen uber Unendlichen Alphabeten. Frieder Schwenkel, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), pp. 621-622.

Zum Beitrag von F. Schwenkel “Rekursive Wortfunktionen uber Unendlichen Alphabeten.” Rosza Peter Entgegnung. F. Schwenkel, Journal of Symbolic Logic, Vol. 40, No. 4. (Dec., 1975), p. 622.

On the Syllogism and other Logical Writings by Augustus de Morgan Augustus de Morgan, Journal of Symbolic Logic, Vol. 41, No. 2. (Jun., 1976), pp. 546-547.

Essays in Analysis by Bertrand Russell Douglas Lackey, Bertrand Russell, Journal of Symbolic Logic, Vol. 41, No. 3. (Sep., 1976), pp. 700-702.

Compiled and maintained by John MacFarlane.