84 found
Order:
  1.  53
    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 (6 more)  
     
    Export citation  
     
    My bibliography   25 citations  
  2.  36
    Frontiers of Paraconsistent Logic.Diderik Batens - 2000
    Direct download  
     
    Export citation  
     
    My bibliography   15 citations  
  3.  13
    A General Characterization of Adaptive Logics.Diderik Batens - 2001 - Logique Et Analyse 173 (175):45-68.
  4.  26
    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.
  5.  71
    Yes Fellows, Most Human Reasoning is Complex.Batens Diderik, Clercq Kristof De, Verdée Peter & Meheus Joke - 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 (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  6. Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa.Diderik Batens - 1999 - Springer.
    Translate
     
     
    Export citation  
     
    My bibliography   8 citations  
  7. A Rich Paraconsistent Extension Of Full Positive Logic.Diderik Batens & Kristof Clercq - 2004 - Logique Et Analyse 47.
     
    Export citation  
     
    My bibliography   9 citations  
  8. 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  
     
    My bibliography   8 citations  
  9.  31
    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 (7 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  10.  20
    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 (8 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  11.  4
    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 207:281-304.
  12.  63
    Some Objections to Keith Lehrer's Rule Ir(1).Diderik Batens - 1971 - British Journal for the Philosophy of Science 22 (4):357-362.
  13. Incommensurability is Not a Threat to the Rationality of Science or to the Anti-Dogmatic Tradition.Diderik Batens - 1983 - Philosophica 32.
    Direct download  
     
    Export citation  
     
    My bibliography  
  14. Inconsistency-Adaptive Logics.Diderik Batens - 1999 - In Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Springer. pp. 445-472.
  15. Some Remarks on the Relation Between Science and Values.Diderik Batens - 1976 - Philosophica 17.
    Direct download  
     
    Export citation  
     
    My bibliography  
  16. The Relevance of Theory-Ladenness and Incommensurability.Diderik Batens - 1983 - Philosophica 31.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  17. Frontiers in Paraconsistent Logic.Diderik Batens, Chris Mortensen, Graham Priest & Jean Paul Van Bendegem (eds.) - 2000 - Research Studies Press.
     
    Export citation  
     
    My bibliography   3 citations  
  18.  3
    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 (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  19.  1
    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 (8 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  20.  3
    Blocks. The Clue to Dynamic Aspects of Logic.Diderik Batens - 1995 - Logique and Analyse 150:285-328.
  21.  8
    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.
  22.  17
    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  
     
    My bibliography   1 citation  
  23.  4
    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  
     
    My bibliography   4 citations  
  24. 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  
     
    My bibliography   7 citations  
  25.  65
    Some Objections to Keith Lehrer's Rule IR.Diderik Batens - 1971 - British Journal for the Philosophy of Science 22 (4):357-362.
  26.  42
    Against Global Paraconsistency.Diderik Batens - 1990 - Studies in East European Thought 39 (3-4):209-229.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  27.  37
    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 (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  28. Paraconsistent extensional propositional logics.Diderik Batens - 1980 - Logique and Analyse 90 (90):195-234.
    Translate
     
     
    Export citation  
     
    My bibliography   8 citations  
  29.  28
    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 (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  30.  85
    The Two Envelope Paradox: The Infinite Case.Paul Castell & Diderik Batens - 1994 - Analysis 54 (1):46 - 49.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  31.  46
    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 (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  32.  4
    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 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  
     
    My bibliography   1 citation  
  33.  21
    Introduction and Survey of Contributions to This Issue.Diderik Batens - 1976 - Philosophica 18.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  34.  21
    Outline of a Theory of Meaning: Semantical and Contextual.Diderik Batens - 1977 - Philosophica 19.
    Direct download  
     
    Export citation  
     
    My bibliography  
  35.  6
    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.
  36.  15
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  37.  12
    First World Congress on Paraconsistency.Diderik Batens, Chris Mortenson, Graham Priest, Jean Paul Van Bendegem, Joke Meheus, Joachim Van Meirvenne & Erik Weber - 1996 - Studia Logica 56 (291).
  38.  17
    Editorial Preface.Diderik Batens - 1987 - Philosophica 40 (1):1-1.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  39.  21
    On the Epistemological Justification of Pluralism and Tolerance.Diderik Batens - 2000 - Philosophica 65.
    Direct download  
     
    Export citation  
     
    My bibliography  
  40.  26
    Rationality and Justification.Diderik Batens - 1974 - Philosophica 14 (2):83-103.
    Direct download  
     
    Export citation  
     
    My bibliography  
  41.  22
    Relevant Implication and the Weak Deduction Theorem.Diderik Batens - 1987 - Studia Logica 46 (3):239 - 245.
    It is shown that the implicational fragment of Anderson and Belnap's R, i.e. Church's weak implicational calculus, is not uniquely characterized by MP (modus ponens), US (uniform substitution), and WDT (Church's weak deduction theorem). It is also shown that no unique logic is characterized by these, but that the addition of further rules results in the implicational fragment of R. A similar result for E is mentioned.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  42.  8
    Against Global Paraconsistency.Diderik Batens - 1990 - Studies in Soviet Thought 39 (3-4):209-229.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  18
    Contextual Problem Solving and Adaptive Logics in Creative Processes.Diderik Batens - 1999 - Philosophica 64.
    Creativity is commonly seen as beyond the scope of rationality. In the present paper, it is argued that available insights in epistemology and available results in logic enable us to incorporate creativity within an independently sensible view on human rationality.
    Direct download  
     
    Export citation  
     
    My bibliography  
  44.  17
    A Dynamic Semantics for Inconsistency-Adaptive Logics.Diderik Batens - 1998 - Bulletin of the Section of Logic 27 (15-8):5l.
  45.  11
    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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  46.  4
    Inconsistency-Adaptive Logies and the Foundation of Non-Monotonic Logic.Diderik Batens - 1994 - Logique Et Analyse 145:57-94.
  47. Theory and Experiment Recent Insights and New Perspectives on Their Relation.Diderik Batens, Jean Paul van Bendegem & International Union of the History and Philosophy of Science - 1988
     
    Export citation  
     
    My bibliography   1 citation  
  48.  15
    Some Proposals for the Solution of the Carnap-Popper Discussion on 'Inductive Logic'.Diderik Batens - 1968 - Philosophica 6.
    Direct download  
     
    Export citation  
     
    My bibliography  
  49.  18
    Problems in Rationality. An Introduction to This Issue.Diderik Batens & Hugo Van den Enden - 1974 - Philosophica 14.
    Direct download  
     
    Export citation  
     
    My bibliography  
  50.  13
    In Philosophy of Science.Diderik Batens - 2008 - In Martin Curd & Stathis Psillos (eds.), The Routledge Companion to Philosophy of Science. Routledge. pp. 47.
1 — 50 / 84