Contents
Reviews
Charles Sanders Peirce. Insolubilia. A reprint of 2813. Collected papers of Charles Sanders Peirce, Volume II, Elements of logic, edited by Charles Hartshorne and Paul Weiss, The Belknap Press of Harvard University Press, Cambridge, Mass., and Oxford University Press, London, 1960, pp. 370–371. - C. S. Peirce. On an improvement in Boole's calculus of logic. A reprint of 281. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 3–15. - C. S. Peirce. Upon the logic of mathematics. A reprint of 282. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 16–26. - C. S. Peirce. Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole's calculus of logic. A reprint of 284. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 27–98. - C. S. Peirce. On the algebra of logic. Part I.—Syllogistic. Part II.—The logic of non-relative terms. Part III.—The logic of relatives. A reprint of 285. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 104–157. - C. S. Peirce. On the logic of number. A reprint of 286.Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 158–170. - C. S. Peirce. Brief description of the algebra of relatives. A reprint of 287. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 180–186. - C. S. Peirce. The logic of relatives. A reprint of 289. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 195–209. - C. S. Peirce. On the algebra of logic, A contribution to the philosophy of notation. A reprint of 2810. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 210–249. - C. S. Peirce. The critic of arguments. A reprint of 2817. Collected papers of Charles Sanders Peirce, Volume III, Exact logic, pp. 250–265.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 494-495
-
- Article
- Export citation
Paul Benacerraf and Hilary Putnam. Introduction. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, 1964, pp. 1–27. - Rudolf Carnap. The logicist foundations of mathematics. English translation of 3528 by Erna Putnam and Gerald E. Massey. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 31–41. - Arend Heyting. The intuitionist foundations of mathematics. English translation of 3856 by Erna Putnam and Gerald E. Massey. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 42–49. - Johann von Neumann. The formalist foundations of mathematics. English translation of 2998 by Erna Putnam and Gerald E. Massey. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 50–54. - Arend Heyting. Disputation. A reprint of pages 1-12 (the first chapter) and parts of the bibliography of XXI 367. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 55–65. - L. E. J. Brouwer. Intuitionism and formalism. A reprint of 1557. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 66–77. - L. E. J. Brouwer. Consciousness, philosophy, and mathematics. A reprint of pages 1243-1249 of XIV 132. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 78–84. - Gottlob Frege. The concept of number. English translation of pages 67-104, 115-119, of 495 (1884 edn.) by Michael S. Mahoney. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 85–112. - Bertrand Russell. Selections from Introduction to mathematical philosophy. A reprint of pages 1-19, 194-206, of 11126 (1st edn., 1919). Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 113–133. - David Hilbert. On the infinite. English translation of 10813 by Erna Putnam and Gerald E. Massey. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 134–151.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-110
-
- Article
- Export citation
Research Article
On the structure of quantum logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-282
-
- Article
- Export citation
Reviews
David Randall Luce. A calculus of ‘before.’ Theoria (Lund), vol. 32 (1966), pp. 25-44.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 646-647
-
- Article
- Export citation
Elliott Mendelson. Introduction to mathematical logic. The University Series in Undergraduate Mathematics, D. Van Nostrand Company, Inc., Princeton, New Jersey, Toronto, New York, London, 1964, x + 300 pp. Reprinted with corrections, ibid., January, 1966, x + 300 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 110-111
-
- Article
- Export citation
Jan Salamucha. The proof ‘ex motu’ for the existence of God: Logical analysis of St. Thomas' arguments. English translation of 4212 by Tadeusz Gierymski and Marian Heitzman. The new Scholasticism, vol. 32 (1958), pp. 334–372.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 647
-
- Article
- Export citation
Bertrand Russell. My mental development. A reprint of IX 82(1). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 1–20; also third edition, Tudor Publishing Company, New York 1951, pp. 1-20; also paper-bound reprint of the third edition, Harper Torchbooks, Harper & Row, Publishers, New York, Evanston, and London, 1963, Vol. I, pp. 1-20. - Hans Reichenbach. Bertrand Russell's logic. A reprint of IX 76(2). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 21–54; also ibid. 1951, pp. 21-54; also ibid. 1963, Vol. I, pp. 21-54. - Morris Weitz. Analysis and the unity of Russell's philosophy. A reprint of IX 77(1). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 55–121; also ibid. 1951, pp. 55-121; also ibid. 1963, Vol. I, pp. 55-121. - Kurt Göde. Russell's mathematical logic. A reprint of XI 75. The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 123–153; also ibid. 1951, pp. 123-153; also ibid. 1963, Vol. I, pp. 123-153. - James Feibleman. A reply to Bertrand Russell's introduction to the second edition of The principles of mathematics. A reprint of IX 77(2). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 155–174; also ibid. 1951, pp. 155-174; also ibid. 1963, Vol. I, pp. 155-174. - G.E. Moore. Russell's “theory of descriptions.” A reprint of IX 78(1). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 175–225; also ibid. 1951, pp. 175-225; also ibid. 1963, Vol. I, pp. 175-225. - Max Black. Russell's philosophy of language. A reprint of IX 78(2). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 227–255; also ibid. 1951, pp. 227-255; also ibid. 1963, Vol. I, pp. 227-255. - Philip P. Wiener. Method in Russell's work on Leibniz. A reprint of IX 82(2). The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 257–276; also ibid. 1951, pp. 257-276; also ibid. 1963, Vol. I, pp. 257-276. - Ernest Nagel. Russell's philosophy of science. A reprint of IX 79. The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 317–349; also ibid. 1951, pp. 317-349; also ibid. 1963, Vol. I, pp. 317-349. - Andrew Paul Ushenko. Russell's critique of empiricism. A reprint of IX 80. The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, second edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, pp. 385–417; also ibid. 1951, pp. 385-417; also ibid. 1963, Vol. I, pp. 385-417.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 495-496
-
- Article
- Export citation
Research Article
Independence of Rose's axioms for m-valued implication
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-284
-
- Article
- Export citation
-
Rose has shown in [2] that the following axioms are sufficient, with modus ponens, for m-valued Łukasiewiczian implication.
Reviews
Raymond D. Bradley. Geometry and necessary truth. The philosophical review, vol. 73 (1964), pp. 59–75.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 496-497
-
- Article
- Export citation
G. Kreisel and J. L. Krivine. Elements of mathematical logic. (Model theory). North-Holland Publishing Company, Amsterdam1967, xi + 222 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
Research Article
Constructive order types on cuts1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-289
-
- Article
- Export citation
Reviews
Czesław Lejewski. On Lesniewski's Ontology. Ratio (Oxford), vol. 1 no 2 (1958), pp. 150–176. - Czesław Lejewski. Zu Lesniewskis Ontologie. Ratio (Frankfurt a. M.), vol. 2 (1957–1958), pp. 50–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 647-648
-
- Article
- Export citation
Otto Bird. The logical interest of the topics as seen in Abelard. The modern Schoolman, vol. 37 no. 1 (1959), pp. 53–57. - Otto Bird. The formalizing of the topics in mediaeval logic. Notre Dame journal of formal logic, vol. 1 (1960), pp. 138–149. - Otto Bird. Topic and consequence in Ockham's logic.Notre Dame journal of formal logic, vol. 2 (1961), pp. 65–78. - Otto Bird. The re-discovery of the Topics. Mind, n.s. vol. 70 (1961), pp. 534–539.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 497-499
-
- Article
- Export citation
Reviews - A. I. Mal′Cév. Algoritmy i rekursivnyé funkcii (Algorithms and recursive functions). Izdatél′stvo “Nauka,” Glavnaá Rédakciá Fiziko-Matématičéskoj Litératury, Moscow1965, 391 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 290
-
- Article
- Export citation
Abraham A. Fraenkel. Mengenlehre und Logik. Dunker & Humblot, Berlin1959, 110 pp. - Abraham A. Fraenkel. Set theory and logic. Revised English translation of the above. Addison-Wesley Publishing Company, Reading, Massachusetts, Palo Alto, London, Don Mills, Ontario, 1966, vii + 102 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
-
- Article
- Export citation
Z. Piesyk. Uwagi o aksjomatyce geometrii Tarskiego (Remarks on Tarski's system of axioms of geometry). Roczniki Polskiego Towarzystwa Matematycznego, Series I, vol. 9 (1965), pp. 23–33.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 648
-
- Article
- Export citation
N. A. Šanin. Konstruktivnyé véščéstvénnyé ĉisla i konstruktivnyé funkcional'nyé prostranstva (Constructive real numbers and constructive functional spaces). Problémy konstrukticnogo napravléniá v matématik, 2 (Konstruktivnyj matématičéskij analiz), Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 67Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1962, pp. 15–294.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 290-292
-
- Article
- Export citation
Lennart Åqvist. Results concerning some modal systems that contain S2. The journal of symbolic logic, vol. 29 (1964), pp. 79–87. - E. J. Lemmon. Some results on finite axiomatlzability in modal logic. Notre Dame journal of formal logic, vol. 6 (1965), pp. 301–308. - E. J. Lemmon. A note on Halldén-incompleteness. Notre Dame journal of formal logic, vol. 7 no. 4 (for 1966, pub. 1968), pp. 296–300.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 648-649
-
- Article
- Export citation
Ivan Boh. An examination of Ockham's aretetic logic. Archiv für Geschichte der Philosophie, vol. 45 (1963), pp. 259–268.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 499
-
- Article
- Export citation
Haskell B. Curry. A theory of formal deducibility. Second edition of XVI 56. Notre Dame mathematical lectures, no. 6. Lithoprinted. University of Notre Dame, Notre Dame, Indiana, 1957, xi + 129 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
-
- Article
- Export citation