J. Symbolic Logic, Tome 17 (1952)

Project Euclid

Review: C. Kim-Bradley, Astounding Science Fiction

Project Euclid

Review: E. J. E. Huffer, (Logistiek en wetenschapsleer) Logistic and Methodology of Science; R. Feys, (Logica en wijsbegeerte van de wiskunde) Logic and Philosophy of Mathematics

Project Euclid

Review: Arne Naess, Some Elementary Logical Topics

Project Euclid

Review: Arne Naess, Introduction to Logic and Methodology

Aubert, Karl Egil

Project Euclid

Review: Arne Naess, Some Elementary Logical Topics

Aubert, Karl Egil

Project Euclid

Review: Konrad Marc-Wogau, Modern Logic. An Elementary Text-Book

Skolem, Th.

Project Euclid

Review: Fritz Paradies, Die Konformationsregeln der Empirischen Rechtswissenschaft; Fritz Paradies, Ernst v. Glasersfeld, The Conformation Rules of Empirical Jurisprudence

Project Euclid

Review: E. W. Beth, The Importance of Mathematical Foundational Research for Elementary Instruction in Mathematics

Feeney, Walter J.

Project Euclid

Review: Victor Kraft, Der Wiener Kreis. Der Ursprung des Neopositivismus. Ein Kapitel der Jungsten Philosophiegeschichte

Hutten, Ernest H.

Project Euclid

Review: E. W. Beth, History of Logic

Project Euclid

Review: Arnold Schimdt, Wie Durfen wir mit dem Unendlichen Umgehen? (Die Grundlage des Mathematischen Intuitionismus.)

Bernays, Paul

Project Euclid

Review: Mary B. Hesse, Boole's Philosophy of Logic

Chisholm, Roderick M.

Project Euclid

Review: Zyoiti Suetuna, On Mathematical Existence

Project Euclid

Review: Zyoiti Suetuna, Understanding of Infinity in Mathematics

Project Euclid

Review: Benson Mates, Analytic Sentences

Project Euclid

Review: Zyoiti Suetuna, On the Intuition Which Forms the Foundation of Mathematics

Project Euclid

Review: Zyoiti Suetuna, On the Reconstruction of Mathematics

Project Euclid

Review: George W. Patterson, Logical Syntax and Transformation Rules

Burks, Arthur W.

Project Euclid

Review: Henry Hiz, On the Inferential Sense of Contrary-to-Fact Conditionals

Project Euclid

Review: Tomoharu Hirano, On Mathematical Induction

Suetuna, Z.

Project Euclid

Review: Alfred L. Foster, $p^k$-Rings and Ring-Logics

Project Euclid

Review: Motokiti Kondo, On the Notion of Effectiveness in the Theory of Sets

Suetuna, Z.

Project Euclid

Review: Carlos Vaz Ferreira, Transcendentalizaciones Matematicas Ilegitimas y Falacias Correlacionadas. Version Taquigrafica de las Conferencias Pronunciadas en la Facultad de Filosofia y Letras de Buenos Aires

Project Euclid

Review: Erik Gotlind, A Note on an Article by R. K. P. Singh and R. Shukla

Project Euclid

Review: Alan Rose, A Formalization of the $C-0$ Propositional Calculus

Project Euclid

Review: Jan Kalicki, On Tarski's Matrix Method

Project Euclid

Review: C. H. Whiteley, The Idea of Logical Form

Project Euclid

Review: Ulrich Klug, Juristische Logik

Project Euclid

Review: Bernard Mayo, "Rules" of Language; Vaclav Edvard Benes, Mr. Mayo on "Rules" of Language

Project Euclid

Review: W. H. Hay, J. R. Weinberg, Concerning Allegedly Necessary Nonanalytic Propositions

Project Euclid

Review: Yehoshua Bar-Hillel, Comments on Logical Form

Project Euclid

Review: I. I. Zegalkin (I. Gegalkine), Sur le Probleme de la Resolubilite Pour les Classes Finies

Project Euclid

Review: Roderick M. Chisholm, Reichenbach on Observing and Perceiving

Project Euclid

Review: Raphael M. Robinson, Arithmetical Definability of Field Elements

Project Euclid

Review: H. Rasiowa, R. Sikorski, A Proof of the Completeness Theorem of Godel

Feferman, Solomon

Project Euclid

Review: Laszlo Kalmar, Contributions to the Reduction Theory of the Decision Problem. First Paper. Prefix $(x_1)(x_2)(Ex_3)\cdots(Ex_{n-1}(X_n)$, a Single Binary Predicate

Project Euclid

Review: Stanislaw Jaskowski, On the Interpretations of Aristotelian Categorical Propositions in the Predicate Calculus

Bendiek, Johannes

Project Euclid

Review: Tadeusz Czezowski, Przyczynek do Sylogistyki Arystotelesa (Brentanowska Teoria Wnioskow Kategorycznych) (Contribution a la Syllogistique d'Aristote (La Theorie du Raisonnement Categorique Chez Bretano)

Bendiek, Johannes

Project Euclid

Review: Haskell B. Curry, A Simplification of the Theory of Combinators

Kleene, S. C.

Project Euclid

Review: Alonzo Church, The Calculi of Lambda-Conversion

Kleene, S. C.

Project Euclid

Review: Arnold Schmidt, Die Zulassigkeit der Behandlung Mehrsortiger Theorien Mittels der Ublichen Einsortigen Pradikatenlogik

Wang, Hao

Project Euclid

Review: A. Natucci, $2 + 2$ Fanno 4

Project Euclid

Review: D. B. McCallum, J. B. Smith, Mechanized Reasoning--Logical Computors and Their Design

Project Euclid

Review: Edmund C. Berkeley, The Relations Between Symbolic Logic and Large-Scale Calculating Machines

Project Euclid

Review: Karl Durr, Die Mathematische Logik von Leibniz

Project Euclid

Review: Joshua C. Gregory, Heterological and Homological

Baylis, Charles A.

Project Euclid

Review: W. H. Walsh, A Note on Truth

Baylis, Charles A.

Project Euclid

Review: Emmanuel G. Mesthene, On the Status of the Laws of Logic

Baylis, Charles A.

Project Euclid

Review: Karl Durr, Leibniz' Forschungen im Gebiet der Syllogistik

Project Euclid

Review: Chang Hsei-Wu, Where is Metaphysics Going?

Fu-Sheng, Yin

Project Euclid

Review: Wang Hao, Language and Metaphysics

Fu-Sheng, Yin

Project Euclid

Review: James K. Feibleman, The Metaphysics of Logical Positivism

Berry, George D. W.

Project Euclid

Review: Jose Ferrater Mora, Esquema Para una Historia de la Logica

Project Euclid

Review: Martin Gardner, Logic Machines

Project Euclid

Review: Robert S. Brumbaugh, An Aristotelian Defense of "Non-Aristotelian" Logics

Project Euclid

Review: Jose Ferrater Mora, Que es la Logistica?

Project Euclid

Review: John Lotz, Natural and Scientific Language

Bar-Hillel, Yehoshua

Project Euclid

Review: Rudolf Carnap, Wahrheit und Bewahrung

Project Euclid

Review: Rudolf Carnap, Truth and Confirmation

Project Euclid

Review: Leonard Linsky, A Note on Carnap's "Truth and Confirmation."; Rudolf Carnap, Rejoinder to Linsky

Project Euclid

Review: W. V. Quine, On the Consistency of "New Foundations."

Benes, Vaclav Edvard

Project Euclid

Review: W. V. Quine, Ontology and Ideology

Project Euclid

Review: G. H. von Wright, Deontic Logic

Project Euclid

Review: Gustav Bergmann, Concerning the Definition of Classes

Project Euclid

Review: Stanislaw Jaskowski, On the Modal and Causal Functions in Symbolic Logic

Chisholm, Roderick M.

Project Euclid

Review: Friedrich Waismann, Karl Menger, Theodore J. Benac, Introduction to Mathematical Thinking. The Formation of Concepts in Modern Mathematics

Project Euclid

Review: Georg Cantor, Philip E. B. Jourdain, Contributions to the Founding of the Theory of Transfinite Numbers

Project Euclid

Review: Josiah Royce, Introduction to Poincare's Foundations of Science; Josiah Royce, Benno Erdmann's Logic; Josiah Royce, An Extension of the Algebra of Logic

Leblanc, Hugues

Project Euclid

Review: Alfred Tarski, A Decision Method for Elementary Algebra and Geometry

Henkin, Leon

Project Euclid

Review: Alan Rose, Strong Completeness of Fragments of the Propositional Calculus; Alan Rose, The Degree of Completeness of a Partial System of the 2-Valued Propositional Calculus

Lyndon, R. C.

Project Euclid

Review: Alfred L. Foster, Ring-Logics and p-Rings

Project Euclid

Review: Jeanne-Pierre Zahlen, Sur une Application de la Logistique a un Probleme de Calcul des Probabilites

e Silva, Jose Sebastiao

Project Euclid

Review: Alan Rose, An Extension of Computational Logic

Project Euclid

Review: A. Markov, On an Unsolvable Problem Concerning Matrices

Project Euclid

Review: Ramon Crespo Pereira, Sobre el Algebra de la Logica de Schroder

Project Euclid

Review: Giovanni Ricci, Elementi di Teoria dei Numeri

Project Euclid

Review: Julio Rey Pastor, Pedro Pi Calleja, Cesar A. Trejo, Analisis Matematico. Vol. I. Analisis Algebraico--Teoria de Ecuaciones--Calculo Infinitesimal de una Variable

Project Euclid

Review: Crispin Kim-Bradley, Symbolic Logic and Metamathematics

Project Euclid

Review: Pedro Pi Calleja, El Tercero Incluido en la Contraparadoja de Russell

Project Euclid

Problems

Scholz, Heinrich ; Kreisel, G. ; Henkin, Leon

Project Euclid

On Direct Products of Theories

p. 1-31

Project Euclid

An Extension of Computational Logic

Rose, Alan

p. 32-34

Project Euclid

The System LD

p. 35-42

Project Euclid

On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications

Kreisel, G.

p. 43-58

Project Euclid

Review: Oskar Becker, Einfuhrung in die Logistik, Vorzuglich in den Modalkalkul

Schutte, K.

p. 59-60

Project Euclid

Review: Tadeusz Kotarbinski, A Course in Logic for Law Students

Hiz, H.

p. 60-61

Project Euclid

Review: Richard Robinson, Definition

Feys, Robert

p. 61-62

Project Euclid

Review: Zyoiti Suetuna, Mathematics and Logic

p. 62-63

Project Euclid

Review: Motokiti Kondo, On Enumerable Sets

Suetuna, Z.

p. 63-64

Project Euclid

Review: Henry Veatch, Basic Confusions in Current Notions of Propositional Calculi

p. 64-66

Project Euclid

Review: R. K. P. Singh, R. Shukla, A Note on Gotlind's Axiom System for the Calculus of Propositions

p. 66-67

Project Euclid

Review: Yuki Wooyenaka, Remark on a Set of Postulates for Distributive Lattices

p. 67-68

Project Euclid

Review: Norwood R. Hanson, Mr. Pap on Synonymity

p. 68-69

Project Euclid

Review: R. M. Martin, Some Comments on Truth and Designation; P. T. Geach, Designation and Truth--A Reply

p. 70-71

Project Euclid

Review: R. M. Martin, J. H. Woodger, Toward an Inscriptional Semantics

Bar-Hillel, Y.

p. 71-72

Project Euclid

Review: A. A. Markov, On the Representation of Recursive Functions

p. 72-73

Project Euclid

Review: Alonzo Church, Special Cases of the Decision Problem

Ackermann, Wilhelm

p. 73-74

Project Euclid

Review: A. M. Turing, The Word Problem in Semi-Groups with Cancellation

Boone, William W.

p. 74-76

Project Euclid

Review: W. V. Quine, On Natural Deduction

p. 76-77

Project Euclid

Review: W. Mays, C. E. M. Hansel, D. P. Henry, Note on the Exhibition of Logical Machines at the Joint Session, July 1950

p. 77-78

Project Euclid

Further Citations

p. 78-80

Project Euclid

Uber $\omega$-Unvollstandigkeit in der Peano-Arithmetik

Hasenjaeger, G.

p. 81-97

Project Euclid

On the Definition of Negation by a Fixed Proposition in Inferential Calculus

p. 98-104

Project Euclid

Logic of Many-Sorted Theories

Wang, Hao

p. 105-116

Project Euclid

Review: Daniel Henry Holmes Ingalls, Materials for the Study of Navya-Nyaya Logic

Bochenski, I. M.

p. 117-119

Project Euclid

Review: Y. Bar-Hillel, Bolzano's Definition of Analytic Propositions

Scholz, Heinrich

p. 119-122

Project Euclid

Review: Karl Durr, The Propositional Logic of Boethius

Mates, Benson

p. 122-123

Project Euclid

Review: Philotheus Boehner, Bemerkungen zur Geschichte der De Morgansche Gesetze in der Scholastik

p. 123-124

Project Euclid

Review: P. V. Tavanec, Izvestia Akademii Nauk SSSR

Kline, George L.

p. 124-128

Project Euclid

Review: V. P. Tugarinov, L. E. Majstrov, Versus Idealism in Mathematical Logic

Kline, George L.

p. 128-129

Project Euclid

Review: Jose Ferrater Mora, Diccionario de Filosofia

Quine, W. V.

p. 129-130

Project Euclid

Review: Nelson Goodman, The Structure of Appearance

Henle, Paul

p. 130-133

Project Euclid

Review: Alonzo Church, Paul Henle, Horace M. Kallen, Susanne K. Langer, A Formulation of the Logic of Sense and Denotation

Wells, Rulon

p. 133-134

Project Euclid

Review: Hans Reichenbach, The Verifiability Theory of Meaning; Carl G. Hempel, The Concept of Cognitive Significance: A Reconsideration; Gustav Bergmann, Comments on Professor Hempel's "The Concept of Cognitive Significance."

Hay, William H.

p. 134-136

Project Euclid

Review: W. V. Quine, Semantics and Abstract Objects; Max Black, Comments on Preceding Paper of W. V. Quine

Bar-Hillel, Yehoshua

p. 136-137

Project Euclid

Review: Alonzo Church, The Need for Abstract Entities in Semantic Analysis

Bar-Hillel, Yehoshua

p. 137-139

Project Euclid

Review: Gustav Bergmann, A Note on Ontology

p. 139-140

Project Euclid

Review: Ellis Evans, Notes on the Symbolic Process

p. 140-141

Project Euclid

Review: Kazimierz Ajdukiewicz, On the Notion of Existence. Some Remarks Connected with the Problem of Idealism

Quine, W. V.

p. 141-142

Project Euclid

Review: Daniel S. Robinson, Royce's Logical Essays

Leblanc, Hugues

p. 142-143

Project Euclid

Review: Josiah Royce, The Principles of Logic

Leblanc, Hugues

Burton, Lindley J. ; Leblanc, Hugues

p. 144-145

Project Euclid

Review: Josiah Royce, The Relation of the Principles of Logic to the Foundations of Geometry

p. 145-146

Project Euclid

Review: Ladislav Rieger, On the Lattice Theory of Brouwerian Propositional Logic

Thompson, Frederick B.

p. 146-147

Project Euclid

Review: Alan Rose, Systems of Logic Whose Truth-Values Form Lattices; Alan Rose, A Lattice-Theoretic Characterisation of the $\aleph_0$-Valued Propositional Calculus; Alan Rose, The Degree of Completeness of Some Lukasiewicz-Tarski Propositional Calculi

p. 147-148

Project Euclid

Review: Olav Valen-Sendstad, Der Wahrheitsbegriff in der Zweiwertigen Logik

Bausch, Augustus F.

p. 148-149

Project Euclid

Review: Willard Van Orman Quine, Mathematical Logic

Benes, Vaclav Edvard

p. 149-150

Project Euclid

Review: Laszlo Kalmar, Eine Einfache Konstruktion Unentscheidbarer Satze in Formalen Systemen; Laszlo Kalmar, Ernst v. Glasersfeld, A Simple Construction of Undecidable Propositions in Formal Systems

p. 150-151

Project Euclid

Review: A. Markov, Impossibility of Algorithms for Recognizing Some Properties of Associative Systems

p. 151-152

Project Euclid

Review: Wilhelm Ackermann, Konstruktiver Aufbau Eines Abschnitts der Zweiten Cantorschen Zahlenklasse

p. 152-153

Project Euclid

Review: Moh Shaw-Kwei, The Deduction Theorems and Two New Logical Systems

p. 153-154

Project Euclid

Further Citations

p. 154-155

Project Euclid

Fourteenth Meeting of the Association for Symbolic Logic

Oliver, James Willard

p. 156-159

Project Euclid

A Test for the Equality of Truth-Tables

Kalicki, Jan

p. 161-163

Project Euclid

A Finitary Metalanguage for Extended Basic Logic

Myhill, John

p. 164-178

Project Euclid

Some Theorems on Definability and Decidability

Church, Alonzo ; Quine, W. V.

p. 179-187

Project Euclid

New Notes on Simplicity

Goodman, Nelson

p. 189-191

Project Euclid

A Derivation of Number Theory from Ancestral Theory

Myhill, John

p. 192-197

Project Euclid

Review: Arnold Schmidt, Mathematische Grundlagenforschung

p. 198-199

Project Euclid

Review: Pedro Pi Calleja, La Objecion de Grandjot a la Teoria de Peano del Numero Natural

p. 199-200

Project Euclid

Review: B. Levi, A Proposito de la Nota del Dr. Pi Calleja. Sobre Paradojas Logicas y Principio del Tertium non Datur

p. 200-201

Project Euclid

Review: G. H. von Wright, On Double Quantification

Ackermann, Wilhelm

p. 201-203

Project Euclid

Review: Andrzej Mostowski, On Direct Products of Theories

Novak, I. L.

p. 203-204

Project Euclid

Review: Norman M. Martin, A Note on Sheffer Functions in n-Valued Logic

Rose, Alan

p. 204-205

Project Euclid

Review: Abraham Robinson, On the Metamathematics of Algebra

Henkin, Leon

p. 205-207

Project Euclid

Review: Kurt Godel, The Consistency of the Axiom of Choice and the Generalized Continuum-Hypothesis with the Axioms of Set Theory

Henkin, Leon

p. 207-208

Project Euclid

Review: E. W. Beth, Symbolic Logic

p. 208-209

Project Euclid

Review: Jan Lukasiewicz, Aristotle's Syllogistic from the Standpoint of Modern Formal Logic

Boehner, Philotheus

p. 209-210

Project Euclid

Review: Jerzy Slupecki, On Aristotelian Syllogistic

Thomas, Ivo

p. 210-211

Project Euclid

Review: Roman Suszko, Canonic Axiomatic Systems

Kalicki, Jan

p. 211-212

Project Euclid

Review: J. H. Woodger, Science Without Properties

p. 212-213

Project Euclid

Review: Arthur W. Burks, A Theory of Proper Names

p. 213-214

Project Euclid

Review: Yehoshua Bar-Hillel, A Note on State-Descriptions; Rudolf Carnap, The Problem of Relations in Inductive Logic; John G. Kemeny, Extension of the Methods of Inductive Logic

p. 214-215

Project Euclid

Review: Thompson M. Clarke, Reflections on Likeness of Meaning

Berry, George D. W.

p. 215-216

Project Euclid

Review: Anatol Rapoport, What is Semantics?

p. 216-217

Project Euclid

Review: H. Meyer, Ideology and Science; E. J. E. Huffer, B. H. Kazemier, Ch. van Os, J. C. Opstelten, H. Rumke, H. Meyer, Discussion of the Paper of H. Meyer

p. 217-218

Project Euclid

Review: G. Watts Cunningham, On the Meaningfulness of Vague Language

Chisholm, Roderick M.

p. 219-220

Project Euclid

Further Citations

p. 220-224

Project Euclid

Inner Models for Set Theory--Part II

Shepherdson, J. C.

p. 225-237

Project Euclid

The Axiom of Infinity in Quine's New Foundations

Rosser, J. Barkley

p. 238-242

Project Euclid

A Note on the Theory of Quantification

Shaw-Kwei, Moh

p. 243-244

Project Euclid

The Permutability of Rules in the Classical Inferential Calculus

p. 245-248

Project Euclid

The Elimination Theorem When Modality is Present

p. 249-265

Project Euclid

Review: Frederic Brenton Fitch, Symbolic Logic. An Introduction

Ackermann, Wilhelm

p. 266-268

Project Euclid

Review: Raphael M. Robinson, Undecidable-Rings

p. 268-269

Project Euclid

Review: Raphael M. Robinson, Arithmetical Definitions in the Ring of Integers

p. 269-270

Project Euclid

Review: A. V. Kuznecov, O Primitivno Rekursivnyh Funkciah Bol'sogo Razmaha (Uber Umfangsreiche Primitiv-Rekursive Funktionen)

p. 270-271

Project Euclid

Review: G. Hasenjaeger, Uber $\omega$-Unvollstandigkeit in der Peano-Arithmetik

p. 271-272

Project Euclid

Review: Paul Bernays, Uber das Induktionsschema in der Rekursiven Zahlentheorie

Kreisel, G.

p. 272-273

Project Euclid

Review: Ulrich Klug, Zur Logischen Analyse der Kausalitatsformel im Strafrecht

p. 273-274

Project Euclid

Review: Andrzej Mostowski, A Classification of Logical Systems

Nelson, David

p. 274-275

Project Euclid

Review: Paul Lorenzen, Uber Endliche Mengen

Bernays, Paul

p. 275-276

Project Euclid

Review: Paul F. Linke, Die Mehrwertigen Logiken und das Wahrheitsproblem

Bernays, Paul

p. 276-277

Project Euclid

Review: Eugen Gh. Mihailescu, Researches on Sub-Systems of the Propositional Calculus

Rasiowa, Helena

p. 277-278

Project Euclid

Review: Takeo Sugihara, Negation in Many-Valued Logic

Rose, Alan

p. 278-279

Project Euclid

Review: Max Bense, Charakteristik Einer Ternaren Logik; Jurgen von Kempski, Benses Charakteristik Einer Ternaren Logik; Albert Menne, Zu den Triadischen Bivalenten Aussagefunktoren

p. 279-280

Project Euclid

Review: Wilton R. Abbott, Computing Logical Truth with the California Digital Computer

p. 280-281

Project Euclid

Review: W. V. Quine, Two Dogmas of Empiricism

p. 281-283

Project Euclid

Review: R. M. Martin, On `Analytic.'

p. 283-284

Project Euclid

Review: A. G. N. Flew, Gilbert Ryle, Essays on Logic and Language

p. 284-285

Project Euclid

Review: R. Feys, Results and Possibilities of Formalized Logic

p. 285-286

Project Euclid

Review: E. W. Beth, Philosophy of Mathematics

Feeney, Walter J.

p. 286-287

Project Euclid

Review: E. W. Beth, La Existencia de los Entes Matematicos

Ribeiro, Hugo

p. 287-288

Project Euclid

Further Citations

p. 289-290

Project Euclid

List of Officers and Members of the Association for Symbolic Logic