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.

Meditations, aphorisms, maxims, notes, and comments construct a philosophy of thought congruent with the inconsistency of our reality. Those who continue to think never return to their point of departure. —Inconsistencies These 130 short texts—aphoristic, interlacing, and sometimes perplexing—target a perennial philosophical problem: Our consciousness and our experience of reality are inconsistent, fragmentary, and unstable; God is dead, and our identity as subjects discordant. How can we establish a new mode of thought that does not cling to new gods or the false security of rationality? Marcus Steinweg, as he did in his earlier book The Terror of Evidence, constructs a philosophical position from fragments, maxims, meditations, and notes, formulating a philosophy of thought that expresses and enacts the inconsistency of our reality. Steinweg considers, among other topics, life as a game (“To think is to play because no thought is firmly grounded”); sexuality (“wasteful, contradictory, and contingent”); desire (”Desire has a thousand names; It's earned none of them”); reality (“overdetermined and excessively complex”); and world (“a nonconcept”). He disposes of philosophy in one sentence (“Philosophy is a continual process of its own redefinition.”) but spends multiple pages on “A Tear in Immanence,” invoking Nietzsche, Heidegger, Sartre, and others. He describes “Wandering with Foucault” (“Thought entails wandering as well as straying into madness”) and brings together Derrida and Debord. He poses a question: “Why should a cat be more mysterious than a dog?” and later answers one: “Beauty is truth because truth is beauty.” By the end, we have accompanied Steinweg on converging trains of thought. “Thinking means continuing to think,” he writes, adding “But thinking can only pose questions by answering others.” The question of inconsistency? Asked and answered, and asked.