How is that when scientists need some piece of mathematics through which to frame their theory, it is there to hand? What has been called 'the unreasonable effectiveness of mathematics' sets a challenge for philosophers. Some have responded to that challenge by arguing that mathematics is essentially anthropocentric in character, whereas others have pointed to the range of structures that mathematics offers. Otavio Bueno and Steven French offer a middle way, which focuses on the moves that have to be made in both the mathematics and the relevant physics in order to bring the two into appropriate relation. This relation can be captured via the inferential conception of the applicability of mathematics, which is formulated in terms of immersion, inference, and interpretation. In particular, the roles of idealisations and of surplus structure in science and mathematics respectively are brought to the fore and captured via an approach to models and theories that emphasize the partiality of the available information: the partial structures approach. The discussion as a whole is grounded in a number of case studies drawn from the history of quantum physics, and extended to contest recent claims that the explanatory role of certain mathematical structures in scientific practice supports a realist attitude towards them. The overall conclusion is that the effectiveness of mathematics does not seem unreasonable at all once close attention is paid to how it is actually applied in practice.

New to the Fourth Edition Reorganised and revised chapter seven and thirteen New exercises and examples Expanded, updated references Further historical material on figures besides Galois: Omar Khayyam, Vandermonde, Ruffini, and Abel A new final chapter discussing other directions in which Galois Theory has developed: the inverse Galois problem, differential Galois theory, and a (very) brief introduction to p-adic Galois representations.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the third publication in the Perspectives in Logic series, is a much-needed monograph on the metamathematics of first-order arithmetic. The authors pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness. The reader is only assumed to know the basics of mathematical logic, which are reviewed in the preliminaries. Part I develops parts of mathematics and logic in various fragments. Part II is devoted to incompleteness. Finally, Part III studies systems that have the induction schema restricted to bounded formulas (bounded arithmetic).

This volume brings together many of Terence Horgan's essays on paradoxes: Newcomb's problem, the Monty Hall problem, the two-envelope paradox, the sorites paradox, and the Sleeping Beauty problem. Newcomb's problem arises because the ordinary concept of practical rationality constitutively includes normative standards that can sometimes come into direct conflict with one another. The Monty Hall problem reveals that sometimes the higher-order fact of one's having reliably received pertinent new first-order information constitutes stronger pertinent new information than does the new first-order information itself. The two-envelope paradox reveals that epistemic-probability contexts are weakly hyper-intensional; that therefore, non-zero epistemic probabilities sometimes accrue to epistemic possibilities that are not metaphysical possibilities; that therefore, the available acts in a given decision problem sometimes can simultaneously possess several different kinds of non-standard expected utility that rank the acts incompatibly. The sorites paradox reveals that a certain kind of logical incoherence is inherent to vagueness, and that therefore, ontological vagueness is impossible. The Sleeping Beauty problem reveals that some questions of probability are properly answered using a generalized variant of standard conditionalization that is applicable to essentially indexical self-locational possibilities, and deploys "preliminary" probabilities of such possibilities that are not prior probabilities. The volume also includes three new essays: one on Newcomb's problem, one on the Sleeping Beauty problem, and an essay on epistemic probability that articulates and motivates a number of novel claims about epistemic probability that Horgan has come to espouse in the course of his writings on paradoxes. A common theme unifying these essays is that philosophically interesting paradoxes typically resist either easy solutions or solutions that are formally/mathematically highly technical. Another unifying theme is that such paradoxes often have deep-sometimes disturbing-philosophical morals.

Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing. Inductive logic seeks to determine the extent to which the premisses of an argument entail its conclusion, aiming to provide a theory of how one should reason in the face of uncertainty. It has applications to decision making and artificial intelligence, as well as how scientists should reason when not in possession of the full facts. In this book, Jon Williamson embarks on a quest to find a general, reasonable, applicable inductive logic (GRAIL), all the while examining why pioneers such as Ludwig Wittgenstein and Rudolf Carnap did not entirely succeed in this task. Along the way he presents a general framework for the field, and reaches a new inductive logic, which builds upon recent developments in Bayesian epistemology (a theory about how strongly one should believe the various propositions that one can express). The book explores this logic in detail, discusses some key criticisms, and considers how it might be justified. Is this truly the GRAIL? Although the book presents new research, this material is well suited to being delivered as a series of lectures to students of philosophy, mathematics, or computing and doubles as an introduction to the field of inductive logic

I first had a quick look, then I started reading it. I couldn't stop. -Gerard 't Hooft (Nobel Prize, in Physics 1999) This is a book about the mathematical nature of our Universe. Armed with no more than basic high school mathematics, Dr. Joel L. Schiff takes you on a foray through some of the most intriguing aspects of the world around us. Along the way, you will visit the bizarre world of subatomic particles, honey bees and ants, galaxies, black holes, infinity, and more. Included are such goodies as measuring the speed of light with your microwave oven, determining the size of the Earth with a stick in the ground and the age of the Solar System from meteorites, understanding how the Theory of Relativity makes your everyday GPS system possible, and so much more. These topics are easily accessible to anyone who has ever brushed up against the Pythagorean Theorem and the symbol , with the lightest dusting of algebra. Through this book, science-curious readers will come to appreciate the patterns, seeming contradictions, and extraordinary mathematical beauty of our Universe.

Towards Non-Being presents an account of the semantics of intentional language-verbs such as 'believes', 'fears', 'seeks', 'imagines'. Graham Priest tackles problems concerning intentional states which are often brushed under the carpet in discussions of intentionality, such as their failure to be closed under deducibility. Priest's account draws on the work of the late Richard Routley (Sylvan), and proceeds in terms of objects that may be either existent or non-existent, at worlds that may be either possible or impossible. Since Russell, non-existent objects have had a bad press in Western philosophy; Priest mounts a full-scale defence. In the process, he offers an account of both fictional and mathematical objects as non-existent. The book will be of central interest to anyone who is concerned with intentionality in the philosophy of mind or philosophy of language, the metaphysics of existence and identity, the philosophy or fiction, the philosophy of mathematics, or cognitive representation in AI. This updated second edition adds ten new chapters to the original eight. These further develop the ideas of the first edition, reply to critics, and explore new areas of relevance. New topics covered include: conceivability, realism/antirealism concerning non-existent objects, self-deception, and the verb to be.

Originally published in 1938, this book focuses on the area of elliptic and hyperelliptic integrals and allied theory. The text was a posthumous publication by William Westropp Roberts (1850-1935), who held the position of Vice-Provost at Trinity College, Dublin from 1927 until shortly before his death. This book will be of value to anyone with an interest in the history of mathematics.

This radical, profoundly scholarly book explores the purposes and nature of proof in a range of historical settings. It overturns the view that the first mathematical proofs were in Greek geometry and rested on the logical insights of Aristotle by showing how much of that view is an artefact of nineteenth-century historical scholarship. It documents the existence of proofs in ancient mathematical writings about numbers and shows that practitioners of mathematics in Mesopotamian, Chinese and Indian cultures knew how to prove the correctness of algorithms, which are much more prominent outside the limited range of surviving classical Greek texts that historians have taken as the paradigm of ancient mathematics. It opens the way to providing the first comprehensive, textually based history of proof.

The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a profound influence on the development of philosophy in the twentieth century. This volume of classic, revised and newly written essays by William Demopoulos examines logicism's principal legacy for philosophy: its elaboration of notions of analysis and reconstruction. The essays reflect on the deployment of these ideas by the principal figures in the history of the subject - Frege, Russell, Ramsey and Carnap - and in doing so illuminate current concerns about the nature of mathematical and theoretical knowledge. Issues addressed include the nature of arithmetical knowledge in the light of Frege's theorem; the status of realism about the theoretical entities of physics; and the proper interpretation of empirical theories that postulate abstract structural constraints.

This text focuses on a variety of topics in mathematics in common usage in graduate engineering programs including vector calculus, linear and nonlinear ordinary differential equations, approximation methods, vector spaces, linear algebra, integral equations and dynamical systems. The book is designed for engineering graduate students who wonder how much of their basic mathematics will be of use in practice. Following development of the underlying analysis, the book takes students through a large number of examples that have been worked in detail. Students can choose to go through each step or to skip ahead if they so desire. After seeing all the intermediate steps, they will be in a better position to know what is expected of them when solving assignments, examination problems, and when on the job. Chapters conclude with exercises for the student that reinforce the chapter content and help connect the subject matter to a variety of engineering problems. Students have grown up with computer-based tools including numerical calculations and computer graphics; the worked-out examples as well as the end-of-chapter exercises often use computers for numerical and symbolic computations and for graphical display of the results.

Paolo Mancosu provides an original investigation of historical and systematic aspects of the notions of abstraction and infinity and their interaction. A familiar way of introducing concepts in mathematics rests on so-called definitions by abstraction. An example of this is Hume's Principle, which introduces the concept of number by stating that two concepts have the same number if and only if the objects falling under each one of them can be put in one-one correspondence. This principle is at the core of neo-logicism. In the first two chapters of the book, Mancosu provides a historical analysis of the mathematical uses and foundational discussion of definitions by abstraction up to Frege, Peano, and Russell. Chapter one shows that abstraction principles were quite widespread in the mathematical practice that preceded Frege's discussion of them and the second chapter provides the first contextual analysis of Frege's discussion of abstraction principles in section 64 of the Grundlagen. In the second part of the book, Mancosu discusses a novel approach to measuring the size of infinite sets known as the theory of numerosities and shows how this new development leads to deep mathematical, historical, and philosophical problems. The final chapter of the book explore how this theory of numerosities can be exploited to provide surprisingly novel perspectives on neo-logicism.

Dummett argues that the aim of philosophy is the analysis of thought and that, with Frege, analytical philosophy learned that the route to the analysis of thought is the analysis of language. Here are bold and deep readings of the subject's history and character, which form the topic of this volume.

Crossing the boundaries between 'continental' and 'analytic' philosophical approaches, this book proposes a naturalistic revision of the mathematical ontology of Alain Badiou, establishing links with structuralist projects in the philosophy of science and mathematics.

Mathematics plays a central role in much of contemporary science, but philosophers have struggled to understand what this role is or how significant it might be for mathematics and science. In this book Christopher Pincock tackles this perennial question in a new way by asking how mathematics contributes to the success of our best scientific representations. In the first part of the book this question is posed and sharpened using a proposal for how we can determine the content of a scientific representation. Several different sorts of contributions from mathematics are then articulated. Pincock argues that each contribution can be understood as broadly epistemic, so that what mathematics ultimately contributes to science is best connected with our scientific knowledge. In the second part of the book, Pincock critically evaluates alternative approaches to the role of mathematics in science. These include the potential benefits for scientific discovery and scientific explanation. A major focus of this part of the book is the indispensability argument for mathematical platonism. Using the results of part one, Pincock argues that this argument can at best support a weak form of realism about the truth-value of the statements of mathematics. The book concludes with a chapter on pure mathematics and the remaining options for making sense of its interpretation and epistemology. Thoroughly grounded in case studies drawn from scientific practice, this book aims to bring together current debates in both the philosophy of mathematics and the philosophy of science and to demonstrate the philosophical importance of applications of mathematics.

In this book wedescribe the basic elements of present computational technologies that use the algorithmic languages C/C++. The emphasis is on GNU compilers and libraries, FOSS for the solution of computational mathematics problems and visualization of the obtained data. At the beginning, a brief introduction to C is given with emphasis on its easy use in scientific and engineering computations.We describe the basic elements of the language, such as variables, data types, executable statements, functions, arrays, pointers, dynamic memory and file management. After that, we present some observations on the C++ programming language.We discuss the issues of program compiling, linking, and debugging. A quick guide to Eclipse is also presented in the book. The main features for editing, compiling, debugging and application assembling are considered.As examples, wesolve the standard problems of computational mathematics: operations with vectors and matrices, linear algebra problems, solution of nonlinear equations, numerical differentiation and integration, interpolation, initial value problems for ODEs and so on. Finally, basic features ofcomputational technologies are illustrated with model problems. All programs are implemented in C/C++ with using the GSL library. Gnuplot is employed to visualize the results of computations.

Head hits cause brain damage - but not always. Should we ban sport to protect athletes? Exposure to electromagnetic fields is strongly associated with cancer development - does that mean exposure causes cancer? Should we encourage old fashioned communication instead of mobile phones to reduce cancer rates? According to popular wisdom, the Mediterranean diet keeps you healthy. Is this belief scientifically sound? Should public health bodies encourage consumption of fresh fruit and vegetables? Severe financial constraints on research and public policy, media pressure, and public anxiety make such questions of immense current concern not just to philosophers but to scientists, governments, public bodies, and the general public. In the last decade there has been an explosion of theorizing about causality in philosophy, and also in the sciences. This literature is both fascinating and important, but it is involved and highly technical. This makes it inaccessible to many who would like to use it, philosophers and scientists alike. This book is an introduction to philosophy of causality - one that is highly accessible: to scientists unacquainted with philosophy, to philosophers unacquainted with science, and to anyone else lost in the labyrinth of philosophical theories of causality. It presents key philosophical accounts, concepts and methods, using examples from the sciences to show how to apply philosophical debates to scientific problems.

This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians.

This interdisciplinary study of infinity explores the concept through the prism of mathematics and then offers more expansive investigations in areas beyond mathematical boundaries to reflect the broader, deeper implications of infinity for human intellectual thought. More than a dozen world-renowned researchers in the fields of mathematics, physics, cosmology, philosophy and theology offer a rich intellectual exchange among various current viewpoints, rather than displaying a static picture of accepted views on infinity. The book starts with a historical examination of the transformation of infinity from a philosophical and theological study to one dominated by mathematics. It then offers technical discussions on the understanding of mathematical infinity. Following this, the book considers the perspectives of physics and cosmology: can infinity be found in the real universe? Finally, the book returns to questions of philosophical and theological aspects of infinity.

This truly philosophical book takes us back to fundamentals - the sheer experience of proof, and the enigmatic relation of mathematics to nature. It asks unexpected questions, such as 'what makes mathematics mathematics?', 'where did proof come from and how did it evolve?', and 'how did the distinction between pure and applied mathematics come into being?' In a wide-ranging discussion that is both immersed in the past and unusually attuned to the competing philosophical ideas of contemporary mathematicians, it shows that proof and other forms of mathematical exploration continue to be living, evolving practices - responsive to new technologies, yet embedded in permanent (and astonishing) facts about human beings. It distinguishes several distinct types of application of mathematics, and shows how each leads to a different philosophical conundrum. Here is a remarkable body of new philosophical thinking about proofs, applications, and other mathematical activities.

Mathematics is as much a science of the real world as biology is. It is the science of the world's quantitative aspects (such as ratio) and structural or patterned aspects (such as symmetry). The book develops a complete philosophy of mathematics that contrasts with the usual Platonist and nominalist options.

The book presents the state of the art of research into the legacy of interwar Polish analytic philosophy and exemplifies different approaches to the history of philosophy. It contains discussions and reconstructions of aspects of Polish philosophy and logic as well as reactions to and developments of this tradition.

This collection of specially commissioned essays by leading scholars presents research on Isaac Newton and his main philosophical interlocutors and critics. The essays analyze Newton's relation to his contemporaries, especially Barrow, Descartes, Leibniz and Locke and discuss the ways in which a broad range of figures, including Hume, Maclaurin, Maupertuis and Kant, reacted to his thought. The wide range of topics discussed includes the laws of nature, the notion of force, the relation of mathematics to nature, Newton's argument for universal gravitation, his attitude toward philosophical empiricism, his use of 'fluxions', his approach toward measurement problems and his concept of absolute motion, together with new interpretations of Newton's matter theory. The volume concludes with an extended essay that analyzes the changes in physics wrought by Newton's Principia. A substantial introduction and bibliography provide essential reference guides.

The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a profound influence on the development of philosophy in the twentieth century. This volume of classic, revised and newly written essays by William Demopoulos examines logicism's principal legacy for philosophy: its elaboration of notions of analysis and reconstruction. The essays reflect on the deployment of these ideas by the principal figures in the history of the subject - Frege, Russell, Ramsey and Carnap - and in doing so illuminate current concerns about the nature of mathematical and theoretical knowledge. Issues addressed include the nature of arithmetical knowledge in the light of Frege's theorem; the status of realism about the theoretical entities of physics; and the proper interpretation of empirical theories that postulate abstract structural constraints.

An important mathematician and astronomer in medieval India, Bhascara Acharya (1114 85) wrote treatises on arithmetic, algebra, geometry and astronomy. He is also believed to have been head of the astronomical observatory at Ujjain, which was the leading centre of mathematical sciences in India. Forming part of his Sanskrit magnum opus Siddh nta Shiromani, the present work is his treatise on algebra. It was first published in English in 1813 after being translated from a Persian text by the East India Company civil servant Edward Strachey (1774 1832). The topics covered include operations involving positive and negative numbers, surds and zero, as well as algebraic, simultaneous and indeterminate equations. Strachey also appends useful notes made by the orientalist Samuel Davis (1760 1819). Of enduring interest in the history of mathematics, this was notably the first work to acknowledge that a positive number has two square roots.