The paper offers a matrix-based logic (relevant matrix quantum physics) for propositions which seems suitable as an underlying logic for empirical sciences and especially for quantum physics. This logic is motivated by two criteria which serve to clean derivations of classical logic from superfluous redundancies and uninformative complexities. It distinguishes those valid derivations (inferences) of classical logic which contain superfluous redundancies and complexities and are in this sense from those which are or in the sense of allowing only the most (...) informative consequences in the derivations. The latter derivations are strictly valid in RMQ, whereas the former are only materially valid. RMQ is a decidable matrix calculus which possesses a semantics and has the finite model property. It is shown in the paper how RMQ by its strictly valid derivations can avoid the difficulties with commensurability, distributivity, and Bell's inequalities when it is applied to quantum physics. (shrink)

This paper begins an axiomatic development of naive set theoryin a paraconsistent logic. Results divide into two sorts. There is classical recapture, where the main theorems of ordinal and Peano arithmetic are proved, showing that naive set theory can provide a foundation for standard mathematics. Then there are major extensions, including proofs of the famous paradoxes and the axiom of choice (in the form of the well-ordering principle). At the end I indicate how later developments of cardinal numbers will lead (...) to Cantor’s theorem, the existence of large cardinals, and a counterexample to the continuum hypothesis. (shrink)

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

In this paper, I use the cases of intuitionistic arithmetic with Church’s thesis, intuitionistic analysis, and smooth infinitesimal analysis to argue for a sort of pluralism or relativism about logic. The thesis is that logic is relative to a structure. There are classical structures, intuitionistic structures, and (possibly) paraconsistent structures. Each such structure is a legitimate branch of mathematics, and there does not seem to be an interesting logic that is common to all of them. One main theme of my (...) ante rem structuralism is that any coherent axiomatization describes a structure, or a class of structures. If one weakens the logic, then more axiomatizations become coherent. (shrink)

The answers to the questions in the title depend on the kind of pluralism one is talking about. We will focus here on our own views. The purpose of this article is to trace out some possible connections between these kinds of pluralism. We show how each of them might bear on the other, depending on how certain open questions are resolved.

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.

Paraconsistent logics are characterized by rejection of ex falso quodlibet, the principle of explosion, which states that from a contradiction, anything can be derived. Strikingly these logics have found a wide range of application, despite the misgivings of philosophers as prominent as Lewis and Putnam. Such applications, I will argue, are of significant philosophical interest. They suggest ways to employ these logics in philosophical and scientific theories. To this end I will sketch out a ‘naturalized semantic dialetheism’ following Priest’s early (...) suggestion that the principles governing human natural language may well be inconsistent. There will be a significant deviation from Priest’s work, namely, the assumption of a broadly Chomskyan picture of semantics. This allows us to explain natural language inconsistency tolerance without commitment to contentious views in formal logic. (shrink)

In many real-life applications of logic it is useful to interpret a particular sentence as true together with its negation. If we are talking about classical logic, this situation would force all other sentences to be equally interpreted as true. Paraconsistent logics are exactly those logics that escape this explosive effect of the presence of inconsistencies and allow for sensible reasoning still to take effect. To provide reasonably intuitive semantics for paraconsistent logics has traditionally proven to be a challenge. Possible-translations (...) semantics can meet that challenge by allowing for each interpretation to be composed of multiple scenarios. Using that idea, a logic with a complex semantic behavior can be understood as an appropriate combination of ingredient logics with simpler semantic behaviors into which the original logic is given a collection of translations preserving its soundness. Completeness is then achieved through the judicious choice of the admissible translating mappings. The present note provides interpretation by way of possible-translations semantics for a group of fundamental paraconsistent logics extending the positive fragment of classical propositional logic. The logics PI, Cmin, mbC, bC, mCi and Ci, among others, are all initially presented through their non-truth-functional bivaluation semantics and sequent versions and then split by way of possible-translations semantics based on 3-valued ingredients. (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.

A conjectural inference is proposed, aimed at producing conjectural theorems from formal conjectures assumed as axioms, as well as admitting contradictory statements as conjectural theorems. To this end, we employ Paraconsistent Informational Logic, which provides a formal setting where the notion of conjecture formulated by an epistemic agent can be defined. The paraconsistent systems on which conjectural deduction is based are sequent formulations of the C-systems presented in Carnielli-Marcos [CAR 02b]. Thus, conjectural deduction may also be considered to be a (...) tool for investigating the properties of paraconsistency in general. (shrink)

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)

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)

We propose a logic of abduction that (i) provides an appropriate formalization of the explanatory conditional, and that (ii) captures the defeasible nature of abductive inference. For (i), we argue that explanatory conditionals are non-classical, and rely on Brian Chellas’s work on conditional logics for providing an alternative formalization of the explanatory conditional. For (ii), we make use of the adaptive logics framework for modeling defeasible reasoning. We show how our proposal allows for a more natural reading of explanatory relations, (...) and how it overcomes problems faced by other systems in the literature. (shrink)

We present the inconsistency-adaptive deontic logic DP r , a nonmonotonic logic for dealing with conflicts between normative statements. On the one hand, this logic does not lead to explosion in view of normative conflicts such as O A ∧ O ∼A, O A ∧ P ∼A or even O A ∧ ∼O A. On the other hand, DP r still verifies all intuitively reliable inferences valid in Standard Deontic Logic (SDL). DP r interprets a given premise set ‘as normally (...) as possible’ with respect to SDL. Whereas some SDL-rules are verified unconditionally by DP r , others are verified conditionally. The latter are applicable unless they rely on formulas that turn out to behave inconsistently in view of the premises. This dynamic process is mirrored by the proof theory of DP r. (shrink)

In [BAT 00b], the flat Rescher–Manor consequence relations — the Free, Strong, Argued, C-Based, andWeak consequence relation—were shown to be characterized by inconsistency-adaptive logics defined from the paraconsistent logic CLuN. This provided these consequence relations with a dynamic proof theory. In the present paper we show that the detour via an inconsistency-adaptive logic is not necessary. We present a direct dynamic proof theory, formulated in the language of Classical Logic, and prove its adequacy. The present paper contains the first direct (...) dynamic proof theory for consequence relations that are characterized by an adaptive logic. (shrink)

This paper spells out a dynamic proof format for the pure logic of relevant implication. (A proof is dynamic if a formula derived at some stage need not be derived at a later stage.) The paper illustrates three interesting points. (i) A set of properties that characterizes an inference relation on the (very natural) dynamic proof interpretation, need not characterize the same inference relation (or even any inference relation) on the usual settheoretical interpretation. (ii) A proof format may display an (...) internal dynamics (defeasible conclusions) in the absence of an external dynamics (non-monotonicity). (iii) A monotonic logic may have a non-monotonic characterization. (shrink)

We investigate two large families of logics, differing from each other by the treatment of negation. The logics in one of them are obtained from the positive fragment of classical logic (with or without a propositional constant ff for “the false”) by adding various standard Gentzen-type rules for negation. The logics in the other family are similarly obtained from LJ+, the positive fragment of intuitionistic logic (again, with or without ff). For all the systems, we provide simple semantics which is (...) based on non-deterministic four-valued or three-valued structures, and prove soundness and completeness for all of them. We show that the role of each rule is to reduce the degree of non-determinism in the corresponding systems. We also show that all the systems considered are decidable, and our semantics can be used for the corresponding decision procedures. Most of the extensions of LJ+ (with or without ff) are shown to be conservative over the underlying logic, and it is determined which of them are not. (shrink)

We introduce a family of preferential logics that are useful for handling information with different levels of uncertainty. The corresponding consequence relations are nonmonotonic, paraconsistent, adaptive, and rational. It is also shown that the formalisms in this family can be embedded in corresponding four-valued logics with at most three uncertainty levels, and that reasoning with these logics can be simulated by algorithms for processing circumscriptive theories, such as DLS and SCAN.

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)