him, "And tell us, Mr. Boolos, what does the analytical hierarchy have to do with the real world?" Without hesitating Boolos replied, "It's part of it"...

American philosopher and logician George Boolos and published in The Harvard Review of Philosophy in 1996. Boolos' article includes multiple ways of...

some authors use them to mean instead "x is a subset of A". Logician George Boolos strongly urged that "contains" be used for membership only, and "includes"...

S is an axiomatic set theory set out by George Boolos in his 1989 article, "Iteration Again". S, a first-order theory, is two-sorted because its ontology...

and Edward Zalta, 2004, "Frege, Boolos, and Logical Objects," Journal of Philosophical Logic 33: 1–26. George Boolos, 1998. Logic, Logic, and Logic. Goldrei...

Oxford University Press: 304–23. George Boolos, 1998, "A New Proof of the Gödel Incompleteness Theorem" in Boolos, G., Logic, Logic, and Logic. Harvard...

Boolos, and Logical Objects" (PDF). Journal of Philosophical Logic. 33: 1–26. doi:10.1023/B:LOGI.0000019236.64896.fd. S2CID 6620015. Boolos, George (1990)...

cannot conjure such an entity into existence by mere stipulation." George Boolos argued that much of what has been heretofore obtained by set theory...

Collected Works, Vol. 1, Oxford University Press, 1986, p. 363, fn 23. George Boolos and Richard Jeffrey, 1989. Computability and Logic, 3rd ed. Cambridge...

and not necessarily trivially so. In his essay "Don't Eliminate Cut!" George Boolos demonstrated that there was a derivation that could be completed in...

the nuances of meaning in natural language. The term was coined by George Boolos in his paper "To Be is to Be a Value of a Variable (or to Be Some Values...

Boulos (Arabic: بولس or بولص), also transliterated Boulus, Boolos, Bulos, Bulus etc., is the Arabic form of the name Paul. It can be used as a male given...

then, until his death in 1996, the prime inspirer of the field was George Boolos. Significant contributions to the field have been made by Sergei N....

Notable graduates of the BPhil include: Cora Diamond, Daniel Dennett, George Boolos, Galen Strawson, G. A. Cohen, J. J. C. Smart, Patricia Churchland, Peter...

compared—the Turing machine (still in Boolos' original 4-tuple form) and recursion the other two. George Boolos, John P. Burgess (1970) Cook (1970) Donald...

non-subjunctive, non-contrary-to-fact question that can be asked. Ulam's game George Boolos, John P. Burgess, Richard C. Jeffrey, Logic, logic, and logic (Harvard...

working on the proof of the incompleteness theorem) and by Alfred Tarski. George Boolos has since sketched an alternative proof of the first incompleteness...

rejected by George Boolos.[citation needed] In recent years[when?] second-order logic has made something of a recovery, buoyed by Boolos' interpretation...

spelled out in [Zermelo 1930], and again in a well-known article of George Boolos [Boolos 1971]." Dana Scott (1974) went further and claimed that: The truth...

North-Holland Publishing Company, Amsterdam NL, ISBN 0-7204-2103-9 George Boolos, John Burgess, and Richard Jeffrey, 2002, Computability and Logic: Fourth...

logic/quantification approximately the same as given by Boolos in Nominalist Platonism (Boolos 1985). Sub-sentential units are defined as Predicate symbols...

Ackermann James Earl Baumgartner Eyo Malachy Paul Bernays Andreas Blass George Boolos Bourbaki Georg Cantor Paul Cohen Richard Dedekind Paul Finsler Matthew...

General set theory (GST) is George Boolos's (1998) name for a fragment of the axiomatic set theory Z. GST is sufficient for all mathematics not requiring...

...". Also see branching quantifiers and the plural quantifiers of George Boolos and others. Bounded quantifiers are often used in the study of set theory...

The best-known way is due to philosopher and mathematical logician George Boolos (1940–1996), who was an expert on the work of Frege. A "concept" F is...

added on 6th reprint). In Chapter XI. General Recursive Functions §57 George Boolos, John Burgess, Richard Jeffrey (2002), Computability and Logic: Fourth...

politician. Mike Sharperson, 34, American baseball player, accident. George Boolos, 55, American philosopher and mathematical logician, pancreas cancer...

University. Retrieved 15 Oct 2011. Van Gelder, Lawrence (30 May 1996). "George Boolos, 55, philosopher". The New York Times. Retrieved 24 Oct 2011. "Faculty...

Berman (d. 2013) Max Black, analytic philosopher Allan Bloom Joseph Blau George Boolos[1] Judith Butler[2] Stanley Cavell (d. 2018)[3] Joseph Cropsey Noam...

University Press. ISBN 0691122318 2007. Computability and Logic (with George Boolos and Richard C. Jeffrey), Cambridge University Press. ISBN 0521877520...