89 research outputs found

    A formal logic for the abduction of singular hypotheses

    Get PDF

    On the acceptance of problem solutions derived from inconsistent constraints

    Get PDF
    In this paper, I discuss the main difficulties one encounters when solving problems with inconsistent constraints. I argue that in order to meet these difficulties we need an inconsistency-adaptive logic that enables one to derive as many (interesting) consequences as possible, but that at the same time allows one to determine which consequences can be accepted. I show that the inconsistency-adaptive logic ANA satisfies these requirements

    An adaptive logic based on Jakowski's approach to paraconsistency

    Get PDF

    Abduction through semantic tableaux versus abduction through goal-directed proofs

    Get PDF

    In-world realism vs. reflective realism

    Get PDF

    A formal logic for abductive reasoning

    Get PDF

    Introduction

    Get PDF
    This introduction clarifies the ideas behind the Logic, Reasoning and Rationality congress from which the papers in this issue are selected. These ideas are situated in the history of 20th century philosophy (Vienna Circle, Kuhn, ...). We also give an overview of the papers in this issue
    corecore