Contents
Reviews
Isaac Levi. Gambling with truth. An essay on induction and the aims of science. Alfred A. Knopf, New York, and Routledge & Kegan Paul, Ltd., London, 1967, xiv + 246 + v pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 318-320
-
- Article
- Export citation
S. C. Kleene. Recursive functionals and quantifiers of finite types II. Transactions of the American Mathematical Society, vol. 108 (1963), pp. 106–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
-
- Article
- Export citation
Hans Freudenthal. Analyse mathématique de certaines structures linguistiques. Folia biotheoretica, vol. 5 (1960), pp. 81–89; also La biologie et la philosophie, Quatre communications données à l'occasion du Symposium de Rome, 1–8 avril 1959, E. J. Brill, Leyden 1960, pp. 81–89. - P. Bernays. H. Freudenthal, F. Gonseth, M. Fréchet, J. Ladrière, B. Segre. Discussion. Folia biotheoretica, vol. 5 (1960), pp. 89–95; also La biologie et la philosophie, Quatre communications données à l'occasion du Symposium de Rome, 1–8 avril 1959, E. J. Brill, Leyden 1960b, pp. 89–95.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 514-515
-
- Article
- Export citation
Jacques Sublet. Essai de formalisation complète du raisonnement mathématique sur la base de trois opérations. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris-25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-special”), Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 91–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 675
-
- Article
- Export citation
Jerrold J. Katz. The problem of induction and its solution. The University of Chicago Press, Chicago1962, xiii + 125 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 320
-
- Article
- Export citation
Arthur Pap. Extensionality, attributes, and classes. Philosophical studies (Minneapolis), vol. 9 (1958), pp. 42–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 675
-
- Article
- Export citation
D. A. Clarke. Hierarchies of predicates of finite types. Memoirs of the American Mathematical Society, no. 51. American Mathematical Society, Providence 1964, 95 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-147
-
- Article
- Export citation
Charles Hartshorne. Ten ontological or modal proofs for God's existence. The logic of perfection and other essays in neoclassical metaphysics, by Charles Hartshorne, The Open Court Publishing Company, La Salle, Illinois, 1962, pp. 28–117.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 515
-
- Article
- Export citation
Yiannis N. Moschovakis. Hyperanalytic predicates. Transactions of the American Mathematical Society, vol. 129 (1967), pp. 249–282. - Thomas J. Grilliot. Hierarchies based on objects of finite type. The journal of symbolic logic, vol. 34 (1969), pp. 177–182.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-148
-
- Article
- Export citation
Rudolf Carnap. On the use of Hilbert's ε-operator in scientific theories. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 156–164.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 320-321
-
- Article
- Export citation
Arthur N. Prior. Changes in events and changes in things. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 1–14. (A reprint of The Lindley lecture, University of Kansas, Lawrence 1962, 13 pp.) - Arthur N. Prior. On spurious egocentricity. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 15–25. (Reprinted from Philosophy, vol. 42 (1967), pp. 326–335.) - Arthur N. Prior. The formalities of omniscience. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 26–44. (Reprinted from Philosophy, vol. 37 (1962), pp. 114–129.) - Arthur N. Prior. Contemplation and action. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 45–50. - Arthur N. Prior. The consequences of actions. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 51–58. (Reprinted from Aristotelian Society supplementary volume XXX, London 1956, pp. 91–99.) - Arthur N. Prior. Limited indeterminism. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 59–65. (Reprinted from The review of metaphysics, vol. 16 no. 1 (1962), pp. 55–61.) - Arthur N. Prior. Identifiable individuals. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 66–77. (Reprinted from The review of metaphysics, vol. 13, no. 4 (1960), pp. 684–696.) - Arthur N. Prior. Time, existence, and identity. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 78–87. (Reprinted from Proceedings of the Aristotelian Society, n.s. vol. 66 (1965–66), pp. 183–192.) - Arthur N. Prior. Stratified metric tense logic. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 88–97. (Reprinted from Theoria (Lund), vol. 33 (1967), pp. 28–38.) - Arthur N. Prior. The logic of ending time. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 98–115. - Arthur N. Prior. Tense logic and the logic of earlier and later. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 116–134. - Arthur N. Prior. Quasi-propositions and quasi-individuals. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 135–144. - Arthur N. Prior. Tense logic for non-permanent existents. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 145–160.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 515-518
-
- Article
- Export citation
J. C. C. McKinsey and Patrick Suppes. On the notion of invariance in classical mechanics. The British journal for the philosophy of science, vol. 5 (1954–1955), pp. 290–302.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 675-676
-
- Article
- Export citation
Heinrich Scholz. Concise history of logic. English translation of XXXVI 351 by Kurt F. Leidecker. Philosophical Library, New York1961, xiv + 140 pp. - Kurt F. Leidecker. Introduction. Therein, pp. ix–x.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 676-677
-
- Article
- Export citation
G. W. Turner. Time and place logic, a further discussion of A. N. Prior's ‘Thank goodness that's over’ (XXV 343(3)). Philosophy, vol. 36 (1961), pp. 366–367.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 518
-
- Article
- Export citation
William W. Rozeboom. Of selection operators and semanticists. Philosophy of science vol. 31 (1964), pp. 282–285.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 321
-
- Article
- Export citation
Robert I. Soare. Recursion theory and Dedekind cuts. Transactions of the American Mathematical Society, vol. 140 (1969), pp. 271–294. - Robert I. Soare. Cohesive sets and recursively enumerable Dedekind cuts. Pacific Journal of mathematics, vol. 31 (1969), pp. 215–231.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
-
- Article
- Export citation
Nicholas Rescher. A version of the “master argument” of Diodorus. The journal of philosophy, vol. 63 (1966), pp. 438–445. - Herbert Guerry. Rescher's master argument. The journal of philosophy, vol. 64 (1967), pp. 310–312.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 518-519
-
- Article
- Export citation
David Lewis. How to define theoretical terms. The journal of philosophy, vol. 67 (1970), pp. 427–446.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 321
-
- Article
- Export citation
S. Mazur. Computable analysis, edited by A. Grzegorczyk and H. Rasiowa, Rozprawy matematyczne no. 33, Państwowe Wydawnictwo Naukowe, Warsaw1963, 111 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 148-150
-
- Article
- Export citation
Mark Kac and Stanislaw M. Ulam. Mathematics and logic. Retrospect and prospects. Frederick A. Praeger, Publishers, New York, Washington, and London1968, ix + 170 pp.; also a paperbound reprint, A Mentor Book, published by The New American Library, New York and Toronto 1969, 222 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 677
-
- Article
- Export citation