Reviews
Wilfrid Sellars. Concepts as involving laws and inconceivable without them. Philosophy of science, vol. 15 (1948), pp. 287–315.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-60
-
- Article
- Export citation
Arthur N. Prior. Facts, propositions and entailment. Mind, n.s. vol. 57 (1948), pp. 62–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 60
-
- Article
- Export citation
E. Toms. Facts and entailment. Mind, n.s. vol. 57 (1948), pp. 232–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-61
-
- Article
- Export citation
William Kneale. Boole and the revival of logic. Mind, n.s. vol. 57 (1948), pp. 149–175.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
-
- Article
- Export citation
Eveht W. Beth. Historical studies in traditional philosophy. Synthese, vol. 5 (1946–1947), pp. 248–260.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
-
- Article
- Export citation
Evert W. Beth. The origin and growth of symbolic logic. Synthese, vol. 6 (1947–1948), pp. 268–274.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
-
- Article
- Export citation
Eveht W. Beth. Hundred years of symbolic logic. A retrospect on the occasion of the Boole De Morgan centenary. English, with brief abstracts in English, French, and German. Dialectica (Neuchâtel), vol. 1 (1947), pp. 311–346.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 61-62
-
- Article
- Export citation
H. A. Weersma. Bezwaren tegen H. Scholz' Metaphysik als strenge Wissenschaft (Objections against H. Scholz's Metaphysik als strenge Wissenschaft)Algemeen Nederlands tijdschrift voor wijsbegeerte en psychologie, vol. 39 (1946–1947), pp. 151–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 62
-
- Article
- Export citation
K. R. Popper. On the theory of deduction, Part I. Derivation and its generalizations. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 51 (1948), pp. 173–183; also Indagationes mathematicae, vol. 10 (1948), pp. 44–54. - K. R. Popper. On the theory of deduction, Part II. The definitions of classical and intuitionist negation. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 51 (1948), pp. 322–331; also ibid., pp. 111–120. - K. R. Popper. The trivialization of mathematical logic. Library of the Xlh International Congress of Philosophy (Amsterdam, August 11–18, 1948). Vol. I. Proceedings of the Congress. Preprint 1948, pp. 510–515.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 62-63
-
- Article
- Export citation
S. C. Kleene. On the intuitionistic logic. Library of the Xth International Congress of Philosophy (Amsterdam, August, 11–18, 1948). Vol. I. Proceedings of the Congress. Preprint 1948, pp. 185–187.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 63
-
- Article
- Export citation
W. Smielew. Decision problem in group theory. Ebd., Sonderabdruck1948, S. 373–376.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 63-64
-
- Article
- Export citation
A. Grzegorczyk. Un essai d'établir la sémantique du langage descripbif. Sonderabdruck, preprint 1948, pp. 419–421.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
-
- Article
- Export citation
Filozofia w Stanach Zjednoczonych 1939–1947 (Philosophy in the United States 1939–1947). Przegląd filozoficzny, vol. 44 no. 1–3 (1948), pp. 234–282—Therein: - Henryk Hiż. Wstęp (Introduction), pp. 234–241. - Henryk Hiż. Logika (Logic), pp. 241–249. - William Craig. Teoria indukcji (Theory of induction), pp. 249–255. - Henry W. Johnstone. Teoria poznania (Theory of knowledge), pp. 271–275.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
-
- Article
- Export citation
Jerzy Łoś. Logiki wielowartościowe a formalizacja funkcji intencjonalnych (Many-valued logics and the formalization of intensional functions). Kwartalnik filozoficzny, vol. 17 (1948), pp. 59–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 64-65
-
- Article
- Export citation
Stanisław Jaśkowski. Sur les variables propositionelles dépendantes. Studia Societaiis Scientiarum Torunensis, Sectio A, vol. 1 no. 2 (1948), pp. 17–21.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
-
- Article
- Export citation
Stanisław Jaśkowski. Sur certains groupes formés de classes d'ensembles et leur application aux définitions des nombres. Studia Societaiis Scientiarum Torunensis, Sectio A, vol. 1 no. 3 (1948), pp. 23–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 66
-
- Article
- Export citation
Stanisław Jaśkowski. Rachunek zdań dla systemów dedukcyjnych sprzecznych (Un calcul des propositions pour les systèmes déductifs contradictoires). Studia Societaiis Scientiarum Torunensis, Sectio A, vol. 1 (1948), pp. 57–74. French summary, ibid., pp. 75–77.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
-
- Article
- Export citation
A. Markov. O prédstavlénii rékursivnyh funkcij (On the representation of recursive functions). Doklady Akadémii Nauk SSSR, vol. 58 (1947), pp. 1891–1892.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
-
- Article
- Export citation
A. M. Turing. Practical forms of type theory. The journal of symbolic logic, vol. 13 (1948), pp. 80–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-68
-
- Article
- Export citation
Frederic B. Fitch. An extension of basic logic.The journal of symbolic logic, vol. 13 (1948), pp. 95–106.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-69
-
- Article
- Export citation