I show that the standard approach to modeling phenomena involving microscopic classical electrodynamics is mathematically inconsistent. I argue that there is no conceptually unproblematic and consistent theory covering the same phenomena to which this inconsistent theory can be thought of as an approximation; and I propose a set of conditions for the acceptability of inconsistent theories.

I argue that there is nothing about the structure of inference to the best explanation (IBE) that prevents it from establishing a contradiction in general, though there are some potential limitations on when it can be used for this purpose. Studying the relationship between IBE and contradictions is worthwhile for three reasons. First, it enhances our understanding of IBE. We see that, in many cases, IBE does not require explanations to be consistent, though there are some cases where consistency may (...) be required. Second, the argument has implications for the debate over scientific realism. Many scientific theories appear to be inconsistent. The best argument for scientific realism, however, appeals to IBE. My argument thus shows that a certain kind of realist faces a threat from inconsistent theories. Third, the argument is important for dialetheism. Dialetheists maintain that some contradictions are true. Many of the arguments in favour of dialetheism appeal to explanatory considerations. What I say here provides support for defending dialethism using an IBE-based methodology. (shrink)

Inferentialists about scientific representation hold that an apparatus’s representing a target system consists in the apparatus allowing “surrogative inferences” about the target. I argue that a serious problem for inferentialism arises from the fact that many scientific theories and models contain internal inconsistencies. Inferentialism, left unamended, implies that inconsistent scientific models have unlimited representational power, since an inconsistency permits any conclusion to be inferred. I consider a number of ways that inferentialists can respond to this challenge before suggesting my own (...) solution. I develop an analogy to exploitable glitches in a game. Even though inconsistent representational apparatuses may in some sense allow for contradictions to be generated within them, doing so violates the intended function of the apparatus’s parts and hence violates representational “gameplay.”. (shrink)

This paper deals with a relatively recent trend in the history of analytic philosophy, philosophical logic, and theory of science: the philosophical study of the role of inconsistency in empirical science. This paper is divided in three sections that correspond to the three types of inconsistencies identified: (i) factual, occurring between theory and observations, (ii) external, occurring between two mutually contradictory theories, and (iii) internal, characterising theories that entail mutually contradictory statements.

This dissertation offers a proof of the logical possibility of testing empirical/factual theories that are inconsistent, but non-trivial. In particular, I discuss whether or not such theories can satisfy Popper's principle of falsifiablility. An inconsistent theory Ƭ closed under a classical consequence relation implies every statement of its language because in classical logic the inconsistency and triviality are coextensive. A theory Ƭ is consistent iff there is not a α such that Ƭ ⊢ α ∧ ¬α, otherwise it is inconsistent. (...) We say, instead, that Ƭ is non-trivial iff there is at least one α such that Ƭ ⊢ α, otherwise we say that it trivial. This happens because classical logic satisfies the principle of explosion, according ex contradictione sequitur quodlibet (from a contradiction anything follows). Under these conditions inconsistent classical theories would be compatible with any well-formed formula, which makes them useless for science. There are, however, so-called paraconsistent logics in which the principle of explosion does not generally hold and in which a theory can be (simply) inconsistent, but also absolutely consistent. It is in this logical framework that we can prove that some inconsistent theories can be falsifiable. (shrink)

I erect a framework within the semantic view of theories for explaining the empirical success of internally inconsistent models and theories, with scientific realism in mind. The framework is an instance of the ‘content-driven’ approach to inconsistency, advocated by both Norton (Philos Sci 54:327–350, 1987) and Smith (Stud Hist Philos Sci 19:429–445, 1988a, In: Fine A, Leplin J (eds) PSA1988, 1988b), whose ideas my analysis aims to clarify and substantiate.

This paper deals with a relatively recent trend in the history of analytic philosophy, philosophical logic, and theory of science: the philosophical study of the role of inconsistency in empirical science. This paper is divided in three sections that correspond to the three types of inconsistencies identified: (i) factual, occurring between theory and observations, (ii) external, occurring between two mutually contradictory theories, and (iii) internal, characterising theories that entail mutually contradictory statements.

Abstract A general framework is proposed for accommodating the recent results of studies into ?natural? decision making. A crucial element of this framework is the notion of a ?partial structure?, recently introduced into the semantic approach to scientific theories. It is through the introduction of this element that connections can be made with certain problems regarding inconsistency and rationality in general.

In this article, I consider some of the first appearances of a hypothesis of quantized energy between the years 1900 and 1913 and provide an analysis of the nature of the unificatory power of this hypothesis in a Bayesian framework. I argue that the best way to understand the unification here is in terms of informational relevance: on the assumption of the quantum hypothesis, phenomena that were previously thought to be unrelated turned out to yield information about one another on (...) the basis of agreeing measurements of the numerical value of Planck’s constant. (shrink)

Some philosophers have recently argued that contrary to the traditional view, good scientific theories can in fact be logically inconsistent. The literature is now full of case-studies that are taken to support this claim. I will argue however that as of yet no-one has managed to articulate a philosophically interesting view about the role of logically inconsistent theories in science that genuinely goes against tradition, is plausibly true, and is supported by any of the case studies usually given.

In this paper, I discuss the main difficulties one encounters whensolving problems with inconsistent constraints. I argue that in order to meetthese difficulties we need an inconsistency-adaptive logic that enables one toderive as many consequences as possible, but that at the sametime allows one to determine which consequences can be accepted. I showthat the inconsistency-adaptive logic ANA satisfies these requirements.

Verisimilitude has the potential to deepen the understanding of mathematical progress, the principle of charity, and the psychology of regret. One obstacle is the widely held belief that two statements can vary in truthlikeness only if they vary in what they entail. This obstacle is removed with four types of counterexamples. The first concerns necessarily coextensive measurements that differ only with respect to their units. The second class of counterexamples is composed of mathematical falsehoods. The third class features inconsistent scientific (...) theories. The fourth class of cases features statements that are instructive but meaningless. (shrink)

Kirchhoff’s diffraction theory is introduced as a new case study in the realism debate. The theory is extremely successful despite being both inconsistent and not even approximately true. Some habitual realist proclamations simply cannot be maintained in the face of Kirchhoff’s theory, as the realist is forced to acknowledge that theoretical success can in some circumstances be explained in terms other than truth. The idiosyncrasy (or otherwise) of Kirchhoff’s case is considered.

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)

The thesis that observation necessarily fails to determine theory is false in the sense that observation can provide overwhelming evidence for a particular theory or even a hypothesis within the theory. The saga of quantum discontinuity illustrates the power of evidence to determine theory and shows how that power can be underestimated by inadequate caricatures of the evidential case. That quantum discontinuity can save the phenomena of black body radiation is the widely known result, but it leaves open the possibilities (...) of other accounts. That these phenomena, with the aid of minimal assumptions, entail quantum discontinuity is the crucial but now largely forgotten result. It was first demonstrated by Ehrenfest and Poincaré in 1911 and 1912. (shrink)

In 1912, Henri Poincaré published an argument which apparently shows that the hypothesis of quanta is both necessary and sufficient for the truth of Planck''s experimentally corroborated law describing the spectral distribution of radiant energy in a black body. In a recent paper, John Norton has reaffirmed the authority of Poincarés argument, setting it up as a paradigm case in which empirical data can be used to definitively rule out theoretical competitors to a given theoretical hypothesis. My goal is to (...) dispute Norton ''s claim that there is no theoretical underdetermination problem arising between classical physics and early quantum theory. The strategy I use in defending my view is to adopt a suggestion made by Jarrett Leplin and Larry Laudan on how to assess the relative merits of competing theoretical alternatives, where each alternative has an equal capacity to save the phenomena. In the course of the paper, I distinguish between two branches of classical physics: classical mechanics and classical electromagnetism. The former is claimed by Norton and Poincaré to be determinately ruled out by the black body evidence; and it is the former that I argue is compatible with this evidence. (shrink)

. This paper proposes a generalization of the theory of the process of explanation to include consistent as well as inconsistent situations. The generalization is strong, for example in the sense that, if the background theory and the initial conditions are consistent, it leads to precisely the same results as the theory from the lead paper (Halonen and Hintikka 2004). The paper presupposes (and refers to arguments for the view that) inconsistencies constitute problems and that scientists try to resolve them.

The purpose of this dissertation is to contribute to our understanding of scientific theory pursuit by providing a detailed case study on the development of early quantum theory, from roughly 1900 to 1916. I first elaborate on why this case should be considered an instance of piecemeal pursuit by presenting the historical quantum conjectures that were being used in different contexts. These conjectures gave varied interpretations of quantization. By comparing these conjectures, I identify a general quantum postulate that captures the (...) underlying assumption common to all the cases. I argue that it is possible to consider a general postulate about quantization even when its proper application is ambiguous in a given context, and that the postulate can be separated from different elements of the framework being used to investigate it. I show that the quantum postulate can be deemed promising by analysing the support it gains using a Bayesian framework. I first defend the use of such a framework by considering the purported inconsistencies in Planck's introduction of his quantum conjecture and how we should handle these. I then explicate two cases of support for the postulate. First, I show how we can use a particular solution to the Bayesian problem of old evidence to interpret the support the quantum postulate received by accounting for phenomena that had no previous explanation. Finally, I show that the quantum postulate is also supported by a unification argument, where unification is interpreted as informational relevance between the different domains of inquiry. (shrink)

The paper highlights the import of the paraconsistent movement, list some motivations for its origin, and distinguishes some stands with respect to para-consistency. It then discusses some sources of inconsistency that are specific for worldviews, and the import of the paraconsistent turn for the worldviews enterprise.

Inconsistency-adaptive logics isolate the inconsistencies that are derivable from a premise set, and restrict the rules of Classical Logic only where inconsistencies are involved. From many inconsistent premise sets, disjunctions of contradictions are derivable no disjunct of which is itself derivable. Given such a disjunction, it is often justified to introduce new premises that state, with a certain degree of confidence, that some of the disjuncts are false. This is an important first step on the road to consistency: it narrows (...) down suspicion in inconsistent premise sets and hence locates the real problems among the possible ones. In this paper I present two approaches for handling such new premises in the context of the original premises. The first approach may apparently be combined with all paraconsistent logics. The second approach does not have the same generality, but is decidedly more elegant. (shrink)