Classical logic, beginning with the work of Aristotle, has developed into a powerful and rigorous mathematical theory with many applications in mathematics and ...

"[Goodbye, Descartes] is certain to attract attention and controversy..a fascinating journey to the edges of logical thinking and beyond." -Publishers Weekly Critical Acclaim for Keith Devlin's Previous Book Mathematics: The Science of Patterns "A book such as this belongs in the personal library of everyone interested in learning about some of the most subtle and profound works of the human spirit." -American Scientist "Devlin's very attractive book is a well-written attempt to explain mathematics to educated nonmathematicians. the basic ideas are (...) presented in a clear, concise, and easily understood manner. Highly recommended." -Choice "[Devlin] has found an interesting way of exhibiting how mathematics is unified. the author's presentation is a tour de force." -Mathematical Reviews A Selection of the Newbridge Library of Science and Reader's Subscription. (shrink)

Explains how our innate pattern-making abilities allow us to perform mathematical reasoning.

"[Goodbye, Descartes] is certain to attract attention and controversy..a fascinating journey to the edges of logical thinking and beyond." -Publishers Weekly Critical Acclaim for Keith Devlin's Previous Book Mathematics: The Science of Patterns "A book such as this belongs in the personal library of everyone interested in learning about some of the most subtle and profound works of the human spirit." -American Scientist "Devlin's very attractive book is a well-written attempt to explain mathematics to educated nonmathematicians. the basic ideas are (...) presented in a clear, concise, and easily understood manner. Highly recommended." -Choice "[Devlin] has found an interesting way of exhibiting how mathematics is unified. the author's presentation is a tour de force." -Mathematical Reviews A Selection of the Newbridge Library of Science and Reader's Subscription. (shrink)

Recent years have seen a growing acknowledgement within the mathematical community that mathematics is cognitively/socially constructed. Yet to anyone doing mathematics, it seems totally objective. The sensation in pursuing mathematical research is of discovering prior (eternal) truths about an external (abstract) world. Although the community can and does decide which topics to pursue and which axioms to adopt, neither an individual mathematician nor the entire community can choose whether a particular mathematical statement is true or false, based on the given (...) axioms. Moreover, all the evidence suggests that all practitioners work with the same ontology. (My number 7 is exactly the same as yours.) How can we reconcile the notion that people construct mathematics, with this apparent choice-free, predetermined objectivity? I believe the answer is to be found by examining what mathematical thinking is (as a mental activity) and the way the human brain acquired the capacity for mathematical thinking. (shrink)

In [2], Prikry showed that if κ is a weakly inaccessible cardinal which carries a Rowbottom filter, then there is a Boolean extension of V (the universe), having the same cardinals as V, in which cf(κ) = ω. In this note, we obtain necessary and sufficient conditions which a filter D on κ must possess in order that this may be done.

Various equivalents and weakenings of the combinatorial principle $\diamond$ are considered. The paper contains both absolute results and consistency results. Also included is a new characterisation of the notion of a stationary subset of ω 1.

I argue that the role played by infons in the kind of mathematical theory of information being developed by several workers affiliated to CSLI is analogous to that of the various number systems in mathematics. In particular, I present a mathematical construction of infons in terms of representations and informational equivalences between them. The main theme of the paper arose from an electronic mail exchange with Pat Hayes of Xeroxparc. The exposition derives from a talk I gave at theTheories of (...) Partial Information conference held at the University of Texas at Austin, January 1990. (shrink)

Various equivalents and weakenings of the combinatorial principle $\diamond$ are considered. The paper contains both absolute results and consistency results. Also included is a new characterisation of the notion of a stationary subset of $\omega_1$.

For most of the 1980s, Jon Barwise focused much of his research in the area of natural language semantics. This article surveys his research publications in that area.Most, but not all, of those publications were in the area of situation semantics, a new approach to natural language semantics Barwise developed jointly with his colleague John Perry in the first half of the 1980s. That work was both blessed, and cursed, by becoming closely identified in academic circles with the award of (...) a $23 million gift to Stanford from the System Development Foundation for the establishment in 1983 of its Center for the Study of Language and Information. The development of situation semantics, and in due course its underlying mathematical foundation Situation Theory, carried out for the most part within the framework of CSLI's STASS research group, was actually a relatively small part of the overall research program at CSLI. But because Barwise and Perry were leading figures at CSLI, were centrally involved in securing the SDF gift, and were respectively the first and second directors of CSLI, a general impression sprung up that the two of them had been awarded millions of dollars to develop situation semantics.A major consequence of this false impression was that from the theory's early days, a great deal of interest was shown in the project. With so many accomplished scholars pouring over the work while the ink was still wet on the manuscript pages, Barwise and Perry were able to take advantage of a broad range of helpful criticism. This meant that they were able to develop the new theory much more rapidly than would otherwise have been the case. (shrink)

We consider various strengthenings of the combinatorial principle ⋄ + which are provable from V = L, and give applications in set theory.

For most of the 1980s, Jon Barwise focused much of his research in the area of natural language semantics. This article surveys his research publications in that area.Most, but not all, of those publications were in the area of situation semantics, a new approach to natural language semantics Barwise developed jointly with his colleague John Perry in the first half of the 1980s. That work was both blessed, and cursed, by becoming closely identified in academic circles with the award of (...) a $23 million gift to Stanford from the System Development Foundation for the establishment in 1983 of its Center for the Study of Language and Information. The development of situation semantics, and in due course its underlying mathematical foundation Situation Theory, carried out for the most part within the framework of CSLI's STASS research group, was actually a relatively small part of the overall research program at CSLI. But because Barwise and Perry were leading figures at CSLI, were centrally involved in securing the SDF gift, and were respectively the first and second directors of CSLI, a general impression sprung up that the two of them had been awarded millions of dollars to develop situation semantics.A major consequence of this false impression was that from the theory's early days, a great deal of interest was shown in the project. With so many accomplished scholars pouring over the work while the ink was still wet on the manuscript pages, Barwise and Perry were able to take advantage of a broad range of helpful criticism. This meant that they were able to develop the new theory much more rapidly than would otherwise have been the case. (shrink)