Reviews
E. W. Beth. A topological proof of the theorem of Löwenheim-Skolem-Gödel. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 (1951), pp. 436–444; also Indagationes mathematicae, vol. 13 (1951), pp. 436–444.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
-
- Article
- Export citation
E. W. Beth. Some consequences of the theorem of Löwenheim-Skolem-Gödel-Malcev. Ibid., vol. 56 (1953), pp. 66–71; and Ibid., vol. 15 (1953), pp. 66–71.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 61-62
-
- Article
- Export citation
S. C. Kleene. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 1–26. - S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 27–66. - S. C. Kleene. Bibliography. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 67–68. - William Craig. On axiomatizability within a system. The journal of symbolic logic, vol. 18 (1953), pp. 30–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 62-63
-
- Article
- Export citation
Hao Wang and Robert McNaughton. Les systèmes axiomatiques de la théorie des ensembles. With a preface by P. Destouches-Février. Collection de logique mathématique, série A. Lithographed. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1953, 55 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
-
- Article
- Export citation
Carl B. Allendoerfer and Cletus O. Oakley. Principles of mathematics. Photo-offset from typewritten manuscript. McGraw-Hill Book Company, New York1953, ii + viii + 544 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 64-65
-
- Article
- Export citation
Hugo Fischer. Zum Problem der Übertragung mathetischer Prinzipien: Die “Allgemeine Semantik.” Eine nichtaristotelische Wertungslehre Alfred Korzybskis. Studium generale, vol. 6 (1953), pp. 361–368.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
-
- Article
- Export citation
Paul F. Linke. Was ist Logik?Zeitschrift für philosophische Forschung, vol. 6 (1951–1952), pp. 372–398.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
-
- Article
- Export citation
Paul Lorenzen. Die ontologische und die operative Auffassung der Logik. Actes du Xlième Congres International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 12–18.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-66
-
- Article
- Export citation
G. H. von Wright. A new system of modal logic. Actes du Xlième Congres International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 59–63.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
-
- Article
- Export citation
Andrea Galimberti. L'analyse linguistique de la représentation. Actes du Xlième Congres International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 139–145.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
-
- Article
- Export citation
Paul F. Linke. Die Implication als echte Wenn-so-Beziehung. Bemerkungen zu den “Fundamental-Paradoxien” der Logistik. Actes du Xlième Congres International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 146–150.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
-
- Article
- Export citation
J. C. C. McKinsey. Systems of modal logic which are not unreasonable in the sense of Halldén. The journal of symbolic logic, vol. 18 (1953), pp. 109–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-68
-
- Article
- Export citation
Erna F. Schneider. Recent discussion of subjunctive conditionals. The review of metaphysics, vol. 6 no. 4 (1953), pp. 623–649.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 68
-
- Article
- Export citation
B. J. Diggs. Counterfactual conditionals. Mind, n. s. vol. 61 (1952), pp. 513–527.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 68
-
- Article
- Export citation
Thomas Storer. On defining ‘soluble.’Analysis, vol. 11 no. 6 (1951), pp. 134–137. - Gustav Bergmann. Comments on Storer's definition of ‘soluble.’Analysis, vol. 12 no. 2 (1951), pp. 44–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
-
- Article
- Export citation
Julius R. Weinberg. Contrary-to-fact conditionals. The journal of philosophy, vol.48 (1951), pp. 17–22.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-70
-
- Article
- Export citation
Robert Brown and John Watling. Counterfactual conditionals. Mind, n. s. vol. 61 (1952), p.p 222–233. - Robert Brown and John Watling. Hypothetical statements and phenomenalism. Synthese, vol. 8 (1950–1952), pp. 355–366.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-71
-
- Article
- Export citation
Benson Mates. Stoic logic. University of California publications in philosophy, vol. 26. University of California Press, Berkeley and Los Angeles1953, 148 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 71-72
-
- Article
- Export citation
Joseph T. Clark. Conventional logic and modern logic. A prelude to transition. Philosophical studies of the American Catholic Philosophical Association, Volume III. Woodstock College Press, Woodstock, Md., 1952, VII + 1 + 109 pp. - W. V. Quine. Preface. Therein, pp. V–VII.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-73
-
- Article
- Export citation
A. N. Prior. The parva logicalia in modern dress. Dominican studies, vol. 5 (1952), pp. 78–87.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-74
-
- Article
- Export citation