In this paper, I offer an analysis of the radical disagreement over the adequacy of string theory. The prominence of string theory despite its notorious lack of empirical support is sometimes explained as a troubling case of science gone awry, driven largely by sociological mechanisms such as groupthink (e.g. Smolin 2006). Others, such as Dawid (2013), explain the controversy by positing a methodological revolution of sorts, according to which string theorists have quietly turned to nonempirical methods of theory assessment given (...) the technological inability to directly test the theory. The appropriate response, according to Dawid, is to acknowledge this development and widen the canons of acceptable scientific methods. As I’ll argue, however, the current situation in fundamental physics does not require either of these responses. Rather, as I’ll suggest, much of the controversy stems from a failure to properly distinguish the “context of justification” from the “context of pursuit”. Both those who accuse string theorists of betraying the scientific method and those who advocate an enlarged conception of scientific methodology objectionably conflate epistemic justification with judgements of pursuit-worthiness. Once we get clear about this distinction and about the different norms governing the two contexts, the current situation in fundamental physics becomes much less puzzling. After defending this diagnosis of the controversy, I’ll show how the argument patterns that have been posited by Dawid as constituting an emergent methodological revolution in science are better off if reworked as arguments belonging to the context of pursuit. (shrink)

Niels Bohr’s model of the hydrogen atom is widely cited as an example of an inconsistent scientific theory because of its reliance on classical electrodynamics together with assumptions about interactions between matter and electromagnetic radiation that could not be reconciled with CED. This view of Bohr’s model is controversial, but we believe a recently proposed approach to reasoning with inconsistent commitments offers a promising formal reading of how Bohr’s model worked. In this paper we present this new way of reasoning (...) with inconsistent commitments and compare it with other approaches before applying it to Bohr’s model and offering some suggestions for how it might be extended to account for subsequent developments in old quantum theory. (shrink)

Scientific realism and anti-realism are most frequently discussed as global theses: theses that apply equally well across the board to all the various sciences. Against this status quo I defend the localist alternative, a methodological stance on scientific realism that approaches debates on realism at the level of individual sciences, rather than at science itself. After identifying the localist view, I provide a number of arguments in its defense, drawing on the diversity and disunity found in the sciences, as well (...) as problems with other approaches (such as basing realism debates on the aim of science). I also show how the view is already at work, explicitly or implicitly, in the work of several philosophers of science. After meeting the objections that localism collapses either into globalism or hyperlocalism, I conclude by sketching what sorts of impacts localism can have in the philosophy of science. (shrink)

Since the beginning of the 20th century, philosophers of science have asked, "what kind of thing is a scientific theory?" The logical positivists answered: a scientific theory is a mathematical theory, plus an empirical interpretation of that theory. Moreover, they assumed that a mathematical theory is specified by a set of axioms in a formal language. Later 20th century philosophers questioned this account, arguing instead that a scientific theory need not include a mathematical component; or that the mathematical component need (...) not be specified by a set of axioms in a formal language. We survey various accounts of scientific theories entertained in the 20th century -- removing some misconceptions, and clearing a path for future research. (shrink)

This is a reply piece to a series of book symposium contributions to my book, Resisting Scientific Realism. The contributions were by Steven French, Peter Vickers, Stathis Psillos, and Kyle Stanford.

Thomas S. Kuhn is famous both for his work on the Copernican Revolution and his ‘paradigm’ view of scientific revolutions. But Kuhn later abandoned the notion of paradigm in favour of a more ‘evolutionary’ view of the history of science. Kuhn’s position therefore moved closer to ‘continuity’ models of scientific progress, for instance ‘chain-of-reasoning’ models, originally championed by D. Shapere. The purpose of this paper is to contribute to the debate around Kuhn’s new ‘developmental’ view and to evaluate these competing (...) models with reference to some major innovations in the history of cosmology, from Copernicanism to modern cosmology. This evaluation is made possible through some unexpected overlap between Kuhn’s earlier discontinuity model and various versions of the later continuity models. It is the thesis of this paper that the ‘chain-of-reasoning’ model accounts better for the cosmological evidence than both Kuhn’s early paradigm model and his later developmental view of the history of science. (shrink)

For several decades now philosophers have discussed apparent examples of internally inconsistent scientific theories. However, there is still much controversy over how exactly we should conceive of scientific theories in the first place. Here I argue for a new approach, whereby all of the truly important questions about inconsistency in science can be asked and answered without disagreements about theories and theory-content getting in the way. Three examples commonly described as ‘internally inconsistent theories’ are analysed in the light of this (...) approach. In the process, the question ‘Is the theory inconsistent or not?’ is identified as a bad, or at least unimportant, question. (shrink)

The philosopher of science faces overwhelming disagreement in the literature on the definition, nature, structure, ontology, and content of scientific theories. These disagreements are at least partly responsible for disagreements in many of the debates in the discipline which put weight on the concept scientific theory. I argue that available theories of theories and conceptual analyses of theory are ineffectual options for addressing this difficulty: they do not move debates forward in a significant way. Directing my attention to debates about (...) the properties of particular, named theories, I introduce ‘theory eliminativism’ as a certain type of debate-reformulation. As a methodological tool it has the potential to be a highly effective way to make progress in the face of the noted problem: post-reformulation disagreements about theory cannot compromise the debate, and the questions that really matter can still be asked and answered. In addition the reformulation process demands that philosophers engage with science and the history of science in a more serious way than is usual in order to answer important questions about the justification for targeting a particular set of propositions (say) in a given context. All things considered, we should expect the benefits of a theory-eliminating debate-reformulation to heavily outweigh the costs for a highly significant number of debates of the relevant type. (shrink)

A success-to-truth inference has always been at the heart of scientific realist positions. But all attempts to articulate the inference have met with very significant challenges. This paper reconstructs the evolution of this inference, and brings together a number of qualifications in an attempt to articulate a contemporary success-to-truth inference which is realistic. I argue that this contemporary version of the inference has a chance, at least, of overcoming the historical challenges which have been proffered to date. However, there is (...) a price to pay: the developments which help the realist answer the historical challenges also serve to increase the number of non-historical challenges. (shrink)

Pluralist and eliminativist positions have proliferated within both science and philosophy of science in recent decades. This paper asks the question why this shift of thinking has occurred, and where it is leading us. We provide an explanation which, if correct, entails that we should expect pluralism and eliminativism to transform other debates currently unaffected, and for good reasons. We then consider the question under what circumstances eliminativism will be appropriate, arguing that it depends not only on the term in (...) question, but also on the context of discussion and details of the debate at hand. The resultant selective eliminativism is an appealing compromise for various ‘pluralists’ and ‘eliminativists’ who are currently locking horns. (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)

Thought experiments, models, diagrams, computer simulations, and metaphors can all be understood as tools of the imagination. While these devices are usually treated separately in philosophy of science, this paper provides a unified account according to which tools of the imagination are epistemically good insofar as they improve scientific imaginings. Improving scientific imagining is characterized in terms of epistemological consequences: more improvement means better consequences. A distinction is then drawn between tools being good in retrospect, at the time, and in (...) general. In retrospect, tools are evaluated straightforwardly in terms of the quality of their consequences. At the cutting edge, tools are evaluated positively insofar as there is reason to believe that using them will have good consequences. Lastly, tools can be generally good, insofar as their use encourages the development of epistemic virtues, which are good because they have good epistemic consequences. (shrink)

Many thought experiments are used to probe theoretical statements. One crucial strategy for doing this, or so I will argue, is the following. A TE reveals an inconsistency in part of our previously held, sometimes empirically well-established, theoretical statements. A TEer or her critic then proposes a resolution in the form of a conjecture, a hypothesis that merits further investigation. To explore this characterisation of the epistemic function of such TEs, I clarify the nature of the inconsistencies revealed by TEs, (...) and how TEs reveal and resolve them. I argue that this can be done without settling the question of which cognitive processes are involved in performing a TE; be they propositional or non-propositional. The upshot is that TEs’ reliability, like real experiments, is to be found, in part, in their replicability by the epistemic community, not in their cognitive underpinnings. (shrink)

My aim here is to show that approximate truth as a paraconsistent notion can be successfully incorporated into the analysis of scientific unification, thus advancing towards a more realistic representation of theory development that takes into account the controversies that often loom alongside the progress of research programmes. I support my analysis with a case study of the recent debate in ecology centred around the existence of the paradox of enrichment and the controversy between ecological models of predation that employ (...) prey-dependent and ratio-dependent functional responses. These models were initially proposed as equally good representations of the basic aspects of predator–prey dynamics. However, both models generated inconsistent observational consequences and, therefore, introduced a contradiction within predator–prey theory. I argue that by accepting these models as approximately true representations of predator–prey dynamics we can convey how the available observational data have been successfully systematized in a consistent way under them. This first step in resolving the controversy relied on building a series of contrastive arguments based on both models’ derivations about population dynamics and the available empirical data. The heightening of this contrast between the models, in turn, was also essential in defining a limiting function which can be used to integrate both models and reach a new unified expression of predator–prey dynamics. (shrink)

If we cannot directly empirically test the claims of particular scientific theory, then it would be nice to have some other criteria with which to assess its viability. In his 2013 book, String Theory and the Scientific Method, Richard Dawid aims to develop such criteria, with an eye to vindicating research programs in disciplines where direct empirical data is scant or non-existent. In an accompanying paper, Dawid, Hartmann and Sprenger formalise Dawid’s so-called ‘No Alternatives Argument’ using a generalised Bayesian framework, (...) as a first step towards formalising Dawid’s entire re- search programme. In this paper, I argue that the formalisation of the NAA cannot play the central role in Dawid’s programme as intended. This is based on the observation that not all confirmation is non-negligible confirmation. For Dawid’s programme to be useful, it must demonstrate the viability not just of non-empirical theory confirmation, but of non-negligible non-empirical theory confirmation. I argue that Dawid et al.’s appeal to Bayesian confirmation theory to formalise his NAA cannot guarantee non-negligible confirmation. As a result, I conclude that if Dawid’s overall project is to succeed, it must do so without the NAA formalised in this way. (shrink)

According to standard accounts of mathematical representations of physical phenomena, positing structure-preserving mappings between a physical target system and the structure picked out by a mathematical theory is essential to such representations. In this paper, I argue that these accounts fail to give a satisfactory explanation of scientific representations that make use of inconsistent mathematical theories and present an alternative, robustly inferential account of mathematical representation that provides not just a better explanation of applications of inconsistent mathematics, but also a (...) compelling explanation of mathematical representations of physical phenomena in general. 1Inconsistent Mathematics and the Problem of Representation2The Early Calculus3Mapping Accounts and the Early Calculus3.1Partial structures3.2Inconsistent structures3.3Related total consistent structures4A Robustly Inferential Account of the Early Calculus in Applications 4.1The robustly inferential conception of mathematical representation4.2The robustly inferential conception and inconsistent mathematics4.3The robustly inferential conception and mapping accounts5Beyond Inconsistent Mathematics. (shrink)

Two of the most important outcomes of The Contradictory Christ include: identifying Christ as an unproblematically contradictory being as well as laying the foundations of an investigation of the logical consequences of the existence of Christ, qua contradictory, within a particular 'theory'. In light of the enormous reluevance of Beall’s The contradictory Christ for the study of inconsistency, my main concern here is to explore the effect of some methodological choices behind Beall’s proposal -this in order to recognize in more (...) detail the scope of Beall’s contribution. To do so, I will focus on three main questions: 1. What is required for the identification of a contradiction? 2. How can we recognize a true contradiction from either an apparent or a temporal contradiction? 3. If we identify a true contradiction within a theory, where can we actually go from there? (shrink)

This essay presents a fully inferentialist-expressivist account of scientific representation. In general, inferentialist approaches to scientific representation argue that the capacity of a model to represent a target system depends on inferences from models to target systems. Inferentialism is attractive because it makes the epistemic function of models central to their representational capacity. Prior inferentialist approaches to scientific representation, however, have depended on some representational element, such as denotation or representational force. Brandom’s Making It Explicit provides a model of how (...) to fully discharge such representational vocabulary, but it cannot be applied directly to scientific representations. Pursuing a strategy parallel to Brandom’s, this essay begins with an account of how surrogative inference is justified. Scientific representation and the denotation of model elements are then explained in terms of surrogative inference by treating scientific representation and denotation as expressive, analogous to Brandom’s account of truth. The result is a thoroughgoing inferentialism: M is a scientific representation of T if and only if M has scientifically justified surrogative consequences that are answers to questions about T. (shrink)

There are at least twelve major virtues of good theories: evidential accuracy, causal adequacy, explanatory depth, internal consistency, internal coherence, universal coherence, beauty, simplicity, unification, durability, fruitfulness, and applicability. These virtues are best classified into four classes: evidential, coherential, aesthetic, and diachronic. Each virtue class contains at least three virtues that sequentially follow a repeating pattern of progressive disclosure and expansion. Systematizing the theoretical virtues in this manner clarifies each virtue and suggests how they might have a coordinated and cumulative (...) role in theory formation and evaluation across the disciplines—with allowance for discipline specific modification. An informal and flexible logic of theory choice is in the making here. Evidential accuracy, according to my systematization, is not a largely isolated trait of good theories, as some have made it out to be. Rather, it bears multifaceted relationships, constituting significant epistemic entanglements, with other theoretical virtues. (shrink)

The early calculus is a popular example of an inconsistent but fruitful scientific theory. This paper is concerned with the formalisation of reasoning processes based on this inconsistent theory. First it is shown how a formal reconstruction in terms of a sub-classical negation leads to triviality. This is followed by the evaluation of the chunk and permeate mechanism proposed by Brown and Priest in, 379–388, 2004) to obtain a non-trivial formalisation of the early infinitesimal calculus. Different shortcomings of this application (...) of C&P as an explication of inconsistency tolerant reasoning are pointed out, both conceptual and technical. To remedy these shortcomings, an adaptive logic is proposed that allows for conditional permeations of formulas under the assumption of consistency preservation. First the adaptive logic is defined and explained and thereafter it is demonstrated how this adaptive logic remedies the defects C&P suffered from. (shrink)

Worrall :99–124, 1989) famously claimed that structural realism is the best of both worlds; it enables one to endorse the best arguments for scientific realism and antirealism. In this paper, I argue that structural realism also enables one to combine two other seemingly inconsistent positions: realism and pluralism. Indeed, the very features which form the basis of the structural realist’s reply to the problem of theory change may be applied synchronically to allow for a pluralist structural realism. The resulting position (...) incorporates a robust variety of scientific pluralism unavailable to the traditional realist and thereby allows the structural realist to take seriously the pluralism apparent in scientific practice. (shrink)

Scientific results are often presented as ‘surprising’ as if that is a good thing. Is it? And if so, why? What is the value of surprise in science? Discussions of surprise in science have been limited, but surprise has been used as a way of defending the epistemic privilege of experiments over simulations. The argument is that while experiments can ‘confound’, simulations can merely surprise (Morgan, 2005). Our aim in this paper is to show that the discussion of surprise can (...) be usefully extended to thought experiments and theoretical derivations. We argue that in focusing on these features of scientific practice, we can see that the surprise-confoundment distinction does not fully capture surprise in science. We set out how thought experiments and theoretical derivations can bring about surprises that can be disruptive in a productive way, and we end by exploring how this links with their future fertility. (shrink)

In this essay I shall focus on the adoption of the Semantic Approach by structural realists, including myself, who have done so on the grounds that it wears its structuralist sympathies on its sleeve. Despite this, the SA has been identified as standing in tension with the ontological commitments of the so-called ’ontic’ form of this view and so I shall explore that tension before discussing the usefulness of the SA in framing scientific representation and concluding with a discussion of (...) the implications of the ontological status of theories and models themselves. (shrink)

In this paper I begin with a recent challenge to the Semantic Approach and identify an underlying assumption, namely that identity conditions for theories should be provided. Drawing on previous work, I suggest that this demand should be resisted and that the Semantic Approach should be seen as a philosophical device that we may use to represent certain features of scientific practice. Focussing on the partial structures variant of that approach, I then consider a further challenge that arises from a (...) concern with the role of idealisations in that practice. I argue that the partial structures approach is capable of meeting this challenge and I conclude with some broader observations about the role of such formal accounts within the philosophy of science. (shrink)

In this paper I begin with a recent challenge to the Semantic Approach and identify an underlying assumption, namely that identity conditions for theories should be provided. Drawing on previous work, I suggest that this demand should be resisted and that the Semantic Approach should be seen as a philosophical device that we may use to represent certain features of scientific practice. Focussing on the partial structures variant of that approach, I then consider a further challenge that arises from a (...) concern with the role of idealisations in that practice. I argue that the partial structures approach is capable of meeting this challenge and I conclude with some broader observations about the role of such formal accounts within the philosophy of science. (shrink)

This paper argues that, assuming properties exist and must be located in spacetime, the prevailing view that they are exactly located where their instances are is false. Instead a property is singularly located at just one region, namely the union of its instance's locations. This bears not just on issues in the metaphysics of properties, but also on the debate over whether multi-location is conceivable and/or possible.

The aim of this paper is to offer an account of epistemic justification suitable for the context of theory pursuit, that is, for the context in which new scientific ideas, possibly incompatible with the already established theories, emerge and are pursued by scientists. We will frame our account paradigmatically on the basis of one of the influential systems of epistemic justification: Laurence Bonjour’s coherence theory of justification. The idea underlying our approach is to develop a set of criteria which indicate (...) that the pursued system is promising of contributing to the epistemic goal of robustness of scientific knowledge and of developing into a candidate for acceptance. In order to realize this we will (a) adjust the scope of Bonjour’s standards—consistency, inferential density, and explanatory power, and (b) complement them by the requirement of a programmatic character. In this way we allow for the evaluation of the “potential coherence” of the given epistemic system. (shrink)

Quantum Mechanics has faced deep controversies and debates since its origin when Werner Heisenberg proposed the first mathematical formalism capable to operationally account for what had been recently discovered as the new field of quantum phenomena. Today, even though we have reached a standardized version of QM which is taught in Universities all around the world, there is still no consensus regarding the conceptual reference of the theory and, if or if not, it can refer to something beyond measurement outcomes. (...) In this work we will argue that the reason behind the impossibility to reach a meaningful answer to this question is strictly related to the 20th Century Bohrian-positivist re-foundation of physics which is responsible for having introduced within the theory of quanta a harmful combination of metaphysical dogmatism and naive empiricism. We will also argue that the possibility of understanding QM is at plain sight, given we return to the original framework of physics in which the meaning of understanding has always been clear. (shrink)

The word “effective” has become the standard label attached to scientific theories these days. An effective theory allows us to make accurate predictions about a physical system at a certain (energy, length) scale while being largely ignorant of the details at more fundamental levels. One does not need to know anything about the deeper, quantum structure of water molecules to describe the macroscopic behaviour of waves or water in a glass. Although effective descriptions so broadly construed have been part of (...) research in physics since the earliest stages of modern science, it is particle physics that has most clearly relied on and brought to the fore some of the most interesting and admittedly puzzling aspects of this way of looking at theories. Indeed, the effective field theory (EFT) program in QFT has established itself as the most natural way to understand renormalisation and dissipate initial reservations about the status of these techniques by treating higher-order processes as contributions suppressed at lower energy scales. QFT is thus treated as the “effective” framework par excellence with the decoupling of scales constituting its permeating tenet. The goal of this project is to attempt a philosophical appraisal of EFTs as currently used in high energy physics as well as assess the possibility that the whole program eventually breaks down, i.e. fails to apply when certain preconditions do not hold. Accordingly, the dissertation is logically divided into two parts with the first two chapters dedicated to discussion of the relation between EFTs and traditional questions in the philosophy of science concerning the structure of scientific theories, the formulation and defence of scientific realism as well as its connection to possible ontological readings of EFTs. The second part constitutes an analysis of two well-known problems that have been accorded the status of crises in the physics literature: the hierarchy problem and the cosmological constant problem. Our main focus will be to uncover those assumptions responsible for undermining the validity of the EFT techniques in their respective context. In light of this analysis, we will ultimately lean towards a more cautionary or “reserved” approach to EFTs. (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.

In this paper we discuss Priest’s account of change and motion, contrasting it with its more orthodox rival, the Russellian account. The paper is divided in two parts. In first one we take a stance that is more sympathetic to the Russellian view, arguing that Priest’s arguments against it are inconclusive. In the second part, instead, we take a more sympathetic attitude towards Priest’s objections. We argue, however, that if these objections pose insurmountable difficulties to the Russellian account, then they (...) pose the same difficulties also to Priest’s favoured Hegelian account, and for the same reasons. (shrink)

I offer an explicit account of the underdetermination thesis as well as of the many challenges it poses to scientific realism; a way to answer to these challenges is explored and outlined, by shifting attention to the content of theories. I argue that, even if we have solid grounds (as I contend we do) to support that some varieties of the underdetermination thesis are true, scientific realism can still offer an adequate picture of the aims and achievements of science.

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.

Dispositional Essentialism and Ontic Structural Realism aim to account for modality. Dispositional Essentialism takes properties to account for laws. In particular, it takes determinate properties to account for laws of nature, which are determinable. Ontic Structural Realism does the reverse. According to Steven French, Ontic Structural Realism takes laws and symmetries to be part of the fundamental structure of the world. Determinate properties are “dependent” on laws. The core difference between Dispositional Essentialism and Ontic Structural Realism’s accounts of modality is (...) the direction of the dependence between properties and laws. As a result, French describes Ontic Structural Realism as a reverse-engineering of Dispositional Essentialism, and Chakravartty differentiates them by saying that Dispositional Essentialism gives a bottom-up account of modality whereas Ontic Structural Realism’s is top-down. Both views face significant problems. The main problems these views face stem from relational individuation. Properties are individuated by their relations to further properties. As such, it is hard to see how they can be metaphysically prior to those relations as per Dispositional Essentialism. Equally, laws are relations between properties. As such, it is hard to see how they could be metaphysically prior to the properties they relate as per Ontic Structural Realism. Both properties and laws seem dependent on each other. By requiring one to come first and explain the other, dispositional essentialists and ontic structural realists end up in a chicken-egg scenario. I propose a hybrid between Dispositional Essentialism and Ontic Structural Realism. My hybrid view does away with the dogma of ontological priority between properties and laws. Instead, properties and laws symmetrically depend. I argue that my hybrid view is the way out of the chicken-egg-property-law conundrum. It paves a new way for making sense of modality from a structuralist perspective. (shrink)

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)

We discuss the idea that superpositions in quantum mechanics may involve contradictions or contradictory properties. A state of superposition such as the one comprised in the famous Schrödinger’s cat, for instance, is sometimes said to attribute contradictory properties to the cat: being dead and alive at the same time. If that were the case, we would be facing a revolution in logic and science, since we would have one of our greatest scientific achievements showing that real contradictions exist.We analyze that (...) claim by employing the traditional square of opposition.We suggest that it is difficult to make sense of the idea of contradiction in the case of quantum superpositions. From a metaphysical point of view the suggestion also faces obstacles, and we present some of them. (shrink)

It has recently been argued by Davey (2014) that inconsistency is never tolerated in science, but only discretely isolated. But when talking about inconsistencies in science, not much attention has been paid to the inconsistencies between theory and observation. Here I will argue that inconsistency toleration actually takes place in science, and that when we examine actual inconsistent theories, inconsistencies between theory and observation look anything but homogeneous. I will argue, appealing to certain properties of empirical theories, especially holism, that (...) at least two sub-types of inconsistencies regarding theory and observation can be distinguished: those that satisfy a criterion of observational independence and those that do not. (shrink)

Pluralism has many meanings. An assessment of the need for logical pluralism with respect to scientific knowledge requires insights in its domain of application. So first a specific form of epistemic pluralism will be defended. Knowledge turns out a patchwork of knowledge chunks. These serve descriptive as well as evaluative functions, may have competitors within the knowledge system, interact with each other, and display a characteristic dynamics caused by new information as well as by mutual readjustment. Logics play a role (...) in the organization of the chunks, in their applications and in the exchange of information between them. Epistemic pluralism causes a specific form of logical pluralism. Against this background, the occurrence of inconsistencies will be discussed together with required reactions and systematic ways to explicate them. Finally, the place of inconsistencies in the sciences will be considered. Seven theses will be proposed and argued for. The implications of each of these for pluralism will be considered. The general tenet is that paraconsistency plays an important role, bound to become more explicit in the future, but that the occurrence of inconsistencies does not basically affect the need for pluralism. (shrink)

Scientific pluralism is the view according to which there is a plurality of scientific domains and of scientific theories, and these theories are empirically adequate relative to their own respective domains. Scientific monism is the view according to which there is a single domain to which all scientific theories apply. How are these views impacted by the presence of inconsistent scientific theories? There are consistency-preservation strategies and inconsistency-toleration strategies. Among the former, two prominent strategies can be articulated: Compartmentalization and Information (...) restriction. Among the inconsistency-toleration strategies, we have: Paraconsistent compartmentalization and Dialetheism. In this paper, I critically assess the adequacy of each of these four views. (shrink)

In this paper I examine the problem of inconsistency toleration in the context of scientific pluralism. I argue that, first of all, the notion of inconsistency toleration has to be qualified with respect to the evaluative attitude that one takes towards a given scientific theory or theories. Second, I show which types of inconsistency toleration are compatible with two major approaches to scientific pluralism, the so-called modest and the radical one. In view of this I suggest some points of demarcation (...) between these two approaches. (shrink)

Scientific inquiry is typically focused on particular questions about particular objects and properties. This leads to a multiplicity of models which, even when they draw on a single, consistent body of concepts and principles, often employ different methods and assumptions to model different systems. Pluralists have remarked on how scientists draw on different assumptions to model different systems, different aspects of systems and systems under different conditions and defended the value of distinct, incompatible models within science at any given time. (...) Paraconsistentists have proposed logical strategies to avoid trivialization when inconsistencies arise by a variety of means. Here we examine how chunk and permeate, a simple approach to paraconsistent reasoning which avoids heterodox logic by confining commitments to separate contexts in which reasoning with them is taken to be reliable while allowing ‘permeation’ of some conclusions into other contexts, can help to systematize pluralistic reasoning across the boundaries of plural contexts, using regional climate models as an example. The result is a kind of unity for science—but a unity achieved by the constrained exchange of specified information between different contexts, rather than the closure of all commitments under some paraconsistent consequence relation. (shrink)