72 found
Sort by:
Disambiguations:
George Boolos [63]George S. Boolos [7]G. Boolos [2]G. S. Boolos [1]
  1. George Boolos, John Burgess, Richard P. & C. Jeffrey (2007). Computability and Logic. 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. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. G. S. Boolos, J. P. Burgess, R. C. Jeffrey & Richard Zach (2003). REVIEWS-Computability and Logic. Bulletin of Symbolic Logic 9 (4):520-520.
    No categories
     
    My bibliography  
     
    Export citation  
  3. George Boolos & Richard G. Heck (2003). Die Grundlagen der Arithmetik, 82-3. In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  4. George Boolos & Vann McGee (2001). REVIEWS-Articles in Logic, Logic, and Logic. Bulletin of Symbolic Logic 7 (1):58-61.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. George Boolos (1998). Logic, Logic, and Logic. Harvard University Press.
    This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; ...
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. George Boolos (1998). Must We Believe in Set Theory? In Richard Jeffrey (ed.), Logic, Logic, and Logic. Harvard University Press. 120-132.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  7. George Boolos (1998). Reply to Charles Parsons' ``Sets and Classes''. In Richard Jeffrey (ed.), Logic, Logic, and Logic. Harvard University Press. 30-36.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  8. Richard Heck & George Boolos (1998). Die Grundlagen der Arithmetik §§82-83. In M. Schirn (ed.), Philosophy of Mathematics Today. OUP.
    This paper contains a close analysis of Frege's proofs of the axioms of arithmetic §§70-83 of Die Grundlagen, with special attention to the proof of the existence of successors in §§82-83. Reluctantly and hesitantly, we come to the conclusion that Frege was at least somewhat confused in those two sections and that he cannot be said to have outlined, or even to have intended, any correct proof there. The proof he sketches is in many ways similar to that given in (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. George Boolos (1997). Constructing Cantorian Counterexamples. Journal of Philosophical Logic 26 (3):237-239.
    Cantor's diagonal argument provides an indirect proof that there is no one-one function from the power set of a set A into A. This paper provides a somewhat more constructive proof of Cantor's theorem, showing how, given a function f from the power set of A into A, one can explicitly define a counterexample to the thesis that f is one-one.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  10. George Boolos (1996). Erratum: Frege's Theorem and the Peano Postulates. Bulletin of Symbolic Logic 2 (1):126-126.
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. George Boolos (1996). On the Proof of Frege's Theorem. In Adam Morton & Stephen P. Stich (eds.), Benacerraf and His Critics. Blackwell. 143--59.
    No categories
     
    My bibliography  
     
    Export citation  
  12. George Boolos (1996). President of the Association for Symbolic Logic. Bulletin of Symbolic Logic 2 (3).
     
    My bibliography  
     
    Export citation  
  13. George Boolos (1996). The Death of George Boolos Creates a Vacancy in the Office of ASL Pres-Ident, Which It is the Responsibility of the Executive Committee to Fill. The Committee has Asked Menachem Magidor, Elected Vice President for 1995-98, to Accept the Presidency, and He has Agreed to Serve the Remainder of Boolos's Term, to January 1, 1998. [REVIEW] Bulletin of Symbolic Logic 2 (3).
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. George Boolos (1996). The Hardest Logic Puzzle Ever. The Harvard Review of Philosophy 6 (1):62-65.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Sergei Artemov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger & Albert Visser (1995). Preface. Annals of Pure and Applied Logic 75 (1-2):1.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. George Boolos (1995). Frege's Theorem and the Peano Postulates. Bulletin of Symbolic Logic 1 (3):317-326.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  17. George Boolos (1995). Introductory Note to Kurt Gödel's ``Some Basic Theorems on the Foundations of Mathematics and Their Implications''. In Solomon Feferman (ed.), Kurt Gödel, Collected Works. Oxford University Press. 290-304.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  18. George Boolos (1995). Quotational Ambiguity. In Paolo Leonardi & Marco Santambrogio (eds.), On Quine: New Essays. Cambridge University Press. 283--296.
    No categories
     
    My bibliography  
     
    Export citation  
  19. George Boolos (1994). Gödel's Second Incompleteness Theorem Explained in Words of One Syllable. Mind 103 (409):1-3.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  20. George Boolos (1993). The Analytical Completeness of Dzhaparidze's Polymodal Logics. Annals of Pure and Applied Logic 61 (1-2):95-111.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. George Boolos (1993). The Logic of Provability. 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 (CUP, 1979). Modal logic is concerned with the notions of necessity and possibility. What George Boolos does is to show how the concepts, techniques and methods of modal logic shed brilliant light on the most important logical discovery of the twentieth century: the incompleteness theorems of Kurt Godel and the 'self referential' (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. George Boolos (1993). Whence the Contradiction? Aristotelian Society Supplementary Volume 67:211--233.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  23. George Boolos & Peter Clark (1993). Basic Law (V). Aristotelian Society Supplementary Volume 67:213 - 249.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. George Boolos (1991). Zooming Down the Slippery Slope. Noûs 25 (5):695-706.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  25. George Boolos & Giovanni Sambin (1991). Provability: The Emergence of a Mathematical Modality. Studia Logica 50 (1):1 - 23.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  26. J. Alegria, W. Badecker, M. Bar-Hillel, D. Bekerian, E. Bisiach, P. Bloom, K. Bock, G. Boolos, V. Bruce & B. Byrne (1990). Each Year@ Ogn&~ N is Obliged to Request the Help of a Certain Number of Guest Reviewers Who Assist in the Assessment of Manuscripts. Without Their Cooperation the Journal Would Not Be Able to Maintain its High Standards. We Are Happy to Be Able to Thank the Following People for Their Help in Refereeing Manuscripts During 1989. Cognition 35:101.
     
    My bibliography  
     
    Export citation  
  27. George Boolos (1990). Barwise Jon and Etchemendy John. Turing's World. Kinko's Academic Courseware Exchange, Santa Barbara 1986, Viii+ 68 Pp.+ Disk. Barwise Jon and Etchemendy John. Tarski's World. Kinko's Academic Courseware Exchange, Santa Barbara 1987, Vii+ 85 Pp.+ Disk. [REVIEW] Journal of Symbolic Logic 55 (1):370-371.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. George Boolos (ed.) (1990). Method, Reason and Language: Essays in Honor of Hilary Putnam. Cambridge University Press.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  29. George Boolos (1990). On “Seeing” the Truth of the Gödel Sentence. Behavioral and Brain Sciences 13 (4):655-656.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. George Boolos (1990). Review: Jon Barwise, John Etchemendy, Turing's World; Jon Barwise, John Etchemendy, Tarski's World. [REVIEW] Journal of Symbolic Logic 55 (1):370-371.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. George Boolos (1990). Review: V. A. Uspensky, Neal Koblitz, Godel's Incompleteness Theorem. [REVIEW] Journal of Symbolic Logic 55 (2):889-891.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. George Boolos (1990). The Standard of Equality of Numbers. In , Meaning and Method: Essays in Honor of Hilary Putnam. Cambridge University Press. 261--77.
     
    My bibliography  
     
    Export citation  
  33. George S. Boolos (ed.) (1990). Meaning and Method: Essays in Honor of Hilary Putnam. Cambridge University Press.
    This volume is a report on the state of philosophy in a number of significant areas.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  34. Hilary Putnam & George Boolos (eds.) (1990). Meaning and Method: Essays in Honor of Hilary Putnam. 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, (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. George Boolos (1989). Iteration Again. Philosophical Topics 17 (2):5-21.
  36. George Boolos (1988). Review: C. Smorynski, Self-Reference and Modal Logic. [REVIEW] Journal of Symbolic Logic 53 (1):306-309.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. George Boolos (1988). Alphabetical Order. Notre Dame Journal of Formal Logic 29 (2):214-215.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. George Boolos (1987). A Curious Inference. Journal of Philosophical Logic 16 (1):1 - 12.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  39. George Boolos (1987). The Consistency of Frege's Foundations of Arithmetic. In J. Thomson (ed.), On Being and Saying: Essays in Honor of Richard Cartwright. Mit Press. 3--20.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  40. George Boolos & Vann McGee (1987). The Degree of the Set of Sentences of Predicate Provability Logic That Are True Under Every Interpretation. Journal of Symbolic Logic 52 (1):165-171.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  41. George Boolos (1986). Review: Yu. I. Manin, A Course in Mathematical Logic. [REVIEW] Journal of Symbolic Logic 51 (3):829-830.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. George Boolos (1986). Saving Frege From Contradiction. Proceedings of the Aristotelian Society 87:137--151.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. George Boolos (1985). Nominalist Platonism. Philosophical Review 94 (3):327-344.
  44. George Boolos (1985). Reading the Begriffsschrift. Mind 94 (375):331-344.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  45. George Boolos (1985). $1$-Consistency and the Diamond. [REVIEW] Notre Dame Journal of Formal Logic 26 (4):341-347.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  46. George Boolos & Giovanni Sambin (1985). An Incomplete System of Modal Logic. Journal of Philosophical Logic 14 (4):351 - 358.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  47. George Boolos (1984). Don't Eliminate Cut. Journal of Philosophical Logic 13 (4):373 - 378.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  48. George Boolos (1984). On 'Syllogistic Inference'. Cognition 17 (2):181-182.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  49. George Boolos (1984). To Be is to Be a Value of a Variable (or to Be Some Values of Some Variables). Journal of Philosophy 81 (8):430-449.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  50. George Boolos (1984). The Justification of Mathematical Induction. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984:469 - 475.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 72