86 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.  25
    A General Characterization of Adaptive Logics.Diderik Batens - 2001 - Logique Et Analyse 173 (175):45-68.
  3.  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.
  4.  96
    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   9 citations  
  5.  58
    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   16 citations  
  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.  41
    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  
  8.  46
    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  
  9.  20
    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   11 citations  
  10.  54
    Against Global Paraconsistency.Diderik Batens - 1990 - Studies in East European Thought 39 (3-4):209-229.
  11.  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  
  12.  12
    Against Global Paraconsistency.Diderik Batens - 1990 - Studies in Soviet Thought 39 (3-4):209-229.
  13.  99
    The Two Envelope Paradox: The Infinite Case.Paul Castell & Diderik Batens - 1994 - Analysis 54 (1):46 - 49.
  14.  50
    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  
  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.
     
    Export citation  
     
    Bookmark   8 citations  
  16.  22
    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  
  17.  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  
  18. A Strengthening of the Rescher--Manor Consequence Relations.Diderik Batens - 2003 - Logique Et Analyse 183:289-313.
  19.  51
    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  
  20.  4
    Blocks. The Clue to Dynamic Aspects of Logic.Diderik Batens - 1995 - Logique and Analyse 150:285-328.
  21.  30
    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  
  22.  4
    A Procedural Criterion for Final Derivability in Inconsistency-Adaptive Logics.Diderik Batens - 2005 - Journal of Applied Logic 3 (1):221-250.
  23.  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  
  24.  38
    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   5 citations  
  25.  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  
  26.  9
    Inconsistency-Adaptive Logies and the Foundation of Non-Monotonic Logic.Diderik Batens - 1994 - Logique Et Analyse 145:57-94.
  27.  5
    Pushing the Search Paths in the Proofs. A Study in Proof Heuristics.Diderik Batens & Dagmar Provijn - 2003 - Logique Et Analyse 173:113-134.
  28. Incommensurability is Not a Threat to the Rationality of Science or to the Anti-Dogmatic Tradition.Diderik Batens - 1983 - Philosophica 32.
  29.  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.
  30.  63
    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  
  31.  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.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  28
    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.
  33.  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  
  34.  22
    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.
  35.  40
    Rationality and Justification.Diderik Batens - 1974 - Philosophica 14 (2):83-103.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  23
    A Dynamic Semantics for Inconsistency-Adaptive Logics.Diderik Batens - 1998 - Bulletin of the Section of Logic 27 (15-8):5l.
  37.  22
    Rationality and Ethical Rationality.Diderik Batens - 1978 - Philosophica 22:23-45.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  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  
  39.  71
    Some Objections to Keith Lehrer's Rule Ir(1).Diderik Batens - 1971 - British Journal for the Philosophy of Science 22 (4):357-362.
  40.  79
    Some Objections to Keith Lehrer's Rule IR.Diderik Batens - 1971 - British Journal for the Philosophy of Science 22 (4):357-362.
  41.  25
    Studies in the Logic of Induction and in the Logic of Explanation: Containing a New Theory of Meaning Relations.Diderik Batens - 1975 - De Tempel.
  42.  39
    A Completeness-Proof Method for Extensions of the Implicational Fragment of the Propositional Calculus.Diderik Batens - 1980 - Notre Dame Journal of Formal Logic 21 (3):509-517.
  43.  39
    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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  23
    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  
     
    Bookmark   1 citation  
  45.  13
    The Paradoxes of Confirmation.Diderik Batens - 1971 - Revue Internationale de Philosophie 25 (95/96):101-117.
    A distinction is made between the internal paradox (inconsistency of our intuitions) and the external one (no explicatum captures all our intuitions). seemingly counterintuitive aspects of carnap's inductive logic (external paradox) are shown to be sound. considering the purpose of formulating an hypothesis, and its intended competitors, it is explained why nicod's criterion seems plausible (internal paradox). incidentally baumer's theory (bjps, 15) is proved to violate the equivalence condition.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Abduction and the Process of Scientific Discovery.Diderik Batens - 2007 - Centro De Filosofia Das Ciuencias Da U. De Lisboa.
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  16
    Adaptive Fregean Set Theory.Diderik Batens - 2020 - Studia Logica 108 (5):903-939.
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  22
    Adaptieve logica's. Een precieze benadering van vertrouwde maar door logici verwaarloosde redeneervormen.Diderik Batens - 2003 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 95:174-189.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. Abduction Logics: Illustrating Pitfalls of Defeasible Methods.Diderik Batens - 2017 - In Gillman Payette & Rafal Urbaniak (eds.), Applications of Formal Philosophy. The Road Less Travelled. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  50. A Rich Paraconsistent Extension Of Full Positive Logic.Diderik Batens & Kristof Clercq - 2004 - Logique Et Analyse 47.
     
    Export citation  
     
    Bookmark   19 citations  
1 — 50 / 86