Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the need arose and new foci and balance has evolved within logic itself. One aspect of these new trends in logic is the rising impor- tance of model based reasoning. Logics have become more and more tailored to applications and their reasoning has become more and more application dependent. In fact, some...

For some time now the philosophy of science has been undergoing a major transfor mation. It began when the 'received view' of scientific knowledge -that developed by logical positivists and their intellectual descendants - was challenged as bearing little resemblance to and having little relevance for the understanding of real science. Subsequently, an overwhelming amount of criticism has been added. One would be hard-pressed to find anyone who would support the 'received view' today. Yet, in the search for a new analysis of scientific knowledge, this view continues to exert influence over...