What is the connection between valid inference and true conditionals? Many conditional logics require that when A is a logical consequence of B, "if B then A" is true. Taking counterlogical conditionals seriously leads to systems that permit counterexamples to that general rule. However, this leaves those of us who endorse non-trivial accounts of counterpossible conditionals to explain what the connection between conditionals and consequence is. The explanation of the connection also answers a common line of objection to non-trivial counterpossibles, (...) which is based on a transition from valid arguments to the corresponding conditionals. It also contributes to the wider project of illuminating the connections between contexts of utterance, on the one hand, and the truth-conditions of conditionals uttered in those contexts, on the other. (shrink)

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)

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 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.

Ultralogic as Universal? is a seminal text in non-classcial logic. Richard Routley presents a hugely ambitious program: to use an 'ultramodal' logic as a universal key, which opens, if rightly operated, all locks. It provides a canon for reasoning in every situation, including illogical, inconsistent and paradoxical ones, realized or not, possible or not. A universal logic, Routley argues, enables us to go where no other logic—especially not classical logic—can. Routley provides an expansive and singular vision of how a universal (...) logic might one day solve major problems in set theory, arithmetic, linguistics, physics, and more. It circulated in typescript in the late 1970s before appearing as the Appendix to Exploring Meinong's Jungle and Beyond. With engaging, forceful prose, unsparing criticism of entrenched institutions, and many tantalizing proof sketches, Ultralogic? has had a major influence on the development of paraconsistent and relevant logic. This new edition makes this work available for a modern audience, newly typeset and corrected, along with extensive notes, and new commentary essays. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

Quasi-truth (a.k.a. pragmatic truth or partial truth) is typically advanced as a framework accounting for incompleteness and uncertainty in the actual practices of science. Also, it is said to be useful for accommodating cases of inconsistency in science without leading to triviality. In this paper, we argue that the formalism available does not deliver all that is promised. We examine the standard account of quasi-truth in the literature, advanced by da Costa and collaborators in many places, and argue that it (...) cannot legitimately account for incompleteness in science. We shall claim that it conflates paraconsistency and paracompleteness. It also cannot properly account for inconsistencies, because no direct contradiction of the form S ∧ ¬S can be quasi-true according to the framework; contradictions simply have no place in the formalism. Finally, we advance an alternative interpretation of the formalism in terms of dealing with distinct contexts where incompatible information is dealt with. This does not save the original program, but seems to make better sense of the apparatus. (shrink)

All standard epistemic logics legitimate something akin to the principle of closure, according to which knowledge is closed under competent deductive inference. And yet the principle of closure, particularly in its multiple premise guise, has a somewhat ambivalent status within epistemology. One might think that serious concerns about closure point us away from epistemic logic altogether—away from the very idea that the knowledge relation could be fruitfully treated as a kind of modal operator. This, however, need not be so. The (...) abandonment of closure may yet leave in place plenty of formal structure amenable to systematic logical treatment. In this paper we describe a family of weak epistemic logics in which closure fails, and describe two alternative semantic frameworks in which these logics can be modelled. One of these—which we term plurality semantics—is relatively unfamiliar. We explore under what conditions plurality frames validate certain much-discussed principles of epistemic logic. It turns out that plurality frames can be interpreted in a very natural way in light of one motivation for rejecting closure, adding to the significance of our technical work. The second framework that we employ—neighbourhood semantics—is much better known. But we show that it too can be interpreted in a way that comports with a certain motivation for rejecting closure. (shrink)

This paper is about the underlying logical principles of scientific theories. In particular, it concerns ex contradictione quodlibet (ECQ) the principle that anything follows from a contradiction. ECQ is valid according to classical logic, but invalid according to paraconsistent logics. Some advocates of paraconsistency claim that there are ‘real’ inconsistent theories that do not erupt with completely indiscriminate, absurd commitments. They take this as evidence in favor of paraconsistency. Michael (2016) calls this the non-triviality strategy (NTS). He argues that this (...) strategy fails in its purpose. I will show that Michael's criticism significantly over-reaches. The fundamental problem is that he places more of a burden on the advocate of paraconsistency than on the advocate of classical logic. The weaknesses in Michael's argument are symptomatic of this preferential treatment of one viewpoint in the debate over another. He does, however, make important observations that allow us to clarify some of the complexities involved in giving a logical reconstruction of a theory. I will argue that there are abductive arguments deserving of further consideration for the claim that paraconsistent logic offers the best explanation of the practice of inconsistent science. In this sense, the debate is still very much open. (shrink)

In this review I briefly analyse the main elements of each chapter of the book centred in the general areas of logic, epistemology, philosophy and history of science. Most of them are developed around a fine-grained investigation on the principle of non-contradiction and the concept of consistency, inquired mainly into the broad area of paraconsistent logics. The book itself is the result of a work that was initiated on the Studia Logica conference "Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and (...) Reasoning - 40 years of CLE", held at the State University of Campinas, Brazil, between September 12-15, 2016. (shrink)

Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...) is demonstrated that any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction. We conclude that our mathematical frame work is inappropriate for Theory of Computation. Furthermore, the result provides us a reason that many problems in Complexity Theory resist to be solved.(This work is completed in 2017 -5- 2, it is in vixra in 2017-5-14, presented in Unilog 2018, Vichy). (shrink)

The pluralist sheds the more traditional ideas of truth and ontology. This is dangerous, because it threatens instability of the theory. To lend stability to his philosophy, the pluralist trades truth and ontology for rigour and other ‘fixtures’. Fixtures are the steady goal posts. They are the parts of a theory that stay fixed across a pair of theories, and allow us to make translations and comparisons. They can ultimately be moved, but we tend to keep them fixed temporarily. Apart (...) from considering rigour of proof as a fixture, I discuss fixed models, invariant notions and fixed information about objects across theories. There are other fixtures, but it is enough to start with these. (shrink)

A dialectical contradiction can be appropriately described within the framework of classical formal logic. It is in harmony with the law of noncontradiction. According to our definition, two theories make up a dialectical contradiction if each of them is consistent and their union is inconsistent. It can happen that each of these two theories has an intended model. Plenty of examples are to be found in the history of science.

It is a venerable slogan due to David Hume, and inherited by the empiricist tradition, that the impossible cannot be believed, or even conceived. In Positivismus und Realismus, Moritz Schlick claimed that, while the merely practically impossible is still conceivable, the logically impossible, such as an explicit inconsistency, is simply unthinkable. -/- An opposite philosophical tradition, however, maintains that inconsistencies and logical impossibilities are thinkable, and sometimes believable, too. In the Science of Logic, Hegel already complained against “one of the (...) fundamental prejudices of logic as hitherto understood”, namely that “the contradictory cannot be imagined or thought” (Hegel 1931: 430). Our representational capabilities are not limited to the possible, for we appear to be able to imagine and describe also impossibilities — perhaps without being aware that they are impossible. -/- Such impossibilities and inconsistencies are what this entry is about... (shrink)

In his famous work on vagueness, Russell named “fallacy of verbalism” the fallacy that consists in mistaking the properties of words for the properties of things. In this paper, I examine two (clusters of) mainstream paraconsistent logical theories – the non-adjunctive and relevant approaches –, and show that, if they are given a strongly paraconsistent or dialetheic reading, the charge of committing the Russellian Fallacy can be raised against them in a sophisticated way, by appealing to the intuitive reading of (...) their underlying semantics. The meaning of “intuitive reading” is clarified by exploiting a well-established distinction between pure and applied semantics. If the proposed arguments go through, the dialetheist or strong paraconsistentist faces the following Dilemma: either she must withdraw her claim to have exhibited true contradictions in a metaphysically robust sense – therefore, inconsistent objects and/or states of affairs that make those contradictions true; or she has to give up realism on truth, and embrace some form of anti-realistic (idealistic, or broadly constructivist) metaphysics. Sticking to the second horn of the Dilemma, though, appears to be promising: it could lead to a collapse of the very distinction, commonly held in the literature, between a weak and a strong form of paraconsistency – and this could be a welcome result for a dialetheist. (shrink)

This paper puts forward a new account of rigorous mathematical proof and its epistemology. One novel feature is a focus on how the skill of reading and writing valid proofs is learnt, as a way of understanding what validity itself amounts to. The account is used to address two current questions in the literature: that of how mathematicians are so good at resolving disputes about validity, and that of whether rigorous proofs are necessarily formalizable.

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)

In order to predict and explain behavior, one cannot specify the mental state of an agent merely by saying what information she possesses. Instead one must specify what information is available to an agent relative to various purposes. Specifying mental states in this way allows us to accommodate cases of imperfect recall, cognitive accomplishments involved in logical deduction, the mental states of confused or fragmented subjects, and the difference between propositional knowledge and know-how .

Mathematical pluralism notes that there are many different kinds of pure mathematical structures—notably those based on different logics—and that, qua pieces of pure mathematics, they are all equally good. Logical pluralism is the view that there are different logics, which are, in an appropriate sense, equally good. Some, such as Shapiro, have argued that mathematical pluralism entails logical pluralism. In this brief note I argue that this does not follow. There is a crucial distinction to be drawn between the preservation (...) of truth and the preservation of truth-in-a-structure; and once this distinction is drawn, this suffices to block the argument. The paper starts by clarifying the relevant notions of mathematical and logical pluralism. It then explains why the argument from the first to the second does not follow. A final section considers a few objections. (shrink)

There has always been interest in inconsistency in science, not least within science itself as scientists strive to devise a consistent picture of the universe. Some important early landmarks in this history are Copernicus’s criticism of the Ptolemaic picture of the heavens, Galileo’s claim that Aristotle’s theory of motion was inconsistent, and Berkeley’s claim that the early calculus was inconsistent. More recent landmarks include the classical theory of the electron, Bohr’s theory of the atom, and the on-going difficulty of reconciling (...) Einstein’s general relativity and quantum theory. But over the past few decades philosophers have taken a particular and increasing interest in inconsistency in science. In 2002 this culminated in the first collection of articles specifically dedicated to the topic: Inconsistency in Science, edited by Joke Meheus, published by Kluwer, and featuring twelve articles on a range of topics in the philosophy of science and mathematics.Since then philosophic. (shrink)

This paper begins an analysis of the real line using an inconsistency-tolerant (paraconsistent) logic. We show that basic field and compactness properties hold, by way of novel proofs that make no use of consistency-reliant inferences; some techniques from constructive analysis are used instead. While no inconsistencies are found in the algebraic operations on the real number field, prospects for other non-trivializing contradictions are left open.

We apply a paraconsistent strategy to reasoning about fractions.

In the paper of Brown and Priest 2004, the authors developed the chunk and permeate method, which they described as a ?paraconsistent reasoning strategy?. There it is suggested that the method of chunk and permeate could apply to the historical infinitesimal calculus. However, no attempt was made to look at actual historical examples. In this paper, I show that the method of chunk and permeate can indeed apply, as a rational reconstruction, to certain of Isaac Newton's arguments that use infinitesimals. (...) This rational reconstruction maintains and uses, rather than sidesteps, the apparent contradictions in Newton's arguments. The applicability of chunk and permeate to other historical arguments, e.g. of Leibniz/L'Hospital and Fermat, has also been investigated and will be communicated in future publications. (shrink)

Many have contended that non-classical logicians have failed at providing evidence of paraconsistent logics being applicable in cases of inconsistency toleration in the sciences. With this in mind, my main concern here is methodological. I aim at addressing the question of how should we study and explain cases of inconsistent science, using paraconsistent tools, without ruining into the most common methodological mistakes. My response is divided into two main parts: first, I provide some methodological guidance on how to approach cases (...) of inconsistent science; and second, I focus on a peculiar type of formal methodologies for the scrutiny of inconsistent reasoning, the _Paraconsistent Alternative Approach_ (henceforth, PAA) and argue that PAA can enhance a more accurate understanding of sensible reasoning in inconsistent contexts. (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)

Realist philosophers of mathematics have accounted for the objectivity and robustness of mathematics by recourse to a foundational theory of mathematics that ultimately determines the ontology and truth of mathematics. The methodology for establishing these truths and discovering the ontology was set by the foundational theory. Other traditional philosophers of mathematics, but this time those who are not realists, account for the objectivity of mathematics by fastening on to: an objective account of: epistemology, ontology, truth, epistemology or methodology. One of (...) these has to stay stable. Otherwise, it is traditionally thought, we have a rampant relativism where ‘anything goes’. Pluralism is a relatively new family of positions. The pluralist in mathematics who is pluralist in: epistemology, foundations, methodology, ontology and truth cannot account for the objectivity of mathematics in either the realist or in the other traditional ways. But such a pluralist is not a rampant relativist. In the paper, I look at what it is to be a pluralist in: epistemology, foundations, methodology, ontology and truth. I then give an account of the objectivity and robustness of mathematics in terms of rigour, borrowings, crosschecking and fixtures—all technical terms defined in the paper. This account is an alternative to the realist and traditional accounts of objectivity in mathematics. (shrink)

No one will dispute, looking at the history of mathematics, that there are plenty of moments where mathematics is “in trouble”, when paradoxes and inconsistencies crop up and anomalies multiply. This need not lead, however, to the view that mathematics is intrinsically inconsistent, as it is compatible with the view that these are just transient moments. Once the problems are resolved, consistency (in some sense or other) is restored. Even when one accepts this view, what remains is the question what (...) mathematicians do during such a transient moment? This requires some method or other to reason with inconsistencies. But there is more: what if one accepts the view that mathematics is always in a phase of transience? In short, that mathematics is basically inconsistent? Do we then not need a mathematics of inconsistency? This paper wants to explore these issues, using classic examples such as infinitesimals, complex numbers, and infinity. (shrink)

This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.

Inconsistency toleration is the phenomenon of working with inconsistent information without threatening one’s rationality. Here I address the role that ignorance plays for the tolerance of contradictions in the empirical sciences. In particular, I contend that there are two types of ignorance that, when present, can make epistemic agents to be rationally inclined to tolerate a contradiction. The first is factual ignorance, understood as temporary undecidability of the truth values of the conflicting propositions. The second is what I call “ignorance (...) of theoretical structure”, which is lack of knowledge of relevant inference patterns within a specific theory. I argue that these two types of ignorance can be explanatory of the scientists’ rational disposition to be tolerant towards contradictions, and I illustrate this with a case study from neutrino physics. (shrink)

Priest and others have presented their “most telling” argument for paraconsistent logic: that only paraconsistent logics allow non-trivial inconsistent theories. This is a very prevalent argument; occurring as it does in the work of many relevant and more generally paraconsistent logicians. However this argument can be shown to be unsuccessful. There is a crucial ambiguity in the notion of non-triviality. Disambiguated the most telling reason for paraconsistent logics is either question-begging or mistaken. This highlights an important confusion about the role (...) of logic in our development of our theories of the world. Does logic chart good reasoning or our commitments? We also consider another abductive argument for paraconsistent logics which also is shown to fail. (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)

Some scientific theories are inconsistent, yet non-trivial and meaningful. How is that possible? The present paper aims to show that we can analyse the inferential use of such theories in terms of consistent compositions of the applications of universal axioms. This technique will be represented by a preferred models semantics, which allows us to accept the instances of universal axioms selectively. For such a semantics to be developed, the framework of partial structures by da Costa and French will be extended (...) by a few elements of the Sneed formalism, also known as the structuralist approach to science. (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)

In this paper we look at two classic methods of deriving consequences from inconsistent premises: Rescher-Manor and Schotch-Jennings. The overall goal of the project is to confine the method of drawing consequences from inconsistent sets to those that do not require reference to any information outside of very general facts about the set of premises. Methods in belief revision often require imposing assumptions on premises, e.g., which are the important premises, how the premises relate in non-logical ways. Such assumptions enable (...) one to select a reasonable collection of formulas from all the formulas of the language. Basic versions of the classic methods only use logical relations between the premises. We compare and criticize each of the classic views with an eye to combining the views to get the most out of inconsistent premises. We do this in a way that will respect the theoretical grounding of each view while meeting our other restrictions. (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)

Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraconsistentization by consistent sets. Moreover, by means of the notions of paradeduction and paraconsequence we go on applying the process of changing a logic converting it into a paraconsistent system. We also examine how this transformation can be performed using multideductive abstract (...) logics. To conclude, the conceptual notion paraconsistent orbit of a logic is proposed. (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)