Switch to: References

Add citations

You must login to add citations.
  1. 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   12 citations  
  • Concerning Peter Vickers’s Recent Treatment of ‘Paraconsistencitis’.Dunja Šešelja & Christian Straßer - 2014 - International Studies in the Philosophy of Science 28 (3):325-340.
  • 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  
  • 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   63 citations  
  • A general characterization of adaptive logics.Diderik Batens - 2001 - Logique Et Analyse 173 (175):45-68.
  • 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   2 citations