J. Symbolic Logic, Tome 19 (1954) no. 1

p. 302-303

Project Euclid

Review: Alejandro Diez Blanco, Nuevas Logicas

Feys, Robert

Project Euclid

Review: F. C. Copleston, Bertrand Russell

Feys, Robert

Project Euclid

Review: John G. Kemeny, A Logical Measure Function

Bar-Hillel, Yehoshua

p. 301-302

Project Euclid

Review: Yehoshua Bar-Hillel, A Note on Comparative Inductive Logic

Shimony, Abner

p. 300-301

Project Euclid

Review: Yehoshua Bar-Hillel, On Recursive Definitions in Empirical Sciences

Shimony, Abner

Project Euclid

Review: A. Mostowski, A Lemma Concerning Recursive Functions and Its Applications

Peter, Rozsa

p. 299-300

Project Euclid

Review: Ilona Bereczki, Nem Elemi Rekurziv Fuggveny Letezese (Existenze einer Nichtelementaren Rekursiven Funktion)

Peter, Rozsa

p. 298-299

Project Euclid

Review: Stanislaw Jaskowski, Quelques Problemes Actuels Concernant les Fondements des Mathematiques (Pewne Aktualne Zagadnienia z Zakresu Podstaw Matematyki)

Project Euclid

Review: S. Jaskowski, Une Modification des Definitions Fondamentales de la Geometrie des Corps de M. A. Tarski

Project Euclid

Review: Paul Lorenzen, Uber das Prinzip "ex Falso Quodlibet."

Schutte, K.

Project Euclid

Review: N. A. Sanin, Some Operations on Logico-Arithmetical Formulas; N. A. Sanin, On Imbeddings of the Classical Logico-Arithmetical Calculus into the Constructive Logico-Arithmetical Calculus

p. 297-298

Project Euclid

Review: G. F. C. Griss, Negationless Intuitionistic Mathematics II, III, IV

Vredenduin, P. G. J.

p. 296-297

Project Euclid

Review: Wilhelm Ackermann, Erweitertes System; Wilhelm Ackermann, Widerspruchsfreier Aufbau einer Typenfreien Logik. II

Harrop, Ronald

p. 295-296

Project Euclid

Review: Alan Rose, A Formalisation of the 2-Valued Propositional Calculus with Self-Dual Primitives

Project Euclid

Review: Alan Rose, Some Self-Dual Primitive Functions for Propositional Calculi

p. 294-295

Project Euclid

Review: A. N. Prior, Three-Valued Logic and Future Contingents

Project Euclid

Review: R. Feys, Old and New Logic of Modalities

Vredenduin, P. G. J.

Project Euclid

Review: Ruth Barcan Marcus, Strict Implication, Deducibility, and the Deduction Theorem

Vredenduin, P. G. J.

Project Euclid

Review: Leo Simons, New Axiomatizations of S3 and S4

p. 293-294

Project Euclid

Review: Boleslaw Sobocinski, Note on a Modal System of Feys-von Wright

Project Euclid

Review: Robert Feys, Les Systemes Formalises des Modalites Aristoteliciennes

p. 292-293

Project Euclid

Review: Takeo Sugihara, The Axiomatization of the Aristotelian Modal Logic

Bochenski, I. M.

Project Euclid

Review: Francis V. Raab, A Criterion of Necessity

Blake, Christopher

p. 291-292

Project Euclid

Review: N. O. Lossky, Analytic and Synthetic Propositions and Mathematical Logic

Blake, Christopher

Project Euclid

Review: Ugo Cassina, L'Ideographie de Peano du Point de Vue de la Theorie du Language

Blake, Christopher

p. 290-291

Project Euclid

Review: K. R. Popper, William Kneale, A. J. Ayer, Symposium: What Can Logic Do for Philosophy?

Project Euclid

Review: Leon Henkin, Some Notes on Nominalism

Berry, George D. W.

p. 289-290

Project Euclid

Review: Hao Wang, Negative Types

p. 288-289

Project Euclid

Review: Hao Wang, A Theory of Constructive Types

Project Euclid

Review: C. Ryll-Nardzewski, The Role of the Axiom of Induction in Elementary Arithmetic

p. 287-288

Project Euclid

Review: Roman Sikorski, A Note to Rieger's Paper "On Free $\aleph_\xi$-Complete Boolean Algebras."

Rasiowa, Helena

Project Euclid

Review: Ladislav Rieger, On Free $\aleph_\xi$-Complete Boolean Algebras (with an Application to Logic)

Sikorski, Roman

p. 286-287

Project Euclid

Review: Karl Egil Aubert, Relations Generalisees et Independance Logique des Notions de Reflexivite, Symetrie et Transitivite

Bernays, Paul

p. 285-286

Project Euclid

Review: Karl Egil Aubert, On the Foundation of the Theory of Relations and the Logical Independence of Generalized Concepts of Reflexivity, Symmetry and Transitivity

Harary, Frank

p. 284-285

Project Euclid

Review: Irving M. Copi, Symbolic Logic

Leblanc, Hugues

p. 282-284

Project Euclid

Review: H. Hermes, H. Scholz, Mathematische Logik

Rogers, Hartley

p. 278-282

Project Euclid

Distributivity and An Axiom of Choice

Collins, George E.

p. 275-277

Project Euclid

The Recursive Irrationality of $|pi$

Goodstein, R. L.

p. 267-274

Project Euclid

The Formalization of Mathematics

Wang, Hao

p. 241-266

Project Euclid

Further Citations

p. 236-240

Project Euclid

Review: Katsumi Nakamura, Scientific Knowledge--The View of the Vienna Circle

Project Euclid

Review: Kanzi Taguti, Logic--New Logic and Old Logic

Project Euclid

Review: D. Hilbert, W. Ackermann, Kigo Ronrigaku no Kiso

Project Euclid

Review: Makoto Ito, A Study of Modal Logic

Project Euclid

Review: Makoto Ito, A Survey of Scientific Logic

Project Euclid

Review: Robert Blanche, Logique 1900-1950

Project Euclid

Review: Kazimierz Ajdukiewicz, An Outline of Logic. Manual for Teachers

Hiz, H.

Project Euclid

Review: Jerzy Slupecki, On Proper Rules of Inference

Hiz, H.

Project Euclid

Review: Alonzo Church, Non-Normal Truth-Tables for the Propositional Calculus

p. 233-234

Project Euclid

Review: E. C. Varnum, Relay Circuit Analysis by Odd-Even Algebra; E. C. Varnum, Three-Relay Circuits; E. C. Varnum, Polynomial Determination in a Field of Integers Modulo P

Boone, William W.

Project Euclid

Review: W. C. Carter, A. S. Rettig, Analytic Minimization Methods I: Conjunctive Forms

p. 232-233

Project Euclid

Review: Rudolf Carnap, Yehoshua Bar-Hillel, An Outline of a Theory of Semantic Information

Elias, Peter

p. 230-232

Project Euclid

Review: Leo Apostel, Modalites Physiques et Techniques

Project Euclid

Review: W. H. Gottschalk, The Theory of Quaternality

p. 229-230

Project Euclid

Review: F. J. McGuigan, Formalization of Psychological Theory

Project Euclid

Review: Karl Menger, Calculus. A Modern Approach

p. 227-229

Project Euclid

Review: Karl Menger, The Ideas of Variable and Function

Project Euclid

Review: Raymond L. Wilder, Introduction to the Foundations of Mathematics

p. 225-227

Project Euclid

Review: A. Heyting, Sur la Tache de la Philosophie des Mathematiques

Skolem, Th.

Project Euclid

Review: Robert Feys, Peano et Burali-Forti Precurseurs de la Logique Combinatoire

Rosser, J. Barkley

p. 224-225

Project Euclid

Review: E. W. Beth, Sur la Description de Certains Modeles d'un Systeme Formel

Rosser, J. Barkley

Project Euclid

Review: Arthur Pap, Rejoinder to Mrs. Robbins

Berry, George D. W.

Project Euclid

Review: B. L. Robbins, Some Remarks on Semantic Systems

Berry, George D. W.

p. 223-224

Project Euclid

Review: Benson Mates, Synonymity

Project Euclid

[Omnibus Review]

p. 222-223

Project Euclid

Review: Philip P. Hallie, A Note on Logical Connectives

p. 221-222

Project Euclid

Review: Ettore Carruccio, I fini dei "Calculus Ratiocinator" di Leibniz, e la Logico Matematica del Nostro Tempo

Project Euclid

Review: Tameharu Shirai, On the Pseudo-Set

Project Euclid

Review: A. Mostowski, On Models of Axiomatic Systems

p. 220-221

Project Euclid

Review: G. Kreisel, On a Problem of Henkin's

p. 219-220

Project Euclid

Review: V. A. Uspenskij, Theorem of Godel and Theory of Algorithms

p. 218-219

Project Euclid

Review: N. M. Nagornyj, Towards Strengthening of the Reduction Theorem of the Theory of Algorithms

Project Euclid

Review: Kurt Schutte, Kennzeichnung von Ordnungszahlen Durch Rekursiv Erklarte Funktionen

Markwald, Werner

p. 217-218

Project Euclid

Review: Jan Lukasiewicz, Comment on K. J. Cohen's Remark

Project Euclid

Review: Kalman Joseph Cohen, A Remark on Lukasiewicz's "On the Intuitionistic Theory of Deduction."

Project Euclid

Review: Jan Lukasiewicz, On the Intuitionistic Theory of Deduction

Project Euclid

Review: Stephen Cole Kleene, Introduction to Metamathematics

Rasiowa, H.

p. 215-216

Project Euclid

Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus $M$

p. 201-214

Project Euclid

A Partial Model for Quine's "New Foundations"

Benes, Vaclav Edvard

p. 197-200

Project Euclid

A Generalization of the Concept of $|omega$-Consistency

p. 183-196

Project Euclid

Reduction to a Dyadic Predicate

Quine, W. V.

p. 180-182

Project Euclid

Quantification and the Empty Domain

Quine, W. V.

p. 177-179

Project Euclid

An Undecidable Problem in the Algebra of Truth-Tables

Kalicki, Jan

p. 172-176

Project Euclid

Ideographic Computation in the Propositional Calculus

Standley, Gerald B.

p. 169-171

Project Euclid

A New Symbolism for the Propositional Calculus

Parry, William Tuthill

p. 161-168

Project Euclid

Sixteenth Meeting of the Association for Symbolic Logic

p. 153-160

Project Euclid

Further Citations

p. 150-152

Project Euclid

Review: Arne Naess, Philosophers and Research in the Soft Sciences

Suppes, Patrick

Project Euclid

Review: Tadeusz Czezowski, On Certainty in Empirical Sciences

Suppes, Patrick

Project Euclid

Review: Alfonso Caracciolo di Forino, Sur la Construction du Language de la Physique

Suppes, Patrick

p. 149-150

Project Euclid

Review: P. V. Tavanec, On the Question of Different Interpretations of the Subject Matter of Logic; P. V. Tavanec, On the Objective Content of the Laws of Formal Logic; M. Alekseev, V. Cerkesov, On the Question of Logic and the Study of Logic

Kline, George L.

Project Euclid

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

Hiz, H.

Project Euclid

Review: Shmuel Hugo Bergmann, Introduction to Logic

Bar-Hillel, Y.

Project Euclid

Review: Arata Isimoto, A Survey of Modern Logic

Project Euclid

Review: Ryoiti Takekuma, Brouwerian Logic

Project Euclid

Review: Katsumi Nakamura, Logic and Scientific Method

Project Euclid

Review: Iwao Koyama, Taizi Ueda, Logic

Project Euclid

Review: Hiromiti Takeda, Keigo Abe, Introduction to Logic. Logic and Logistic

Project Euclid

Review: Irving M. Copi, Introduction to Logic

LeBlanc, Hugues

p. 147-148

Project Euclid

Review: Haskell B. Curry, Robert Feys, Lecons de Logique Algebrique

Ribeiro, Hugo

p. 146-147

Project Euclid

Review: Richard A. Behan, Expectancies and Hullian Theory

p. 145-146

Project Euclid

Review: Joe Adams, Concepts as Operators

Project Euclid

Review: F. H. George, Formalization of Language Systems for Behavior Theory

Project Euclid

Review: Jack L. Maatsch, Richard A. Behan, A More Rigorous Theoretical Language

Project Euclid

Review: Louis O. Kattsoff, Facts, Phenomena, and Frames of Reference in Psychology

Project Euclid

Review: F. H. George, Logical Constructs and Psychological Theory

Project Euclid

Review: Alan Rose, A Formalization of Sobocinski's Three-Valued Implicational Propositional Calculus

Project Euclid

Review: Carew A. Meredith, A Single Axiom of Positive Logic

Project Euclid

Review: Carew A. Meredith, Single Axioms for the Systems $(C, N), (C, 0)$ and $(A, N)$ of the Two- Valued Propositional Calculus

p. 143-144

Project Euclid

Review: John D. Goodell, Notes on Decision Element Systems using Various Practical Techniques

Project Euclid

Review: Norman M. Martin, On Completeness of Decision Element Sets

Project Euclid

Review: W. V. Quine, Two Theorems about Truth-Functions

p. 142-143

Project Euclid

Review: Robert Serrell, Elements of Boolean Algebra for the Study of Information-Handling Systems

Project Euclid

Review: Arthur W. Burks, Jesse B. Wright, Theory of Logical Nets

p. 141-142

Project Euclid

Review: Claude E. Shannon, Edward F. Moore, Machine Aid for Switching Circuit Design

Project Euclid

Review: Claude E. Shannon, Computers and Automata

p. 140-141

Project Euclid

Review: Erik Gotlind, A Note on Chwistek and Hetper's Foundation of Formal Metamathematics

Project Euclid

Review: Garrett Birkhoff, Saunders MacLane, Algebra of Classes

Project Euclid

Review: R. M. Martin, On Types, Denotation, and Truth

p. 139-140

Project Euclid

Review: David Shwayder, Some Remarks on "Synonymity" and the Language of the Semanticists

Project Euclid

Review: Paul Marhenke, Propositions and Sentences

p. 138-139

Project Euclid

Review: Karl Aschenbrenner, Intention and Understanding

Project Euclid

Review: Donald Kalish, Meaning and Truth

Project Euclid

Review: Willard Van Orman Quine, Meaning and Existential Inference

Project Euclid

Review: Willard Van Orman Quine, Reference and Modality

p. 137-138

Project Euclid

Review: Willard Van Orman Quine, Notes on the Theory of Reference

Project Euclid

Review: Willard Van Orman Quine, Logic and the Reification of Universals

p. 135-136

Project Euclid

[Omnibus Review]

Project Euclid

Review: G. H. von Wright, On the Logic of some Axiological and Epistemological Concepts

p. 133-134

Project Euclid

Review: A. N. Prior, The Paradoxes of Derived Obligation

Project Euclid

Review: Jonathan Cohen, On the Project of a Universal Character

Project Euclid

Review: Heinrich Sauer, Uber die Logischen Forschungen von Leibniz

Project Euclid

Review: S. Issmann, Une Methode de Decision pour Certaines Formules du Calcul des Predicats

Ackermann, Wilhelm

p. 132-133

Project Euclid

Review: Arnold Schmidt, Zum Verhaltnis von Existenz und Widerspruchsfreiheit

Ackermann, Wilhelm

Project Euclid

Review: F. H. Heinemann, Meta-Analysis

Project Euclid

Review: S. Korner, The Nature of Philosophical Analysis

Project Euclid

Review: Gerhard Frey, Bemerkungen zum Problem der Mehrwertigen Logiken

p. 131-132

Project Euclid

Review: Raili Kauppi, Uber den Begriff des Merkmalraumes

Project Euclid

Review: Uuno Saarnio, Der Teil und die Gesamtheit

Project Euclid

Review: Gotthard Gunther, Die Philosophische Idee einer Nicht-Aristotelischen Logik; Gotthard Gunther, The Logical Parallax

Project Euclid

Review: Jean Ladriere, Le Role du Theoreme de Godel dans le Developpement de la Theorie de la Demonstration; Jean Ladriere, Rationnel et Irrationnel en Mathematique; Jean Ladriere, Le Theoreme Fondamental de Gentzen

Fischer, F. H.

p. 129-130

Project Euclid

Review: Leon Henkin, On the Primitive Symbols of Quine's "Mathematical Logic."

Project Euclid

Review: W. V. Quine, On $\omega$-Consistency and a so-Called Axiom of Infinity

p. 128-129

Project Euclid

Review: Ernst P. Specker, The Axiom of choice in Quine's New Foundations for Mathematical Logic

Rosser, J. Barkley

p. 127-128

Project Euclid

Review: W. V. Quine, On an Application of Tarski's Theory of Truth

Project Euclid

Review: Gene F. Rose, Propositional Calculus and Realizability

Nelson, David

Project Euclid

[Omnibus Review]

p. 125-126

Project Euclid

Review: L. E. J. Brouwer, Historical Background, Principles and Methods of Intuitionism

Project Euclid

Review: P. S. Novikov, On the Consistency of some Theorems of the Descriptive Theory of Sets

p. 123-125

Project Euclid

Review: J. C. E. Dekker, The Constructivity of Maximal Dual Ideals in Certain Boolean Algebras

Ribeiro, Hugo

p. 122-123

Project Euclid

Review: Ilona Bereczki, Losung eines Markovschen Problems Betreffs einer Ausdehnung des Begriffes der Elementaren Funktion

Axt, Paul

Project Euclid

Review: H. G. Rice, Classes of Recursively Enumerable Sets and their Decision Problems

Peter, Rozsa

p. 121-122

Project Euclid

Review: Andrzej Mostowski, Sentences Undecidable in Formalized Arithmetic. An Exposition of the Theory of Kurt Godel

Hasenjaeger, G.

p. 119-121

Project Euclid

Review: Andrzej Mostowski, An Undecidable Arithmetical Statement

Davis, Martin

p. 118-119

Project Euclid

Review: Heinrich Scholz, Vorlesungen uber Grundzuge der Mathematischen Logik. Vol. 1; Heinrich Scholz, Vorlesungen uber Grundzuge der Mathematischen Logik. Vol. 2

Rogers, Hartley

p. 115-118

Project Euclid

On Predicates in Algebraically Closed Fields

Robinson, Abraham

p. 103-114

Project Euclid

Interpretations of Sets of Conditions

Quine, W. V.

p. 97-102

Project Euclid

A System of Axiomatic Set Theory--Part VII

Bernays, Paul

p. 81-96

Project Euclid

Further Citations

p. 74-80

Project Euclid

Review: Ivo Thomas, Saint Vincent Ferrer's De Suppositionibus

Project Euclid

Review: A. N. Prior, The Parva Logicalia in Modern Dress

p. 73-74

Project Euclid

Review: Joseph T. Clark, W. V. Quine, Conventional Logic and Modern Logic. A Prelude to Transition

Mates, Benson

p. 72-73

Project Euclid

Review: Benson Mates, Stoic Logic

Lejewski, Czeslaw

p. 71-72

Project Euclid

Review: Robert Brown, John Watling, Counterfactual Conditionals; Robert Brown, John Watling, Hypothetical Statements and Phenomenalism

p. 70-71

Project Euclid

Review: Julius R. Weinberg, Contrary-to-Fact Conditionals

p. 69-70

Project Euclid

Review: Thomas Storer, On Defining `Soluble.'; Gustav Bergmann, Comments on Storer's Definition of `Soluble.'

Project Euclid

Review: B. J. Diggs, Counterfactual Conditionals

Project Euclid

Review: Erna F. Schneider, Recent Discussion of Subjunctive Conditionals

Project Euclid

Review: J. C. C. McKinsey, Systems of Modal Logic Which are not Unreasonable in the Sense of Hallden

p. 67-68

Project Euclid

Review: Paul F. Linke, Die Implikation als echte Wenn-so-Beziehung. Bemerkungen zu den "Fundamental-Paradoxien" der Logistik

Chisholm, Roderick M.

Project Euclid

Review: Andrea Galimberti, L'analyse Linguistique de la Representation

Chisholm, Roderick M.

Project Euclid

Review: G. H. von Wright, A New System of Modal Logic

p. 66-67

Project Euclid

Review: Paul Lorenzen, Die Ontologische und die Operative Auffassung der Logik

Hempel, Carl G.

p. 65-66

Project Euclid

Review: Paul F. Linke, Was ist Logik?

Chisholm, Roderick M.

Project Euclid

Review: Hugo Fischer, Zum Problem der Ubertragung Mathetischer Prinzipien: Die "Allgemeine Semantik." Eine Nichtaristotelische Wertungslehre Alfred Korzybskis

Project Euclid

Review: Carl B. Allendoerfer, Cletus O. Oakley, Principles of Mathematics

p. 64-65

Project Euclid

Review: Hao Wang, Robert McNaughton, P. Destouches-Fevrier, Les Systemes Axiomatiques de la Theorie des Ensembles

Project Euclid

Review: S. C. Kleene, Papers on Predicate Calculus

p. 62-63

Project Euclid

Review: E. W. Beth, Some Consequences of the Theorem of Lowenheim-Skolem-Godel-Malcev

Shepherdson, J. C.

p. 61-62

Project Euclid

Review: E. W. Beth, A Topological Proof of the Theorem of Lowenheim-Skolem-Godel

Shepherdson, J. C.

Project Euclid

Review: G. Kreisel, Some Remarks on the Foundations of Mathematics. An Expository Article

Skolem, Th.

p. 60-61

Project Euclid

Review: B. A. Trahtenbrot, On Recursive Separability

Project Euclid

Review: P. S. Novikov, On Algorithmic Unsolvability of the Word Problem

Boone, William W.

p. 58-60

Project Euclid

Review: L. C. Robbins, An Analysis by Arithmetical Methods of a Calculating Network with Feedback; Irving S. Reed, Symbolic Synthesis of Digital Computers

Project Euclid

Review: E. F. Moore, A Simplified Universal Turing Machine

p. 57-58

Project Euclid

Review: Warren L. Semon, Characteristic Numbers and Their Use in the Decomposition of Switching Functions

Project Euclid

Review: Theodore Singer, The Theory of Counting Techniques; Robert L. Ashenhurst, The Application of Counting Techniques

p. 56-57

Project Euclid

Review: W. H. Burkhart, A Method for Synthesis of Two-Valued Feedback Circuits

Project Euclid

Review: E. W. Veitch, A Chart Method for Simplifying Truth Functions

Project Euclid

Review: Alan Rose, Le Degre de Saturation du Calcul Propositionnel Implicatif a Trois Valeurs de Sobocinski

Project Euclid

Review: P. Destouches-Fevrier, La Structure Ouverte des Theories Quantiques

McKinsey, J. C. C.

p. 55-56

Project Euclid

Review: Paulette Destouches-Fevrier, Logique et Theories Physiques

McKinsey, J. C. C.

McKinsey, J. C. C. ; Suppes, Patrick

Project Euclid

Review: Paulette Destouches-Fevrier, Louis de Broglie, La Structure des Theories Physiques

p. 52-55

Project Euclid

The Sheffer Functions of 3-Valued Logic

Martin, Norman M.

p. 45-51

Project Euclid

Proof of a Conjecture of Goodman

Fine, N. J.

p. 41-44

Project Euclid

Logical Paradoxes for Many-Valued Systems

Shaw-Kwei, Moh

p. 37-40

Project Euclid

A Definition of Negation in Extended Basic Logic

p. 29-36

Project Euclid

A Relative Consistency Proof

Shoenfield, Joseph R.

p. 21-28

Project Euclid

Remarks on Identity and Description in First-Order Axiom Systems

Hailperin, Theodore

p. 14-20

Project Euclid

Leibniz's Interpretation of His Logical Calculi