87 found
Order:
  1. A Universal Logic Approach to Adaptive Logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
    . In this paper, adaptive logics are studied from the viewpoint of universal logic (in the sense of the study of common structures of logics). The common structure of a large set of adaptive logics is described. It is shown that this structure determines the proof theory as well as the semantics of the adaptive logics, and moreover that most properties of the logics can be proved by relying solely on the structure, viz. without invoking any specific properties of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  2. Inconsistency-Adaptive Logics.Diderik Batens - 1999 - In Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Springer. pp. 445-472.
  3.  24
    A General Characterization of Adaptive Logics.Diderik Batens - 2001 - Logique Et Analyse 173 (175):45-68.
  4.  52
    Frontiers of Paraconsistent Logic.Diderik Batens - 2000
  5.  39
    The Need for Adaptative Logics in Epistemology.Diderik Batens - 2004 - In Shadid Rahman, John Symons, Dov Gabbay & Jean Bendegem (eds.), Logic, Epistemology, and the Unity of Science. Kluwer Academic Publishers. pp. 459-485.
  6.  9
    Towards the Unification of Inconsistency Handling Mechanisms.Diderik Batens - 2000 - Logic and Logical Philosophy 8:5-31.
    It is shown that the consequence relations defined from theRescher-Manor Mechanism are all inconsistency-adaptive logics combined with a specific interpretation schema for the premises. Each of the adaptive logics isobtained by applying a suitable adaptive strategy to the paraconsistent logicCLuN.This result provides all those consequence relations with a proof theory and with a static semantics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  7. A Rich Paraconsistent Extension Of Full Positive Logic.Diderik Batens & Kristof Clercq - 2004 - Logique Et Analyse 47.
     
    Export citation  
     
    Bookmark   18 citations  
  8. Dynamic Dialectical Logics.Diderik Batens - 1989 - In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 187--217.
     
    Export citation  
     
    Bookmark   34 citations  
  9.  95
    Yes Fellows, Most Human Reasoning is Complex.Diderik Batens, Kristof De Clercq, Peter Verdée & Joke Meheus - 2009 - Synthese 166 (1):113-131.
    This paper answers the philosophical contentions defended in Horsten and Welch . It contains a description of the standard format of adaptive logics, analyses the notion of dynamic proof required by those logics, discusses the means to turn such proofs into demonstrations, and argues that, notwithstanding their formal complexity, adaptive logics are important because they explicate an abundance of reasoning forms that occur frequently, both in scientific contexts and in common sense contexts.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10. Paraconsistent extensional propositional logics.Diderik Batens - 1980 - Logique and Analyse 90 (90):195-234.
    Translate
     
     
    Export citation  
     
    Bookmark   34 citations  
  11.  39
    The Adaptive Logic of Compatibility.Diderik Batens & Joke Meheus - 2000 - Studia Logica 66 (3):327-348.
    This paper describes the adaptive logic of compatibility and its dynamic proof theory. The results derive from insights in inconsistency-adaptive logic, but are themselves very simple and philosophically unobjectionable. In the absence of a positive test, dynamic proof theories lead, in the long run, to correct results and, in the short run, sometimes to final decisions but always to sensible estimates. The paper contains a new and natural kind of semantics for S5from which it follows that a specific subset of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  12.  56
    Minimally Abnormal Models in Some Adaptive Logics.Diderik Batens - 2000 - Synthese 125 (1-2):5-18.
    In an adaptive logic APL, based on a (monotonic) non-standardlogic PL the consequences of can be defined in terms ofa selection of the PL-models of . An important property ofthe adaptive logics ACLuN1, ACLuN2, ACLuNs1, andACLuNs2 logics is proved: whenever a model is not selected, this isjustified in terms of a selected model (Strong Reassurance). Theproperty fails for Priest's LP m because its way of measuring thedegree of abnormality of a model is incoherent – correcting thisdelivers the property.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  13.  42
    Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics.Diderik Batens & Joke Meheus - 2001 - Studia Logica 69 (2):221-248.
    Adaptive logics typically pertain to reasoning procedures for which there is no positive test. In [7], we presented a tableau method for two inconsistency-adaptive logics. In the present paper, we describe these methods and present several ways to increase their efficiency. This culminates in a dynamic marking procedure that indicates which branches have to be extended first, and thus guides one towards a decision — the conclusion follows or does not follow — in a very economical way.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  14.  19
    A Formal Logic for Abductive Reasoning.Joke Meheus & Diderik Batens - 2006 - Logic Journal of the IGPL 14 (2):221-236.
    This paper presents and illustrates a formal logic for the abduction of singular hypotheses. The logic has a semantics and a dynamic proof theory that is sound and complete with respect to the semantics. The logic presupposes that, with respect to a specific application, the set of explananda and the set of possible explanantia are disjoint . Where an explanandum can be explained by different explanantia, the logic allows only for the abduction of their disjunction.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  15.  13
    Some Adaptive Logics for Diagnosis.Diderik Batens, Joke Meheus, Dagmar Provijn & Liza Verhoeven - 2003 - Logic and Logical Philosophy 11:39-65.
    A logic of diagnosis proceeds in terms of a set of data and one or more (prioritized) sets of expectancies. In this paper we generalize the logics of diagnosis from [27] and present some alternatives. The former operate on the premises and expectancies themselves, the latter on their consequences.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  16. Embedding And Interpolation For Some Paralogics. The Propositional Case.Diderik Batens, Kristof De Clercq & Natasha Kurtonina - 1999 - Reports on Mathematical Logic:29-44.
    We consider the very weak paracomplete and paraconsistent logics that are obtained by a straightforward weakening of Classical Logic, as well as some of their maximal extensions that are a fragment of Classical Logic. We prove that these logics may be faithfully embedded in Classical Logic , and that the interpolation theorem obtains for them.
     
    Export citation  
     
    Bookmark   15 citations  
  17. Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa.Diderik Batens - 1999 - Springer.
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  18. On a Logic of Induction.Diderik Batens - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):221-247.
    In this paper I present a simple and straightforward logic of induction: a consequence relation characterized by a proof theory and a semantics. This system will be called LI. The premises will be restricted to, on the one hand, a set of empirical data and, on the other hand, a set of background generalizations. Among the consequences will be generalizations as well as singular statements, some of which may serve as predictions and explanations.
     
    Export citation  
     
    Bookmark   8 citations  
  19. A Strengthening of the Rescher--Manor Consequence Relations.Diderik Batens - 2003 - Logique Et Analyse 183:289-313.
  20.  49
    A Dynamic Characterization of the Pure Logic of Relevant Implication.Diderik Batens - 2001 - Journal of Philosophical Logic 30 (3):267-280.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  21.  21
    Logics for Qualitative Inductive Generalization.Diderik Batens - 2011 - Studia Logica 97 (1):61 - 80.
    The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attention is also paid to ways of handling background knowledge, introducing mere conjectures, and the research guiding capabilities of the logics.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  28
    Pluralism in Scientific Problem Solving. Why Inconsistency is No Big Deal.Diderik Batens - 2017 - Humana Mente 10 (32):149-177.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  54
    Against Global Paraconsistency.Diderik Batens - 1990 - Studies in East European Thought 39 (3-4):209-229.
  24.  4
    A Procedural Criterion for Final Derivability in Inconsistency-Adaptive Logics.Diderik Batens - 2005 - Journal of Applied Logic 3 (1):221-250.
  25.  37
    It Might Have Been Classical Logic.Diderik Batens - 2012 - Logique Et Analyse 55 (218):241.
    In this paper, a propositional logic Q is presented. This logic is more attractive than classical propositional logic P for explicating actual proofs. Moreover, while Q and P assign the same consequence set to consistent premise sets, Q assigns a sensible and non-trivial consequence set to inconsistent premise sets.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  12
    Against Global Paraconsistency.Diderik Batens - 1990 - Studies in Soviet Thought 39 (3-4):209-229.
  27.  12
    Adaptive Fregean Set Theory.Diderik Batens - forthcoming - Studia Logica:1-37.
    This paper defines provably non-trivial theories that characterize Frege’s notion of a set, taking into account that the notion is inconsistent. By choosing an adaptive underlying logic, consistent sets behave classically notwithstanding the presence of inconsistent sets. Some of the theories have a full-blown presumably consistent set theory T as a subtheory, provided T is indeed consistent. An unexpected feature is the presence of classical negation within the language.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Frontiers in Paraconsistent Logic.Diderik Batens, Chris Mortensen, Graham Priest & Jean Paul Van Bendegem (eds.) - 2000 - Research Studies Press.
     
    Export citation  
     
    Bookmark   5 citations  
  29.  4
    Blocks. The Clue to Dynamic Aspects of Logic.Diderik Batens - 1995 - Logique and Analyse 150:285-328.
  30.  96
    The Two Envelope Paradox: The Infinite Case.Paul Castell & Diderik Batens - 1994 - Analysis 54 (1):46 - 49.
  31.  50
    The Theory of the Process of Explanation Generalized to Include the Inconsistent Case.Diderik Batens - 2005 - Synthese 143 (1-2):63 - 88.
    . This paper proposes a generalization of the theory of the process of explanation to include consistent as well as inconsistent situations. The generalization is strong, for example in the sense that, if the background theory and the initial conditions are consistent, it leads to precisely the same results as the theory from the lead paper (Halonen and Hintikka 2004). The paper presupposes (and refers to arguments for the view that) inconsistencies constitute problems and that scientists try to resolve them.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  5
    Pushing the Search Paths in the Proofs. A Study in Proof Heuristics.Diderik Batens & Dagmar Provijn - 2003 - Logique Et Analyse 173:113-134.
  33.  26
    Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case.Diderik Batens & Timothy Vermeir - 2002 - Journal of Applied Non-Classical Logics 12 (1):63-84.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  34. Incommensurability is Not a Threat to the Rationality of Science or to the Anti-Dogmatic Tradition.Diderik Batens - 1983 - Philosophica 32.
  35.  6
    On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit.Diderik Batens, Christian Straßer & Peter Verdée - 2009 - Logique Et Analyse 52 (207):281-304.
  36.  21
    Steering Problem Solving Between Cliff Incoherence and Cliff Solitude.Joke Meheus & Diderik Batens - 1996 - Philosophica 58.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  37.  9
    Inconsistency-Adaptive Logies and the Foundation of Non-Monotonic Logic.Diderik Batens - 1994 - Logique Et Analyse 145:57-94.
  38. Some Remarks on the Relation Between Science and Values.Diderik Batens - 1976 - Philosophica 17.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  36
    Paraconsistency and its Relation to Worldviews.Diderik Batens - 1998 - Foundations of Science 3 (2):259-283.
    The paper highlights the import of the paraconsistent movement, list some motivations for its origin, and distinguishes some stands with respect to para-consistency. It then discusses some sources of inconsistency that are specific for worldviews, and the import of the paraconsistent turn for the worldviews enterprise.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  61
    Narrowing Down Suspicion in Inconsistent Premise Sets.Diderik Batens - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):185-209.
    Inconsistency-adaptive logics isolate the inconsistencies that are derivable from a premise set, and restrict the rules of Classical Logic only where inconsistencies are involved. From many inconsistent premise sets, disjunctions of contradictions are derivable no disjunct of which is itself derivable. Given such a disjunction, it is often justified to introduce new premises that state, with a certain degree of confidence, that some of the disjuncts are false. This is an important first step on the road to consistency: it narrows (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  41. The Relevance of Theory-Ladenness and Incommensurability.Diderik Batens - 1983 - Philosophica 31.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  3
    Linguistic and Ontological Measures for Comparing the Inconsistent Parts of Models.Diderik Batens - 1999 - Logique Et Analyse 165:5-33.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  71
    Some Objections to Keith Lehrer's Rule Ir(1).Diderik Batens - 1971 - British Journal for the Philosophy of Science 22 (4):357-362.
  44.  18
    A Diagrammatic Proof Search Procedure as Part of a Formal Approach to Problem Solving.Diderik Batens - 2006 - In L. Magnani (ed.), Model-Based Reasoning in Science and Engineering. College Publications. pp. 2--265.
  45.  21
    New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency.Diderik Batens - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 101--122.
  46.  24
    The Basic Inductive Schema, Inductive Truisms, and the Research-Guiding Capacities of the Logic of Inductive Generalization.Diderik Batens - 2004 - Logique Et Analyse 185:188.
  47.  75
    Some Objections to Keith Lehrer's Rule IR.Diderik Batens - 1971 - British Journal for the Philosophy of Science 22 (4):357-362.
  48.  23
    A Dynamic Semantics for Inconsistency-Adaptive Logics.Diderik Batens - 1998 - Bulletin of the Section of Logic 27 (15-8):5l.
  49.  15
    On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit.Diderik Batens, Christian Strasser & Peter Verdée - 2009 - Logique Et Analyse 52 (207):281-304.
    For Tarski logics, there are simple criteria that enable one to conclude that two premise sets are equivalent. We shall show that the very same criteria hold for adaptive logics, which is a major advantage in comparison to other approaches to defeasible reasoning forms. A related property of Tarski logics is that the extensions of equivalent premise sets with the same set of formulas are equivalent premise sets. This does not hold for adaptive logics. However a very similar criterion does. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  37
    Rationality and Justification.Diderik Batens - 1974 - Philosophica 14 (2):83-103.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 87