J. Symbolic Logic, Tome 18 (1953) no. 1

p. 360-376

Project Euclid

List of Officers and Members of the Association for Symbolic Logic

p. 351-359

Project Euclid

Problems

Bernays, Paul

Project Euclid

Review: John D. Goodell, The Foundations of Computing Machinery. Part II

Blachman, Nelson M.

p. 348-349

Project Euclid

Review: W. H. Burkhart, Theorem Minimization

Nelson, Raymond J.

Project Euclid

Review: Robert E. Staehler, An Application of Boolean Algebra to Switching Circuit Design

Project Euclid

Review: William Keister, Alistair E. Ritchie, Seth H. Washburn, John Meszar, The Design of Switching Circuits

p. 347-348

Project Euclid

Review: Douglas R. Hartree, Calculating Instruments and Machines

Project Euclid

Review: Howard H. Aiken, William Burkhart, Theodore Kalin, Peter F. Strong, Synthesis of Electronic Computing and Control Circuits

Project Euclid

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

Project Euclid

Review: Akira Nakasima, Masao Hanzawa, Nippon Electrical Communication Engineering

Project Euclid

Review: Theodore A. Kalin, Formal Logic and Switching Circuits

p. 345-346

Project Euclid

Review: Stanislaw Jaskowski, Sur la Conjonction Discursive dans le Calcul des propositions pour les Systems Contradictoires

Project Euclid

Review: A. Korcik, Genesis of the Idea of Sheffer Concerning the Reduction of Five Logical Constants to a Constant Different From Them

Hiz, H.

Project Euclid

Review: Alan Rose, Some Generalized Sheffer Functions

Martin, Norman M.

p. 344-345

Project Euclid

Review: Alan Rose, An Axiom System for Three-Valued Logic

Project Euclid

Review: Alan Rose, Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkul

Project Euclid

Review: Alan Rose, Sur un Ensemble de Fonctions Primitives pour le Calcul des Predicats du Premier Ordre Lequel Constitue son Propre Dual

p. 343-344

Project Euclid

Review: Andrzej Mostowski, Correction to the Paper "Some Impredicative Definitions in the Axiomatic Set-Theory."

Skolem, Th.

Project Euclid

Review: J. C. Shepherdson, Inner Models for Set Theory

Rosser, J. Barkley

p. 342-343

Project Euclid

Review: Martin Davis, Arithmetical Problems and Recursively Enumerable Predicates

p. 341-342

Project Euclid

Review: A. A. Markov, On Unsolvable Algorithmic Problems

Project Euclid

Review: A. A. Markov, The Theory of Algorithms

Feferman, Solomon ; Tarski, Alfred

p. 340-341

Project Euclid

Review: H. Rasiowa, R. Sikorski, A Proof of the Skolem-Lowenheim Theorem

p. 339-340

Project Euclid

Review: Burton Dreben, On the Completeness of Quantification Theory

Project Euclid

Review: Tadeusz Czezowski, Remarks on the Classical Definition of Truth

Kalicki, Jan

Project Euclid

Review: Jurgen v. Kempski, Zur Logik der Ordnungsbegriffe, Besonders in den Sozialwissenschaften

Hempel, Carl G.

Project Euclid

Review: A. C. Lloyd, Mr. Anderson on Subjunctive and Counterfactual Conditionals

p. 338-339

Project Euclid

Review: Alan Ross Anderson, A Note on Subjunctive and Counterfactual Conditionals

Project Euclid

Review: A. C. Lloyd, On Arguments for Real Universals

Project Euclid

Review: Bela von Juhos, Die Erkenntnisanalytische Methode

Project Euclid

Review: Bela von Juhos, The Application of Logistic Analysis to Philosophical Problems; Giuseppe Vaccarino, Discussion; B. v. Juhos, Answer to Mr. Vaccarino

p. 337-338

Project Euclid

Review: Henry Babcock Veatch, Intentional Logic. A Logic Based on Philosophical Realism

Blake, Christopher

p. 336-337

Project Euclid

Review: Eberhard Rogge, Axiomatik alles Moglichen Philosophierens. Das Grundsatzliche Sprechen der Logistik, der Sprachkritik und der Lebens-Metaphysik

Scholz, Heinrich

Project Euclid

Review: Philotheus Boehner, Medieval Logic. An Outline of Its Development From 1250 to c. 1400

Bendiek, Johannes

Project Euclid

Review: Philotheus Boehner, Does Ockham Know of Material Implication?

Clark, Joseph T.

p. 334-335

Project Euclid

Review: Johannes Bendiek, Die Lehre von den Konsequenzen bei Pseudo-Scotus

Clark, Joseph T.

Project Euclid

Review: I. M. Bochenski, Non-Analytical Laws and Rules in Aristotle

Prior, A. N.

p. 333-334

Project Euclid

Review: Boleslaw Sobocinski, L'analyse de l'Antinomie Russellienne par Lesniewski

Prior, A. N.

p. 331-333

Project Euclid

Review: Alexander Wilhelmy, Traditionelle Logik und Positiver Aussagenkalkul

p. 330-331

Project Euclid

Review: Gerhard Stammler, Zur Philosophischen Neugestaltung der Logischen Urteilslehre

Project Euclid

Review: Albert Menne, Zur Stufenkoppelung Monadischer Bivalenter Funktoren

Project Euclid

Review: Erwin Koschmieder, Aus den Beziehungen von Sprache und Logik

Project Euclid

Review: Hasso Harlen, Elementares uber 2-Wertige Funktionen von 2-Wertigen Variabeln

Project Euclid

Review: Eberhard Fels, Ordnungsrelationen in Einer Subjektiven Werttheorie

p. 329-330

Project Euclid

Review: Walter Brugger, Die Ubermodalitat der Notwendigkeit in Logischer Betrachtung

Project Euclid

Review: Helmut Angstl, Uber Gleichungen im Aussagenkalkul

Project Euclid

Review: Oskar Anderson, Zur Axiomatik der Wahrscheinlichkeitslehre

Project Euclid

Review: Oskar Becker, Untersuchungen uber den Modalkalkul

Parry, William T.

p. 327-329

Project Euclid

Review: H. Poincare, Science and Hypothesis; Henri Poincare, Science and Method

Project Euclid

Review: J. Barkley Rosser, Logic for Mathematicians

Robinson, A.

Curry, Haskell B. ; Craig, William

p. 326-327

Project Euclid

Review: Alonzo Church, The Weak Theory of Implication

Project Euclid

A Simplification of Basic Logic

Fitch, Frederic B.

p. 317-325

Project Euclid

New Axiomatizations of S3 and S4

Simons, Leo

p. 309-316

Project Euclid

A Logical Measure Function

Kemeny, John G.

p. 289-308

Project Euclid

Further Citations

p. 285-288

Project Euclid

Review: Michael J. Norris, Cofinally Concentrated Directed Systems; Yataro Matusima, On Some Problems of Birkhoff

Project Euclid

Review: Boleslaw Sobocinski, On a Universal Decision Element

Blachman, Nelson M. ; Boone, William W.

p. 284-285

Project Euclid

Review: John D. Goodell, Decision Elements; John D. Goodell, The Foundations of Computing Machinery; Tenny Lode, The Realization of a Universal Decision Element

p. 283-284

Project Euclid

Review: Boleslaw Sobocinski, Axiomatization of a Partial System of Three-Value Calculus of Propositions

Rose, Gene F.

Project Euclid

Review: Alan Rose, Self-Dual Primitives for Modal Logic

p. 282-283

Project Euclid

Review: J. D. Swift, Algebraic Properties of n-Valued Propositional Calculi

Project Euclid

Review: T. J. Fletcher, The Solution of Inferential Problems by Boole Algebra

Project Euclid

Review: W. V. Quine, The Problem of Simplifying Truth Functions

Nelson, Raymond J.

p. 280-282

Project Euclid

Review: Paul C. Rosenbloom, The Elements of Mathematical Logic

Davis, Martin

p. 277-280

Project Euclid

[Omnibus Review]

L'Abbe, Maurice

p. 276-277

Project Euclid

Review: P. F. Strawson, Introduction to Logical Theory

Blake, Christopher

p. 273-276

Project Euclid

Review: Gustav Lebzeltern, Die Vier "Ungultigen" Modi: Darapti, Felapton, Bamalip, Fesapo

Project Euclid

Review: Bruno von Freytag Loringhoff, Uber das System der Modi des Syllogismus

Project Euclid

Review: Ulrich Klug, Zur Lehre von den Kontrapositionsschlussen

Project Euclid

Review: Alexander Philipov, Ernest Nagel, Logic and Dialectic in the Soviet Union

p. 272-273

Project Euclid

Review: A. D. Aleksandrov, Leninist Dialectic and Mathematics; A. D. Aleksandrov, On Idealism in Mathematics

Kline, George L.

p. 271-272

Project Euclid

Review: Henry Margenau, The Nature of Physical Reality. A Philosophy of Modern Physics

Kemeny, John G.

Project Euclid

Review: G. T. Kneebone, Mathematical Formalisms and Their Realizations

Project Euclid

Review: Haskell B. Curry, Language, Metalanguage, and Formal System

Project Euclid

Review: P. Masani, What is a Function?

Berry, G. D. W.

p. 269-270

Project Euclid

Review: William Craig, W. V. Quine, On Reduction to a Symmetric Relation

Robinson, Julia

Project Euclid

Review: Alonzo Church, W. V. Quine, Some Theorems on Definability and Decidability

Robinson, Julia

Project Euclid

Review: Jan Kalicki, A Test for the Equality of Truth-Tables

p. 268-269

Project Euclid

Review: Haskell B. Curry, The System LD; Haskell B. Curry, On the Definition of Negation by a Fixed Proposition in Inferential Calculus

Bernays, Paul

p. 266-268

Project Euclid

Review: Hao Wang, The Irreducibility of Impredicative Principles

McNaughton, Robert

p. 265-266

Project Euclid

Review: Janos Suranyi, Contributions to the Reduction Theory of the Decision Problem. Fifth Paper. Ackermann Prefix with Three Universal Quantifiers

Project Euclid

Review: Laszlo Kalmar, Contributions to the Reduction Theory of the Decision Problem. Fourth Paper Reduction to the Case of a Finite Set of Individuals

p. 264-265

Project Euclid

Review: Laszlo Kalmar, Contributions to the Reduction Theory of the Decision Problem. Third Paper. Prefix $(x_1)(Ex_2)\cdots(Ex_{n-2})(x_{n-1})(x_n)$, a Single Binary Predicate

Project Euclid

Review: Janos Suranyi, Contributions to the Reduction Theory of the Decision Problem. Second Paper. Three Universal, One Existential Quantifiers

Project Euclid

Review: Rozsa Peter, Probleme der Hilbertschen Theorie der Hoheren Stufen von rekursiven Funktionen

Robinson, Raphael M.

p. 263-264

Project Euclid

Review: Baruch Germansky, Problem

Project Euclid

Review: Erik Stenius, Das Interpretationsproblem der Formalisierten Zahlentheorie und ihre Formale Widerspruchsfreiheit

Kreisel, G.

p. 262-263

Project Euclid

Review: Paul Lorenzen, Die Widerspruchsfreiheit der Klassischen Analysis

Schutte, Kurt

p. 261-262

Project Euclid

Review: Paul Lorenzen, Konstruktive Begrundung der Mathematik

Schutte, Kurt

p. 260-261

Project Euclid

Review: Paul Lorenzen, Gleichheit und Ungleichheit in der Arithmetik

Schutte, Kurt

Project Euclid

Review: R. L. Goodstein, Constructive Formalism. Essays on the Foundations of Mathematics; R. L. Goodstein, The Foundations of Mathematics

p. 258-260

Project Euclid

Review: N. N. Vorob'ev, The Problem of Deducibility in the Constructive Propositional Calculus with Strong Negation

Project Euclid

Review: N. N. Vorob'ev, A Constructive Propositional Calculus with Strong Negation

p. 257-258

Project Euclid

Review: A. A. Markov, A Constructive Logic

Project Euclid

Systems of Syntactic Analysis

Chomsky, Noam

p. 242-256

Project Euclid

The $M$-Valued Calculus of Non-Contradiction

Rose, Alan

p. 237-241

Project Euclid

Strict Implication, Deducibility and the Deduction Theorem

Marcus, Ruth Barcan

p. 234-236

Project Euclid

Note on a Paradox

Stanley, Robert L.

Project Euclid

A Problem in Recursive Function Theory

Goodstein, R. L.

p. 225-232

Project Euclid

Systems of Transfinite Types Involving $\lambda$-Conversion

L'Abbe, Maurice

p. 209-224

Project Euclid

Banishing the Rule of Substitution for Functional Variables

p. 201-208

Project Euclid

Quantification Theory and Empty Individual-Domains

Hailperin, Theodore

p. 197-200

Project Euclid

The Theory of Quaternality

Gottschalk, W. H.

p. 193-196

Project Euclid

Fifteenth Meeting of the Association for Symbolic Logic

Turquette, Atwell R.

p. 187-192

Project Euclid

Problems

Wang, Hao

Project Euclid

Further Citations

p. 183-185

Project Euclid

Review: Einar Hille, Such Stuff as Dreams are Made on -- in Mathematics

Project Euclid

Review: Abraham Robinson, On the Application of Symbolic Logic to Algebra; Alfred Tarski, Some Notions and Methods on the Borderline of Algebra and Metamathematics

Vaughan, H. E.

Project Euclid

Review: S. C. Kleene, Recursive Functions and Intuitionistic Mathematics

p. 181-182

Project Euclid

Review: G. Kreisel, Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus

Wang, Hao

p. 180-181

Project Euclid

Review: Moh Shaw-Kwei, A Note on the Theory of Quantification

Benes, Vaclav Edvard

p. 179-180

Project Euclid

Review: J. Barkley Rosser, The Axiom of Infinity in Quine's New Foundations

Benes, Vaclav Edvard

Project Euclid

Review: Nelson Goodman, New Notes on Simplicity

Fitch, Frederic B.

Project Euclid

Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers

Turing, A. M.

Project Euclid

Review: Alonzo Church, Brief Bibliography of Formal Logic

Black, Max

Curry, Haskell B. ; Craig, William

Project Euclid

Review: Alonzo Church, The Weak Theory of Implication

p. 177-178

Project Euclid

Review: G. H. von Wright, Interpretations of Modal Logic

Anderson, Alan Ross

p. 176-177

Project Euclid

Review: Georg H. v. Wright, An Essay in Modal Logic

Anderson, Alan Ross

p. 174-176

Project Euclid

Review: Jozef Iwanicki, Natural and Logistic Deduction

Hiz, Henry

p. 173-174

Project Euclid

Review: Henryk Mehlberg, Positivisme et Science. Premiere Partie. Analyse Logique du Postulat de Verificabilite

Hempel, Carl G.

p. 171-173

Project Euclid

Review: Maria Kokoszynska, What Means "Relativity of Truth"?; Maria Kokoszynska, A Refutation of the Relativism of Truth

Hempel, Carl G.

p. 170-171

Project Euclid

Review: Rudolf Carnap, The Continuum of Inductive Methods

Kemeny, John G.

p. 168-169

Project Euclid

Inner Models for Set Theory--Part III

Shepherdson, J. C.

p. 145-167

Project Euclid

Some Formal Relative Consistency Proofs

McNaughton, Robert

p. 136-144

Project Euclid

Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types

p. 125-135

Project Euclid

On $\omega$-Inconsistency and a So-Called Axiom of Infinity

Quine, W. V.

p. 119-124

Project Euclid

Arithmetic with Creative Definitions by Induction

p. 115-118

Project Euclid

Paradox of the Class of All Grounded Classes

Yuting, Shen

Project Euclid

Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden

McKinsey, J. C. C.

p. 109-113

Project Euclid

On Propositions Neither Necessary Nor Impossible

Prior, A. N.

p. 105-108

Project Euclid

An Extended Procedure in Quantificational Logic

Stanley, Robert

p. 97-104

Project Euclid

Colloque de Logique Mathematique

p. 95-96

Project Euclid

Further Citations

Project Euclid

Review: Daniela Gromska, Studia Philosophica

p. 93-94

Project Euclid

Review: Max Black, Frege Against the Formalists. A Translation of Part of Grundgesetze der Arithmetik; Gottlob Frege, Frege Against the Formalists. E. Heine's and J. Thomae's Theories of Irrational Numbers; Gottlob Frege, On Concept and Object

Project Euclid

Review: Peter Geach, Max Black, Translations from the Philosophical Writings of Gottlob Frege

p. 92-93

Project Euclid

Review: John Myhill, Two Ways of Ontology in Modern Logic

Marshall, William

p. 91-92

Project Euclid

Review: Rulon S. Wells, Frege's Ontology

Marshall, William

p. 90-91

Project Euclid

Review: Frederic B. Fitch, Actuality, Possibility, and Being

Ambrose, Alice

p. 89-90

Project Euclid

Review: Richard Rudner, On Sinn as a Combination of Physical Properties

Project Euclid

Review: Donald Kalish, Logical Form

p. 88-89

Project Euclid

Review: P. F. Strawson, On Referring

p. 87-88

Project Euclid

Review: Arthur Pap, Note on the "Semantic" and the "Absolute" Concept of Truth

Berry, G. D. W.

Project Euclid

Review: Thomas Storer, On Communication

Project Euclid

Review: K. S. Bakradse, W. I. Tscherkessow, Uber formale Logik und Dialektik, Diskussionsbeitrage

p. 86-87

Project Euclid

Review: B. M. Kedrov, Voprosy filosofii

Kline, George L.

p. 83-86

Project Euclid

Review: , Die Philosophische Konferenz in Jena. Fruchtbare Wissenschaftliche Diskussion Uber Probleme der Formalen und Mathematischen Logik und des Dialektischen Materialismus

Bauer-Mengelberg, Stefan

p. 82-83

Project Euclid

Review: Max Bense, Die Philosophie

Project Euclid

Review: I. M. Bochenski, Ancient Formal Logic

Feys, Robert

p. 81-82

Project Euclid

Review: Haskell B. Curry, Outlines of a Formalist Philosophy of Mathematics

McKinsey, J. C. C.

p. 80-81

Project Euclid

Review: G. Kreisel, On the Interpretation of Non-Finitist Proofs; G. Kreisel, Some Elementary Inequalities

Rosser, J. Barkley

p. 78-80

Project Euclid

Review: Th. Skolem, Some Remarks on the Foundation of Set Theory

Shimony, Abner

p. 77-78

Project Euclid

Review: John Myhill, A Derivation of Number Theory from Ancestral Theory

Craig, William

Project Euclid

Review: Hao Wang, Logic of Many-Sorted Theories

Schmidt, Arnold

Project Euclid

Review: Kurt Schutte, Beweistheoretische Untersuchung der Verzweigten Analysis

Ackermann, Wilhelm

Project Euclid

Review: Kurt Schutte, Eine Bemerkung Uber Quasirekursive Funktionen

Peter, Rozsa

p. 75-76

Project Euclid

Review: Heinrich Behmann, Das Auflosungsproblem in der Klassenlogik

R., G. Zubieta

p. 74-75

Project Euclid

Review: Andrzej Grzegorczyk, Undecidability of Some Topological Theories

Rogers, Hartley

p. 73-74

Project Euclid

Review: H. Rasiowa, Algebraic Treatment of the Functional Calculi of Heyting and Lewis

p. 72-73

Project Euclid

Review: Louise H. Chin, Alfred Tarski, Distributive and Modular Laws in the Arithmetic of Relation Algebras

Project Euclid

Review: Hugo Ribeiro, A Remark on Boolean Algebras with Operators

Project Euclid

Review: Bjarni Jonsson, Alfred Tarski, Boolean Algebras with Operators

p. 70-71

Project Euclid

Review: R. C. Lyndon, Identities in Two-Valued Calculi

Vaughan, H. E.

p. 69-70

Project Euclid

Review: W. Mays, D. P. Henry, Exhibition of the Work of W. Stanley Jevons

Project Euclid

Review: W. Mays, D. P. Henry, Logical Machines. New Light on W. Stanley Jevons

Project Euclid

Review: W. Mays, Mechanized Reasoning; D. M. McCallum, J. B. Smith, The Authors Reply

p. 68-69

Project Euclid

Review: D. M. McCallum, J. B. Smith, Feedback Logical Computors

Project Euclid

Review: Edmund C. Berkeley, A Summary of Symbolic Logic and its Practical Applications; Edmund C. Berkeley, A Summary of Symbolic Logic and its Practical Applications. Second Printing

Project Euclid

Review: Henry Lowig, On Transitive Boolean Relations

Foster, Alfred L.

Church, Alonzo ; Rescher, Nicholas

Project Euclid

Review: Thoralf Skolem, On the Proofs of Independence of the Axioms of the Classical Sentential Calculus

Project Euclid

Review: Alan Rose, An Extension of the Calculus of Non-Contradiction

Fitch, Frederic B.

p. 66-67

Project Euclid

Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkul

Rose, Alan

p. 63-65

Project Euclid

On the Interpretation of the Sign `$\supset$'

p. 60-62

Project Euclid

Certain Predicates Defined by Induction Schemata

Wang, Hao

p. 49-59

Project Euclid

Eine Bemerkung zu Henkin's Beweis fur die Vollstandigkeit des Pradikatenkalkuls der Ersten Stufe

Hasenjaeger, G.

p. 42-48

Project Euclid

Arithmetical Problems and Recursively Enumerable Predicates

Davis, Martin

p. 33-41

Project Euclid

On Axiomatizability Within a System

Craig, William

p. 30-32

Project Euclid

Some Notes on Nominalism

p. 19-29

Project Euclid

On Truth and Multiple Denotation

Martin, R. M.

p. 11-18

Project Euclid

Criteria of Constructibility for Real Numbers

p. 7-10

Project Euclid

Concatenation as Basis for a Complete System of Arithmetic

Lob, M. H.