Available for the first time in 20 years, here is the Rudolf Carnap's famous principle of tolerance by which everyone is free to mix and match the rules of ...

In this book, which remained unfinished at his death, Husserl attempts to forge a union between phenomenology and existentialism.

In the 1960s a radical concept emerged from the great French thinker Jacques Derrida. Read the book that changed the way we think; read "Writing and Difference," the classic introduction.

"One of the major works in the development of contemporary criticism and philosophy." -- J. Hillis Miller, Yale University Jacques Derrida's revolutionary theories about deconstruction, phenomenology, psychoanalysis, and structuralism, first voiced in the 1960s, forever changed the face of European and American criticism. The ideas in De la grammatologie sparked lively debates in intellectual circles that included students of literature, philosophy, and the humanities, inspiring these students to ask questions of their disciplines that had previously been considered improper. Thirty years (...) later, the immense influence of Derrida's work is still igniting controversy, thanks in part to Gayatri Spivak's translation, which captures the richness and complexity of the original. This corrected edition adds a new index of the critics and philosophers cited in the text and makes one of contemporary criticism's most indispensable works even more accessible and usable. (shrink)

In a recent article, Azzouni has argued in favor of a version of formalism according to which ordinary mathematical proofs indicate mechanically checkable derivations. This is taken to account for the quasi-universal agreement among mathematicians on the validity of their proofs. Here, the author subjects these claims to a critical examination, recalls the technical details about formalization and mechanical checking of proofs, and illustrates the main argument with aanalysis of examples. In the author's view, much of mathematical reasoning presents genuine (...) meaning-dependent mathematical characteristics that cannot be captured by formal calculi. ‘…there is a conflict between mathematical practice and the formalist doctrine.’ [Kreisel, 1969, p. 39]. (shrink)

The essays collected here provide English-speaking readers with a lucid and accessible introduction to the world of France's leading contemporary philosopher. A classic student textbook.

v. 1-2. Principles of philosophy and Elements of logic.--v. 3-4. Exact logic (published papers) and The simplest mathematics.--v. 5-6. Pragmatism and pragmaticism and Scientific metaphysics.--v. 7. Science and philosophy.--v. 8. Reviews, correspondence and bibliography.

Kurt Godel was the most outstanding logician of the twentieth century, famous for his work 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 computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Less well-known is his discovery of unusual cosmological models for Einstein's (...) equations, permitting "time-travel" into the past. This second volume of a comprehensive edition of Godel's works collects together all his publications from 1938 to 1974. Together with Volume I (Publications 1929-1936), it makes available for the first time in a single source all of his previously published work. Continuing the format established in the earlier volume, the present text includes introductory notes that provide extensive explanatory and historical commentary on each of the papers, a facing English translation of the one German original, and a complete bibliography. Succeeding volumes are to contain unpublished manuscripts, lectures, correspondence, and extracts from the notebooks. Collected Works is designed to be accessible and useful to as wide an audience as possible without sacrificing scientific or historical accuracy. The only complete edition available in English, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science. These volumes will also interest scientists and all others who wish to be acquainted with one of the great minds of the twentieth century. (shrink)

A Non-Technical Introduction to Ethnomethodological Investigations of the Foundations of Mathematics through the Use of a Theorem of Euclidean Geometry* I ...