The question how to turn the principles implicitly governing the concept of truth into an explicit definition (or explication) of the concept hence coalesced with the question how to get a finite grip on the infinity of T-sentences. Tarski's famous and ingenious move was to introduce a new concept, satisfaction, which could be, on the one hand, recursively defined, and which, on the other hand, straightforwardly yielded an explication of truth. A surprising 'by-product' of Tarski's effort to bring truth under control was the breathtaking finding that truth is in a precisely defined sense...

Many articles and books dealing with Donald Davidson's philosophy are dedicated to the papers and ideas Davidson put forward in the sixties and seventies. In the last two decades, however, Davidson has continued to work in many areas of philosophy, offering new contributions, many of which are highly regarded by philosophers working in the fields concerned. For instance, Davidson has considerably developed his ideas about interpretation, theory of meaning, irreducibility of the mental, causation, and action theory; he has proposed an innovative externalist conception of the mental content and...

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Godel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse...

A comprehensive survey of Martin-Lof's constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Lof at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the...

Modern mathematical logic would not exist without the analytical tools first developed by George Boole in The Mathematical Analysis of Logic and The Laws of Thought. The influence of the Boolean school on the development of logic, always recognised but long underestimated, has recently become a major research topic. This collection is the first anthology of works on Boole. It contains two works published in 1865, the year of Boole's death, but never reprinted, as well as several classic studies of recent decades and ten original contributions appearing here for the first...

hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math- ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. According to Hilberts Programme one could provide...

he present book and its companion volume The Tenseless Theory of Time: a T Critical Examination are an attempt to adjudicate what one recent discussant has called "the most fundamental question in the philosophy of time," namely, "whether a static or a dynamic conception of the world is correct. " I had originally intended to treat this question in the space of a single volume; but the study swelled into two. I found that an adequate appraisal of these two of time requires a wide-ranging discussion of issues in competing theories metaphysics, philosophy of language, phenomenology, philosophy...

he present book and its companion volume The Tensed Theory of Time: a T Critical Examination are an attempt to adjudicate what one recent discussant has called "the most fundamental question in the philosophy of time," namely, "whether a static or a dynamic conception ofthe world is correct. "] I had originally intended to treat this question in the space of a single volume; but the study swelled into two. I found that an adequate appraisal of these two competing theories of time requires a wide-ranging discussion of issues in metaphysics, philosophy of language, phenomenology, philosophy of...

Current debate in cognitive science, from robotics to analysis of vision, deals with problems like the perception of form, the structure and formation of mental images and their modelling, the ecological development of artificial intelligence, and cognitive analysis of natural language. It focuses in particular on the presence of a hierarchy of intellectual constructions in different formats of representation.
These diverse approaches, which share a common assumption of the inner nature of representation, call for a new epistemology - even a new psychophysics - based on a theory of...

The Scope of the Project The concept of holism is at the centre of far-reaching changes in various areas of philosophy in the second half of the twentieth century. Holism in epistemology and the philosophy of mind is widespread among analytic philosophers subsequent to the work of the later Wittgenstein and to Quine's "Two Dogmas of Empiricism." Roughly speaking, the claim is that (a) for a person to have beliefs, a social, linguistic community is required and that (b) single beliefs have a meaning only within a whole system of beliefs. Furthermore, holism is discussed in science, in...