76 found
Sort by:
  1. Diderik Batens (forthcoming). Propositional Logic Extended with a Pedagogically Useful Relevant Implication. Logic and Logical Philosophy.
    First and foremost, this paper concerns the combination of classical propositional logic with a relevant implication. The proposed combination is simple and transparent from a proof theoretic point of view and at the same time extremely useful for relating formal logic to natural language sentences. A specific system will be presented and studied, also from a semantic point of view. The last sections of the paper contain more general considerations on combining classical propositional logic with a relevant logic that has (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Diderik Batens (2013). New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency. In. In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. 101--122.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Diderik Batens (2012). It Might Have Been Classical Logic. 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)  
     
    My bibliography  
     
    Export citation  
  4. Diderik Batens (2011). Logics for Qualitative Inductive Generalization. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Diderik Batens, Kristof De Clercq, Peter Verdée & Joke Meheus (2009). Yes Fellows, Most Human Reasoning is Complex. Synthese 166 (1):113-131.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Diderik Batens, Kristof De Clercq, Peter Verdée & Joke Meheus (2009). Yes Fellows, Most Human Reasoning is Complex. Synthese 166 (1):113 - 131.
    This paper answers the philosophical contentions defended in Horsten and Welch (2007, Synthese, 158, 41–60). 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.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  7. Diderik Batens, Christian Straßer & Peter Verdée (2009). On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit. Logique Et Analyse 207:281-304.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Diderik Batens, Christian Strasser & Peter Verdée (2009). On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit. 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  
     
    My bibliography  
     
    Export citation  
  9. Diderik Batens (2008). In Philosophy of Science. In Martin Curd & Stathis Psillos (eds.), The Routledge Companion to Philosophy of Science. Routledge. 47.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Diderik Batens (2007). Abduction and the Process of Scientific Discovery. Centro De Filosofia Das Ciuencias Da U. De Lisboa.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  11. Diderik Batens (2007). A Universal Logic Approach to Adaptive Logics. 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)  
     
    My bibliography  
     
    Export citation  
  12. Diderik Batens (2007). Content Guidance in Formal Problem Solving. In Abduction and the Process of Scientific Discovery. Centro De Filosofia Das Ciuencias Da U. De Lisboa. 121-156.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  13. Diderik Batens, Christian Edward Mortensen, Graham Priest & Jean-Paul Van Bendegem, Frontiers of Paraconsistent Logic.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Diderik Batens (2006). A Diagrammatic Proof Search Procedure as Part of a Formal Approach to Problem Solving. In L. Magnani (ed.), Model-Based Reasoning in Science and Engineering. College Publications. 2--265.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Diderik Batens (2006). Narrowing Down Suspicion in Inconsistent Premise Sets. 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)  
     
    My bibliography  
     
    Export citation  
  16. Joke Meheus & Diderik Batens (2006). A Formal Logic for Abductive Reasoning. Logic Journal of the Igpl 14 (2):221-236.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Diderik Batens (2005). On a Logic of Induction. 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)  
     
    My bibliography  
     
    Export citation  
  18. Diderik Batens (2005). The Theory of the Process of Explanation Generalized to Include the Inconsistent Case. 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)  
     
    My bibliography  
     
    Export citation  
  19. Diderik Batens (2004). The Basic Inductive Schema, Inductive Truisms, and the Research-Guiding Capacities of the Logic of Inductive Generalization. Logique Et Analyse 185:188.
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Diderik Batens (2004). The Need for Adaptative Logics in Epistemology. In Shadid Rahman, John Symons, Dov Gabbay & Jean Bendegem (eds.), Logic, Epistemology, and the Unity of Science. Kluwer. 459-485.
  21. Diderik Batens (2003). Adaptieve logica's. Een precieze benadering van vertrouwde maar door logici verwaarloosde redeneervormen. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 95:174-189.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  22. Diderik Batens (2003). A Strengthening of the Rescher--Manor Consequence Relations. Logique Et Analyse 183:289-313.
  23. Diderik Batens (2003). Criteria Causing Inconsistencies. General Gluts as Opposed to Negation Gluts. Logic and Logical Philosophy 11:5-37.
    This paper studies the question: How should one handle inconsistencies that derive from the inadequacy of the criteria by which one approaches the world. I compare several approaches. The adaptive logics defined from CLuN appear to be superior to the others in this respect. They isolate inconsistencies rather than spreading them, and at the same time allow for genuine deductive steps from inconsistent and mutually inconsistent premises. Yet, the systems based on CLuN seem to introduce an asymmetry betweennegated and non-negated (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  24. Diderik Batens, Joke Meheus, Dagmar Provijn & Liza Verhoeven (2003). Some Adaptive Logics for Diagnosis. 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)  
     
    My bibliography  
     
    Export citation  
  25. Diderik Batens & Dagmar Provijn (2003). Pushing the Search Paths in the Proofs. A Study in Proof Heuristics. Logique Et Analyse 173:113-134.
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Diderik Batens & Timothy Vermeir (2002). Direct Dynamic Proofs for the Rescher-Manor Consequence Relations: The Flat Case. Journal of Applied Non-Classical Logics 12 (1):63-84.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  27. Jean Van Bendegem, Diderik Batens & J. Perzanowski (2002). First Flemish-Polish Logico-Philosophical Workshop 1999. Logique Et Analyse 42:165-166.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Diderik Batens (2001). A Dynamic Characterization of the Pure Logic of Relevant Implication. 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 (9 more)  
     
    My bibliography  
     
    Export citation  
  29. Diderik Batens (2001). A General Characterization of Adaptive Logics. Logique Et Analyse 173 (175):45-68.
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Diderik Batens (2001). Towards the Unification of Inconsistency Handling Mechanisms. Logic and Logical Philosophy 8:5-31.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Diderik Batens & Joke Meheus (2001). Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics. 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)  
     
    My bibliography  
     
    Export citation  
  32. Jean Van Bendegem, Diderik Batens, G. Priest & C. Mortensen (2001). A Selection of Papers Presented at the First World Congress on Paraconsistency 1997. Logique Et Analyse 41:161-163.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Diderik Batens (2000). Minimally Abnormal Models in Some Adaptive Logics. 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)  
     
    My bibliography  
     
    Export citation  
  34. Diderik Batens (2000). On the Epistemological Justification of Pluralism and Tolerance. Philosophica 65.
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Diderik Batens & Joke Meheus (2000). The Adaptive Logic of Compatibility. 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)  
     
    My bibliography  
     
    Export citation  
  36. Diderik Batens, Chris Mortensen, Graham Priest & Jean Paul Van Bendegem (eds.) (2000). Frontiers in Paraconsistent Logic. Research Studies Press.
    No categories
     
    My bibliography  
     
    Export citation  
  37. Diderik Batens (1999). Contextual Problem Solving and Adaptive Logics in Creative Processes. 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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Diderik Batens (1999). Inconsistency-Adaptive Logics. In Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Springer. 445-472.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  39. Diderik Batens (1999). Linguistic and Ontological Measures for Comparing the Inconsistent Parts of Models. Logique Et Analyse 165:5-33.
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. Diderik Batens (1999). Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Springer.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  41. Diderik Batens (1998). A Dynamic Semantics for Inconsistency-Adaptive Logics. Bulletin of the Section of Logic 27 (15-8):5l.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. Diderik Batens (1998). Paraconsistency and its Relation to Worldviews. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  43. Diderik Batens (1997). Inconsistencies and Beyond. A Logical-Philosophical Discussion. Revue Internationale de Philosophie 51 (200):259-273.
    No categories
     
    My bibliography  
     
    Export citation  
  44. Diderik Batens, Chris Mortenson, Graham Priest, Jean Paul Van Bendegem, Joke Meheus, Joachim Van Meirvenne & Erik Weber (1996). Call for Papers First World Congress on Paraconsistency, Gent, Belgium 1997. Journal of Applied Non-Classical Logics 6 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Diderik Batens, Chris Mortenson, Graham Priest, Jean Paul Van Bendegem, Joke Meheus, Joachim Van Meirvenne & Erik Weber (1996). First World Congress on Paraconsistency. Studia Logica 56 (291).
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Joke Meheus & Diderik Batens (1996). Steering Problem Solving Between Cliff Incoherence and Cliff Solitude. Philosophica 58.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. Diderik Batens (1995). Blocks. The Clue to Dynamic Aspects of Logic. Logique and Analyse 150:285-328.
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. Diderik Batens (1994). Inconsistency-Adaptive Logies and the Foundation of Non-Monotonic Logic. Logique Et Analyse 145:57-94.
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. Paul Castell & Diderik Batens (1994). The Two Envelope Paradox: The Infinite Case. Analysis 54 (1):46 - 49.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  50. Diderik Batens (1990). Against Global Paraconsistency. Studies in East European Thought 39 (3-4):209-229.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 76