17 found
Order:
  1. The Logic of Provability.George S. Boolos - 1993 - Cambridge and New York: Cambridge University Press.
    This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency. Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention. Modal logic is concerned with the notions of necessity and possibility. What George Boolos does (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   81 citations  
  2.  95
    The Unprovability of Consistency: An Essay in Modal Logic.George S. Boolos - 1979 - Cambridge, England: Cambridge University Press.
    The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency. In this book, George Boolos looks at the principles of provability from the standpoint of modal logic. In doing so, he provides two perspectives on a debate in modal logic that has persisted (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   62 citations  
  3. Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
     
    Export citation  
     
    Bookmark   121 citations  
  4. On Second-Order Logic.George S. Boolos - 1975 - Journal of Philosophy 72 (16):509-527.
  5.  4
    Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press.
    Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  6.  1
    Logic, Logic, and Logic.George S. Boolos & Richard C. Jeffrey - 1998 - Cambridge, MA, USA: Harvard University Press.
    George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gödel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege's work on logic and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  7.  2
    Meaning and Method: Essays in Honor of Hilary Putnam.George S. Boolos (ed.) - 1990 - Cambridge and New York: Cambridge University Press.
    In this festschrift for the eminent philosopher Hilary Putnam, a team of distinguished philosophers write on a broad range of topics and thus reflect the remarkably fertile and provocative research of Putnam himself. The volume is not merely a celebration of a man, but also a report on the state of philosophy in a number of significant areas. The essays fall naturally into three groups: a central core on the theme of conventionality and content in the philosophy of mind, language, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8.  13
    Minds, Machines and Gödel.George S. Boolos - 1968 - Journal of Symbolic Logic 33 (4):613-615.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  9.  18
    J. R. Shoenfield. The Problem of Predicativity. 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, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, Pp. 132–139. [REVIEW]George S. Boolos - 1969 - Journal of Symbolic Logic 34 (3):515.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  32
    Arithmetical Functions and Minimalization.George S. Boolos - 1974 - Mathematical Logic Quarterly 20 (23-24):353-354.
  11. On Kalmar's Consistency Proof and a Generalization of the Notion of Ω-Consistency.George S. Boolos - 1975 - Archive for Mathematical Logic 17 (1-2):3-7.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  12
    Mostowski Andrzej. On Various Degrees of Constructivism. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 178–194. [REVIEW]George S. Boolos - 1970 - Journal of Symbolic Logic 35 (4):575-576.
  13.  10
    J. R. Lucas. Minds, Machines and Gödel. Philosophy, Vol. 36 , Pp. 112–127. - Paul Benacerraf. God, the Devil, and Gödel. The Monist, Vol. 51 , Pp. 9–32. [REVIEW]George S. Boolos - 1969 - Journal of Symbolic Logic 33 (4):613-615.
  14.  39
    A Proof of the Löwenheim-Skolem Theorem.George S. Boolos - 1970 - Notre Dame Journal of Formal Logic 11 (1):76-78.
  15.  9
    Review: Andrzej Mostowski, On Various Degrees of Constructivism. [REVIEW]George S. Boolos - 1970 - Journal of Symbolic Logic 35 (4):575-576.
  16.  8
    Review: J. R. Lucas, Minds, Machines and Godel; Paul Benacerraf, God, the Devil, and Godel. [REVIEW]George S. Boolos - 1968 - Journal of Symbolic Logic 33 (4):613-615.
  17.  5
    Review: J. R. Shoenfield, The Problem of Predicativity. [REVIEW]George S. Boolos - 1969 - Journal of Symbolic Logic 34 (3):515-515.