Combining classical logic, paraconsistency and relevance

We present a logic with has both a simple semantics and a cut-free Gentzen-type system on one hand, and which combines relevance logics, da Costa's paraconsistent logics, and classical logic on the other. We further show that the logic has many other nice properties, and that its language is ideal from the semantic point of view.     

Anti-intuitionism and paraconsistency

This paper aims to help to elucidate some questions on the duality between the intuitionistic and the paraconsistent paradigms of thought, proposing some new classes of anti-intuitionistic propositional logics and investigating their relationships with the original intuitionistic logics. It is shown here that anti-intuitionistic logics are paraconsistent, and in particular we develop a first anti-intuitionistic hierarchy starting with Johansson's dual calculus and ending up with Gödel's three-valued dual calculus, showing that no calculus of this hierarchy allows the introduction of an internal implication symbol. Comparing these anti-intuitionistic logics with well-known paraconsistent calculi, we prove that they do not coincide with any of these. On the other hand, by dualizing the hierarchy of the paracomplete (or maximal weakly intuitionistic) many-valued logics (Iⁿ)_nω we show that the anti-intuitionistic hierarchy (I^n*)_nω obtained from (Iⁿ)_nω does coincide with the hierarchy of the many-valued paraconsistent logics (Pⁿ)_nω. Fundamental properties of our method are investigated, and we also discuss some questions on the duality between the intuitionistic and the paraconsistent paradigms, including the problem of self-duality. We argue that questions of duality quite naturally require refutative systems (which we call elenctic systems) as well as the usual demonstrative systems (which we call deictic systems), and multiple-conclusion logics are used as an appropriate environment to deal with them.     

Dynamic epistemic logic with branching temporal structures

van Bentham et al. (Merging frameworks for interaction: DEL and ETL, 2007) provides a framework for generating the models of Epistemic Temporal Logic (ETL: Fagin et al., Reasoning about knowledge, 1995; Parikh and Ramanujam, Journal of Logic, Language, and Information, 2003) from the models of Dynamic Epistemic Logic (DEL: Baltag et al., in: Gilboa (ed.) Tark 1998, 1998; Gerbrandy, Bisimulations on Planet Kripke, 1999). We consider the logic TDEL on the merged semantic framework, and its extension with the labeled past-operator “P _ϵ” (“The event ϵ has happened before which. . .”). To axiomatize the extension, we introduce a method for transforming a given model into a normal form in a suitable sense. These logics suggest further applications of DEL in the theory of agency, the theory of learning, etc.     

Perfect validity,entailment and paraconsistency

This paper treats entailment as a subrelation of classical consequence and deducibility. Working with a Gentzen set-sequent system, we define an entailment as a substitution instance of a valid sequent all of whose premisses and conclusions are necessary for its classical validity. We also define a sequent Proof as one in which there are no applications of cut or dilution. The main result is that the entailments are exactly the Provable sequents. There are several important corollaries. Every unsatisfiable set is Provably inconsistent. Every logical consequence of a satisfiable set is Provable therefrom. Thus our system is adequate for ordinary mathematical practice. Moreover, transitivity of Proof fails upon accumulation of Proofs only when the newly combined premisses are inconsistent anyway, or the conclusion is a logical truth. In either case Proofs that show this can be effectively determined from the Proofs given. Thus transitivity fails where it least matters — arguably, where it ought to fail! We show also that entailments hold by virtue of logical form insufficient either to render the premisses inconsistent or to render the conclusion logically true. The Lewis paradoxes are not Provable. Our system is distinct from Anderson and Belnap's system of first degree entailments, and Johansson's minimal logic. Although the Curry set paradox is still Provable within naive set theory, our system offers the prospect of a more sensitive paraconsistent reconstruction of mathematics. It may also find applications within the logic of knowledge and belief.     

Special issue: Combining probability and logic

This editorial explains the scope of the special issue and provides a thematic introduction to the contributed papers.     

Aristotle's Thesis between paraconsistency and modalization

If the arrow → stands for classical relevant implication, Aristotle's Thesis ¬(A→¬A) is inconsistent with the Law of Simplification (AB)→B accepted by relevantists, but yields an inconsistent non-trivial extension of the system of entailment E. Such paraconsistent extensions of relevant logics have been studied by R. Routley, C. Mortensen and R. Brady. After examining the semantics associated to such systems, it is stressed that there are nonclassical treatments of relevance which do not support Simplification. The paper aims at showing that Aristotle's Thesis may receive a sense if the arrow is defined as strict implication endowed with the proviso that the clauses of the conditional have the same modal status, i.e. the same position in the Aristotelian square. It is so grasped, in different form, the basic idea of relevant logic that the clauses of a true conditional should have something in common. It is proved that thanks to such definition of the arrow Aristotle's Thesis subjoined to the minimal normal system K yields a system equivalent to the deontic system KD.     

A temporal logic for reasoning about processes and plans

Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first-order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of causality, continuous change in quantities, the persistence of facts (the frame problem), and the relationship between tasks and actions. It may be possible to implement a temporal-inference machine based on this logic, which keeps track of several “maps” of a time line, one per possible history.     

Quasi-truth,paraconsistency, and the foundations of science

In order to develop an account of scientific rationality, two problems need to be addressed: (i) how to make sense of episodes of theory change in science where the lack of a cumulative development is found, and (ii) how to accommodate cases of scientific change where lack of consistency is involved. In this paper, we sketch a model of scientific rationality that accommodates both problems. We first provide a framework within which it is possible to make sense of scientific revolutions, but which still preserves some (partial) relations between old and new theories. The existence of these relations help to explain why the break between different theories is never too radical as to make it impossible for one to interpret the process in perfectly rational terms. We then defend the view that if scientific theories are taken to be quasi-true, and if the underlying logic is paraconsistent, it’s perfectly rational for scientists and mathematicians to entertain inconsistent theories without triviality. As a result, as opposed to what is demanded by traditional approaches to rationality, it’s not irrational to entertain inconsistent theories. Finally, we conclude the paper by arguing that the view advanced here provides a new way of thinking about the foundations of science. In particular, it extends in important respects both coherentist and foundationalist approaches to knowledge, without the troubles that plague traditional views of scientific rationality.     

Combining descriptive and functional analysis logic to evaluate idiosyncratic variables maintaining aggression

For one boy with developmental disabilities, we conducted naturalistic observations and saw that aggression occurred during instructional task presentations. Next, in an experimental analysis, we manipulated the manner in which instructions were presented. Results showed that differentially high rates of aggression were observed when the manner in which instructions were presented was manipulated. Based on the results of the assessment, a successful intervention was developed that incorporated the idiosyncratic finding observed during both the naturalistic observations and the experimental analysis. Copyright © 2004 John Wiley & Sons, Ltd.     

Axiomatising first-order temporal logic: Until and since over linear time

We present an axiomatisation for the first-order temporal logic with connectives Until and Since over the class of all linear flows of time. Completeness of the axiom system is proved.We also add a few axioms to find a sound and complete axiomatisation for the first order temporal logic of Until and Since over rational numbers time.The author would like to thank Dov Gabbay and Ian Hodkinson for helpful discussions on this material. The work was supported by the U.K. Science and Engineering Research Council under the Metatem project (GR/F/28526).Presented by Dov Gabbay     

Combinations of tense and deontic modality: On the approach to temporal logic with historical necessity and conditional obligation

We consider three infinite hierarchies of what I call “two-dimensional temporal logics with explicit realization operators”, viz. (i) one without historical or deontic modalities, (ii) one with historical but without deontic modalities, and (iii) one with historical and with dyadic deontic modalities for conditional obligation and permission. Sound and complete axiomatizations are obtained for all three hierarchies relative to a simplified version of the finite co-ordinate-system semantics given for so-called T × W logic of historical necessity in [L. Åqvist, The logic of historical necessity as founded on two-dimensional modal tense logic, J. Philos. Logic 28 (1999) 329–369].