Provability, Computability and Reflection.

This book has grown out of eight years of close collaboration among its authors. From the very beginning we decided that its content should come out as the result of a truly common effort. That is, we did not "distribute" parts of the text planned to each one of us. On the contrary, we made a point that each single paragraph be the product of a common reflection. Genuine team-work is not as usual in philosophy as it is in other (...) academic disciplines. We think, however, that this is more due to the idiosyncrasy of philosophers than to the nature of their subject. Close collaboration with positive results is as rewarding as anything can be, but it may also prove to be quite difficult to implement. In our case, part of the difficulties came from purely geographic separation. This caused unsuspected delays in coordinating the work. But more than this, as time passed, the accumulation of particular results and ideas outran our ability to fit them into an organic unity. Different styles of exposition, different ways of formalization, different levels of complexity were simultaneously present in a voluminous manuscript that had become completely unmanageable. In particular, a portion of the text had been conceived in the language of category theory and employed ideas of a rather abstract nature, while another part was expounded in the more conventional set-theoretic style, stressing intui tivity and concreteness. (shrink)

Frederick Suppe has come to enjoy a position of undisputed leadership in the post-positivistic philosophy of science.

As Aristotle stated, scientific explanation is based on deductive argument--yet, Wesley C. Salmon points out, not all deductive arguments are qualified explanations. The validity of the explanation must itself be examined. _Four Decades of Scientific Explanation_ provides a comprehensive account of the developments in scientific explanation that transpired in the last four decades of the twentieth century. It continues to stand as the most comprehensive treatment of the writings on the subject during these years. Building on the historic 1948 essay (...) by Carl G. Hempel and Paul Oppenheim, "Studies in the Logic of Explanation,” which introduced the deductive-nomological model on which most work on scientific explanation was based for the following four decades, Salmon goes beyond this model's inherent basis of describing empirical knowledge to tells us “not only _what,_ but also _why_.” Salmon examines the predominant models in chronological order and describes their development, refinement, and criticism or rejection. _Four Decades of Scientific Explanation_ underscores the need for a consensus of approach and ongoing evaluations of methodology in scientific explanation, with the goal of providing a better understanding of natural phenomena. (shrink)

This classic work in the philosophy of physical science is an incisive and readable account of the scientific method. Pierre Duhem was one of the great figures in French science, a devoted teacher, and a distinguished scholar of the history and philosophy of science. This book represents his most mature thought on a wide range of topics.

The paper, as Part I of a two-part series, argues for a hybrid formulation of the semantic view of scientific theories. For stage-setting, it first reviews the elements of the model theory in mathematical logic (on whose foundation the semantic view rests), the syntactic and the semantic view, and the different notions of models used in the practice of science. The paper then argues for an integration of the notions into the semantic view, and thereby offers a hybrid semantic view, (...) which at once secures the view's logical foundations and enhances its applicability. The dilemma of either losing touch with the practice of science or yielding up the benefits of the model theory is thus avoided. (shrink)

Scientific reasoning is—and ought to be—conducted in accordance with the axioms of probability. This Bayesian view—so called because of the central role it accords to a theorem first proved by Thomas Bayes in the late eighteenth ...

R.I.G Hughes offers the first detailed and accessible analysis of the Hilbert-space models used in quantum theory and explains why they are so successful.

I. The function of models in the empirical sciencesII. Structure and purpose: conditions of a structural nature which models should satisfy in order to accomplish their function.III. Generalisation and specialisation of the classical definition of model, in view of the above requirements:the algebraic model conceptthe semantic model conceptthe syntactical model conceptIV. Attempt towards reunification: the concept of model on a pragmatic basis.

This paper explores a new reason for preferring a model-theoretic approach to understanding the nature of scientific theories. Identifying the models in philosophers' model-theoretic accounts of theories with the concepts in cognitive scientists' accounts of categorization suggests a structure to families of models far richer than has commonly been assumed. Using classical mechanics as an example, it is argued that families of models may be "mapped" as an array with "horizontal" graded structures, multiply hierarchical "vertical" structures, and local "radial" structures. (...) These structures promise important implications for how scientific theories are learned and used in actual scientific practice. (shrink)

Traditionally a scientific theory is viewed as based on universal laws of nature that serve as axioms for logical deduction. In analyzing the logical structure of evolutionary biology, Elisabeth Lloyd argues that the semantic account is more appropriate and powerful. This book will be of interest to biologists and philosophers alike.