J. Symbolic Logic, Tome 14 (1949) no. 1

p. 205-208

Project Euclid

Review: Irving M. Copilowish, Language Analysis and Metaphysical Inquiry

Lazerowitz, Morris

Project Euclid

Review: Richard Rudner, Formal and Non-Formal

Lazerowitz, Morris

p. 204-205

Project Euclid

Review: Gustav Bergmann, Descriptions in Non-Extensional Contexts

Smullyan, Arthur Francis

Project Euclid

Review: Gustav Bergmann, Contextual Definitions in Non-Extensional Languages

Smullyan, Arthur Francis

Project Euclid

Review: Stuart Hampshire, Logical Necessity

p. 203-204

Project Euclid

Review: Stuart Hampshire, Subjunctive Conditionals

Project Euclid

Review: P. T. Geach, Necessary Propositions and Entailment-Statements

Project Euclid

Review: S. N. Hampshire, Mr. Strawson on Necessary Propositions and Entailment-Statements

p. 202-203

Project Euclid

Review: P. F. Strawson, Necessary Propositions and Entailment-Statements

Project Euclid

Review: Karl Britton, J. O. Urmson, W. Kneale, Are Necessary Truths True by Convention?

p. 201-202

Project Euclid

Review: Karl Britton, The Nature of Arithmetic: A Reconsideration of Mill's Views

p. 200-201

Project Euclid

Review: Stuart Hampshire, Logical Form

Project Euclid

Review: S. Korner, On Entailment

p. 199-200

Project Euclid

Review: Soren Hallden, A Question Concerning a Logical Calculus Related to Lewis' System of Strict Implication, Which is of Special Interest for the Study of Entailment

Project Euclid

Review: Erik Stenius, Natural Implication and Material Implication

Project Euclid

Review: Leon Henkin, Fragments of Propositional Calculus

p. 197-198

Project Euclid

Review: Alonzo Church, Conditioned Disjunction as a Primitive Connective for the Propositional Calculus

Vaughan, H. E.

Project Euclid

Review: H. Rasiowa, Sur un Certain Systeme D'Axiomes du Calcul des Propositions

Project Euclid

Review: Gottfried Kothe, Verbande

Project Euclid

Review: Paul Lorenzen, Grundlagen der Mathematik

p. 196-197

Project Euclid

Review: L. E. J. Brouwer, The Non-Equivalence of the Constructive and the Negative Order Relation in the Continuum

p. 195-196

Project Euclid

Review: A. Heyting, Language and Sign in Mathematics

Beth, E. W.

Project Euclid

Review: Arend Heyting, Formal Logic and Mathematics

Beth, E. W.

Project Euclid

Review: Georgi Schischkoff, Zum Problem Einer Exakten Symbolik des Philosophischen Denkens

p. 194-195

Project Euclid

Review: Georgi Schischkoff, Die Gegenwartige Logistik und Leibniz

Project Euclid

Review: Kurt Huber, Leibniz und wir

Project Euclid

Review: Adolf Meyer-Abich, Joachim Jungius--ein Philosoph vor Leibniz

Project Euclid

Review: Andre Chauvin, Generalisation du Theoreme de Godel

Project Euclid

Review: Andre Chauvin, Structure Logiques

Project Euclid

Review: Olivier Costa de Beauregard, Extension d'Une Theorie de M. J. de Neumann au cas des Projecteurs non Commutables

Borel, A. ; Specker, E.

p. 192-193

Project Euclid

Review: Raphael M. Robinson, Recursion and Double Recursion

Peter, Rozsa

p. 191-192

Project Euclid

Review: Alice Ambrose, Morris Lazerowitz, Fundamentals of Symbolic Logic

Hasenjaeger, Gisbert

Project Euclid

Review: Willard V. Quine, Theory of Deduction. Parts I-IV

Ackermann, W.

p. 190-191

Project Euclid

Review: Andrzej Mostowski, Logique Mathematique. Cours Donne a L'Universite

Zich, O. V.

p. 189-190

Project Euclid

Review: Alfred Tarski, Cardinal Algebras; Bjarni Jonsson, Alfred Tarski, Cardinal Products of Isomorphism Types

Vaughan, H. E.

p. 188-189

Project Euclid

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

Project Euclid

Review: William Kneale, Probability and Induction

p. 187-188

Project Euclid

Review: C. West Churchman, Theory of Experimental Inference

Nelson, Everett J.

Project Euclid

Review: W. H. Werkmeister, An Introduction to Critical Thinking. A Beginner's Text in Logic

Cooley, J. C.

p. 186-187

Project Euclid

Review: A. Wolf, Textbook of Logic

Project Euclid

Review: Louis De Raeymaeker, Introduction a la Philosophie; L. De Raeymaeker, Inleiding tot de Wijsbegeerte

Project Euclid

Review: Arne Naess, Symbolic Logic

v. Wright, G. H.

p. 185-186

Project Euclid

Review: Jorgen Jorgensen, The Development of Logical Empiricism

Ketonen, Oiva

Project Euclid

Review: Herbert Feigl, Wilfrid Sellars, Readings in Philosophical Analysis

p. 184-185

Project Euclid

Review: K. Britton, What is a Rule of Language?

Project Euclid

Review: A. Mostowski, Sur L'Interpretation Geometrique et Topologique des Notions Logiques

Nelson, David

Project Euclid

Review: J. J. de Iongh, Restricted Forms of Intuitionistic Mathematics

Nelson, David

p. 183-184

Project Euclid

Review: G. Alexits, E. Fenyo, Les Fondements des Mathematiques et la Philosophie du Materialisme Dialectique

Project Euclid

Review: R. Apery, Axiomes et Postulats

Project Euclid

Review: J. H. Tummers, Les Principes, Usites dans les Sciences

Project Euclid

Review: K. Marc-Wogau, Remarks Concerning the Latest Discussion on Sense-Data

Project Euclid

Review: F. H. Heinemann, Verites de Raison et Verites de Fait

p. 182-183

Project Euclid

Review: L. Rougier, Enonces Indetermines, Indecidables, Contradictoires, vides de sens

Project Euclid

Review: F. H. Heinemann, Truths of Reason and Truths of Fact

Project Euclid

Review: A. M. Turing, Practical Forms of Type Theory

L'Abbe, Maurice

Project Euclid

$m$-Valued Sub-System of $(m+n)$-Valued Propositional Calculus

Hoo, Tzu-Hua

p. 177-181

Project Euclid

Note on an Idea of Fitch

Myhill, John R.

p. 175-176

Project Euclid

A Syntactical Characterization of S5

Bergmann, Gustav

p. 173-174

Project Euclid

Computational Logic

Levin, Nathan P.

p. 167-172

Project Euclid

The Completeness of the First-Order Functional Calculus

p. 159-166

Project Euclid

Nicht Konstruktiv Beweisbare Satze Der Analysis

Specker, Ernst

p. 145-158

Project Euclid

Further Citations

p. 142-144

Project Euclid

Review: Ettore Carruccio, Alcune Conseguenze di un Risultato del Godel e la Razionalita del Reale

Project Euclid

Review: Giovanni Giorgi, A Proposito di Alcune Discussioni Recenti sui Problemi della Logica Deduttiva

Project Euclid

Review: O. Becker, Das Formale System der Ontologischen Modalitaten; O. Becker, Ein "Naturliches" Formales System der Logisch-Ontologischen Modalitaten

Scholz, Heinrich

p. 140-141

Project Euclid

Review: Kazimierz Ajdukiewicz, Methodology and Metascience

Project Euclid

Review: I. M. Bochenski, Wstep do Teorii Analogii. (Introduction a Une Theorie de L'Analogie)

Sobocinski, Boleslaw

p. 139-140

Project Euclid

Review: J. Ridder, Uber Mehrwertige Aussagenkalkule und Mehrwertige Engere Pradikatenkalkule

Sobocinski, Boleslaw

Project Euclid

Review: M. G. Beumer, A Historical Detail from the Life of Gottlob Frege (1848-1925); E. W. Beth, Postscript

p. 138-139

Project Euclid

Review: L. E. J. Brouwer, Remarks on the Law of the Excluded Third and on Negative Propositions

Project Euclid

Review: L. E. J. Brouwer, Essentially-Negative Properties

p. 137-138

Project Euclid

Review: Andrzej Mostowski, Proofs of Non-Deducibility in Intuitionistic Functional Calculus

Skolem, Th.

Project Euclid

Review: Irving M. Copilowish, Matrix Development of the Calculus of Relations

Skolem, Th.

Project Euclid

Review: Soren Hallden, Certain Problems Connected with the Definitions of Identity and of Definite Descriptions Given in Principia Mathematica

p. 136-137

Project Euclid

Review: P. T. Geach, Mr. Ill-Named

Project Euclid

Review: Joseph H. Greenberg, The Logical Analysis of Kinship

p. 135-136

Project Euclid

Review: Allen Walker Read, An Account of the Word `Semantics.'

Project Euclid

Review: G. Ryle, Why are the Calculuses of Logic and Arithmetic Applicable to Reality?; C. Lewy, Why are the Calculuses of Logic and Arithmetic Applicable to Reality?; K. R. Popper, Why are the Calculuses of Logic and Arithmetic Applicable to Reality?

Project Euclid

Review: C. A. Baylis, Facts, Propositions, Exemplification and Truth

Ambrose, Alice

p. 133-134

Project Euclid

Review: Carl G. Hempel, Paul Oppenheim, Studies in the Logic of Explanation

Storer, Thomas

Project Euclid

Review: L. E. J. Brouwer, Consciousness, Philosophy, and Mathematics

p. 132-133

Project Euclid

Review: I. M. Bochenski, L'etat et les Besoins de L'Histoire de la Logique Formelle

Project Euclid

Review: U. Saarnio, Der Begriff der Hierarchie und die Logischen Paradoxien

Project Euclid

Review: Janos Suranyi, Reduction of the Decision Problem to Formulas Containing a Bounded Number of Quantifiers Only

Project Euclid

Review: L. Kalmar, On Unsolvable Mathematical Problems

p. 130-131

Project Euclid

Review: A. A. Fraenkel, The Relation of Equality in Deductive Systems

Project Euclid

Review: J. Ridder, Sur Quelques Logiques Multivalentes

Turquette, A. R.

Project Euclid

Review: Paulette Destouches-Fevrier, Sur la Notion D'Adequation et le Calcul Minimal de Johansson

Bernays, Paul

p. 129-130

Project Euclid

Review: Paulette Destouches-Fevrier, Signification Profonde du Principe de Decomposition Spectrale

Bernays, Paul

Project Euclid

Review: Paulette Destouches-Fevrier, Sur les Rapports Entre la Logique et la Physique Theorique; Paulette Destouches-Fevrier, Logique Adaptee aux Theories Quantiques

Bernays, Paul

p. 128-129

Project Euclid

Review: Duane Studley, Algebra of Neural Nets

Project Euclid

Review: N. Rashevsky, Mathematical Biophysics

Project Euclid

Review: Norbert Wiener, Cybernetics. Or Control and Communication in the Animal and the Machine

Project Euclid

Review: Giusseppe Vaccarino, La Scuola Polacca di Logica

Project Euclid

Review: Jose Sebastiao e Silva, Sugli Automorfismi di un Sistema Matematico Qualunque

Project Euclid

Review: Egmont Colerus, Von Pythagoras bis Hilbert. Die Epochen der Mathematik und ihre Baumeister. Geschichte der Mathematik fur Jedermann; Egmont Colerus, Piccola Storia della Matematica. Da Pitagora a Hilbert

p. 126-127

Project Euclid

Review: Marcel Boll, Les Etapes des Mathematiques

Project Euclid

Review: Yueh-Lin Chin, Logic

Wang, Shanghaw

p. 125-126

Project Euclid

Review: Leon Chwistek, Helen Charlotte Brodie, Arthur P. Coleman, The Limits of Science. Outline of Logic and the Methodology of the Exact Sciences

Myhill, John R.

p. 119-125

Project Euclid

The Word Problem for Semigroups with Two Generators

Hall, Marshall

p. 115-118

Project Euclid

Definability and Decision Problems in Arithmetic

Robinson, Julia

p. 98-114

Project Euclid

On an Implication Function in Many-Valued Systems of Logic

Dienes, Z. P.

p. 95-97

Project Euclid

On Ternary Logic

Dienes, Paul

p. 85-94

Project Euclid

On Natural Numbers, Integers, and Rationals

p. 81-84

Project Euclid

Eleventh Meeting of the Association for Symbolic Logic

Zorn, Max A.

p. 73-80

Project Euclid

Further Citations

p. 70-72

Project Euclid

Review: Ettore Carruccio, Il Problema dell'Esprimibilta in Simboli di un Sistema Ipotetico-Deduttivo

Bochenski, I. M.

Project Euclid

Review: Silvio Ceccato, Divagazioni di Animal Semioticum

Bochenski, I. M.

Project Euclid

Review: Giuseppe Vaccarino, Elementi per una Teoria Della Conoscenza

Bochenski, I. M.

Project Euclid

Review: Soren Hallden, A Note Concerning the Paradoxes of Strict Implication and Lewis's System S1

Project Euclid

Review: Hao Wang, A New Theory of Element and Number

Rosser, J. Barkley

Project Euclid

Review: Frederic B. Fitch, An Extension of Basic Logic

Kleene, S. C.

p. 68-69

Project Euclid

Review: A. M. Turing, Practical Forms of Type Theory

L'Abbe, Maurice

p. 67-68

Project Euclid

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

Project Euclid

Review: Stanislaw Jaskowski, Rachunek zdan dla Systemow Dedukcyjnych Sprzecznych (Un Calcul des Propositions pour les Systemes Deductifs Contradictoires

p. 66-67

Project Euclid

Review: Stanislaw Jaskowski, Sur Certains Groupes Formes de Classes d'Ensembles et Leur Application aux Definitions des Nombres

Project Euclid

Review: Stanislaw Jaskowski, Sur les Variables Propositionelles Dependantes

Project Euclid

Review: Jerzy Los, Many-Valued Logics and the Formalization of Intensional Functions

Suszko, R.

p. 64-65

Project Euclid

Review: Henryk Hiz, William Craig, Henry W. Johnstone, (Filozofia w Stanach Zjednoczonych 1939-1947)Philosophy in the United States 1939-1947

Project Euclid

Review: A. Grzegorczyk, Un Essai d'Etablir la Semantique du Langage Descriptif

Project Euclid

Review: W. Smielew, Decision Problem in Group Theory

Peter, Rozsa

p. 63-64

Project Euclid

Review: S. C. Kleene, On the Intuitionistic Logic

Review: K. R. Popper, On the Theory of Deduction, Part I. Derivation and its Generalizations; K. R. Popper, On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation; K. R. Popper, The Trivialization of Mathematical Logic

Project Euclid

Kleene, S. C.

p. 62-63

Project Euclid

Review: H. A. Weersma, Objections Against H. Scholz's Metaphysik als Strenge Wissenschaft

Project Euclid

Review: Evert W. Beth, Hundred Years of Symbolic Logic. A Retrospect on the Occasion of the Boole De Morgan Centenary

Martin, R. M.

p. 61-62

Project Euclid

Review: Evert W. Beth, The Origin and Growth of Symbolic Logic

Martin, R. M.

Project Euclid

Review: Evert W. Beth, Historical Studies in Traditional Philosophy

Project Euclid

Review: William Kneale, Boole and the Revival of Logic

Beth, Evert W.

Project Euclid

Review: E. Toms, Facts and Entailment

p. 60-61

Project Euclid

Review: Arthur N. Prior, Facts, Propositions and Entailment

Project Euclid

Review: Wilfrid Sellars, Concepts as Involving Laws and Inconceivable Without Them

p. 59-60

Project Euclid

Review: C. West Churchman, Statistics, Pragmatics, Induction

Storer, Thomas

Project Euclid

Review: Yrjoo Reenpaa, Uber Wahrnehmen, Denken und Messendes Versuchen

Hempel, Carl G.

p. 57-59

Project Euclid

Review: Arnost Kolman, Expose Critique de la Methode Symbolique de la Logique Moderne

Zich, O. V.

p. 56-57

Project Euclid

Review: Leon Chwistek, La Methode Generale des Sciences Positives. L'Esprit de la Semantique

Meyerson, Helen C.

p. 55-56

Project Euclid

Review: Marcel Boll, Jacques Reinhart, Les Etapes de la Logique

Project Euclid

Review: Arne Ness, Interpretation and Preciseness. I. Survey of Basic Concepts

Wedberg, Anders

p. 54-55

Project Euclid

Review: Emile Borel, Les Paradoxes de L'Infini

Wedberg, Anders

p. 53-54

Project Euclid

Review: Alfred Jules Ayer, Language, Truth and Logic

p. 52-53

Project Euclid

Review: R. A. Kocourek, An Evaluation of Symbolic Logic

Project Euclid

Review: Hans Reichenbach, Elements of Symbolic Logic

Berry, George D. W.

p. 50-52

Project Euclid

Review: Evert W. Beth, Philosophy of Mathematics

Kraft, Julius

p. 49-50

Project Euclid

Fragments of the Propositional Calculus

p. 42-48

Project Euclid

The Logical Simplicity of Predicates

Goodman, Nelson

p. 32-41

Project Euclid

A Note on Nominalism and Recursive Functions

Martin, R. M.

p. 27-31

Project Euclid

Constructible Falsity

Nelson, David

p. 16-26

Project Euclid

The Heine-Borel Theorem in Extended Basic Logic

p. 9-15

Project Euclid

Foundations of Mathematics for the Working Mathematician

Bourbaki, N.