In spite of his status as a highly original thinker whose views were, in many ways, ahead of his time and anticipate those of more famous successors, the work of Johann Gottfried von Herder has not received the attention it deserves in mainstream philosophical discourse. In Herder's Hermeneutics, Kristin Gjesdal successfully addresses this deficit by exploring the enlightenment origins of the hermeneutic tradition through a careful and compelling reconstruction of Herder's theory of interpretation. Breaking with the widespread view of Herder (...) as a contra-Enlightenment thinker, Gjesdal conceives of Herder's hermeneutics as contributing to the enlightenment of the Enlightenment project through an immanent critique of... (shrink)

Machine generated contents note: Part I. General: 1. The Gödel editorial project: a synopsis Solomon Feferman; 2. Future tasks for Gödel scholars John W. Dawson, Jr., and Cheryl A. Dawson; Part II. Proof Theory: 3. Kurt Gödel and the metamathematical tradition Jeremy Avigad; 4. Only two letters: the correspondence between Herbrand and Gödel Wilfried Sieg; 5. Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counter-example interpretation W. W. Tait; 6. Gödel on intuition and on Hilbert's finitism W. (...) W. Tait; 7. The Gödel hierarchy and reverse mathematics Stephen G. Simpson ; 8. On the outside looking in: a caution about conservativeness John P. Burgess; Part III. Set Theory: 9. Gödel and set theory Akihiro Kanamori; 10. Generalizations of Gödel's universe of constructible sets Sy-David Friedman; 11. On the question of absolute undecidability Peter Koellner; Part IV. Philosophy of Mathematics: 12. What did Gödel believe and when did he believe it? Martin Davis; 13. On Gödel's way in: the influence of Rudolf Carnap Warren Goldfarb; 14. Gödel and Carnap Steve Awodey and A. W. Carus; 15. On the philosophical development of Kurt Gödel Mark van Atten and Juliette Kennedy; 16. Platonism and mathematical intuition in Kurt Gödel's thought Charles Parsons; 17. Gödel's conceptual realism Donald A. Martin. (shrink)

Kurt Gdel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Gdel's writings. The first three volumes, already published, consist of the papers and essays of Gdel. The final two volumes of the set deal with Gdel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G.

Kurt Gödel was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of (...) unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Gödel's publications in full, and the third volume featured a wide selection of unpublished articles and lecture texts found in Gödel's Nachlass. These long-awaited final two volumes contain Gödel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Gödel's Nachlass. All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German, and a complete bibliography of all works cited. Kurt Gödel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Gödel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century. (shrink)

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.

I attribute an 'intensional reading' of the second incompleteness theorem to its author, Kurt G del. My argument builds partially on an analysis of intensional and extensional conceptions of meta-mathematics and partially on the context in which G del drew two familiar inferences from his theorem. Those inferences, and in particular the way that they appear in G del's writing, are so dubious on the extensional conception that one must doubt that G del could have understood his theorem extensionally. (...) However, on the intensional conception, the inferences are straightforward. For that reason I conclude that G del had an intensional understanding of his theorem. Since this conclusion is in tension with the generally accepted view of G del's understanding of mathematical truth, I explain how to reconcile that view with the intensional reading of the theorem that I attribute to G del. The result is a more detailed account of G del's conception of meta-mathematics than is currently available. (shrink)

Kurt Gödel was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of (...) unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Gödel's publications in full, and the third volume featured a wide selection of unpublished articles and lecture texts found in Gödel's Nachlass. These long-awaited final two volumes contain Gödel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Gödel's Nachlass. L All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German, and a complete bibliography of all works cited. Kurt Gödel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Gödel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century. (shrink)

This article traces Kurt H. Wolff’s involvement with Italy, from his first sojourn in the 1930s as a German Jewish intellectual in exile to the end of his life. Wolff developed profound ties with the country that hosted him, and that he was forced to abandon once racial laws were introduced there on the eve of World War II. Nonetheless, throughout his life he regarded Italy as an elective homeland of sorts. Wolff’s Italian experience is revisited through a detailed (...) examination of the places where he resided, his activities as a student, teacher, and scholar, and the many individuals with whom he associated, many of whom became his lifelong friends and collaborators. The documentary evidence collected here includes unpublished conversations with some of Wolff’s Italian connections and serves for a consideration of how his ties to Italy had an impact on the development of his sociological and esthetic theories. (shrink)

In this paper, we compare one Nez Perce myth, namely lepuu ’Iceyeeye, or “Two Coyotes,” to some passages from Plato’s dialogues. Our point is to show how “Two Coyotes,” like Plato’s dialogues, serves as an instrument of philosophical reflection by engaging the listener/reader in aporia and paradox that motivate multiple reflections on the One, the Many, the nature and relation of kinds to instances, and thus the process and meaning of naming. If we are correct about the uses of “Two (...) Coyotes,” this might warrant a reevaluation of other first Nations’ myths. (shrink)

Contained in the face is a vast body of social information, both fixed and flexible. Across multiple lines of converging evidence it has become increasingly clear that face processing is subject to one of the most potent and best understood of social cognitive phenomena: social categorization. This article reviews this research at the juncture of social psychology and face perception showing the interplay between social categorization and face processing. It lays out evidence indicating that social categories are extracted easily from (...) faces, suggesting that the effects of social categories can occur quickly and unintentionally. Recent evidence that social categories can affect perception of both invariant and variant facial characteristics is discussed. Finally, the article summarizes recent evidence indicating that the motivational consequences of social categories can affect which faces are remembered and how faces are processed. (shrink)