Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-25T02:06:56.115Z Has data issue: false hasContentIssue false

In Memoriam: George Stephen Boolos 1940–1996

Published online by Cambridge University Press:  15 January 2014

Rights & Permissions [Opens in a new window]

Abstract

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Obituary
Copyright
Copyright © Association for Symbolic Logic 1996

References

CITED WRITINGS OF GEORGE BOOLOS

[1968] Degrees of unsolvability of constructible sets of integers, Journal of Symbolic Logic, vol. 33, pp. 497–313, with Putnam, Hilary.Google Scholar
[1971] The iterative conception of set, Journal of Philosophy, vol. 68, pp. 215231.Google Scholar
[1974] Computability and logic, Cambridge University Press, Cambridge, with Jeffrey, Richard C..Google Scholar
[1975] On second-order logic, Journal of Philosophy, vol. 72, pp. 509527.Google Scholar
[1976] On deciding the truth of certain statements involving thenotion of consistency, Journal ofSymbolic Logic, vol. 41, pp. 779781.Google Scholar
[1979] The unprovability ofconsistency: An essay in modal logic, Cambridge University Press, Cambridge.Google Scholar
[1980] Omega-consistency and the diamond, Studia Logica, vol. 39, pp. 237243.Google Scholar
[1980a] Provability in arithmetic and a schema of Grzegorczyk, Fundamenta Mathematicae, vol. 106, pp. 4145.Google Scholar
[1984] To be is to be a value of a variable (or to be some values of some variables), Journal of Philosophy, vol. 81, pp. 430450.Google Scholar
[1984a] Dont eliminate cut, Journal of Philosophical Logic, vol. 13, pp. 373378.Google Scholar
[1985] Nominalistic platonism, The Philosophical Review, vol. 94, pp. 327344.Google Scholar
[1987] The degree ofthe set ofsentences ofpredicate provability logic that are true under every interpretation, Journal of Symbolic Logic, vol. 52, pp. 165171, with McGee, Vann.Google Scholar
[1987a] A curious inference, Journal of Philosophical Logic, vol. 16, pp. 112.Google Scholar
[1989] A new proof of the Gödel incompleteness theorem, Notices of the American Mathematical Society, vol. 36, p. 676.Google Scholar
[1991] Provability: the emergence of a mathematical modality, Studia Logica, vol. 50, pp. 123, with Sambin, Giovanni.Google Scholar
[1993] The logic of provability, Cambridge University Press, Cambridge.Google Scholar
[1994] Gödel's incompleteness theorem explained in words of one syllable, Mind, vol. 103, pp. 13.Google Scholar
[1994a] 1879?, Reading Putnam (Clark, P. and Hale, R., editors), Blackwell, Oxford, pp. 3148.Google Scholar
[1995] Quotational ambiguity, On Quine (Leonardi, P. and Santambrogio, M., editors), Cambridge University Press, Cambridge, pp. 283296.Google Scholar
[1995] Demopoulos, W. (editor), Frege's philosophy of mathematics, Harvard University Press, Cambridge, Massachusetts.Google Scholar
[1975] Friedman, H., 102 problems in mathematical logic , Journal of Symbolic Logic, vol. 40, pp. 113129.Google Scholar