102 found
Order:
Disambiguations
George Boolos [87]George S. Boolos [12]G. Boolos [2]G. S. Boolos [1]
Georges Boolos [1]
  1. Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 2007 - 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  
     
    Export citation  
     
    Bookmark   97 citations  
  2. Logic, Logic and Logic.George Boolos - 1998 - 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; ...
  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   82 citations  
  4. To Be is to Be a Value of a Variable (or to Be Some Values of Some Variables).George Boolos - 1984 - Journal of Philosophy 81 (8):430-449.
  5. Nominalist Platonism.George Boolos - 1985 - Philosophical Review 94 (3):327-344.
  6. Logic, Logic and Logic.George Boolos & Richard C. Jeffrey - 1998 - Studia Logica 66 (3):428-432.
     
    Export citation  
     
    Bookmark   69 citations  
  7. The Iterative Conception of Set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.
  8.  86
    The Logic of Provability.George S. Boolos - 1993 - 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 (...)
  9.  57
    The Unprovability of Consistency: An Essay in Modal Logic.George Boolos - 1979 - 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  
     
    Export citation  
     
    Bookmark   50 citations  
  10.  12
    To Be is to Be a Value of a Variable.George Boolos - 1984 - Journal of Symbolic Logic 54 (2):616-617.
    Direct download  
     
    Export citation  
     
    Bookmark   67 citations  
  11. The Consistency of Frege's Foundations of Arithmetic.George Boolos - 1987 - In J. Thomson (ed.), On Being and Saying: Essays in Honor of Richard Cartwright. MIT Press. pp. 3--20.
    Translate
     
     
    Export citation  
     
    Bookmark   60 citations  
  12. The Standard of Equality of Numbers.George Boolos - 1990 - In Meaning and Method: Essays in Honor of Hilary Putnam. Cambridge University Press. pp. 261--77.
     
    Export citation  
     
    Bookmark   53 citations  
  13. Is Hume's Principle Analytic?G. Boolos - 1998 - Logic, Logic, and Logic:301--314.
  14.  9
    The Logic of Provability.Philip Scowcroft & George Boolos - 1995 - Philosophical Review 104 (4):627.
    This is a book that every enthusiast for Gödel’s proofs of his incompleteness theorems will want to own. It gives an up-to-date account of connections between systems of modal logic and results on provability in formal systems for arithmetic, analysis, and set theory.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  15.  18
    Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
  16. On Second-Order Logic.George S. Boolos - 1975 - Journal of Philosophy 72 (16):509-527.
  17. Iteration Again.George Boolos - 1989 - Philosophical Topics 17 (2):5-21.
  18.  4
    Logic, Logic, and Logic.George Boolos - 2000 - History and Philosophy of Logic 21 (3):223-229.
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  19. Meaning and Method: Essays in Honor of Hilary Putnam.Hilary Putnam & George Boolos (eds.) - 1990 - 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  
     
    Export citation  
     
    Bookmark   25 citations  
  20. Computability and Logic.G. S. Boolos & R. C. Jeffrey - 1977 - British Journal for the Philosophy of Science 28 (1):95-95.
     
    Export citation  
     
    Bookmark   47 citations  
  21.  17
    Review of Robert M. Solovay's Provability Interpretations of Modal Logic.George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
  22.  4
    The Logic of Provability.George Boolos - 1993 - Philosophical Quarterly 46 (182):110-116.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  23. Reading the Begriffsschrift.George Boolos - 1985 - Mind 94 (375):331-344.
  24.  4
    Logic, Logic, and Logic.George Boolos & Richard Jeffrey - 2001 - Bulletin of Symbolic Logic 7 (1):58-62.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  25.  4
    The Unprovability of Consistency. An Essay in Modal Logic.George Boolos - 1979 - Journal of Symbolic Logic 46 (4):871-873.
    Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  26.  41
    Saving Frege From Contradiction.George Boolos - 1986 - Proceedings of the Aristotelian Society 87:137--151.
    Direct download  
     
    Export citation  
     
    Bookmark   26 citations  
  27. Must We Believe in Set Theory?George Boolos - 1998 - In Richard Jeffrey (ed.), Logic, Logic, and Logic. Harvard University Press. pp. 120-132.
  28. Die Grundlagen der Arithmetik, 82-3.George Boolos & Richard G. Heck - 1998 - In Matthias Schirn (ed.), Bulletin of Symbolic Logic. Clarendon Press. pp. 407-28.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  8
    Computability and Logic.George Boolos & Richard Jeffrey - 1977 - Journal of Symbolic Logic 42 (4):585-586.
    Direct download  
     
    Export citation  
     
    Bookmark   25 citations  
  30. Gödel's Second Incompleteness Theorem Explained in Words of One Syllable.George Boolos - 1994 - Mind 103 (409):1-3.
  31.  87
    Frege's Theorem and the Peano Postulates.George Boolos - 1995 - Bulletin of Symbolic Logic 1 (3):317-326.
  32. Don't Eliminate Cut.George Boolos - 1984 - Journal of Philosophical Logic 13 (4):373 - 378.
  33.  85
    On “Seeing” the Truth of the Gödel Sentence.George Boolos - 1990 - Behavioral and Brain Sciences 13 (4):655-656.
  34. Reply to Charles Parsons' ``Sets and Classes''.George Boolos - 1998 - In Richard Jeffrey (ed.), Logic, Logic, and Logic. Harvard University Press. pp. 30-36.
  35. On the Proof of Frege's Theorem.George Boolos - 1996 - In Adam Morton & Stephen P. Stich (eds.), Benacerraf and His Critics. Blackwell. pp. 143--59.
     
    Export citation  
     
    Bookmark   9 citations  
  36. Degrees of Unsolvability of Constructible Sets of Integers.George Boolos & Hilary Putnam - 1968 - Journal of Symbolic Logic 33 (4):497-513.
  37. Whence the Contradiction?George Boolos - 1993 - Aristotelian Society Supplementary Volume 67:211--233.
    Translate
     
     
    Export citation  
     
    Bookmark   10 citations  
  38.  69
    The Hardest Logic Puzzle Ever.George Boolos - 1996 - The Harvard Review of Philosophy 6 (1):62-65.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  39.  71
    A Curious Inference.George Boolos - 1987 - Journal of Philosophical Logic 16 (1):1 - 12.
  40.  14
    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  
  41.  60
    Provability: The Emergence of a Mathematical Modality.George Boolos & Giovanni Sambin - 1991 - Studia Logica 50 (1):1 - 23.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  42.  47
    Constructing Cantorian Counterexamples.George Boolos - 1997 - 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)  
     
    Export citation  
     
    Bookmark   8 citations  
  43.  14
    Jon Barwise and John Etchemendy. Turing's World. Kinko's Academic Courseware Exchange, Santa Barbara1986, Viii + 68 Pp. + Disk. - Jon Barwise and John Etchemendy. Tarski's World. Kinko's Academic Courseware Exchange, Santa Barbara1987, Vii + 85 Pp. + Disk. [REVIEW]George Boolos - 1990 - Journal of Symbolic Logic 55 (1):370-371.
  44.  13
    Yu. I. Manin. A Course in Mathematical Logic. Translated From the Russian by Neal Koblitz. Graduate Texts in Mathematics, Vol. 53. Springer-Verlag, New York, Heidelberg, and Berlin, 1977, Xiii + 286 Pp. [REVIEW]George Boolos - 1986 - Journal of Symbolic Logic 51 (3):829-830.
  45.  13
    IX—Saving Frege From Contradiction.George Boolos - 1987 - Proceedings of the Aristotelian Society 87 (1):137-152.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  46.  23
    Basic Law (V).George Boolos & Peter Clark - 1993 - Aristotelian Society Supplementary Volume 67 (1):213 - 249.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  47.  40
    On Systems of Modal Logic with Provability Interpretations.George Boolos - 1980 - Theoria 46 (1):7-18.
  48.  9
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. Is Hume's Principle Analytic?George Boolos - 1997 - In Richard G. Heck (ed.), Language, Thought, and Logic: Essays in Honour of Michael Dummett. Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark   6 citations  
  50.  9
    Robert M. Solovay. Provability Interpretations of Modal Logic. Israel Journal of Mathematics, Vol. 25 , Pp. 287–304.George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.
1 — 50 / 102