TY - Generic T1 - Dynamic Derivations for Sequent-Based Deductive Argumentation T2 - COMMA 2014 Y1 - 2014 A1 - Straßer, Christian A1 - Arieli, Ofer ED - Parsons, Simon ED - Oren, Nir ED - Reed, Chris ED - Cerutti, Federico AB -

We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems. This framework accommodates different languages and logics in which arguments may be represented, supports a variety of attack relations, and tolerates dynamic changes in the argumentation setting by revising derivations of assertions in light of new information.

JA - COMMA 2014 VL - Computational Models of Argument SP - 89–100 ER - TY - Generic T1 - The role of unification in explanations of facts T2 - EPSA Philosophy of Science 2009 Y1 - 2012 A1 - Weber, Erik A1 - Van Bouwel, Jeroen A1 - Lefevere, Merel ED - De Regt, Henk ED - Okasha, Samir ED - Hartmann, Stephan AB -

In the literature on scientific explanation, there is a classical distinction between explanations of facts and explanations of laws. This paper is about explanations of facts. Our aim is to analyse the role of unification in explanations of this kind. We discuss five positions with respect to this role, argue for two of them and refute the three others.

JA - EPSA Philosophy of Science 2009 PB - Springer CY - Amsterdam SP - 403-413 SN - 9789400724037 ER - TY - Generic T1 - Why should I adopt pluralism? Y1 - 2009 A1 - De Langhe, Rogier ED - Garnett, Rob ED - Olsen, Erik ED - Starr, Martha AB -

If the most perplexing thing in the world is a lack of theory, the second mostperplexing must be an abundance of it. This contribution clarifies the notion of pluralism byintroducing an often neglected but crucial distinction between different levels at whichpluralism can be situated. It intends to provide a framework for scholars dealing with thequestion how to manage the divergence of views they are confronted with.

JA - Economic Pluralism PB - Routledge ER - TY - Generic T1 - Inconsistency-Adaptive Logics Y1 - 1999 A1 - Batens, Diderik ED - Orłowska, Ewa AB -

After a general description of adaptive logics and their intended applications, I study the proof theory and semantics of two closely related predicative inconsistency-adaptive logics, ACLuN1 and ACLuN2. To this end, I first describe their monotonic basis: the paraconsistent logic CLuN obtained by dropping the consistency requirement from classical logic. The propositional fragments of these inconsistency-adaptive logics have been studied elsewhere. The predicative versions involve several interesting difficulties that lead to new results.

JA - Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa PB - Physica Verlag (Springer) CY - Heidelberg, New York SP - 445–472 ER -