Peter Vickers examines 'inconsistent theories' in the history of science—theories which, though contradictory, are held to be extremely useful. He argues that these 'theories' are actually significantly different entities, and warns that the traditional goal of philosophy to make substantial, general claims about how science works is misguided.

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.

Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field.

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.

One of the pathways by which the scientific community confirms the validity of a new scientific discovery is by repeating the research that produced it. When a scientific effort fails to independently confirm the computations or results of a previous study, some fear that it may be a symptom of a lack of rigor in science, while others argue that such an observed inconsistency can be an important precursor to new discovery. Concerns about reproducibility and replicability have been expressed in both scientific and popular media. As these concerns came to light, Congress requested that the National Academies of Sciences, Engineering, and Medicine conduct a study to assess the extent of issues related to reproducibility and replicability and to offer recommendations for improving rigor and transparency in scientific research. Reproducibility and Replicability in Science defines reproducibility and replicability and examines the factors that may lead to non-reproducibility and non-replicability in research. Unlike the typical expectation of reproducibility between two computations, expectations about replicability are more nuanced, and in some cases a lack of replicability can aid the process of scientific discovery. This report provides recommendations to researchers, academic institutions, journals, and funders on steps they can take to improve reproducibility and replicability in science.

This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of meanings of consistency, contradiction, and related notions. Most of the papers, but not all, are developed around the subtle distinctions between consistency and non-contradiction, as well as among contradiction, inconsistency, and triviality, and concern one of the above mentioned threads of the broadly understood non-contradiction principle and the related principle of explosion. Some others take a perspective that is not too far away from such themes, but with the freedom to tread new paths. Readers should understand the title of this book in a broad way,because it is not so obvious to deal with notions like contradictions, consistency, inconsistency, and triviality. The papers collected here present groundbreaking ideas related to consistency and inconsistency.

This book is the first systematic analysis of the emergence of, and the resolution strategies for, inconsistency in linguistic theorizing.

Inconsistency robustness is information system performance in the face of continually pervasive inconsistencies---a shift from the previously dominant paradigms of inconsistency denial and inconsistency elimination attempting to sweep them under the rug. Inconsistency robustness is a both an observed phenomenon and a desired feature: Inconsistency Robustness is an observed phenomenon because large information-systems are required to operate in an environment of pervasive inconsistency. Inconsistency Robustness is a desired feature because we need to improve the performance of large information system. This volume has revised versions of refereed articles and panel summaries from the first two International Symposia on Inconsistency Robustness conducted under the auspices of the International Society for Inconsistency Robustness (iRobust http: //irobust.org). The articles are broadly based on theory and practice, addressing fundamental issues in inconsistency robustness. The field of Inconsistency Robustness aims to provide practical rigorous foundations for computer information systems dealing with pervasively inconsistent information."

This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistency This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses (i) the history of paraconsistent logic; (ii) language, negation, contradiction, consistency and inconsistency; (iii) logics of formal inconsistency (LFIs) and the main paraconsistent propositional systems; (iv) many-valued companions, possible-translations semantics and non-deterministic semantics; (v) paraconsistent modal logics; (vi) first-order paraconsistent logics; (vii) applications to information processing, databases and quantum computation; and (viii) applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning.

without a properly developed inconsistent calculus based on infinitesimals, then in consistent claims from the history of the calculus might well simply be symptoms of confusion. This is addressed in Chapter 5. It is further argued that mathematics has a certain primacy over logic, in that paraconsistent or relevant logics have to be based on inconsistent mathematics. If the latter turns out to be reasonably rich then paraconsistentism is vindicated; while if inconsistent mathematics has seri ous restriytions then the case for being interested in inconsistency-tolerant logics is weakened. (On such restrictions, see this chapter, section 3. ) It must be conceded that fault-tolerant computer programming (e. g. Chapter 8) finds a substantial and important use for paraconsistent logics, albeit with an epistemological motivation (see this chapter, section 3). But even here it should be noted that if inconsistent mathematics turned out to be functionally impoverished then so would inconsistent databases. 2. Summary In Chapter 2, Meyer's results on relevant arithmetic are set out, and his view that they have a bearing on G8del's incompleteness theorems is discussed. Model theory for nonclassical logics is also set out so as to be able to show that the inconsistency of inconsistent theories can be controlled or limited, but in this book model theory is kept in the background as much as possible. This is then used to study the functional properties of various equational number theories.