Background
Boolos, George Stephen was born on September 4, 1940 in New York City. Son of Stephen George and Blanche (Salomon) Boolos.
(The Unprovability of Consistency is concerned with connec...)
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 for at least thirty years between the followers of C. I. Lewis and W. V. O. Quine. The author employs semantic methods developed by Saul Kripke in his analysis of modal logical systems. The book will be of interest to advanced undergraduate and graduate students in logic, mathematics and philosophy, as well as to specialists in those fields.
http://www.amazon.com/The-Unprovability-Consistency-Essay-Modal/dp/0521092973%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3D0521092973?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
http://www.amazon.com/The-Unprovability-Consistency-Boolos-Hardcover/dp/B01181MZP2%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3DB01181MZP2?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
(Computability and Logic has become a classic because of i...)
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 traditional stumbling block for students on the way to the Godel incompleteness theorems.
http://www.amazon.com/Computability-Logic-George-S-Boolos/dp/0521701465%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3D0521701465?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
(A text for a second course in logic for graduate and adva...)
A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.
http://www.amazon.com/Computability-Logic-George-S-Boolos/dp/0521389232%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3D0521389232?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
(From one of the founders of symbolic logic comes this col...)
From one of the founders of symbolic logic comes this collection of writings on logical subjects and related questions of probability. George Boole invented Boolean logic, the basis of modern digital computer logic, for which he is regarded as a founder of the field of computer science. This authoritative compilation of his papers features his most mature thinking on Boolean logic and includes previously unpublished material. Appropriate for upper-level undergraduates and graduate students, the contents range from The Mathematical Analysis of Logic to Boole's final works, including The Laws of Thought, the most systematic statement of his ideas on logic and probability. Boole had intended to create a follow-up volume but did not survive to fulfill his ambition; this volume features his further studies on the subject.
http://www.amazon.com/Studies-Logic-Probability-Dover-Mathematics/dp/0486488268%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3D0486488268?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
(This scarce antiquarian book is a facsimile reprint of th...)
This scarce antiquarian book is a facsimile reprint of the original. Due to its age, it may contain imperfections such as marks, notations, marginalia and flawed pages. Because we believe this work is culturally important, we have made it available as part of our commitment for protecting, preserving, and promoting the world's literature in affordable, high quality, modern editions that are true to the original work.
http://www.amazon.com/Investigation-The-Laws-Thought-Probabilities/dp/1163489301%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3D1163489301?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
( An Investigation of the Laws of Thought On which are f...)
An Investigation of the Laws of Thought On which are founded the mathematical theories of logic and probabilities By George Boole The Laws of Thought, more precisely, An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, was an influential 19th century book by George Boole, the second of his two monographs on algebraic logic. It was published in 1854. Boole was Professor of Mathematics of then Queen's College, Cork in Ireland. The following work is not a republication of a former treatise by the Author, entitled, “The Mathematical Analysis of Logic.” Its earlier portion is indeed devoted to the same object, and it begins by establishing the same system of fundamental laws, but its methods are more general, and its range of applications far wider. It exhibits the results, matured by some years of study and reflection, of a principle of investigation relating to the intellectual operations, the previous exposition of which was written within a few weeks after its idea had been conceived. That portion of this work which relates to Logic presupposes in its reader a knowledge of the most important terms of the science, as usually treated, and of its general object. On these points there is no better guide than Archbishop Whately’s “Elements of Logic,” or Mr. Thomson’s “Outlines of the Laws of Thought.” To the former of these treatises, the present revival of attention to this class of studies seems in a great measure due. Some acquaintance with the principles of Algebra is also requisite, but it is not necessary that this application should have been carried beyond the solution of simple equations. For the study of those chapters which relate to the theory of probabilities, a somewhat larger knowledge of Algebra is required, and especially of the doctrine of Elimination, and of the solution of Equations containing more than one unknown quantity. Preliminary information upon the subject-matter will be found in the special treatises on Probabilities in “Lardner’s Cabinet Cyclopaedia,” and the “Library of Useful Knowledge,” the former of these by Professor De Morgan, the latter by Sir John Lubbock; and in an interesting series of Letters translated from the French of M. Quetelet. Other references will be given in the work. On a first perusal the reader may omit at his discretion, Chapters x., xiv., and xix., together with any of the applications which he may deem uninviting or irrelevant.
http://www.amazon.com/Investigation-Laws-Thought-mathematical-probabilities/dp/1511743530%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3D1511743530?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
( Boole's earlier work, The Mathematical Analysis of Logi...)
Boole's earlier work, The Mathematical Analysis of Logic, appears here, together with an account of the notes Boole made on his own interleaved copy. Appendices contain relevant papers by contemporaries with whom the author engaged in discussion, making it possible to trace interesting developments in Boolean reasoning. 1952 edition.
http://www.amazon.com/Studies-Logic-Probability-Phoenix-Editions/dp/0486438694%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3D0486438694?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
http://www.amazon.com/Computability-George-Sep-01-2007-Hardcover-COMPUTABILITY/dp/B008KV3L4I%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3DB008KV3L4I?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
http://www.amazon.com/Computability-Burgess-Jeffrey-Richard-Hardcover/dp/B01181NC2M%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3DB01181NC2M?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
http://www.amazon.com/Computability-Logic-fifth-George-Boolos/dp/B006QCXU76%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3DB006QCXU76?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
http://www.amazon.com/Computability-Logic-Fifth-Edition-byBoolos/dp/B004UN5XMI%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3DB004UN5XMI?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
http://www.amazon.com/Collected-logical-works-Volume-Probability/dp/B0007DEXMQ%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3DB0007DEXMQ?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
http://www.amazon.com/Computability-Logic-BYBoolos-Boolos/dp/B004UQNVGU%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3DB004UQNVGU?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
http://www.amazon.com/Computability-Logic-Edition-George-Boolos/dp/B000M46K80%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3DB000M46K80?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
(Pure mathematics and symbolic logic)
Pure mathematics and symbolic logic
http://www.amazon.com/Investigation-Thought-Mathematical-Theories-Probabilities/dp/B0084101RY%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3DB0084101RY?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
( This is a reproduction of a book published before 1923....)
This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our continuing commitment to the preservation of printed works worldwide. We appreciate your understanding of the imperfections in the preservation process, and hope you enjoy this valuable book. ++++ The below data was compiled from various identification fields in the bibliographic record of this title. This data is provided as an additional tool in helping to ensure edition identification: ++++ An Investigation Of The Laws Of Thought, On Which Are Founded The Mathematical Theories Of Logic And Probabilities; Volume 2 Of George Boole's Collected Logical Works; Volume 28 Of DoverBooks On Advanced Mathematics. S George Boole Walton and Maberly, 1854 Mathematics; Logic; Logic, Symbolic and mathematical; Mathematics / Logic; Philosophy / Logic; Probabilities; Thought and thinking
http://www.amazon.com/Investigation-Mathematical-Theories-Probabilities-Afrikaans/dp/1179417410%3FSubscriptionId%3DAKIAJRRWTH346WSPOAFQ%26tag%3Dprabook0b-20%26linkCode%3Dsp1%26camp%3D2025%26creative%3D165953%26creativeASIN%3D1179417410?SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953&SubscriptionId=AKIAJRRWTH346WSPOAFQ&tag=prabook0b-20&linkCode=sp1&camp=2025&creative=165953
Boolos, George Stephen was born on September 4, 1940 in New York City. Son of Stephen George and Blanche (Salomon) Boolos.
Bachelor, Princeton University, 1961; Bachelor of Philosophy, University of Oxford, England, 1963; Doctor of Philosophy, Massachusetts Institute of Technology, 1966.
Assistant professor philosophy, Columbia University, 1966-1969; assistant professor philosophy, Massachusetts Institute of Technology, 1969-1973; associate professor, Massachusetts Institute of Technology, 1973-1980; professor, Massachusetts Institute of Technology, 1980-1996.
( An Investigation of the Laws of Thought On which are f...)
(Computability and Logic has become a classic because of i...)
( Boole's earlier work, The Mathematical Analysis of Logi...)
(From one of the founders of symbolic logic comes this col...)
(The Unprovability of Consistency is concerned with connec...)
(A text for a second course in logic for graduate and adva...)
(This scarce antiquarian book is a facsimile reprint of th...)
( This is a reproduction of a book published before 1923....)
(Pure mathematics and symbolic logic)
Fellow American Academy Arts and Sciences. Member Association Symbolic Logic (president 1995-1996), American Philosophical Association, Mathematics Association American.
1 child, Peter.