The Euclidean Programme embodies a traditional sort of epistemological foundationalism, according to which knowledge – especially mathematical knowledge – is obtained by deduction from self-evident axioms or first principles. Epistemologists have examined foundationalism extensively, but neglected its historically dominant Euclidean form. By contrast, this book offers a detailed examination of Euclidean foundationalism, which, following Lakatos, the authors call the Euclidean Programme. The book rationally reconstructs the programme's key principles, showing it to be an epistemological interpretation of the axiomatic method. It then compares the reconstructed programme with select historical sources: Euclid's Elements, Aristotle's Posterior Analytics, Descartes's Discourse on Method, Pascal's On the Geometric Mind and a twentieth-century account of axiomatisation. The second half of the book philosophically assesses the programme, exploring whether various areas of contemporary mathematics conform to it. The book concludes by outlining a replacement for the Euclidean Programme.

Proofs and Refutations is for those interested in the methodology, philosophy and history of mathematics.

These nine essays, commissioned on the initiative of the Philosophy section of the British Academy, address fundamental questions about time in philosophy, physics, linguistics, and psychology. Are there facts about the future? Could we affect the past? In physics, general relativity and quantum theory give contradictory treatments of time. So in the current search for a theory of quantum gravity, which should give way: general relativity or quantum theory? In linguistics and psychology, how does our language represent time, and how do our minds keep track of it?

Practical Goal Programming is intended to allow academics and practitioners to be able to build effective goal programming models, to detail the current state of the art, and to lay the foundation for its future development and continued application to new and varied fields. Suitable as both a text and reference, its nine chapters first provide a brief history, fundamental definitions, and underlying philosophies, and then detail the goal programming variants and define them algebraically. Chapter 3 details the step-by-step formulation of the basic goal programming model, and Chapter 4 explores more advanced modeling issues and highlights some recently proposed extensions. Chapter 5 then details the solution methodologies of goal programming, concentrating on computerized solution by the Excel Solver and LINGO packages for each of the three main variants, and includes a discussion of the viability of the use of specialized goal programming packages. Chapter 6 discusses the linkages between Pareto Efficiency and goal programming. Chapters 3 to 6 are supported by a set of ten exercises, and an Excel spreadsheet giving the basic solution of each example is available at an accompanying website. Chapter 7 details the current state of the art in terms of the integration of goal programming with other techniques, and the text concludes with two case studies which were chosen to demonstrate the application of goal programming in practice and to illustrate the principles developed in Chapters 1 to 7. Chapter 8 details an application in healthcare, and Chapter 9 describes applications in portfolio selection.

Volume I brings together his very influential but scattered papers on the philosophy of the physical sciences, and includes one important unpublished essay on the effect of Newton's scientific achievement. Volume 2 presents his work on the philosophy of mathematics together with some critical essays on contemporary philosophers of science.

What is now needed is a way of thinking about the physical that is realistic in outlook but which departs radically from the mechanistic post-Galilean tradition. Since it seems clear that we can no longer take for granted the certainty and absolute objectivity of scientific knowledge, any alternative view must be able to do full justice to subjective modes of knowing. Order and Organism shows how Alfred North Whitehead's thought can reconcile some of the most insistent demands of common sense with the esoteric results of modern physics and mathematics. Whitehead shows a way to resolve the perennial puzzle of why mathematics works. Under his view, it is possible to account for the necessity and uniqueness of mathematical theories without denying the fact that such theories often arise from the mathematician's essentially aesthetic interest in various kinds of pattern.