
Tolerating Deontic Conflicts by Adaptively Restricting InheritanceLogique Et Analyse 219 477506. 2012.

1Which style of reasoning to choose in the face of conflicting information?Journal of Logic and Computation 26 (1). 2013.

10Abduction through semantic tableaux versus abduction through goaldirected proofsTheoria : An International Journal for Theory, History and Fundations of Science 22 (3): 295304. 2009.In this paper, we present the outline for a goaldirected proof procedure for abductive reasoning and compare this procedure with Aliseda’s approach.

11Abduction through Semantic Tableaux versus Abduction through GoalDirected ProofsTheoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (3): 295304. 2007.In this paper, we present a goaldirected proof procedure for abductive reasoning. This procedure will be compared with Aliseda’s approach based on semantic tableaux. We begin with some comments on Aliseda’s algorithms for computing conjunctive abductions and show that they do not entirely live up to their aims. Next we give a concise account of goaldirected proofs and we show that abductive explanations are a natural spinoff of these proofs. Finally, we show that the goaldirected procedure s…Read more

113Abduction through semantic tableaux versus abduction through goaldirected proofsTheoria 22 (3): 295304. 2007.In this paper, we present a goaldirected proof procedure for abductive reasoning. This procedure will be compared with Aliseda’s approach based on semantic tableaux. We begin with some comments on Aliseda’s algorithms for computing conjunctive abductions and show that they do not entirely live up to their aims. Next we give a concise account of goaldirected proofs and we show that abductive explanations are a natural spinoff of these proofs. Finally, we show that the goaldirected procedure s…Read more

65An InconsistencyAdaptive Deontic Logic for Normative ConflictsJournal of Philosophical Logic 42 (2): 285315. 2013.We present the inconsistencyadaptive deontic logic DP r , a nonmonotonic logic for dealing with conflicts between normative statements. On the one hand, this logic does not lead to explosion in view of normative conflicts such as O A ∧ O ∼A, O A ∧ P ∼A or even O A ∧ ∼O A. On the other hand, DP r still verifies all intuitively reliable inferences valid in Standard Deontic Logic (SDL). DP r interprets a given premise set ‘as normally as possible’ with respect to SDL. Whereas some SDLrules are ve…Read more

22Tolerating deontic conflicts by adaptively restricting inheritanceLogique Et Analyse 55 (219): 477. 2012.

7Modelbased reasoning in creative processesIn L. Magnani, N. J. Nersessian & P. Thagard (eds.), ModelBased Reasoning in Scientific Discovery, Kluwer/plenum. pp. 199217. 1999.

14Adaptive Logics and the Integration of Induction and DeductionVienna Circle Institute Yearbook 11 93120. 2004.The aim of this paper is twofold. First, I want to argue that the distinction between induction and deduction is less clearcut than traditionally assumed, and that, moreover, most reasoning processes in the sciences involve an integration of inductive and deductive steps. Next, I want to show how socalled adaptive logics may lead to a better understanding of this integrated use of induction and deduction

The methodological study of discovery and creativity—Some backgroundFoundations of Science 4 (3): 231235. 1999.

7Inconsistencies and the dynamics of scienceLogic and Logical Philosophy 11 (n/a): 129148. 2003.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 nonlogical grounds, and intrinsic when their rejection is based on a purely logical analysis

49On the Acceptance of Problem Solutions Derived from Inconsistent ConstraintsLogic and Logical Philosophy 8 (n/a): 3346. 2000.In this paper, I discuss the main diﬃculties one encounters whensolving problems with inconsistent constraints. I argue that in order to meetthese diﬃculties we need an inconsistencyadaptive logic that enables one toderive as many consequences as possible, but that at the sametime allows one to determine which consequences can be accepted. I showthat the inconsistencyadaptive logic ANA satisﬁes these requirements

32The Positivists' Approach to Scientific DiscoveryPhilosophica 64. 1999.In the early eighties, philosophers of science came to the conviction that discovery and creativity form an integral part of scientific rationality. Ever since, the?positivists? have been criticised for their neglect of these topics. It is the aim of this paper to show that the positivists' approach to scientific discovery is not only much richer than is commonly recognized, but that they even defended an important thesis which some of the `friends of discovery' seem to have forgotten. Contrary …Read more

34Deductive and ampliative adaptive logics as tools in the study of creativityFoundations of Science 4 (3): 325336. 1999.In this paper, I argue that logic hasan important role to play in the methodological studyof creativity. I also argue, however, that onlyspecial kinds of logic enable one to understand thereasoning involved in creative processes. I show thatdeductive and ampliative adaptive logics areappropriate tools in this respect.

An extremely rich paraconsistent logic and the adaptive logic based on itIn Frontiers of Paraconsistent Logic, Research Studies Press. pp. 189201. 2000.

5IntroductionLogic and Logical Philosophy 21 (4): 319322. 2012.This introduction clariﬁes the ideas behind the Logic, Reasoningand Rationality congress from which the papers in this issue are selected.These ideas are situated in the history of 20th century philosophy. We also give an overview of the papers in this issue.

24Empirical progress and ampliative adaptive logicsPoznan Studies in the Philosophy of the Sciences and the Humanities 83 (1): 193217. 2005.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.

15Adaptive Logic in Scientific Discovery: the Case of ClaudiusLogique and Analyse 143 359389. 1993.

50Discussive adaptive logics: Handling internal and external inconsistenciesPoznan Studies in the Philosophy of the Sciences and the Humanities 91 (1): 211223. 2006.In this paper, I present the discussive adaptive logic DLI r . As is the case for other discussive logics, the intended application context of DLI r is the interpretation of discussions. What is new about the system is that it does not lead to explosion when some of the premises are selfcontradictory. It is argued that this is important in view of the fact that human reasoners are not logically omniscient, and hence, that it may not be evident to discover the inconsistencies in one's beliefs. I…Read more