J. Symbolic Logic, Tome 20 (1955) no. 1

p. 304-305

Project Euclid

Review: , Problemas de "Theoria." Problema n.o I

Project Euclid

Review: Boleslaw Sobocinski, Axiomatization of a Conjunctive-Negative Calculus of Propositions

Rose, Gene F.

p. 303-304

Project Euclid

Review: Takeo Sugihara, Strict Implication Free From Implicational Paradoxes

Anderson, Alan Ross

Project Euclid

Review: Alan Ross Anderson, Improved Decision Procedures for Lewis's Calculus S4 and von Wright's Calculus M; Alan Ross Anderson, Correction to a paper on Modal Logic; Alan Ross Anderson, On Alternative Formulations of a Modal System of Feysvon Wright

Yonemitsu, Naoto

p. 302-303

Project Euclid

Review: Mary Prior, Arthur Prior, Erotetic Logic

Project Euclid

Review: Gilbert Ryle, Formal and Informal Logic

p. 301-302

Project Euclid

Review: K. Baier, Contradiction and Absurdity

Project Euclid

Review: L. Jonathan Cohen, Postscript (1954)

Project Euclid

Review: Frank B. Ebersole, Verb Tenses as Expressors and Indicators

p. 299-301

Project Euclid

Review: P. F. Strawson, Truth

Project Euclid

Review: Max Black, The Semantic Definition of Truth

Project Euclid

Review: Patrick Nowell Smith, Postscript (1954)

p. 298-299

Project Euclid

Review: L. Jonathan Cohen, Tense Usage and Propositions

p. 297-298

Project Euclid

Review: Bernard Mayo, Events and Language

Project Euclid

Review: Austin Duncan-Jones, Fugitive Propositions; Patrick Nowell Smith, Fugitive Propositions

Project Euclid

Review: Rudolf Carnap, Meaning and Synonymy in Natural Languages

p. 296-297

Project Euclid

Review: Rudolf Carnap, On Belief Sentences

Project Euclid

Review: Alonzo Church, Margaret Macdonald, On Carnap's Analysis of Statements of Assertion and Belief

Project Euclid

Review: Arthur Pap, Belief, Synonymity, and Analysis

Project Euclid

Review: Wilfrid Sellars, Putnam on Synonymity and Belief

Project Euclid

Review: Alonzo Church, Intensional Isomorphism and Identity of Belief

p. 294-295

Project Euclid

Review: Hilary Putnam, Synonymity, and the Analysis of Belief Sentences

p. 293-294

Project Euclid

Review: P. T. Landsberg, Paradoxes in n-Valued Logics

Project Euclid

Review: P. T. Landsberg, On Heterological Paradoxes

Project Euclid

Review: J. L. Mackie, J. J. C. Smart, A Variant of the `Heterological' Paradox. A Further Note

Project Euclid

Review: J. N. Killalea, Primeness and Heterologicality

Project Euclid

Review: J. L. Mackie, J. J. C. Smart, A Variant of the `Heterological' Paradox

Project Euclid

Review: Leon Bowden, Heterologicality

Project Euclid

Review: Gilbert Ryle, Heterologicality

Project Euclid

[Omnibus Review]

p. 291-292

Project Euclid

Review: Neil L. Wilson, In Defense of Proper Names

Project Euclid

Review: Leonard Linsky, Description and the Antinomy of the Name-Relation

p. 290-291

Project Euclid

Review: Yehoshua Bar-Hillel, Logical Syntax and Semantics

Project Euclid

Review: Charles K. Davenport, The Role of Graphical Methods in the History of Logic

Project Euclid

Review: Hao Wang, Quelques Notions d'Axiomatique

Project Euclid

Review: E. R. Stabler, An Introduction to Mathematical Thought

p. 288-289

Project Euclid

Review: D. Shulz, Mathematics, its Nature and Methods; D. Shoulz, The New Mathematics; D. Schultz, Ways of Thinking in Natural Sciences

Barlaz, Joshua

Project Euclid

Review: Edmund C. Berkeley, Symbolic Logic. Twenty Problems and Solutions

Borgers, Alfons

p. 287-288

Project Euclid

Review: Edmund C. Berkeley, The Algebra of States and Events

p. 286-287

Project Euclid

Review: Motinori Goto, Application of Logical Mathematics to the Theory of Relay Networks

p. 285-286

Project Euclid

Review: U. Farinelli, A. Gamba, Physics and Mathematical Logic

Project Euclid

Review: Janos Suranyi, Sur la Structure des Classes Finies d'Ensembles

p. 284-285

Project Euclid

Review: Theodore Hailperin, Quantification Theory and Empty Individual Domains

Myhill, John

Project Euclid

Review: Jan Kalicki, An Undecidable Problem in the Algebra of Truth-Tables

Rose, Gene F.

p. 283-284

Project Euclid

Review: Werner Markwald, Zur Theorie der Konstruktiven Wohlordnungen

Davis, Martin

Project Euclid

Review: Rozsa Peter, Ein Neuer Beweis fur die Tatsache, Dass die Klasse der Primitivrekursiven Funktionen Umfassender als die klasse der Elementaren Funktionen ist

Axt, Paul

p. 282-283

Project Euclid

Review: Gunter Asser, Eine Semantische Charakterisierung der Deduktiv Abgeschlossenen Mengen des Pradikatenkalkuls der Ersten Stufe

Project Euclid

Review: Ladislav Rieger, On Countable Generalised $|sigma$-Algebras, with a New Proof of Godel's Completeness Theorem

p. 281-282

Project Euclid

Review: Abraham Robinson, Theorie Metamathematique des Ideaux

Halmos, Paul R.

p. 279-281

Project Euclid

Review: Karl Egil Aubert, An Exact Account and a Generalization of the Concept of Relation

Skolem, Th.

p. 278-279

Project Euclid

Review: Wolfram Schwabhauser, Zur Definition des Geordneten Paares von Mengen Beliebiger Stufe

Craig, William

Project Euclid

Review: Kurt Schutte, Ein Widerspruchsloses System der Analysis auf Typenfreier Grundlage

Ackermann, Wilhelm

p. 277-278

Project Euclid

Review: Rudolf Carnap, Einfuhrung in die Symbolische Logik mit Besonderer Berucksichtigung ihrer Anwendungen

Muller, Gert Heinz

p. 274-277

Project Euclid

Fair Bets and Inductive Probabilities

p. 263-273

Project Euclid

On Confirmation and Rational Betting

Lehman, R. Sherman

p. 251-262

Project Euclid

Definability and Simplicity

Svenonius, Lars

p. 235-250

Project Euclid

Weak Simplest Normal Truth Functions

p. 232-234

Project Euclid

The Gergonne Relations

Faris, J. A.

p. 207-231

Project Euclid

Eighteenth Meeting of the Association for Symbolic Logic

Craig, William

p. 200-206

Project Euclid

Further Citations

p. 197-199

Project Euclid

Review: William Keister, The Logic of Relay Circuits; S. H. Washburn, Relay "trees" and Symmetric Circuits

Project Euclid

Review: H. S. Caldwell, The Recognition and Identification of Symmetric Switching Functions; C. Y. Lee, Switching Functions on an n-Dimensional Cube

Project Euclid

Review: M. Karnaugh, The Map Method for Synthesis of Combinational Logic Circuits

Project Euclid

Review: Robert S. Ledley, Mathematical Foundations and Computational Methods for a Digital Logic Machine

p. 195-197

Project Euclid

Review: E. C. Nelson, An Algebraic Theory for Use in Computer Design

Project Euclid

Review: D. E. Muller, Application of Boolean Algebra to Switching Circuit Design and to Error Detection

Project Euclid

Review: Edmund C. Berkeley, Circuit Algebra--Introduction

Burks, Arthur W.

p. 194-195

Project Euclid

[Omnibus Review]

Kaplan, Abraham

p. 192-194

Project Euclid

Review: Francesco Barone, Preludi del Positivismo Logico

Feys, Robert

Project Euclid

Review: Horacio Schindler, Filosofia y Logica Simbolica

Feys, Robert

Project Euclid

Review: Francisco Miro Quesada, Esbozo de una Teoria Generalizada de las Propriedades Relacionales

Feys, Robert

Project Euclid

Review: P. T. Geach, On Insolubilia

Project Euclid

Review: J. C. C. McKinsey, Patrick Suppes, Philosophy and the Axiomatic Foundations of Physics

p. 191-192

Project Euclid

Review: Wolfgang Grobner, Uber die Gegenwartige Krise Unserver Kultur

Project Euclid

Review: Gerhard Knaus, Positivismus und Metaphysik

Project Euclid

Review: Victor Kraft, Der Positivismus

Project Euclid

Review: John G. Kemeny, Paul Oppenheim, Degree of Factual Support

Project Euclid

Review: John G. Kemeny, A Contribution to Inductive Logic

Project Euclid

Review: Rudolf Carnap, Meaning Postulates

p. 188-189

Project Euclid

Review: Hans Reichenbach, On Observing and Perceiving

Thomson, J. F.

Project Euclid

Review: Arthur Pap, Reduction-Sentences and Open Concepts; A. Caracciolo, V. Somenzi, Discussione

p. 187-188

Project Euclid

Review: Heinrich Guggenheimer, Ueber ein Bemerkenswertes Logisches System aus der Antike

Boehner, Philotheus

p. 186-187

Project Euclid

Review: A. Chatelet, Allocution d'ouverture; L. E. J. Brouwer, Discours final; Abraham Robinson, On Axiomatic Systems which Possess Finite Models

Project Euclid

Review: Paul Bernays, E. W. Beth, L. E. J. Brouwer, Jean-Louis Destouches, R. Feys, Discussion Generale

Project Euclid

Review: Abraham Robinson, Les Rapports Entre le Calcul Deductif et l'Interpretation Semantique d'un Systeme Axiomatique; E. W. Beth, L. E. J. Brouwer, Abraham Robinson, Discussion

p. 185-186

Project Euclid

Review: E. W. Beth, Sur le Parallelisme Logico-Mathematique

p. 184-185

Project Euclid

Review: W. Peremans, Some Theorems on Free Algebras and on Direct Products of Algebras

Robinson, A.

Project Euclid

Review: Leon Henkin, Some Interconnections Between Modern Algebra and Mathematical Logic

Mostowski, Andrzej

p. 183-184

Project Euclid

Review: Julia Robinson, Existential Definability in Arithmetic

Ackermann, Wilhelm

p. 182-183

Project Euclid

Review: A. S. Esenin-Vol'pin, The Unprovability of Suslin's Hypothesis Without the Aid of the Axiom of Choice in the System of Axioms of Bernays-Mostowski

Mostowski, Andrzej

p. 181-182

Project Euclid

Review: Vaclav Edvard Benes, A Partial Model for Quine's "New Foundations."

Project Euclid

Review: Alan Rose, The $m$-Valued Calculus of Non-Contradiction

p. 180-181

Project Euclid

Review: Leon Henkin, Banishing the Rule of Substitution for Functional Variables

p. 179-180

Project Euclid

Review: John Myhill, On the Interpretation of the Sign `$\supset$'

Bernays, Paul

p. 178-179

Project Euclid

Review: John Myhill, Criteria of Constructibility for Real Numbers

Davis, Martin

Project Euclid

Review: H. G. Rice, Recursive Real Numbers

Shapiro, Norman

Project Euclid

Review: J. R. Myhill, Three Contributions to Recursive Function Theory

Shapiro, Norman

p. 176-177

Project Euclid

Review: Rozsa Peter, Rekursive Definitionen, Wobei Fruhere Funktionswerte von Variabler Anzahl Verwendet Werden

Axt, Paul

Project Euclid

Review: Ugo Cassina, Sulla Critica di Grandjot all'Arimetica di Paeno

p. 175-176

Project Euclid

Review: S. V. Ablonskij, On Functional Completeness in the Three-Valued Calculus

Ehrenfeucht, Andrzej

Project Euclid

Review: S. V. Ablonskij, On Superpositions of Functions of the Algebra of Logic

Ehrenfeucht, Andrzej

Project Euclid

Review: N. Dequoy, Axiomatique Intuitionniste sans Negation de la Geometrie Projective

Gilmore, P. C.

p. 174-175

Project Euclid

Review: Jan Lukasiewicz, Concerning an Axiom System of the Implicational Propositional Calculus

Sobocinski, Boleslaw

p. 173-174

Project Euclid

Review: Shozo Omori, Formalization of an Intensional Logic

Kuroda, S.

Project Euclid

Review: Takeo Sugihara, Many-Valued Logical Characteristics of Brouwerian Logic

Kuroda, S.

p. 172-173

Project Euclid

Review: Takeo Sugihara, Particular and Indefinite Propositions in Aristotelian Logic

Bochenski, I. M.

Project Euclid

Review: Antoni Korcik, Existential Propositions in Aristotle

Lejewski, Czeslaw

Project Euclid

Review: Antoni Korcik, A Contribution to the History of Propositional Calculus

Lejewski, Czeslaw

Project Euclid

Review: Miguel Sanchez-Mazas, Sobre un Pasaje de Aristoteles y el Calculo Logico de Leibniz

p. 171-172

Project Euclid

Review: R. M. Yost, Leibniz and Philosophical Analysis

Project Euclid

Review: Ruth Lydia Saw, A. J. Ayer, Leibniz

p. 170-171

Project Euclid

Review: Shumpei Ueyama, Development of Peirce's Theory of Logic

Project Euclid

Review: Sadeo Shiraishi, The Structure of the Continuity of Psychological Experiences and the Physical World

p. 169-170

Project Euclid

Review: Arata Ishimoto, A Set of Axioms of the Modal Propositional Calculus Equivalent to S3

Project Euclid

Review: W. V. Quine, Three Grades of Modal Involvement

p. 168-169

Project Euclid

Review: A. N. Prior, On Propositions Neither Necessary nor Impossible; A. N. Prior, In What Sense is Modal Logic Many-Valued?

p. 167-168

Project Euclid

Review: A. N. Prior, Modality de Dicto and Modality de re

Project Euclid

Review: A. N. Prior, Negative Quantifiers

p. 166-167

Project Euclid

Review: Henry W. Johnstone, Elementary Deductive Logic

p. 165-166

Project Euclid

Review: Abraham A. Fraenkel, Abstract Set Theory

McNaughton, Robert

p. 164-165

Project Euclid

Review: K. Jaakko, J. Hintikka, Distributive Normal Forms in the Calculus of Predicates

Hailperin, Theodore

Project Euclid

Recursive Well-Orderings

Spector, Clifford

p. 151-163

Project Euclid

Correction to a Paper on Modal Logic

Anderson, Alan Ross

Project Euclid

A Proof Procedure for Quantification Theory

Quine, W. V.

p. 141-149

Project Euclid

On the Paradox of Grounded Classes

Montague, Richard

Project Euclid

Simplified Foundations for Mathematical Logic

Stanley, Robert L.

Rubin, Herman ; Suppes, Patrick

p. 123-139

Project Euclid

A Note on Two-Place Predicates and Fitting Sequences of Measure Functions

p. 121-122

Project Euclid

Two Semantical Paradoxes

Yuting, Shen

p. 119-120

Project Euclid

Solution of a Problem of Leon Henkin

Lob, M. H.

p. 115-118

Project Euclid

Note on a Problem of Paul Bernays

Sobocinski, Boleslaw

p. 109-114

Project Euclid

Simplest Normal Truth Functions

p. 105-108

Project Euclid

Formal Development of Ordinal Number Theory

p. 95-104

Project Euclid

The Amsterdam Meeting of the Association for Symbolic Logic

Beth, E. W. ; Feys, Robert

p. 90-94

Project Euclid

Further Citations

p. 86-89

Project Euclid

Review: A. H. Basson, D. J. O'Connor, Introduction to Symbolic Logic

p. 84-86

Project Euclid

Review: Yuting Shen, Paradox of the Class of All Grounded Classes; Robert L. Stanley, Note on a Paradox

Muller, Gert H.

Project Euclid

Review: Henryk Greniewski, Versuch einer "Verjungung" des Logischen Quadrates; Henryk Greniewski, The Square of Opposition--A New Approach

Bendiek, Johannes

p. 83-84

Project Euclid

Review: Jose Ferrater Mora, De Boecio a Alberto de Sajonia: Un Fragmento de Historia de la Logica

Bendiek, Johannes

Project Euclid

Review: A. N. Prior, The Logic of Negative Terms in Boethius; A. N. Prior, On Some Consequentiae in Walter Burleigh

Bendiek, Johannes

Project Euclid

Review: Theodore Hailperin, Remarks on Identity and Description in First-Order Axiom Systems

Craig, William

p. 81-83

Project Euclid

Review: Frederic B. Fitch, A Simplification of Basic Logic; Frederic B. Fitch, A Definition of Negation in Extended Basic Logic

Dreben, Burton

Project Euclid

Review: John Myhill, A Finitary Metalanguage for Extended Basic Logic

Dreben, Burton

Project Euclid

Review: Milos Neubauer, Sur quelques simplifications de la theorie axiomatique d'ensembles de von Neumann (O nekterych zjednodusenich von Neumannovy axiomaticke theorie mnozin)

Robinson, Raphael M.

Project Euclid

Review: John Myhill, The Hypothesis That All Classes are Nameable

Benes, Vaclav Edvard

Project Euclid

Review: W. Peremans, Metamathematical Consideration of Algebra

Borgers, Alfons

Project Euclid

Review: H. Rasiowa, R. Sikorski, On Existential Theorems in Non-Classical Functional Calculi

Project Euclid

Review: H. Rasiowa, R. Sikorski, Algebraic Treatment of the Notion of Satisfiability

p. 78-80

Project Euclid

Review: H. Rasiowa, A Proof of the Compactness Theorem for Arithmetical Classes

Feferman, Solomon

Project Euclid

Review: Hao Wang, Arithmetic Models for Formal Systems

Feferman, Solomon

p. 76-77

Project Euclid

Review: K. Jaakko, J. Hintikka, Distributive Normal Forms in the Calculus of Predicates

Hailperin, Theodore

p. 75-76

Project Euclid

Review: Heinrich Behmann, Zu den Parallelreihentransformationen in Schroders "Algebra und Logik der Relative."

Skolem, Th.

Project Euclid

Review: Trevor Evans, An Embedding Theorem for Semigroups with cancellation

Feeney, Walter J.

p. 74-75

Project Euclid

Review: A. M. Turing, Solvable and Unsolvable Problems

Kleen, S. C.

Project Euclid

Review: J. C. E. Dekker, Two Notes on Recursively Enumerable Sets

Davis, Martin

p. 73-74

Project Euclid

Review: U. V. Linnik, N. A. Sanin, Andrej Andreevic Markov. (K Patidesatiletiu so dna Rozdenia

Mostowski, Andrzej

Project Euclid

Review: Rozsa Peter, Transzfinit Rekurziok (a Matematika Alapjai es a Rekurziv Fuggvenyek)

Project Euclid

Review: A. A. Markov, Teoria Algorifmov (Az Algoritmusok Elemelete

Project Euclid

Review: Laszlo Kalmar, Reduction of the Decision Problem to the Satisfiability Question of Logical Formulae on a Finite Set

Peter, Rozsa

Project Euclid

Review: Andrzej Grzegorczyk, Some Classes of Recursive Functions

Peter, Rozsa

p. 71-72

Project Euclid

Review: Arthur W. Burks, Don W. Warren, Jesse B. Wright, An Analysis of a Logical Machine Using Parenthesis-Free Notation

p. 70-71

Project Euclid

Index of Reviews by Subjects: Volumes 16-20

p. 335-367

Project Euclid

Index of Reviews: Volumes 19, 20

p. 319-334

Project Euclid

List of Officers and Members of the Association for Symbolic Logic

p. 309-318

Project Euclid

Further Citations

p. 305-308

Project Euclid

Review: David Slepian, On the Number of Symmetry Types of Boolean Functions of $n$ Variables

Project Euclid

Review: D. A. Huffman, The Synthesis of Sequential Switching Circuits

p. 69-70

Project Euclid

Review: Claude E. Shannon, The Synthesis of Two-Terminal Switching Circuits

Project Euclid

Review: G. A. Montgomerie, Sketch for an Algebra of Relay and Contractor Circuits

p. 68-69

Project Euclid

Review: Hans Rohrbach, Das Axiomensystem von Erhard Schmidt fur die Menge der Naturlichen Zahlen

Germansky, B.

Project Euclid

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

Vredenduin, P. G. J.

p. 67-68

Project Euclid

Review: Kurt Schutte, Zur Widerspruchsfreiheit einer Typenfreien Logik

Ackermann, W.

Project Euclid

Review: Haskell B. Curry, The Elimination Theorem When Modality is Present

Ackermann, Wilhelm

Project Euclid

Review: Haskell B. Curry, The Permutability of Rules in the Classical Inferential Calculus

Ackermann, W.

p. 66-67

Project Euclid

Review: Robert Feys, A Simplified Proof of the Reduction of all Modalities to 42 in S3

Parry, William T.

Project Euclid

Review: Robert Feys, Nature et Possibilites de la Logique Formalisee; Robert Feys, La Formalisation comme Suggestion Rigoureuse

Project Euclid

Review: Arthur W. Burks, Symposium: Justification in Science

Project Euclid

Review: Frederic B. Fitch, Symposium: Justification in Science

p. 64-65

Project Euclid

Review: John R. Myhill, Symposium: On the Ontological Significance of the Lowenheim-Skolem Theorem

Project Euclid

Review: George D. W. Berry, Symposium: On the Ontological Significance of the Lowenheim-Skolem Theorem

Project Euclid

Review: Victor Kraft, The Vienna Circle. The Origin of Neo-Positivism. A Chapter in the History of Recent Philosophy

p. 62-63

Project Euclid

Review: Nelson Goodman, On a Pseudo-Test of Translation

Project Euclid

Review: W. V. Quine, On Carnap's Views on Ontology

Myhill, John

p. 61-62

Project Euclid

Review: A. J. Ayer, Le Statut Logique des Individus; Peter A. Carmichael, Professor Ayer on Individuals

Project Euclid

Review: A. J. Ayer, Individuals

Project Euclid

Review: Hao Wang, What is an Individual?

p. 60-61

Project Euclid

Review: Victor Lowe, Professor Goodman's Concept of an Individual

Project Euclid

Review: Romane Clark, A Note on Reichenbach's Class Calculus

Project Euclid

Review: Romane Clark, More on Negation

p. 59-60

Project Euclid

Review: Richard Taylor, Ayer's Analysis of Negation

Project Euclid

Review: William Gerber, Note on Ayer's Concept of Negation

Project Euclid

Review: A. J. Ayer, Negation

p. 58-59

Project Euclid

Review: A. J. Ayer, Truth

Project Euclid

[Omnibus Review]

p. 57-58

Project Euclid

Review: A. J. J. De Witte, The Relations of Symbolic Logic and Comparative Linguistics

Chomsky, Noam

Project Euclid

Review: A. M. MacIver, Do Words Mean Anything?

Chomsky, Noam

p. 56-57

Project Euclid

Review: J. J. Callahan, Symbolism in Mathematics and Logic

Chomsky, Noam

Project Euclid

Review: Franz Crahay, A Propos d'une Reduction Fallacieuse des Notions d'Existence et de Verite

Project Euclid

Review: Arthur Pap, Analytic Truth and "Implicit Definitions."

Project Euclid

Review: Bruno Baron von Freytag, Zur Logik als Lehre von Identitat und Verschiedenheit

Project Euclid

Review: Stephen Toulmin, What Kind of Discipline is Logic?

p. 54-55

Project Euclid

Review: Hans Reichenbach, Nomological Statements and Admissible Operations

p. 50-54

Project Euclid

Review: J. B. Rosser, A. R. Turquette, Many-Valued Logics

Sobocinski, Boleslaw

p. 45-50

Project Euclid

Review: Ernest A. Moody, Truth and Consequence in Mediaeval Logic

Boehner, Philotheus

p. 44-45

Project Euclid

Undecidable Sentences Generated by Semantic Paradoxes

Wang, Hao

p. 31-43

Project Euclid

On the Consistency of an Axiom of Enumerability

Benes, Vaclav Edvard

p. 29-30

Project Euclid

Coherence and the Axioms of Confirmation