J. Symbolic Logic, Tome 13 (1948) no. 1

p. 229-234

Project Euclid

Further Citations

p. 227-228

Project Euclid

Review: L. Geymonat, La Crisi Della Logica Formale

p. 226-227

Project Euclid

Review: L. Geymonat, Le Origini della Metodologia Moderna

Project Euclid

Review: Ettore Carruccio, Considerazioni Sulla Compatibilita di un Sistema di Postulati e Sulla Dimostrabilita delle Formule Mathematiche

p. 225-226

Project Euclid

Review: Kurt Bing, On the Axioms of B. Germanski for the Natural Numbers

Karlin, S.

Project Euclid

Review: L. Vietoris, Uber den Begriff der Wahrscheinlichkeit

Meier, P.

p. 224-225

Project Euclid

Review: Wanda Szmielew, On Choices from Finite Sets

Kalmar, Laszlo

Project Euclid

Review: Dal Charles Gerneth, Generalization of Menger's Result on the Structure of Logical Formulas

Project Euclid

Review: J. C. C. McKinsey, On the Representation of Projective Algebras

Everett, C. J.

Project Euclid

Review: Wilfrid Sellars, Epistemology and the New Way of Words; Wilfrid Sellars, Realism and the New Way of Words

Nagel, Ernest

p. 222-223

Project Euclid

Review: Anders Wedberg, The Logical Construction of the World. A Critical Analysis of Rudolf Carnap's Der Logische Aufbau der Welt

Hempel, Carl G.

Project Euclid

Review: Robert Feys, Logique Formalisee et Philosophie

Luce, Robert E.

p. 221-222

Project Euclid

Review: Paul Bernays, A System of Axiomatic Set Theory--Part VI

Firestone, C. D.

p. 220-221

Project Euclid

Review: W. V. Quine, Concatenation as a Basis for Arithmetic

p. 219-220

Project Euclid

Review: Rudolf Carnap, Modalities and Quantification

p. 218-219

Project Euclid

Review: L. O. Kattsoff, What is Behavior?; Elaine Graham, Logic and Semiotic. Some Comments Regarding the Treatment of Logical Signs in Charles Morris' Signs, Language, and Behavior; Charles Morris, Signs About Signs About Signs

Project Euclid

Review: Alexander Koyre, Manifold and Category

Project Euclid

Review: Emil L. Post, Conjuntos Recurrentemente Numerables de Enteros Positivos y sus Problemas de Decision

Ribeiro, Hugo

Project Euclid

Review: Miroslav Katetov, Quelle est la Construction Logique des Mathematiques?

Zich, O. V.

Project Euclid

Review: Otakar V. Zich, Introduction to the Philosophy of Mathematics

Wolf, Frantisek

p. 216-217

Project Euclid

Review: Leon Brunschvicg, Les Etapes de la Philosophie Mathematique

Project Euclid

Review: George Boole, The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning

Project Euclid

Review: Eugene Shen, Logic

Wang, Hao

p. 215-216

Project Euclid

Review: I. M. Bochenski, La Logique de Theophraste

Nelson, Everett J.

p. 214-215

Project Euclid

Review: Maurice Cornforth, Science Versus Idealism. An Examination of "Pure Empiricism" and Modern Logic

p. 213-214

Project Euclid

Review: Jean-Louis Destouches, Louis de Broglie, Principes Fondamentaux de Physique Theorique

Rosser, J. Barkley

Project Euclid

Review: E. W. Beth, Natural Philosophy

p. 212-213

Project Euclid

Review: Louis O. Kattsoff, A Philosophy of Mathematics

p. 208-212

Project Euclid

Proofs of Non-Deducibility in Intuitionistic Functional Calculus

p. 204-207

Project Euclid

Matrix Development of the Calculus of Relations

Copilowish, Irving M.

Rosser, J. B. ; Turquette, A. R.

p. 193-203

Project Euclid

Axiom Schemes for $M$-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility

p. 177-192

Project Euclid

Further Citations

p. 174-176

Project Euclid

Review: G. F. C. Griss, Negationless Intuitionistic Mathematics; J. Ridder, Ueber den Aussagen-und den Engeren Pradikatenkalkul; L. E. J. Brouwer, Richtlijnen der Intuitionistische Wiskunde

Project Euclid

Review: K. R. Popper, Functional Logic Without Axioms or Primitive Rules of Inference

Kleene, S. C.

p. 173-174

Project Euclid

Review: E. W. Beth, Semantical Considerations on Intuitionistic Mathematics

Kleene, S. C.

Project Euclid

Review: D. van Dantzig, On the Principles of Intuitionistic and Affirmative Mathematics

Skolem, Th.

Project Euclid

Review: Alfred Tarski, A Problem Concerning the Notion of Definability

Skolem, Th.

p. 172-173

Project Euclid

Review: J. C. C. McKinsey, Alfred Tarski, Some Theorems About the Sentential Calculi of Lewis and Heyting

Henkin, Leon

p. 171-172

Project Euclid

Review: R. L. Goodstein, Transfinite Ordinals in Recursive Number Theory

Nelson, David

Project Euclid

Review: A. Markoff, On the Impossibility of Certain Algorithms in the Theory of Associative Systems

p. 170-171

Project Euclid

Review: P. S. Novikov, On Logical Paradoxes

Project Euclid

Review: Th. Skolem, Recursive Arithmetic

p. 169-170

Project Euclid

Review: Th. Skolem, Some Remarks on the Preceding Article of E. Hoff-Hansen

Project Euclid

Review: Einar Hoff-Hansen, A Mathematical Interpretation of the Classical Propositional Calculus

Project Euclid

Review: Maria Kokoszynska, Different Kinds of Statements

Grzegorczyk, Andrzej

p. 168-169

Project Euclid

Review: Kazimierz Ajdukiewicz, Logic and Experience

Kokoszynska, Maria

Project Euclid

Review: I. M. Bochenski, Zespol Definicji do Metalogicznego Wykladu Sylogistyki Tradycyjnej (Systema Definitionum pro Metalogica Expositione Syllogisticae Traditionalis)

p. 167-168

Project Euclid

Review: Jan Lukasiewicz, On Aristotle's Syllogistic

Project Euclid

Review: Stanislaw Kaczorowski, Mathematical Logic. Part I. The Algebra of Logic. (An Outline of History.)

Project Euclid

Review: Jerzy Los, Proba Aksjomatyzacji Logiki Tradycyjnej (Une Preuve d'Axiomatisation de la Logique Traditionelle)

Suszko, R.

p. 166-167

Project Euclid

Review: Jerzy Slupecki, Uwagi o Sylogistyce Arystotelesa (Les Remarques sur la Syllogistique d'Aristote)

Suszko, R.

Project Euclid

Review: Jerzy Slupecki, Pelny Trojwartosciowy Rachunek Zdan (Le Calcul Complet de Propositions a Trois Valeurs Logiques)

Kalicki, Jan

p. 165-166

Project Euclid

Review: Stanislaw Jaskowski, Trois Contributions au Calcul des Propositions Bivalent

p. 164-165

Project Euclid

Review: Jan Lukasiewicz, The Shortest Axiom of the Implicational Calculus of Propositions

Project Euclid

Review: Paulette Destouches-Fevrier, Esquisse D'Une Mathematique Intuitioniste Positive

L'Abbe, Maurice

p. 163-164

Project Euclid

Review: Gr. C. Moisil, Logique Modale

p. 162-163

Project Euclid

Review: Gr. C. Moisil, Remarques sur la Logique Modale du Concept

p. 161-162

Project Euclid

Review: Gr. C. Moisil, Sur la Representation des Groupes Abeliens Infinis. I, IV

Project Euclid

Review: Gr. C. Moisil, Sur les Anneaux de Caracteristique 2 ou 3 et Leurs Applications

p. 160-161

Project Euclid

Review: Gr. C. Moisil, Contributions a L'Etude des Logiques Non-Chrysippiennes. I. Un Nouveau Systeme D'Axiomes Pour les Algebres Lukasiewicziennes Tetra-Valentes

Project Euclid

Review: Gr. C. Moisil, La Logique Formelle et Son Probleme Actuel

Project Euclid

Review: Stephen A. Kiss, Transformations on Lattices and Structures of Logic

p. 159-160

Project Euclid

Review: Lee Byrne, Boolean Algebra in Terms of Inclusion

Project Euclid

Review: Robert Arthur Fairthorne, A. B. Agard Evans, T. H. O'Beirne, E. M. R. Ditmas, The Mathematics of Classification

p. 158-159

Project Euclid

Review: A. H. Basson, Logic and Fact

Project Euclid

Review: Gustav Bergmann, Conditions for an Extensional Elementaristic Language

Quine, W. V.

Project Euclid

Review: Laurence J. Lafleur, Ambiguities in the Schroder-Bernstein Theorem

Project Euclid

Review: F. S. C. Northrop, The Neurological and Behavioristic Psychological Basis of the Ordering of Society by Means of Ideas

p. 157-158

Project Euclid

Review: Severin Bays, Les Concepts Mathematiques sont-ils Inventes ou Decouverts? (Discours d'Ouverture du President Annuel de la S. H. S. N.)

Project Euclid

Review: Ludvig Lovestad, The Structure of Physical Laws

Project Euclid

Review: Victor Kraft, Logik und Erfahrung

p. 156-157

Project Euclid

Review: Ingemar Hedenius, Uberzeugung und Urteil

Project Euclid

Review: Adrien Ledent, Le Statut Logique des Propositions Imperatives

Project Euclid

Review: John G. Kemeny, Models of Logical Systems

Ackermann, Wilhelm

p. 154-156

Project Euclid

Review: Kurt Reidemeister, Anschauung als Erkenntnisquelle

Scholz, Heinrich

Project Euclid

Review: Paul F. Linke, Gottlob Frege als Philosoph

Scholz, Heinrich

Project Euclid

Review: Gottlob Frege, L. Geymonat, Aritmetica e Logica

Project Euclid

Review: Max Black, A Translation of Frege's Ueber Sinn und Bedeutung. Introductory Note

p. 152-153

Project Euclid

Review: P. T. Geach, Designation and Truth

p. 151-152

Project Euclid

Review: Max Black, The Semantic Definition of Truth

p. 150-151

Project Euclid

Review: Arthur Francis Smullyan, Modality and Description

Barcan, Ruth C.

p. 149-150

Project Euclid

Review: Arthur Pap, Semantic Examination of Realism

Nelson, Everett J.

p. 148-149

Project Euclid

Review: Frederic B. Fitch, Charles A. Baylis, On God and Immortality

Project Euclid

[Omnibus Review]

p. 147-148

Project Euclid

Review: Jehoshua Bar-Hillel, Alexandre Koyre, The Revival of "the Liar"

Project Euclid

Review: A. Koyre, Epimenide le Menteur (Ensemble et Categorie)

p. 146-147

Project Euclid

Review: Bertrand Russell, Juan B. Molinari, Florencio D. Jaime, Introduccion a la Filosofia Matematica

Ribeiro, Hugo

Project Euclid

Review: A. J. Ayer, Thinking and Meaning

Ambrose, Alice

p. 145-146

Project Euclid

Review: Martin Johnson, Science and the Meanings of Truth. Studies Introductory to Asking What is Meant Today by Physical Explanation of Nature, by Mechanisms of Cause and Effect, and by a Claim That Scientific Knowledge is True

Project Euclid

Review: Herbert L. Searles, Logic and Scientific Methods. An Introductory Course

Cooley, J. C.

Project Euclid

Review: Edmundo Curvelo, Introducao a Logica

Project Euclid

Review: Arnaud Denjoy, L'Enumeration Transfinie. Livre I. La Notion de Rang

Project Euclid

Review: Jean Cavailles, Transfini et Continu

Henkin, Leon

p. 143-144

Project Euclid

Review: E. P. Northrop, Fundamental Mathematics. Prepared for the General Course Mathematics 1 in the College; E. P. Northrop, The Mathematics Program in the College of the University of Chicago

Cooley, J. C.

p. 142-143

Project Euclid

Review: Rozsa Peter, Playing with the Infinite. Mathematics for Outsiders

p. 141-142

Project Euclid

Contextual Definitions in Nonextensional Languages

Bergmann, Gustav

Project Euclid

A Note Concerning the Paradoxes of Strict Implication and Lewis's System S1

Hallden, Soren

p. 138-139

Project Euclid

A New Theory of Element and Number

Wang, Hao

p. 129-137

Project Euclid

Further Citations

p. 127-128

Project Euclid

Review: Richard von Mises, Scientific Conception of World. On a New Textbook of Positivism

Project Euclid

Review: Ludovico Geymonat, Difficolta del Concetto di "Insieme."

p. 126-127

Project Euclid

Review: Lewis S. Feuer, Analysis and Scientific Practice

White, Morton G.

Project Euclid

Review: C. Lewy, Truth and Significance

White, Morton G.

p. 125-126

Project Euclid

Review: Veli Valpola, The Position of Negation in a Language Which Expresses Knowledge

Project Euclid

Review: Uuno Saarnio, Language and Logic

Project Euclid

Review: Ivar Segelberg, The Concept of Property. Some Remarks

Wedberg, Anders

p. 124-125

Project Euclid

Review: Ivar Segelberg, Bemerkungen zu Einigen Logischen Paradoxien

Wedberg, Anders

Project Euclid

Review: Jorgen Jorgensen, Psychology on a Biological Foundation

Wedberg, Anders

Project Euclid

Review: G. T. Kneebone, Philosophy and Mathematics

Project Euclid

Review: P. Cesari, Le Principe du Tiers Exclu

p. 123-124

Project Euclid

Review: Louis de Raeymaeker, Harry McNeill, Introduction to Philosophy

Project Euclid

Review: H. Meyer, On Definitions in Symbolic Logic

p. 122-123

Project Euclid

Review: Alberto E. Sagastume Berra, Sobre Filosofia de las Matematicas

Quine, W. V.

Project Euclid

Review: Hans A. Lindemann, Leibniz y la Logica Moderna

Quine, W. V.

Project Euclid

Review: Dimitri Riabouchinsky, Sur Les Nombres d'Origine Imaginaire et la Notion de Signe d'un Nombre Complexe

Project Euclid

Review: Anders Wedberg, Otso Aalto, Eino Kaila, Introduction to Modern Logic

Project Euclid

Review: Anders Wedberg, The New Logic

Skolem, Th.

Project Euclid

Review: Arthur F. Bentley, The New "Semiotic."

Smullyan, Arthur Francis

p. 121-122

Project Euclid

Review: Gustav Bergmann, Undefined Descriptive Predicates

Smullyan, Arthur Francis

Project Euclid

Review: Rudolf Carnap, Reply to Nelson Goodman

Churchman, C. West

Project Euclid

Review: Rudolf Carnap, On the Application of Inductive Logic

Churchman, C. West

p. 120-121

Project Euclid

Review: Jean-Louis Destouches, Marie-Therese Pasturaud, Jeannine Viard, Cours de Logique et Philosophie Generale. I. Methodologie de la Physique Theorique Moderne. II. Notions de Logistique

p. 118-120

Project Euclid

Review: Grigore Constantin Moisil, L'algebra e la Logica

Project Euclid

Review: Friedrich Waismann, Einfuhrung in Das Mathematische Denken. Die Begriffsbildung der Modernen Mathematik

Project Euclid

Review: Kurt Godel, What is Cantor's Continuum Problem?

Kleene, S. C.

p. 116-117

Project Euclid

Review: Gr. C. Moisil, Sur la Structure Algebrique de la Logique de M. Bochvar

Project Euclid

Review: Hao Wang, A Note on Quine's Principles of Quantification

Berry, George D. W.

p. 115-116

Project Euclid

Review: K. R. Popper, Logic Without Assumptions

McKinsey, J. C. C.

p. 114-115

Project Euclid

Review: R. Feys, Note Complementaire sur les Methodes de Deduction Naturelle

Hasenjaeger, G.

Project Euclid

Review: Raphael M. Robinson, Primitive Recursive Functions

Peter, Rozsa

p. 113-114

Project Euclid

Review: Andrzej Mostowski, On Definable Sets of Positive Integers

Nelson, David

p. 112-113

Project Euclid

A Problem Concerning the Notion of Definability

Tarski, Alfred

p. 107-111

Project Euclid

An Extension of Basic Logic

p. 95-106

Project Euclid

Practical Forms of Type Theory

Turing, A. M.

p. 80-94

Project Euclid

A System of Axiomatic Set Theory--Part VI

p. 65-79

Project Euclid

Tenth Meeting of the Association for Symbolic Logic

p. 61-64

Project Euclid

Further Citations

p. 58-60

Project Euclid

Review: J. A. Passmore, Logical Positivism; J. A. Passmore, Prediction and Scientific Law

Project Euclid

Review: F. L. Will, The Contrary-to-Fact Conditional

p. 57-58

Project Euclid

Review: Wilfrid Sellars, Pure Pragmatics and Epistemology

Hinshaw, Virgil

Project Euclid

Review: Silvio Minetti, Il Principio del Terzo Escluso e la Logica Empirista di Brouwer

Chatalian, Norma R.

p. 56-57

Project Euclid

Review: Abraham A. Fraenkel, The Recent Controversies About the Foundation of Mathematics

Project Euclid

Review: Jean Piaget, Classes, Relations et Nombres. Essai sur les Groupements de la Logistique et sur la Reversibilite de la Pensee

Project Euclid

Review: P. Hoenen, De Structuur van het Systeem der Klassieke Syllogismen; P. Hoenen, La Structure du Systeme des Syllogismes Classiques

Project Euclid

Review: Dimitri Riabouchinsky, 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

p. 55-56

Project Euclid

Review: Lillian R. Lieber, Hugh Gray Lieber, Mits, Wits and Logic

Project Euclid

Review: Ernest Nagel, Sovereign Reason

Project Euclid

Review: Brand Blanshard, The Escape from Philosophic Futility

Project Euclid

Review: Henry M. Sheffer, Quantifiers

p. 54-55

Project Euclid

Review: Paul Csillag, Eine Bemerkung zur Auflosung der Eingeschachtelten Rekursion

Robinson, R. M.

Project Euclid

Review: Thoralf Skolem, The Development of Recursive Arithmetic

Nelson, David

Project Euclid

Review: A. Markov, On Some Unsolvable Problems Concerning Matrices

p. 53-54

Project Euclid

Review: A. Markov, Impossibility of Certain Algorithms in the Theory of Associative Systems II

Project Euclid

Review: A. Markov, Impossibility of Certain Algorithms in the Theory of Associative Systems

p. 52-53

Project Euclid

Review: Erik Gotlind, An Axiom System for the Propositional Calculus

Project Euclid

Review: Erik Gotlind, On Some Equivalence Propositions in Two-Valued Logic

p. 51-52

Project Euclid

Review: A. H. Diamond, J. C. C. McKinsey, Algebras and Their Sub-Algebras

Boone, William

Project Euclid

Review: Garrett Birkhoff, S. A. Kiss, A Ternary Operation in Distributive Lattices

p. 50-51

Project Euclid

Review: Gr. C. Moisil, Recherches sur la Theorie des Chaines

Project Euclid

Review: Gr. C. Moisil, Notes sur les Logiques Non-Chrysippiennes

Project Euclid

Review: Gr. C. Moisil, Recherches sur les Logiques Non-Chrysippiennes

Project Euclid

Review: Nelson Goodman, W. V. Quine, Steps Toward a Constructive Nominalism

p. 49-50

Project Euclid

Review: W. V. Quine, On Universals

p. 48-49

Project Euclid

Review: Laszlo Kalmar, Janos Suranyi, On the Reduction of the Decision Problem. Second Paper. Godel Prefix, a Single Binary Predicate

Ackermann, W.

Project Euclid

Review: Andrzej Mostowski, On Absolute Properties of Relations

p. 46-48

Project Euclid

Review: Andrzej Mostowski, Axiom of Choice for Finite Sets

Kalmar, Laszlo

p. 45-46

Project Euclid

Review: Clarence Irving Lewis, An Analysis of Knowledge and Valuation

Hempel, Carl G.

p. 40-45

Project Euclid

Corrections to Two Papers on Modal Logic

p. 38-39

Project Euclid

Modality and Description

Smullyan, Arthur Francis

p. 31-37

Project Euclid

Models of Logical Systems

McKinsey, J. C. C. ; Tarski, Alfred

p. 16-30

Project Euclid

Some Theorems About the Sentential Calculi of Lewis and Heyting