Most philosophers of mathematics try to show either that the sort of knowledge mathematicians have is similar to the sort of knowledge specialists in the empirical sciences have or that the kind of knowledge mathematicians have, although apparently about objects such as numbers, sets, and so on, isn't really about those sorts of things as well. Jody Azzouni argues that mathematical knowledge really is a special kind of knowledge with its own special means of gathering evidence. He analyses the linguistic (...) pitfalls and misperceptions philosophers in this field are often prone to, and explores the misapplications of epistemic principles from the empirical sciences to the exact sciences. What emerges is a picture of mathematics both sensitive to mathematical practice, and to the ontological and epistemological issues that concern philosophers. (shrink)

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

When ordinary people - mathematicians among them - take something to follow from something else, they are exposing the backbone of our self-ascribed ability to reason. Jody Azzouni investigates the connection between that ordinary notion of consequence and the formal analogues invented by logicians. One claim of the book is that, despite our apparent intuitive grasp of consequence, we do not introspect rules by which we reason, nor do we grasp the scope and range of the domain, as it were, (...) of our reasoning. This point is illustrated with a close analysis of a paradigmatic case of ordinary reasoning: mathematical proof. (shrink)

A scientific community cannot practice its trade without some set of received beliefs. These beliefs form the foundation of the "educational initiation that prepares and licenses the student for professional practice". The nature of the "rigorous and rigid" preparation helps ensure that the received beliefs are firmly fixed in the student's mind. Scientists take great pains to defend the assumption that scientists know what the world is like...To this end, "normal science" will often suppress novelties which undermine its foundations. Research (...) is therefore not about discovering the unknown, but rather "a strenuous and devoted attempt to force nature into the conceptual boxes supplied by professional education". (shrink)

Suppe, F. The search for philosophic understanding of scientific theories (p. [1]-241)--Proceedings of the symposium.--Bibliography, compiled by Rew A. Godow, Jr. (p. [615]-646).

Mathias Frisch provides the first sustained philosophical discussion of conceptual problems in classical particle-field theories. Part of the book focuses on the problem of a satisfactory equation of motion for charged particles interacting with electromagnetic fields. As Frisch shows, the standard equation of motion results in a mathematically inconsistent theory, yet there is no fully consistent and conceptually unproblematic alternative theory. Frisch describes in detail how the search for a fundamental equation of motion is partly driven by pragmatic considerations (like (...) simplicity and mathematical tractability) that can override the aim for full consistency. The book also offers a comprehensive review and criticism of both the physical and philosophical literature on the temporal asymmetry exhibited by electromagnetic radiation fields, including Einstein's discussion of the asymmetry and Wheeler and Feynman's influential absorber theory of radiation. Frisch argues that attempts to derive the asymmetry from thermodynamic or cosmological considerations fail and proposes that we should understand the asymmetry as due to a fundamental causal constraint. The book's overarching philosophical thesis is that standard philosophical accounts that strictly identify scientific theories with a mathematical formalism and a mapping function specifying the theory's ontology are inadequate, since they permit neither inconsistent yet genuinely successful theories nor thick causal notions to be part of fundamental physics. (shrink)

Metaphysicians speak of laws of nature in terms of necessity and universality; scientists, in terms of symmetry and invariance. In this book van Fraassen argues that no metaphysical account of laws can succeed. He analyzes and rejects the arguments that there are laws of nature, or that we must believe there are, and argues that we should disregard the idea of law as an adequate clue to science. After exploring what this means for general epistemology, the author develops the empiricist (...) view of science as a construction of models to represent the phenomena. (shrink)

In this sequence of philosophical essays about natural science, the author argues that fundamental explanatory laws, the deepest and most admired successes of modern physics, do not in fact describe regularities that exist in nature. Cartwright draws from many real-life examples to propound a novel distinction: that theoretical entities, and the complex and localized laws that describe them, can be interpreted realistically, but the simple unifying laws of basic theory cannot.

Thomas S. Kuhn's classic book is now available with a new index.

Kant discovered a philosophical problem with mathematical proof. Despite being a priori , its methodology involves more than analytic truth. But what else is involved? This problem is widely taken to have been solved by Frege’s extension of logic beyond its restricted (and largely Aristotelian) form. Nevertheless, a successor problem remains: both traditional and contemporary (classical) mathematical proofs, although conforming to the norms of contemporary (classical) logic, never were, and still aren’t, executed by mathematicians in a way that transparently reveals (...) why these proofs—written in the vernacular to this very day—succeed in conforming to those norms. (shrink)

The doctrines of scientific realism have enjoyed a close and enduring, if not always harmonious, association with Tarski's semantic conception of truth and theories of formal semantics generally. From its inception Tarski's theory received unqualified support from some realists, like Karl Popper, who saw it as legitimizing the use of semantic notions in epistemology and the philosophy of science.

_Knowledge and Reference in Empirical Science_ is a fascinating study of the bounds between science and language: in what sense, and of what, does science provide knowledge? Is science an instrument only distantly related to what's real? Can the language of science be used to adequately describe the truth? In this book, Jodi Azziouni investigates the technology of science - the actual forging and exploiting of causal links, between ourselves and what we endeavor to know and understand.

Ordinary language and scientific language enable us to speak about, in a singular way, what we recognize not to exist: fictions, the contents of our hallucinations, abstract objects, and various idealized but nonexistent objects that our scientific theories are often couched in terms of. Indeed, references to such nonexistent items-especially in the case of the application of mathematics to the sciences-are indispensable. We cannot avoid talking about such things. Scientific and ordinary languages thus enable us to say things about Pegasus (...) or about hallucinated objects that are true, such as "Pegasus was believed by the ancient Greeks to be a flying horse," or "That elf I'm now hallucinating over there is wearing blue shoes." Standard contemporary metaphysical views and semantic analyses of singular idioms on offer in contemporary philosophy of language have not successfully accommodated these routine practices of saying true and false things about the nonexistent while simultaneously honoring the insight that such things do not exist in any way at all. That is, philosophers often feel driven to claim that such objects do exist, or they claim that all our talk isn't genuine truth-apt talk, but only pretence. This book reconfigures metaphysics in radical ways that allow the accommodation of our ordinary ways of speaking of what does not exist while retaining the absolutely crucial presupposition that such objects exist in no way at all, have no properties, and so are not the truth-makers for the truths and falsities that are about them. (shrink)

For centuries, inconsistencies were seen as a hindrance to good reasoning, and their role in the sciences was ignored. In recent years, however, logicians as well as philosophers and historians have showed a growing interest in the matter. Central to this change were the advent of paraconsistent logics, the shift in attention from finished theories to construction processes, and the recognition that most scientific theories were at some point either internally inconsistent or incompatible with other accepted findings. The new interest (...) gave rise to important questions. How is `logical anarchy' avoided? Is it ever rational to accept an inconsistent theory? In what sense, if any, can inconsistent theories be considered as true? The present collection of papers is the first to deal with this kind of questions. It contains case studies as well as philosophical analyses, and presents an excellent overview of the different approaches in the domain. (shrink)

Just what forms do (or should) our cognitive attitudes towards scientific theories take? The nature of cognitive commitment becomes particularly puzzling when scientists' commitments are) inconsistent. And inconsistencies have often infected our best efforts in science and mathematics. Since there are no models of inconsistent sets of sentences, straightforward semantic accounts fail. And syntactic accounts based on classical logic also collapse, since the closure of any inconsistent set under classical logic includes every sentence. In this essay I present some evidence (...) that there really was a substantial cognitive commitment to OQT, and that some of its characteristics have a simple and straightforward explanation in terms of a model based on a form of paraconsistent logic. (shrink)

Some decades ago, Fred Suppe (1974, p. 3) remarked that “it is only a slight exaggeration to claim that a philosophy of science is little more than an analysis of theories and their roles in the scientific enterprise.” The truth of this remark is attested by the fact that so many topics in contemporary philosophy of science continue to be framed in terms of theories. The issue of realism and instrumentalism, for example, is typically understood as the question of whether (...) various terms in statements making up scientific theories refer to real objects or merely serve the role of facilitating inferences among claims about observations (see realism and instrumentalism). Again, reduction has often been seen as depending on whether statements in one theory can be logically deduced from those in another theory (see reductionism). Similarly, scientific change has been understood as the replacement of one theory by another (see scientific change). Finally, relativism is typically portrayed as the view that the choice of one theory over another has no “objective” or “rational” basis, but depends merely on the interests of those with the power to enforce their decision (see relativism). In fact, the framing of these and many other issues not only centers on relationships involving theories, it often presumes a particular account of the general nature of theories. (shrink)

Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.

This is a philosophical and historical investigation of the role of inconsistent representations of the same scientific phenomenon. The logical difficulties associated with the simultaneous application of inconsistent models are discussed. Internally inconsistent scientific proposals are characterized as structures whose application is necessarily tied to the confirming evidence that each of its components enjoys and to a vision of the general form of the theory that will resolve the inconsistency. Einstein's derivation of the black body radiation law is used as (...) an example application of such a strategy and is contrasted with planck's derivation. (shrink)

I revisit my earlier arguments for the (trivial) inconsistency of natural languages, and take up the objection that no such argument can be established on the basis of surface usage. I respond with the evidential centrality of surface usage: the ways it can and can't be undercut by linguistic science. Then some important ramifications of having an inconsistent natural language are explored: (1) the temptation to engage in illegitimate reductio reasoning, (2) the breakdown of the knowledge idiom (because its facticity (...) isn't comfortable with every sentence being true and false). Restoring the utility of the knowledge idiom motivates regimentation - the consistentist reinterpretation of natural language inferences (as they occur in real time). It's then sketched how to give the semantics of a natural language despite its inconsistency: Necessary and sufficient truth conditions are dropped in favor of necessary truth conditions and sufficient truth conditions. (shrink)