Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...) philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gode1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Godel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.". (shrink)

This is one of the seminal articles of the pragmatist tradition where C.S. Peirce sets out his doctrine of doubt and belief --and their relationship to inquiry and clarity of our concepts. Originally published in the Popular Science Monthly; and widely available in reprints and collections of Peirce's writings.

Much discussion of meaning by philosophers over the last 300 years has been predicated on a Cartesian first-person authority (i.e. “infallibilism”) with respect to what one’s terms mean. However this has problems making sense of the way the meanings of scientific terms develop, an increase in scientific knowledge over and above scientists’ ability to quantify over new entities. Although a recent conspicuous embrace of rigid designation has broken up traditional meaning-infallibilism to some extent, this new dimension to the meaning of (...) terms such as “water” is yet to receive a principled epistemological undergirding (beyond the deliverances of “intuition” with respect to certain somewhat unusual possible worlds). Charles Peirce’s distinctive, naturalistic philosophy of language is mined to provide a more thoroughly fallibilist, and thus more realist, approach to meaning, with the requisite epistemology. Both his pragmatism and his triadic account of representation, it is argued, produce an original approach to meaning, analysing it in processual rather than objectual terms, and opening a distinction between “meaning for us”, the meaning a term has at any given time for any given community and “meaning simpliciter”. the way use of a given term develops over time (often due to a posteriori input from the world which is unable to be anticipated in advance). This account provocatively undermines a certain distinction between “semantics” and “ontology” which is often taken for granted in discussions of realism. (shrink)

First published in 1967, _Writing and Difference_, a collection of Jacques Derrida's essays written between 1959 and 1966, has become a landmark of contemporary French thought. In it we find Derrida at work on his systematic deconstruction of Western metaphysics. The book's first half, which includes the celebrated essay on Descartes and Foucault, shows the development of Derrida's method of deconstruction. In these essays, Derrida demonstrates the traditional nature of some purportedly nontraditional currents of modern thought—one of his main targets (...) being the way in which "structuralism" unwittingly repeats metaphysical concepts in its use of linguistic models. The second half of the book contains some of Derrida's most compelling analyses of why and how metaphysical thinking must exclude writing from its conception of language, finally showing metaphysics to be constituted by this exclusion. These essays on Artaud, Freud, Bataille, Hegel, and Lévi-Strauss have served as introductions to Derrida's notions of writing and _différence_—the untranslatable formulation of a nonmetaphysical "concept" that does not exclude writing—for almost a generation of students of literature, philosophy, and psychoanalysis. _Writing and Difference_ reveals the unacknowledged program that makes thought itself possible. In analyzing the contradictions inherent in this program, Derrida foes on to develop new ways of thinking, reading, and writing,—new ways based on the most complete and rigorous understanding of the old ways. Scholars and students from all disciplines will find _Writing and Difference_ an excellent introduction to perhaps the most challenging of contemporary French thinkers—challenging because Derrida questions thought as we know it. (shrink)

In this book, T. L. Short corrects widespread misconceptions of Peirce's theory of signs and demonstrates its relevance to contemporary analytic philosophy of language, mind and science. Peirce's theory of mind, naturalistic but nonreductive, bears on debates of Fodor and Millikan, among others. His theory of inquiry avoids foundationalism and subjectivism, while his account of reference anticipated views of Kripke and Putnam. Peirce's realism falls between 'internal' and 'metaphysical' realism and is more satisfactory than either. His pragmatism is not verificationism; (...) rather, it identifies meaning with potential growth of knowledge. Short distinguishes Peirce's mature theory of signs from his better-known but paradoxical early theory. He develops the mature theory systematically on the basis of Peirce's phenomenological categories and concept of final causation. The latter is distinguished from recent and similar views, such as Brandon's, and is shown to be grounded in forms of explanation adopted in modern science. (shrink)