In this paper I urge friends of truth-value gaps and truth-value gluts – proponents of paracomplete and paraconsistent logics – to consider theories not merely as sets of sentences, but as pairs of sets of sentences, or what I call ‘bitheories,’ which keep track not only of what holds according to the theory, but also what fails to hold according to the theory. I explain the connection between bitheories, sequents, and the speech acts of assertion and denial. I illustrate the (...) usefulness of bitheories by showing how they make available a technique for characterising different theories while abstracting away from logical vocabulary such as connectives or quanti- fiers, thereby making theoretical commitments independent of the choice of this or that particular non-classical logic. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

In some logics, anything whatsoever follows from a contradiction; call these logics explosive. Paraconsistent logics are logics that are not explosive. Paraconsistent logics have a long and fruitful history, and no doubt a long and fruitful future. To give some sense of the situation, I’ll spend Section 1 exploring exactly what it takes for a logic to be paraconsistent. It will emerge that there is considerable open texture to the idea. In Section 2, I’ll give some examples of techniques for (...) developing paraconsistent logics. In Section 3, I’ll discuss what seem to me to be some promising applications of certain paraconsistent logics. In fact, however, I don’t think there’s all that much to the concept ‘paraconsistent’ itself; the collection of paraconsistent logics is far too heterogenous to be very productively dealt with under a single label. Perhaps that will emerge as we go. (shrink)

Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the tables on classical logicians (...) and ask what sense can be made of explosive reasoning. While I acknowledge a bias on this issue, it is not clear that even classical logicians can answer this question. (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)

There are two ways of understanding the notion of a contradiction: as a conjunction of a statement and its negation, or as a pair of statements one of which is the negation of the other. Correspondingly, there are two ways of understanding the Law of Non-Contradiction (LNC), i.e., the law that says that no contradictions can be true. In this paper I offer some arguments to the effect that on the first (collective) reading LNC is non-negotiable, but on the second (...) (distributive) reading it is perfectly plausible to suppose that LNC may, in some rather special and perhaps undesirable circumstances, fail to hold. (shrink)

There are two ways of understanding the notion of a contradiction: as a conjunction of a statement and its negation, or as a pair of statements one of which is the negation of the other. Correspondingly, there are two ways of understanding the Law of Non-Contradiction (LNC), i.e., the law that says that no contradictions can be true. In this paper I offer some arguments to the effect that on the first (collective) reading LNC is non-negotiable, but on the second (...) (distributive) reading it is perfectly plausible to suppose that LNC may, in some rather special and perhaps undesirable circumstances, fail to hold. (shrink)

We here attempt to address certain criticisms of the philosophical import of the so-called Brazilian approach to paraconsistency by providing some epistemic elucidations of the whole enterprise of the logics of formal inconsistency. In the course of this discussion, we substantiate the view that difficulties in reasoning under contradictions in both the Buddhist and the Aristotelian traditions can be accommodated within the precepts of the Brazilian school of paraconsistency.

I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...) collapsing filter on the standard model) match with many intuitions underlying Wittgensteins philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any meaningful mathematical question. (shrink)

As far as ‘modern’ logical theories of vagueness are concerned, a main distinction can be drawn between ‘semantical’ ones and ‘pragmatical’ ones. The latter are defended here, because they tend to retake into account important contextual dimensions of the problem abandoned by the former. Their inchoate condition seems not alarming, since they are of surprisingly recent date. This, however, could very well be an accidental explanation. That is, the true reason for it might sooner or later turn out to be (...) bearing exactly on the fundamental human limitations, when it comes to theorizing, that these approaches are urging us to appreciate. (shrink)

Substructural pluralism about the meaning of logical connectives is best understood as the view that natural language connectives have all (and only) the properties conferred by classical logic, but that particular occurrences of these connectives cannot simultaneously exhibit all these properties. This is just a more sophisticated way of saying that while natural language connectives are ambiguous, they are not so in the way classical logic intends them to be. Since this view is usually framed as a means to resolve (...) paradoxes, little attention is paid to the logical properties of the ambiguous connectives themselves. The present paper sets out to fill this gap. First, I argue that substructural logicians should care about these connectives; next, I describe a consequence relation between a set of ambiguous premises and an ambiguous conclusion, and review the logical properties of ambiguous connectives; and finally, I highlight how ambiguous connectives can explain our intuitions about logical rivalry. (shrink)

Italian translation of "On Logical Relativity" (2002), by Luca Morena.

How to handle vagueness? One way is to introduce the machinery of acceptable sharpenings, and reinterpret truth as truth-in-all-sharpenings or truth-in-some-sharpenings. A major selling point has been the conservativism of the resulting systems with respect to classical theoremhood and inference. Supervaluationism and subvaluationism possess interesting formal symmetries, a fact that has been used to argue for the subvaluationist approach. However, the philosophical motivation behind each is a different matter. Subvaluationism comes with a standard story that is difficult to sign up (...) to. In this paper, I make use of a variant of Putnam’s well-known idea of linguistic deference, and some results in voting theory, to answer this criticism of subvaluationism. The acceptability intuitions of each member of a linguistic community amount to their voting for one or more acceptable sharpenings, with truth then characterised as truth-in-a--sufficiency-of-sharpenings. This produces a family of logical systems that are close relations of subvaluationism, share its conservatism results, yet have stronger philosophical foundations in the workings of externalist content. (shrink)

Set theory faces two difficulties: formal definitions of sets/subsets are incapable of assessing biophysical issues; formal axiomatic systems are complete/inconsistent or incomplete/consistent. To overtake these problems reminiscent of the old-fashioned principle of individuation, we provide formal treatment/validation/operationalization of a methodological weapon termed “outer approach” (OA). The observer’s attention shifts from the system under evaluation to its surroundings, so that objects are investigated from outside. Subsets become just “holes” devoid of information inside larger sets. Sets are no longer passive containers, rather (...) active structures enabling their content’s examination. Consequences/applications of OA include: a) operationalization of paraconsistent logics, anticipated by unexpected forerunners, in terms of advanced truth theories of natural language; b) assessment of embryonic craniocaudal migration in terms of Turing’s spots; c) evaluation of hominids’ social behaviors in terms of evolutionary modifications of facial expression’s musculature; d) treatment of cortical action potentials in terms of collective movements of extracellular currents, leaving apart what happens inside the neurons; e) a critique of Shannon’s information in terms of the Arabic thinkers’ active/potential intellects. Also, OA provides an outer view of a) humanistic issues such as the enigmatic Celestino of Verona’s letter, Dante Alighieri’s “Hell” and the puzzling Voynich manuscript; b) historical issues such as Aldo Moro’s death. Summarizing, we suggest that the safest methodology to quantify phenomena is to remove them from our observation and tackle an outer view, since mathematical/logical issues such as selective information deletion and set complement rescue incompleteness/inconsistency of biophysical systems. (shrink)