
	Where results make sense

Topic: George Boolos

Related Topics

Plural quantification

George Boole

Empty set

Bertrand Russell

Boolean algebra

University College Cork

Hilary Putnam

Z3 Computer

Arthur James Balfour

Tour de France

Victor Emmanuel III of Italy

Penelope Cruz

Cork city

French and Indian War

Dubai Land

In the News (Wed 9 Dec 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Arché TWiki . Main . GeorgeBoolos
		George Boolos, "The justification of mathematical induction", PSA 1984 (1985), pp.
		George Boolos, Giovanni Sambin, "Provability: The emergence of a mathematical modality", Studia Logica 50 (1991), pp.
		George Boolos, "Provability in arithmetic and a schema of Grzegorczyk", Fundamenta Mathematicae 106 (1980), pp.
	ahpc-jp30.st-and.ac.uk /~ahwiki/bin/view/Main/GeorgeBoolos?rev=r1.2 (771 words)

	George Boolos Info - Bored Net - Boredom (Site not responding. Last check: 2007-11-03)
		George Boolos (1940 - 1996) was a philosopher and a mathematical logician.
		Boolos was born in New York City in 1940.
		Boolos is usually credited with the idea, however Peter Simons, ("On understanding Lesniewski," in History and Philosophy of Logic, (1982), has argued that it originated with Lesniewski.
	www.borednet.com /e/n/encyclopedia/g/ge/george_boolos.html (457 words)

	George Boolos - ExampleProblems.com
		George Stephen Boolos (September 4, 1940 - May 27, 1996) was a philosopher and a mathematical logician.
		Boolos, what does the analytical hierarchy have to do with the real world?" Unhesitating, Boolos replied, "It's part of it".
		Boolos' idea was that monadic second-order logic can be interpreted as having no ontological commitments to entities other than those the first-order variables range over by thinking of second-order variables as plural terms.
	www.exampleproblems.com /wiki/index.php/George_Boolos (458 words)

	PAW \| George S. Boolos '61
		George Boolos, professor of linguistics and philosophy at MIT and president of the Assn. for Symbolic Logic, died of cancer May 27, 1996, at his home in Cambridge, Mass., surrounded by family, friends, and colleagues.
		"George Boolos was regarded as one of the greatest philosophical logicians of his generation," said a colleague in MIT's announcement of his death.
		George is survived by his wife, Sally Sedgwick, a philosophy professor at Dartmouth; his mother, Mrs.
	webscript.princeton.edu /~paw/memorials/memdisplay.php?id=1449 (202 words)

	Frege, Boolos, and Logical Objects (Site not responding. Last check: 2007-11-03)
		We focus on George Boolos's work in the mid-80s and early 90s, and establish that the `eta' relation that he deployed on Frege's behalf is similar, if not identical, to the encoding mode of predication that underlies Zalta's theory of abstract objects.
		Boolos accepted unrestricted comprehension over Properties and used the `eta' relation to assert the existence of logical objects under certain highly restricted conditions.
		Boolos' proposes 3 different systems, all of which have the requisite mathematical power to derive the natural numbers and 2 of which yield something like sets, in the first instance.
	mally.stanford.edu /abstracts/frege-boolos.html (210 words)

	Amazon.ca: Logic, Logic, and Logic: Books: George Boolos,John P. Burgess,Richard Jeffrey (Site not responding. Last check: 2007-11-03)
		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 the philosophy of mathematics.
	www.amazon.ca /Logic-George-Boolos/dp/067453767X (243 words)

	George S. Boolos PhD '66 (Site not responding. Last check: 2007-11-03)
		Boolos was internationally known as one of the originators of provability logic.
		Boolos was considered an expert in the work of the mathematician and philosopher Gottlob Frege, widely regarded as the founder of modern logic.
		Boolos was also an effective teacher because of his remarkable clarity and wit of his explanations.
	www-tech.mit.edu /V116/N28/boolos.28n.html (282 words)

	Essays in Philosophy -- Book Review
		Boolos claims that when Frege was confronted with the derivation of Russell’s paradox from his Basic Law V, he “grievously undervalued his actual achievement” and mistakenly regarded the paradox as invalidating the whole of his formal work.
		Boolos argues that the claim Hume’s principle is analytic is defective in the same way as the analogous claim that “the present king of France is royal” is analytic.
		George Boolos was responsible for the growth of a distinctive intellectual culture in philosophy at MIT, according to Judith Jarvis Thomson, who characterized this culture as one in which “clarity is crucial; grandeur, scope, reach, significance, importance—all that is lucky fallout if it so falls out, but not essential” (http://web.mit.edu/philos/www/boolos.html).
	www.humboldt.edu /~essays/marrev.html (1585 words)

	CrunchyLogic » Foundations of Arithmetic (Site not responding. Last check: 2007-11-03)
		Boolos points out that whatever this number is, it would have to be bigger than every natural number, given that natural numbers are concepts which–like it or not–are tied to sets (extensions).
		Boolos argues that the implication is that, under Frege’s assumption that every concept has a number, anti-zero would have to be the number of some sort of all-encompassing or all-containing set.
		Boolos hints that such a clash (assume this is all correct) with ZF should cast serious doubt about the legitimacy of HP period, let alone on its status as an analytic truth.
	www.underlevel.net /crunchylogic/?cat=3 (508 words)

	Professor George Boolos Dead at 55 - MIT News Office
		CAMBRIDGE, Mass.-George S. Boolos, Professor of Linguistics and Philosophy at the Massachusetts Institute of Technology and President of the Association for Symbolic Logic, died Monday, May 27, at his home in Cambridge at the age of 55, surrounded by his family, friends, colleagues and devoted students.
		A prominent logician and philosopher, Professor Boolos was internationally known as one of the originators of provability logic.
		Born in New York City, Professor Boolos graduated from Princeton in 1961 with a Bachelor's degree in mathematics.
	web.mit.edu /newsoffice/1996/boolos.html (448 words)

	Amazon.co.uk: The Logic of Provability: Books: George Boolos (Site not responding. Last check: 2007-11-03)
		by George Boolos (Author) "We are going to investigate a system of propositional modal logic, which we call 'GL', for Godel and Lob..." (more)
		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' sentences constructed in their proof.
		Although it is a technical work, George Boolos does not try to hide his enthusiasm.
	www.amazon.co.uk /Logic-Provability-George-Boolos/dp/0521483255 (524 words)

	George Boolos - Wikipedia, the free encyclopedia
		He taught philosophy at the Massachusetts Institute of Technology.
		But Boolos took it much further than Gödel ever did, making it the subject of an entire monograph The Logic of Provability.
		An afterword appeared under the title "A letter from George Boolos," ibid., p.
	en.wikipedia.org /wiki/George_Boolos (1684 words)

	AskPhilosophers.org
		When a set theorist says that such and such collection is "too big" to be a set, what he typically means is that if that collection were taken to be a set a contradiction would arise.
		But the standard concept of set, as embodied in Zermelo-Fraenkel set-theory, is not in any way motivated by the idea that a set cannot be "too big".
		Georg Cantor is often credited with such a conception.
	www.amherst.edu /askphilosophers/topic/Mathematics (2517 words)

	Notes on - Is Hume's Principle Analytic?
		I therefore propose to disregard Boolos's prejudicial referring phrase, and to show that HP understood as involving some concept of number distinct from the now standard notion of cardinal number, can easily be "thought of as analytic".
		Though Boolos talks about "any sense" of the word analytic, it is clear from his paper that one sense he particularly has in mind is that in which analytic truths are described as "true in virtue of their meaning".
		Two subsidiary issues arise from the manner in which Boolos refers to HP in the quoted paragraph.
	www.rbjones.com /rbjpub/philos/bibliog/boolos97.htm (1232 words)

	Powell's Books - Logic, Logic, and Logic by George Boolos
		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 Godel theorems.
		This collection of George Boolos work includes 30 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 Godel theormes.
		Be the first to add a comment for a chance to win!
	powells.com /cgi-bin/biblio?inkey=1-067453767x-0 (206 words)

	Amazon.com: Logic, Logic, and Logic: Books: George Boolos,John P. Burgess,Richard Jeffrey (Site not responding. Last check: 2007-11-03)
		At the very least the book offers the best (informal) introductions to Goedel's celebrated theorem, which is worth a lot.
		Anyone familiar with Boolos' work will know that this book is a treat.
		Anyone not familiar with Boolos' work must learn; and ~Logic, Logic, and Logic~ is a great place to start.
	www.amazon.com /Logic-George-Boolos/dp/067453767X (931 words)

	Amazon.co.uk: Computability and Logic: Books: George Boolos,Richard C. Jeffrey,John P. Burgess (Site not responding. Last check: 2007-11-03)
		by George Boolos (Author), Richard C. Jeffrey (Author), John P. Burgess (Author) "An enumerable, or countable, set is one whose members can be enumerated: arranged in a single list with a first entry, a second entry, and..." (more)
		I regard it as a very suitable companion or reference-work for the philosophically interested student of logic.
		The fact that the book (in its fourth edition at least) is divided into many short chapters makes it all the more useful as a companion.
	www.amazon.co.uk /Computability-Logic-George-Boolos/dp/0521007585 (962 words)

	Arché TWiki . Arche . GottlobFrege
		Bernard Linsky, "A note on the carving up content principle in Frege's theory of sense", Notre Dame Journal of Formal Logic 33 (1992), pp.
		Leonard Linsky and George F. Schumm, "Frege's Way Out: A Footnote", Analysis 32 (1971), pp.
		Leonard Linsky and George F. Schumm, "Tripping Over One's Own Footnote", Analysis 34 (1973), pp.
	arche-wiki.st-and.ac.uk /~ahwiki/bin/view/Arche/GottlobFrege (2130 words)

	Amazon.ca: Computability and Logic: Books: George Boolos,Richard C. Jeffrey (Site not responding. Last check: 2007-11-03)
		by George Boolos (Author), Richard C. Jeffrey (Author) "An enumerable set is one whose members can be enumerated: arranged in a single list with a first entry, a second entry, etc., so that..." (more)
		I firmly agree with the reviewer from Brooklyn that the proofs could have had more forecasting and with the reviewer from Raleigh that a solution set, say to the odds, would have been very useful, especially for the auto-didact, from whose perspective I am writing.
		I can hardly imagine a better introduction to the topics covered than this book.
	www.amazon.ca /Computability-Logic-George-Boolos/dp/052120402X (1340 words)

	Harvard University Press: Logic, Logic, and Logic by George Boolos
		Harvard University Press: Logic, Logic, and Logic by George Boolos
		George Boolos was Professor of Philosophy, Massachusetts Institute of Technology.
		Browse books by author · title · subject
	www.hup.harvard.edu /catalog/BOOLOG.html?show=catalogcopy (155 words)

	Who Needs Hume's Principle?
		Boolos has a lot more credibility than Boucher here,
		Boolos has probably never done this and Boucher certainly never has.
		Boolos also has an essay in this book called, "Is
	www.groupsrv.com /science/ntopic163275.html (3046 words)

	Computability, Enumerability, Unsolvability by S. B. Cooper(Editor), T. A. Slaman(Editor), S. S. Wainer(Editor), New, ... (Site not responding. Last check: 2007-11-03)
		Computability and Logic (By George S. Boolos,John P. Burgess,Richard C. Jeffrey)
		Computability and Logic (By George S. Boolos,Richard C. Jeffrey)
		Computability and Logic (By George Boolos,Richard C. Jeffrey)
	www.bookfinder4u.com /detail/0521557364.html (355 words)

	Publisher description for Library of Congress control number 92043610 (Site not responding. Last check: 2007-11-03)
		Publisher description for The logic of provability / George Boolos.
		Bibliographic record and links to related information available from the Library of Congress catalog
		The book explores the effects of reinterpreting the notions of necessity and possibility to near probability and consistency.
	www.loc.gov /catdir/description/cam025/92043610.html (180 words)

	The Logic of Provability -- George S. Boolos
		The Logic of Provability -- George S. Boolos
		Click Here to tell a friend about this book
		It contains the first application of quantified modal logic to formal provability, and shows the results of applying modal logic to formal provability, and shows the results of applying modal logic of simple and omega consistency.
	www.frontlist.com /detail/0521483255 (157 words)

Try your search on: Qwika (all wikis)