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"...
19 KB (2,159 words) - 02:09, 30 July 2024
American philosopher and logician George Boolos and published in The Harvard Review of Philosophy in 1996. Boolos' article includes multiple ways of...
26 KB (3,272 words) - 21:47, 15 July 2024
S (set theory) (redirect from S (Boolos 1989))
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...
9 KB (1,329 words) - 08:44, 8 March 2023
and Edward Zalta, 2004, "Frege, Boolos, and Logical Objects," Journal of Philosophical Logic 33: 1–26. George Boolos, 1998. Logic, Logic, and Logic. Goldrei...
6 KB (758 words) - 23:16, 19 July 2024
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"...
7 KB (796 words) - 08:53, 30 June 2024
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...
22 KB (2,996 words) - 21:46, 11 August 2024
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)...
7 KB (769 words) - 12:23, 30 November 2023
cannot conjure such an entity into existence by mere stipulation." George Boolos argued that much of what has been heretofore obtained by set theory...
15 KB (2,181 words) - 10:50, 28 May 2024
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...
8 KB (1,051 words) - 20:08, 2 October 2023
Collected Works, Vol. 1, Oxford University Press, 1986, p. 363, fn 23. George Boolos and Richard Jeffrey, 1989. Computability and Logic, 3rd ed. Cambridge...
11 KB (1,424 words) - 21:59, 29 April 2024
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....
3 KB (361 words) - 13:43, 28 February 2024
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...
7 KB (993 words) - 22:04, 9 February 2024
Notable graduates of the BPhil include: Cora Diamond, Daniel Dennett, George Boolos, Galen Strawson, G. A. Cohen, J. J. C. Smart, Patricia Churchland, Peter...
13 KB (1,392 words) - 10:50, 30 July 2024
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...
8 KB (1,295 words) - 02:45, 26 January 2024
working on the proof of the incompleteness theorem) and by Alfred Tarski. George Boolos has since sketched an alternative proof of the first incompleteness...
31 KB (4,399 words) - 18:45, 14 July 2024
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...
54 KB (5,271 words) - 19:13, 31 July 2024
rejected by George Boolos.[citation needed] In recent years[when?] second-order logic has made something of a recovery, buoyed by Boolos' interpretation...
32 KB (4,399 words) - 12:11, 1 July 2024
North-Holland Publishing Company, Amsterdam NL, ISBN 0-7204-2103-9 George Boolos, John Burgess, and Richard Jeffrey, 2002, Computability and Logic: Fourth...
21 KB (2,728 words) - 16:56, 6 August 2024
Ackermann James Earl Baumgartner Eyo Malachy Paul Bernays Andreas Blass George Boolos Bourbaki Georg Cantor Paul Cohen Richard Dedekind Paul Finsler Matthew...
9 KB (448 words) - 16:05, 3 August 2022
logic/quantification approximately the same as given by Boolos in Nominalist Platonism (Boolos 1985). Sub-sentential units are defined as Predicate symbols...
16 KB (2,283 words) - 15:58, 11 July 2024
...". Also see branching quantifiers and the plural quantifiers of George Boolos and others. Bounded quantifiers are often used in the study of set theory...
93 KB (13,105 words) - 19:44, 16 August 2024
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...
48 KB (5,361 words) - 13:11, 10 August 2024
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...
9 KB (1,187 words) - 11:57, 21 July 2024
politician. Mike Sharperson, 34, American baseball player, accident. George Boolos, 55, American philosopher and mathematical logician, pancreas cancer...
46 KB (3,551 words) - 02:09, 6 August 2024
University. Retrieved 15 Oct 2011. Van Gelder, Lawrence (30 May 1996). "George Boolos, 55, philosopher". The New York Times. Retrieved 24 Oct 2011. "Faculty...
150 KB (11,617 words) - 06:57, 15 August 2024
University Press. ISBN 0691122318 2007. Computability and Logic (with George Boolos and Richard C. Jeffrey), Cambridge University Press. ISBN 0521877520...
4 KB (251 words) - 15:13, 5 August 2024
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...
24 KB (2,938 words) - 16:35, 9 August 2024
added on 6th reprint). In Chapter XI. General Recursive Functions §57 George Boolos, John Burgess, Richard Jeffrey (2002), Computability and Logic: Fourth...
37 KB (7,078 words) - 09:42, 23 June 2024
portal Epistemic modal logic Belief revision Common knowledge (logic) George Boolos Jaakko Hintikka Modal logic Raymond Smullyan Smullyan, Raymond M., (1986)...
13 KB (1,997 words) - 21:48, 2 November 2023