Contents
Reviews
E. J. Lemmon. An introduction to modal logic, ir. collaboration with Dana Scott, edited by Krister Segerberg. American philosophical quarterly monograph series, no. 11. Basil Blackwell, Oxford1977, x + 94 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 653-654
-
- Article
- Export citation
David K. Lewis. Counterfactuals. Harvard University Press, Cambridge, Mass., 1973, x + 150 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-281
-
- Article
- Export citation
Front matter
JSL volume 44 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
David Hilbert. Mathematical problems. Lecture delivered before the International Congress of Mathematicians at Paris in 1900. A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 1–34. - Donald A. Martin. Hilbert's first problem: the continuum hypothesis. A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 81–92. - G. Kreisel. What have we learnt from Hilbert's second problem? A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 93–130. - Martin Davis, Yuri Matijasevic̆, and Julia Robinson. Hilbert's tenth problem. Diophantine equations: positive aspects of a negative solution. A reprint of 1084 (English translation of 1087 by Mary Winston Newsom). Mathematical developments arising from Hilbert problems, Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, held at Northern Illinois University, De Kalb, Illinois, May 1974, edited by Felix E. Browder, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, Providence1976, pp. 323–378.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 116-119
-
- Article
- Export citation
Albert E. Blumberg. Logic: A first course. Alfred A. Knopf, New York1976, xiv + 462 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 281
-
- Article
- Export citation
A. N. Prior. The parallel between modal logic and quantification theory. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 9–27. - A. N. Prior. Egocentric logic. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 28–45. (Reprinted from Noûs, vol. 2 (1968), pp. 191–207.) - A. N. Prior. Supplement to ‘Egocentric logic’. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 46–50. - A. N. Prior. Worlds, limes and selves. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 51–66. (Reprinted from L'âge de la science, no. 3 (1969), pp. 179–191.) - A. N. Prior. Tensed propositions as predicates. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 67–83. (Reprinted from American philosophical quarterly, vol. 6 (1969), pp. 290–297.) - A. N. Prior. Modal logic and the logic of applicability. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 84–101. (Reprinted from Theoria, vol. 34(1968), pp.183–202.) - A. N. Prior. Supplement to ‘Modal logic and the logic of applicability.’Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 102–115. - Kit Fine. Postscript: Prior on the construction of possible worlds and instants. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 116–161. - Kit Fine. Technical appendix. Worlds, times and selves, by A. N. Prior and Kit Fine, University of Massachusetts Press, Amherst, and Duckworth, London, 1977, pp. 162–168.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 654-656
-
- Article
- Export citation
Back matter
JSL volume 44 issue 3 Cover and Back matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b9
-
- Article
-
- You have access
- Export citation
Reviews
Christian Thiel. Einleitung. Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 1–4. - Ignacio Angelelli. Freges Ort in der Begriffsgeschichte. Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 9–22. - Egon Börger. Das Problem der Begründung der Mathematik bei Frege im Lichte des gegenwartigen Standes der mathematischen Grundlagenforschung. Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 23–32. - Peter Hinst. Hätte Frege ohne Wertverlaufsfunktion auskommen können?Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 33–51. - Walter Hoering. Logizismus gestern und heute. Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 52–61. - Walter Hoering. Zum Widerspruch in Freges System. Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 62–65. - Friedrich Kambartel. Frege und die axiomatische Methode. Zur Kritik mathematikhistorischer Legitimationsversuche der formalistischen Ideologie. Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 77–89. - Klaus Mainzer. Zur Begründung von Freges analytischen Begriffen 2. Stufe in konstruktiver Absicht. Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973, edited by Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9, Verlag Anton Hain, Meisenheim am Glan1975, pp. 90–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-121
-
- Article
- Export citation
Dov M. Gabbay. Investigations in modal and tense logics with application to problems in philosophy and linguistics. Synthese library, vol. 92. D. Reidel Publishing Company, Dordrecht and Boston1976, xi + 306 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 656-657
-
- Article
- Export citation
Bangs L. Tapscott. Elementary applied symbolic logic. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1976, xii + 496 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-282
-
- Article
- Export citation
Thomas Cornides. Ordinale Deontik. Zusammenhänge zwischen Präferenztheorie, Normlogik und Rechtstheorie. Forschungen aus Staat und Recht, no. 25. Springer-Verlag, Vienna and New York1974, X + 210 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-122
-
- Article
- Export citation
Jean-François Pabion. Logique mathématique. Collection méthodes. Hermann, Paris1976, xxxii + 263 pp. - Marcel Guillaume. Préface. Therein, pp. xiii–xxxii.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-283
-
- Article
- Export citation
Takeo Sugihara. Jikan no ronri (Temporal logic). Waseda University Press, Tokyo1974, vi + 232 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 657
-
- Article
- Export citation
Zohar Manna. Mathematical theory of computation. McGraw-Hill Book Company, New York etc. 1974, x + 448 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-124
-
- Article
- Export citation
Jane Bridge. Beginning model theory. The completeness theorem and some consequences. Oxford logic guides. Clarendon Press, Oxford1977, viii + 143 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 283
-
- Article
- Export citation
Jeffrey Sicha. A metaphysics of elementary mathematics. The University of Massachusetts Press, Amherst1974, x + 444 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 657-658
-
- Article
- Export citation
Yiannis N. Moschovakis. Elementary induction on abstract structures. Studies in logic and the foundations of mathematics, vol. 77. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, x + 218 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
-
- Article
- Export citation
W. P. de RoeverJr., Recursive program schemes: semantics and proof theory. Mathematical Centre tracts, no. 70. Mathematisch Centrum, Amsterdam1976, ix + 112 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 658-659
-
- Article
- Export citation
J. Donald Monk. Mathematical logic. Graduate texts in mathematics, no. 37. Springer-Verlag, New York, Heidelberg, and Berlin, 1976, x + 531 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-284
-
- Article
- Export citation
Nancy D. Simco and Gene G. James. Elementary logic. Dickenson Publishing Company, Inc., Encino and Belmont, Calif., 1976, xiv + 305 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
-
- Article
- Export citation