Switch to: References

Citations of:

An extremely rich paraconsistent logic and the adaptive logic based on it

In Frontiers of Paraconsistent Logic. Research Studies Press. pp. 189-201 (2000)

Add citations

You must login to add citations.
  1. Empirical Progress and Ampliative Adaptive Logics.Joke Meheus - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):193-217.
    In this paper, I present two ampliative adaptive logics: LA and LAk. LA is an adaptive logic for abduction that enables one to generate explanatory hypotheses from a set of observational statements and a set of background assumptions. LAk is based on LA and has the peculiar property that it selects those explanatory hypotheses that are empirically most successful. The aim of LAk is to capture the notion of empirical progress as studied by Theo Kuipers.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  • 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.
  • Designing Visual Languages for Description Logics.Brian R. Gaines - 2009 - Journal of Logic, Language and Information 18 (2):217-250.
    Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted on knowledge representation (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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  
  • 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  
  • Paraconsistency and Analyticity.Carlos A. OLLER - 1999 - Logic and Logical Philosophy 7 (1):91-99.
    William Parry conceived in the early thirties a theory of entail-
    ment, the theory of analytic implication, intended to give a formal expression to the idea that the content of the conclusion of a valid argument must be included in the content of its premises. This paper introduces a system of analytic, paraconsistent and quasi-classical propositional logic that does not validate the paradoxes of Parry’s analytic implication. The interpretation of the expressions of this logic will be given in terms of a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • 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  
  • Adaptive Logics for Question Evocation.Joke Meheus - 2001 - Logique Et Analyse 173 (175):135-164.
  • 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   1 citation  
  • Erotetic Arguments From Inconsistent Premises.Joke Meheus - 1999 - Logique Et Analyse 165 (166):49-80.
  • A Logical Approach to the Analysis of Metaphors.Isabel D'Hanis - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 21--37.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • A General Characterization of Adaptive Logics.Diderik Batens - 2001 - Logique Et Analyse 173 (175):45-68.
  • Inconsistencies and the Dynamics of Science.Joke Meheus - 2003 - Logic and Logical Philosophy 11:129-148.
    It is generally agreed upon today that scientific reasoning, like everyday reasoning, proceeds in a dynamic way: inferences derived at some stage in the reasoning process may at a later stage be rejected. This dynamics may be extrinsic or intrinsic. I shall call it extrinsic when previously derived conclusions are rejected on non-logical grounds, and intrinsic when their rejection is based on a purely logical analysis.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • 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  
     
    Bookmark   5 citations