Volume 16; Issue 4

Main
Journal of Symbolic Logic
Volume 16; Issue 4

Journal of Symbolic Logic

Volume 16; Issue 4

1

Zur Theorie der Aussagenlogischen Matrizenby Hans Hermes

Review by: H. Hiż

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 200 KB

english, 1951

2

Ensembles, Espèces et Logique.by François Moch

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 200 KB

english, 1951

3

General Recursive Functionsby Julia Robinson

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 207 KB

english, 1951

4

n-Valued Boolean Algebraby Paul Henle

Review by: Alfred L. Foster

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 304 KB

english, 1951

5

The Theory of Appearingby Roderick M. Chisholm

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 210 KB

english, 1951

6

List of Officers and Members of the Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 706 KB

english, 1951

7

Volume Information

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 210 KB

english, 1951

8

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 219 KB

english, 1951

9

On the Interpretation of Non-Finitist Proofs--Part I

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 2.08 MB

english, 1951

10

Methods of Logicby Willard Van Orman Quine

Review by: A. R. Turquette

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 204 KB

english, 1951

11

A Demonstrably Consistent Mathematicsby Frederic B. Fitch

Review by: R. M. Martin

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 306 KB

english, 1951

12

Axiom Schemes for m-Valued Functional Calculi of First Order. Part II. Deductive Completenessby J. B. Rosser; A. R. Turquette

Review by: Burton Spencer Dreben

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 207 KB

english, 1951

13

Algebraische und Logistische Untersuchungen Ūber Freie Verbände.by Paul Lorenzen

Review by: Hao Wang

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 538 KB

english, 1951

14

On the Rules of Proof in the Pure Functional Calculus of the First Orderby Andrzej Mostowski

Review by: G. D. W. Berry

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 206 KB

english, 1951

15

Extensions of the Lewis System S5by Schiller Joe Scroggs

Review by: Naoto Yonemitsu

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 319 KB

english, 1951

16

Towards a Consistent Set-Theoryby John Myhill

Review by: W. V. Quine

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 201 KB

english, 1951

17

A Construction for Models of Consistent Systemsby I. L. Novak

Review by: Th. Skolem

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 319 KB

english, 1951

18

Some Impredicative Definitions in the Axiomatic Set-Theoryby Andrzej Mostowski

Review by: Th. Skolem

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 313 KB

english, 1951

19

Conditioned Disjunction as a Primitive Connective for the m-Valued Propositional Calculusby Alan Rose

Review by: A. R. Turquette

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 200 KB

english, 1951

20

Some Analogues of the Sheffer Stroke Function in n-Valued Logicby Norman M. Martin

Review by: Alan Rose

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 306 KB

english, 1951

21

A New Proof of a Theorem of Dienesby Alan Rose

Review by: Nicholas Rescher

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 195 KB

english, 1951

22

Mathematicsby Edmund Whittaker

Review by: Nicholas Rescher

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 195 KB

english, 1951

23

Symbolic Logicby John E. Pfeiffer; Robert S. Hahn; O. F. Krause; Charles Bomgren; Alexander B. Morris; J. C. Brown; Charles E. Bures; Mark I. Halpern; John E. Pfeiffer

Review by: Nicholas Rescher

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 196 KB

english, 1951

24

Axiom Systems for Three-Valued Logicby Alan Rose

Review by: Nicholas Rescher

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 226 KB

english, 1951

25

The Logic of Causal Propositionsby Arthur W. Burks

Review by: Nicholas Rescher

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 322 KB

english, 1951

26

On Systems of Strict Implicationby Naoto Yonemitsu

Review by: Sören Halldén

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 191 KB

english, 1951

27

Remarque Sur les Notions d'Indépendance et de Non-Contradiction.by Alan Rose

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 192 KB

english, 1951

28

The Representation of Relational Algebrasby Roger C. Lyndon

Review by: C. J. Everett

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 305 KB

english, 1951

29

Rekursive Funktionenby Rózsa Péter

Review by: Raphael M. Robinson

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 434 KB

english, 1951

30

Über die vollständigkeit der Axiomensysteme mit Einem Endlichen Individuenbereich.by Paul Kustaanheimo

Review by: William Craig

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 325 KB

english, 1951

31

Introducción a la Lógica y a la Metodología de las Ciencias Deductivas.by Alfred Tarski; T. R. Bachiller; J. R. Fuentes

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 327 KB

english, 1951

32

Selectionsby G. W. v. Leibniz; Philip P. Wiener

Review by: Robert E. Luce

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 327 KB

english, 1951

33

Consciousness and Behavior. A Neural Analysis of Behavior and of Consciousnessby James T. Culbertson

Review by: A. S. Householder

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 326 KB

english, 1951

34

History of Philosophyby Władysław Tatarkiewicz

Review by: H. Hiż

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 207 KB

english, 1951

35

The Nature and Application of Inductive Logic, Consisting of Six Sections from: Logical Foundations of Probabilityby Rudolf Carnap

Review by: John G. Kemeny

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 207 KB

english, 1951

36

The Logic of Termsby James Wilkinson Miller; Paul Henle; Horace M. Kallen; Susanne K. Langer

Review by: Ivo Thomas

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 317 KB

english, 1951

37

The Ordered Pair in Number Theoryby W. V. Quine

Review by: J. Barkley Rosser

Journal:

Journal of Symbolic Logic

Year:

1951

File:

PDF, 195 KB

1951

38

Philosophische Grundlagen der Quantenmechanikby Hans Reichenbach

Review by: G. Hasenjaeger

Journal:

Journal of Symbolic Logic

Year:

1951

File:

PDF, 306 KB

1951

39

An Algebraic Characterization of Quantifiersby Leon Henkin

Review by: Wilhelm Ackermann

Journal:

Journal of Symbolic Logic

Year:

1951

File:

PDF, 319 KB

1951

40

Sobre la Substitución de las Variables Funcionales en el Cálculo Functional de Primer Orden.by Gonzalo Zubieta R

Review by: Maurice L'Abbé

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 210 KB

english, 1951

41

L'Infini en Logique et les Éléments Définis et non Calculables.by Daniel Dugué

Review by: A. R. Turquette

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 210 KB

english, 1951

42

Interpretation von Kalkülen.by Wilhelm Britzelmayr

Review by: Roderick M. Chisholm

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 246 KB

english, 1951

43

Der Begriff der Funktion in der Symbolischen Logikby Karl Dürr

Review by: Roderick M. Chisholm

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 246 KB

english, 1951

44

Revue internationale de philosophicby Bertrand Russell

Review by: Mieczyslaw Choynowski

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 890 KB

english, 1951

45

Philosophical Analysisby Max Black

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 331 KB

english, 1951

46

Basic Propositionsby A. J. Ayer

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 210 KB

english, 1951

47

De Principiis non Disputandum ...?by Herbert Feigl

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 211 KB

english, 1951

48

Substratumby Morris Lazerowitz

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 210 KB

english, 1951

49

Entailment and Necessary Propositionsby C. Lewy

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 313 KB

english, 1951

50

The Verification Argumentby Norman Malcolm

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 192 KB

english, 1951

51

"If," "So," and "Because."by Gilbert Ryle

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 192 KB

english, 1951

52

Generalization and Evidenceby Frederick L. Will

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 193 KB

english, 1951

53

Counter-Intuitivity and the Method of Analysisby Richard Rudner

Review by: J. F. Thomson

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 250 KB

english, 1951

54

Existence and Coherenceby Ivo Thomas

Review by: C. Lewy

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 250 KB

english, 1951

55

The Analysis of Conditional Sentencesby D. J. O'Connor

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 352 KB

english, 1951

56

Language, Thought and Meaningby Shen Yu-Ting

Review by: Hao Wang

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 328 KB

english, 1951

57

Characteristics of Scientific Empiricism and Comments Thereonby Yin Fu-Sheng

Review by: Hao Wang

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 164 KB

english, 1951

58

Further Citations

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 139 KB

english, 1951

59

Index of Reviews: Volumes XV, XVI

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 1.64 MB

english, 1951

60

On the Semantic Non-Completeness of Certain Lewis Calculiby Sörend Halldén

Review by: W. T. Parry

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 201 KB

english, 1951

61

Errata

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 194 KB

english, 1951

62

Zur Wahrheitsstruktur des Urteilsby Albert Menne

Review by: Nicholas Rescher

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 219 KB

english, 1951

63

The Development of Logical Empiricismby Joergen Joergensen;Postcriptby Norman M. Martin

Review by: Victor Kraft

Journal:

Journal of Symbolic Logic

Year:

1951

File:

PDF, 223 KB

1951

64

Die Dualität des Verstandes.by Yrjö Reenpää

Review by: Carl G. Hempel

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 376 KB

english, 1951

65

Phenomenalismby Paul Marhenke

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 221 KB

english, 1951

66

Lógica Elementar.by Vieira de Almeida

Review by: Robert E. Luce

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 355 KB

english, 1951

67

Two-Valued Truth Tables for Modal Functionsby Henry S. Leonard

Review by: Jan Kalicki

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 233 KB

english, 1951

68

A Note on Probabilityby John Wisdom

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 271 KB

english, 1951

69

Ayer A. J.. Basic propositions. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 60–74.

Baylis, Charles A.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 482 KB

english, 1951

70

Leonard Henry S.. Two-valued truth tables for modal functions. Structure, method and meaning, Essays in honor of Henry M. Sheffer, edited by Henle Paul, Kallen Horace M., and Langer Susanne K., The Liberal Arts Press, New York 1951, pp. 42–67.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 256 KB

english, 1951

71

O'Connor D. J.. The analysis of conditional sentences. Mind, n.s., vol. 60 (1951), pp. 351–362.

Baylis, Charles A.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 171 KB

english, 1951

72

Quine Willard Van Orman. Methods of logic. Henry Holt & Company, New York 1950, xx + 264 pp.

Turquette, A. R.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 88 KB

english, 1951

73

Rose Alan. Axiom systems for three-valued logic. The journal of the London Mathematical Society, vol. 26 (1951), pp. 50–58.

Rescher, Nicholas

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 79 KB

english, 1951

74

Menne Albert. Zur Wahrheitsstruktur des Urteils. Methodos, vol. 1 (1949), pp. 390–404.

Rescher, Nicholas

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 82 KB

english, 1951

75

Moch François. Ensembles, espèces et logique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 232 (1951), pp. 201–202.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 86 KB

english, 1951

76

Tatarkiewicz Władysław. Historia filozofii (History of philosophy). Vol. 3. Filozofia XIX wieku i współczesna (Nineteenth century and contemporary philosophy). Czytelnik, Warsaw 1950, 602 pp.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 90 KB

english, 1951

77

Lazerowitz Morris. Substratum. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 176–194.

Baylis, Charles A.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 413 KB

english, 1951

78

Wisdom John. A note on probability. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 414–420.

Baylis, Charles A.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 188 KB

english, 1951

79

On the interpretation of non-finitist proofs—Part I

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 1.43 MB

english, 1951

80

Fitch Frederic B.. A demonstrably consistent mathematics. The journal of symbolic logic, vol. 15 (1950), pp. 17–24, and vol. 16 (1951), pp. 121–124.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 168 KB

english, 1951

81

Rosser J. B. and Turquette A. R.. Axiom schemes for m-valued functional calculi of first order. Part II. Deductive completeness. The journal of symbolic logic, vol. 16 (1951), pp. 22–34. See Errata, ibid., p. iv.

Dreben, Burton Spencer

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 90 KB

english, 1951

82

Lorenzen Paul. Algebraische und logistische Untersuchungen über freie Verbände. The journal of symbolic logic, vol. 16 (1951), pp. 81–106.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 338 KB

english, 1951

83

Mostowski Andrzej. On the rules of proof in the pure functional calculus of the first order. The journal of symbolic logic, vol. 16 (1951), pp. 107–111.

Berry, G. D. W.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 89 KB

english, 1951

84

Scroggs Schiller Joe. Extensions of the Lewis system S5. The journal of symbolic logic, vol. 16 (1951), pp. 112–120.

Yonemitsu, Naoto

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 168 KB

english, 1951

85

Halldén Sören. On the semantic non-completeness of certain Lewis calculi. The journal of symbolic logic, vol. 16 (1951), pp. 127–129.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 90 KB

english, 1951

86

Myhill John. Towards a consistent set-theory. The journal of symbolic logic, vol. 16 (1951), pp. 130–136. See Errata, ibid., p. iv.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 90 KB

english, 1951

87

Novak I. L.. A construction for models of consistent systems. Fundamenta mathematicae, vol. 37 (for 1950, pub. 1951), pp. 87–110.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 169 KB

english, 1951

88

Mostowski Andrzej. Some impredicative definitions in the axiomatic set-theory. Fundamenta mathematicae, vol. 37 (for 1950, pub. 1951), pp. 111–124.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 167 KB

english, 1951

89

Hermes Hans. Zur Theorie der aussagenlogischen Matrizen. Mathematische Zeitschrift, vol. 53 no. 5 (1951), pp. 414–418.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 87 KB

english, 1951

90

Rose Alan. Conditioned disjunction as a primitive connective for the m-valued propositional calculus. Mathematische Annalen, vol. 123 (1951), pp. 76–78.

Turquette, A. R.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 87 KB

english, 1951

91

Martin Norman M.. Some analogues of the Sheffer stroke function in n-valued logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 53 (1950), pp. 1100–1107; also Indagationes mathematicae, vol. 12 (1950), pp. 393–400.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 166 KB

english, 1951

92

Rose Alan. A new proof of a theorem of Dienes. Norsk matematish tidsskrift, vol. 33 (1951), pp. 27–29.

Rescher, Nicholas

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 88 KB

english, 1951

93

Sir Whittaker Edmund. Mathematics. Scientific American, vol. 183 no. 3 (1950), pp. 40–42.

Rescher, Nicholas

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 88 KB

english, 1951

94

Pfeiffer John E.. Symbolic logic. Scientific American, vol. 183 no. 6 (1950), pp. 22–24.Hahn Robert S., Krause O. F., Bomgren Charles, Morris Alexander B., Brown J. C., Bures Charles E., Halpern Mark I., Pfeiffer John E.. Letters. Scientific American, vol. 184 no. 2 (1951), pp. 2–6.

Rescher, Nicholas

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 88 KB

english, 1951

95

Burks Arthur W.. The logic of causal propositions. Mind, n.s. vol. 60 (1951), pp. 363–382.

Rescher, Nicholas

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 150 KB

english, 1951

96

Yonemitsu Naoto. On systems of strict implication. Tôhoku mathematical journal, ser. 2 vol. 3 (1951), pp. 48–58.

Halldén, Sören

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 82 KB

english, 1951

97

Rose Alan. Remarque sur les notions d'indépendence et de non-contradiction. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 233 (1951), pp. 512–513.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 86 KB

english, 1951

98

Lyndon Roger C.. The representation of relational algebras. Annals of mathematics, ser. 2 vol. 51 (1950), pp. 707–729.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 167 KB

english, 1951

99

Robinson Julia. General recursive functions. Proceedings of the American Mathematical Society, vol. 1 no. 6 (for 1950, pub. 1951), pp. 703–718.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 91 KB

english, 1951

100

Péter Rózsa. Rekursive Funktionen. Akadémiai Kiadó (Akademischer Verlag), Budapest 1951, 206 pp.

Robinson, Raphael M.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 257 KB

english, 1951

101

Kustaanheimo Paul. Über die Vollständigkeil der Axiomensysteme mit einem endlichen Individuenbereich. Annates Academiae Scientiarium Fennicae, Series A, I. Mathematica-Physica 63. Helsinki 1949, 44 pp.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 177 KB

english, 1951

102

Tarski Alfred. Introducción a la lógica y a la metodología de las ciencias deductivas. Translated by Bachiller T. R. and Fuentes J. R.. Espase-Calpe Argentina, Buenos Aires and Mexico City 1951, 237 pp.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 180 KB

english, 1951

103

de Almeida Vieira. Lógica elementar. Collecção Stvdivm no. 38. Livraria Académica, Saraiva & C.a, São Paulo, Brazil, 1943, 186 pp.

Luce, Robert E.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 180 KB

english, 1951

104

Leibniz G. W. v.. Selections. Edited by Wiener Philip P.. The Modern Student's Library. Charles Scribner's Sons, New York 1951, li + 606 pp.

Luce, Robert E.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 176 KB

english, 1951

105

Culbertson James T.. Consciousness and behavior. A neural analysis of behavior and of consciousness. Wm. C. Brown Company, Dubuque 1950, xxi + 210 pp.

Householder, A. S.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 171 KB

english, 1951

106

Carnap Rudolf. The nature and application of inductive logic, consisting of six sections from: Logical foundations of probability. The University of Chicago Press, Chicago 1951, pp. i–viii, 161–202, 242–279.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 90 KB

english, 1951

107

Miller James Wilkinson. The logic of terms. Structure, method and meaning, Essays in honor of Henry M. Sheffer, edited by Henle Paul, Kallen Horace M., and Langer Susanne K., The Liberal Arts Press, New York 1951, pp. 35–41.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 252 KB

english, 1951

108

Henle Paul. n-valued Boolean algebra. Structure, method and meaning, Essays in honor of Henry M. Sheffer, edited by Henle Paul, Kallen Horace M., and Langer Susanne K., The Liberal Arts Press, New York 1951, pp. 68–73.

Foster, Alfred L.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 256 KB

english, 1951

109

Quine W. V.. The ordered pair in number theory. Structure, method and meaning, Essays in honor of Henry M. Sheffer, edited by Henle Paul, Kallen Horace M., and Langer Susanne K., The Liberal Arts Press, New York 1951, pp. 84–87.

Rosser, J. Barkley

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 256 KB

english, 1951

110

Joergensen Joergen. The development of logical empiricism. International encyclopedia of unified science, Bd. 2 Heft 9. The University of Chicago Press, Chicago 1951, iii + 100 S.Martin Norman M.. Postcript. Darin, S. 91–99.Editor's note. Darin, S. 99–100.

Journal:

Journal of Symbolic Logic

Year:

1951

File:

PDF, 85 KB

1951

111

Reichenbach Hans. Philosophische Grundlagen der Quantenmechanik. Übersetzt von Maria Reichenbach. Verlag Birkhäuser, Basel 1949, 198 S.

Hasenjaeger, G.

Journal:

Journal of Symbolic Logic

Year:

1951

File:

PDF, 166 KB

1951

112

Henkin Leon. An algebraic characterization of quantifiers. Fundamenta mathematicae, Bd. 37 (1950, veröff. 1951), S. 63–74.

Ackermann, Wilhelm

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

german

File:

PDF, 177 KB

german, 1951

113

Dugué Daniel. L'infini en logique et les éléments définis et non calculables. Bulletin de la Société Royale des Sciences de Liège, vol. 19 (1950), pp. 490–499.

Turquette, A. R.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 95 KB

english, 1951

114

Reenpää Yrjö. Die Dualität des Verstandes. Sitzungsberichte der Heidelberger Akademie der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse, 1950, no. 7, pp. 341–414. Reprinted, Springer-Verlag, Heidelberg 1950, 76 pp.

Hempel, Carl G.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 170 KB

english, 1951

115

Britzelmayr Wilhelm. Interpretation von Kalkülen. Synthese, vol. 7 (1948–1949), pp. 50–57.

Chisholm, Roderick M.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 86 KB

english, 1951

116

Dürr Karl. Der Begriff der Funktion in der symbolischen Logik. Synthese, vol. 7 (1948–1949), pp. 418–427.

Chisholm, Roderick M.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 86 KB

english, 1951

117

Grzegorczyk Andrzej. The pragmatic foundations of semantics. Synthese, vol. 8 (1950–1951), pp. 300–324.

Chisholm, Roderick M.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 86 KB

english, 1951

118

Russell Bertrand. Logical positivism. Revue Internationale de philosophie (Brussels), vol. 4 (1950), pp. 3–19.Carnap Rudolf. Empiricism, semantics, and ontology. Revue Internationale de philosophie (Brussels), vol. 4 (1950), pp. 20–40.Hempel Carl G.. Problems and changes in the empiricist criterion of meaning. Revue Internationale de philosophie (Brussels), vol. 4 (1950), pp. 41–63.Feigl Herbert. The mind-body problem in the development of logical empiricism. Revue Internationale de philosophie (Brussels), vol. 4 (1950), pp. 64–83.Barzin Marcel. L'empirisme logique. Revue Internationale de philosophie (Brussels), vol. 4 (1950), pp. 84–94.Feigl Herbert. Selected bibliography of logical empiricism. Revue Internationale de philosophie (Brussel

Choynowski, Mieczysław

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 694 KB

english, 1951

119

Black Max. Introduction. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 1–14.Ambrose Alice. The problem of linguistic inadequacy. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 15–37.

Baylis, Charles A.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 409 KB

english, 1951

120

Chisholm Roderick M.. The theory of appearing. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 102–118.

Baylis, Charles A.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 413 KB

english, 1951

121

Feigl Herbert. De principiis non disputandum …? Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 119–156.

Baylis, Charles A.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 413 KB

english, 1951

122

Lewy C.. Entailment and necessary propositions. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 195–210.

Baylis, Charles A.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 413 KB

english, 1951

123

Malcolm Norman. The verification argument. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 244–298.

Baylis, Charles A.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 413 KB

english, 1951

124

Marhenke Paul. Phenomenalism. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 299–322.

Baylis, Charles A.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 413 KB

english, 1951

125

Ryle Gilbert. “If,” “so,” and “because.” Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 323–340.

Baylis, Charles A.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 413 KB

english, 1951

126

Will Frederick L.. Generalization and evidence. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 384–413.

Baylis, Charles A.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 413 KB

english, 1951

127

Rudner Richard. Counter-intuitivity and the method of analysis. Philosophical studies, vol. 1 (1950), pp. 83–89.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 85 KB

english, 1951

128

Thomas Ivo. Existence and coherence. Methodos, vol. 2 no. 5 (1950), pp. 76–80.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 85 KB

english, 1951

129

Yu-Ting Shen. Yü-yen, ssǔ-hsiang, yü i-i (Language, thought, and meaning). Che-hsüeh p'ing-lun (The philosophical review) (Chungking), vol. 8 no. 3 (1943), pp. 1–21.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 185 KB

english, 1951

130

Fu-Sheng Yin. K'o-hsüeh-ching-yen-lun it cheng-hsing chi ch'i p'i-p'ing (Characteristics of scientific empiricism and comments thereon). Kuo-li T'aiwan-ta-hsüeh wen-shih-che hsüeh-pao (Taipei), no. 2 (1951), pp. 193–213.

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 54 KB

english, 1951

131

JSL volume 16 issue 4 Cover and Front matter and Errata

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 7.69 MB

english, 1951

132

List of officers and members of the Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 451 KB

english, 1951

133

Index of reviews

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 1.12 MB

english, 1951

134

Related Citations

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 54 KB

english, 1951

135

Zubieta R. Gonzalo Sobre la substitución de las variables funcionales en el cáculo funcional de primer orden. Boletin de la Sociedad Matemática Mexicana, vol. 7 no. 1–2 (1950), pp. 1–21.

L'Abbé, Maurice

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 95 KB

english, 1951

136

The Pragmatic Foundations of Semanticsby Andrzej Grzegorczyk

Review by: Roderick M. Chisholm

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 328 KB

english, 1951