G is the result of adjoining the schema (qAA)qA to K; the axioms of G* are the theorems of G and the instances of the schema qAA and the sole rule of G* is modus ponens. A sentence is -provable if it is provable in P(eano) A(rithmetic) by one application of the -rule; equivalently, if its negation is -inconsistent in PA. Let -Bew(x) be the natural formalization of the notion of -provability. For any modal sentence A and function mapping sentence (...) letters to sentences of PA, inductively define A by: p = (p) (p a sentence letter); = ; (AB)su}= (A B); and (qA)= -Bew(A )(S) is the numeral for the Gödel number of the sentence S). Then, applying techniques of Solovay (Israel Journal of Mathematics 25, pp. 287–304), we prove that for every modal sentence A, G A iff for all , PA A ; and for every modal sentence A, G* A iff for all , A is true. (shrink)

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. John Burgess has provided introductions to each of the three parts of the volume, and also an afterword on Boolos's technical work in provability logic, which is beyond the scope of this volume. (shrink)

Bridging the gap between the world of science and the realm of the spiritual, B. Alan Wallace introduces a natural theory of human consciousness that has its roots in contemporary physics and Buddhism. Wallace's "special theory of ontological relativity" suggests that mental phenomena are _conditioned_ by the brain, but do not _emerge_ from it. Rather, the entire natural world of mind and matter, subjects and objects, arises from a unitary dimension of reality that is more fundamental than these dualities, as (...) proposed by Wolfgang Pauli and Carl Jung. To test his hypothesis, Wallace employs the Buddhist meditative practice of _samatha_, refining one's attention and metacognition, to create a kind of telescope to examine the space of the mind. Drawing on the work of the physicist John Wheeler, he then proposes a more general theory in which the participatory nature of reality is envisioned as a self-excited circuit. In comparing these ideas to the Buddhist theory known as the Middle Way philosophy, Wallace explores further aspects of his "general theory of ontological relativity," which can be investigated by means of _vipasyana_, or insight, meditation. Wallace then focuses on the theme of symmetry in reference to quantum cosmology and the "problem of frozen time," relating these issues to the theory and practices of the Great Perfection school of Tibetan Buddhism. He concludes with a discussion of the general theme of complementarity as it relates to science and religion. The theories of relativity and quantum mechanics were major achievements in the physical sciences, and the theory of evolution has had an equally deep impact on the life sciences. However, rigorous scientific methods do not yet exist to observe mental phenomena, and naturalism has its limits for shedding light on the workings of the mind. A pioneer of modern consciousness research, Wallace offers a practical and revolutionary method for exploring the mind that combines the keenest insights of contemporary physicists and philosophers with the time-honored meditative traditions of Buddhism. (shrink)

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, (...) and science, and two smaller sections on the relationship of ethics and language, and on the philosophy of logic and aesthetics. (shrink)

Bridging the gap between the world of science and the realm of the spiritual, B. Alan Wallace introduces a natural theory of human consciousness that has its roots in contemporary physics and Buddhism. Wallace's "special theory of ontological relativity" suggests that mental phenomena are _conditioned_ by the brain, but do not _emerge_ from it. Rather, the entire natural world of mind and matter, subjects and objects, arises from a unitary dimension of reality that is more fundamental than these dualities, as (...) proposed by Wolfgang Pauli and Carl Jung. To test his hypothesis, Wallace employs the Buddhist meditative practice of _samatha_, refining one's attention and metacognition, to create a kind of telescope to examine the space of the mind. Drawing on the work of the physicist John Wheeler, he then proposes a more general theory in which the participatory nature of reality is envisioned as a self-excited circuit. In comparing these ideas to the Buddhist theory known as the Middle Way philosophy, Wallace explores further aspects of his "general theory of ontological relativity," which can be investigated by means of _vipasyana_, or insight, meditation. Wallace then focuses on the theme of symmetry in reference to quantum cosmology and the "problem of frozen time," relating these issues to the theory and practices of the Great Perfection school of Tibetan Buddhism. He concludes with a discussion of the general theme of complementarity as it relates to science and religion. The theories of relativity and quantum mechanics were major achievements in the physical sciences, and the theory of evolution has had an equally deep impact on the life sciences. However, rigorous scientific methods do not yet exist to observe mental phenomena, and naturalism has its limits for shedding light on the workings of the mind. A pioneer of modern consciousness research, Wallace offers a practical and revolutionary method for exploring the mind that combines the keenest insights of contemporary physicists and philosophers with the time-honored meditative traditions of Buddhism. (shrink)

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 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. The book explores the effects of reinterpreting the notions of necessity and possibility to mean provability and consistency. (shrink)

Two thoughts about the concept of number are incompatible: that any zero or more things have a (cardinal) number, and that any zero or more things have a number (if and) only if they are the members of some one set. It is Russell's paradox that shows the thoughts incompatible: the sets that are not members of themselves cannot be the members of any one set. The thought that any (zero or more) things have a number is Frege's; the thought (...) that things have a number only if they are the members of a set may be Cantor's and is in any case a commonplace of the usual contemporary presentations of the set theory that originated with Cantor and has become ZFC. In recent years a number of authors have examined Frege's accounts of arithmetic with a view to extracting an interesting subtheory from Frege's formal system, whose inconsistency, as is well known, was demonstrated by Russell. These accounts are contained in Frege's formal treatise Grundgesetze der Arithmetik and his earlier exoteric book Die Grundlagen der Arithmetik. We may describe the two central results of the recent re-evaluation of his work in the following way: Let Frege arithmetic be the result of adjoining to full axiomatic second-order logic a suitable formalization of the statement that the Fs and the Gs have the same number if and only if the F sand the Gs are equinumerous. (shrink)

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. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a (...) simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual. (shrink)

This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; ...

This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book 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. John Burgess has now enhanced the book by adding a selection of problems at the end of each chapter, and by reorganising and rewriting chapters to make them more independent of each other and thus to increase the range of options available to instructors as to what to cover and what to defer. (shrink)

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. (shrink)

The late Jacob Klein’s important book is, remarkably, a lucid presentation of esoteric argument. Dealing with the famed Platonic triad, Theaetetus, Sophist, and Statesman, Klein settles the dispute about the missing dialogue, "The Philosopher," by first denying that it is missing and second showing that it is unnecessary. He argues, in short, that the triad is a dyad. That argument is reinforced by the distinction Klein strongly implies between the Socratic Theaetetus and the Eleatic Sophist and Statesman. "We can now (...) understand why the conversations of the ‘trilogy’ occur in two, not three, days and why the Sophist, the Statesman, and the Philosopher are dealt with in two, not three, dialogues". (shrink)

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, (...) and science, and two smaller sections on the relationship of ethics and language, and on the philosophy of logic and aesthetics.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, and science, and two smaller sections on the relationship of ethics and language, and on the philosophy of logic and aesthetics. (shrink)

George Boolos; IX*—Saving Frege from Contradiction, Proceedings of the Aristotelian Society, Volume 87, Issue 1, 1 June 1987, Pages 137–152, https://doi.org/10.

George Boolos; IX*—Saving Frege from Contradiction, Proceedings of the Aristotelian Society, Volume 87, Issue 1, 1 June 1987, Pages 137–152, https://doi.org/10.

A close look at Frege's proof in "Foundations of Arithmetic" that every number has a successor. The examination reveals a surprising gap in the proof, one that Frege would later fill in "Basic Laws of Arithmetic".

The _Platform Sutra_ records the teachings of Hui-neng, the Sixth Patriarch, who is revered as one of the two great figures in the founding of Ch'an (Zen) Buddhism. This translation is the definitive English version of the eighth-century Ch'an classic. Phillip B. Yampolsky has based his translation on the Tun-huang manuscript, the earliest extant version of the work. A critical edition of the Chinese text is given at the end of the volume. Dr. Yampolsky also furnishes a lengthy and detailed (...) historical introduction which contains much information hitherto unavailable even to scholars, and provides the context essential to an understanding of Hui-neng's work. He gives an account of the history and legends of Ch'an Buddhism, with particular attention to the traditions associated with Hui-neng, quoting or summarizing the most important narratives. He then discusses the various texts of the _Platform Sutra_, and analyzes its contents. (shrink)