<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van De Putte, Frederik</style></author><author><style face="normal" font="default" size="100%">Beirlaen, Mathieu</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive Deontic Logics</style></title><secondary-title><style face="normal" font="default" size="100%">Handbook of Deontic Logic and Normative Systems</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">In Press</style></year></dates><edition><style face="normal" font="default" size="100%">1</style></edition><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><volume><style face="normal" font="default" size="100%">2</style></volume><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Vreese, Leen</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Faucher, Luc</style></author><author><style face="normal" font="default" size="100%">Forest, Denis</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Against the disorder/nondisorder dichotomy</style></title><secondary-title><style face="normal" font="default" size="100%">Defining Mental Disorders: Jerome Wakefield and his critics.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">In Press</style></year></dates><publisher><style face="normal" font="default" size="100%">MIT Press</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive Fregean Set Theory</style></title><secondary-title><style face="normal" font="default" size="100%">Studia Logica</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2020</style></year></dates><volume><style face="normal" font="default" size="100%">108</style></volume><pages><style face="normal" font="default" size="100%">903–939 (e-published 10 NOV 2019)</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper defines provably non-trivial theories that characterize Frege's notion of a set, taking into account that the notion is inconsistent. By choosing an adaptive underlying logic, consistent sets behave classically notwithstanding the presence of inconsistent sets. Some of the theories have a full-blown presumably consistent set theory &lt;em&gt;T&lt;/em&gt; as a subtheory, provided &lt;em&gt;T&lt;/em&gt; is indeed consistent. An unexpected feature is the presence of classical negation within the language.&lt;/p&gt;</style></abstract><notes><style face="normal" font="default" size="100%">Published online: 10 November 2019</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van De Putte, Frederik</style></author><author><style face="normal" font="default" size="100%">Beirlaen, Mathieu</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive Deontic Logics: A Survey</style></title><secondary-title><style face="normal" font="default" size="100%">IfCoLog Journal of Logics and their Applications</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2019</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.collegepublications.co.uk/downloads/ifcolog00032.pdf</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">6</style></volume><pages><style face="normal" font="default" size="100%">523-608</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><section><style face="normal" font="default" size="100%">523</style></section></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Rafał Urbaniak</style></author><author><style face="normal" font="default" size="100%">Gillman Payette</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Abduction Logics Illustrating Pitfalls Of Defeasible Methods</style></title><secondary-title><style face="normal" font="default" size="100%">Applications of formal philosophy: the road less travelled</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Logic argumentation &amp; reasoning</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Berlin</style></pub-location><volume><style face="normal" font="default" size="100%">14</style></volume><pages><style face="normal" font="default" size="100%">169–193</style></pages><isbn><style face="normal" font="default" size="100%">978-3-319-58507-9,331958507X,978-3-319-58505-5</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">On the one hand this paper offers an introduction to adaptive logics, focussing on properties that are imposed upon adaptive logics by the fact that they explicate defeasible reasoning. On the other hand new adaptive logics of abduction are presented and employed to illustrate those properties. These logics were developed in view of the criticism to existing adaptive logics of abduction.</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author><author><style face="normal" font="default" size="100%">Beirlaen, Mathieu</style></author><author><style face="normal" font="default" size="100%">Van De Putte, Frederik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive Logic Characterizations of Input/output Logic</style></title><secondary-title><style face="normal" font="default" size="100%">Studia Logica</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2016</style></year></dates><volume><style face="normal" font="default" size="100%">104</style></volume><pages><style face="normal" font="default" size="100%">869-916</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We translate the unconstrained and constrained input/output-logics from [17, 18] to reflexive modal logics, using adaptive logics for the constrained case. The resulting reformulation has various advantages. First, we obtain a proof-theoretic (dynamic) characterization of input/output logics. Second, we demonstrate that our modal framework gives naturally rise to useful variants. Finally, the modal logics display a gain in expressive power over their original counterparts in the input/output framework.&lt;/p&gt;</style></abstract><issue><style face="normal" font="default" size="100%">5</style></issue><section><style face="normal" font="default" size="100%">869</style></section></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author><author><style face="normal" font="default" size="100%">Van De Putte, Frederik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive strategies and finite-conditional premise sets</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Logic and Computation</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2016</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">+ http://dx.doi.org/10.1093/logcom/exu044</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">5</style></number><volume><style face="normal" font="default" size="100%">26</style></volume><pages><style face="normal" font="default" size="100%">1517-1539</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van De Putte, Frederik</style></author><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive logics: a parametric approach</style></title><secondary-title><style face="normal" font="default" size="100%">Logic Journal of the IGPL</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">+ http://dx.doi.org/10.1093/jigpal/jzu017</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">6</style></number><volume><style face="normal" font="default" size="100%">22</style></volume><pages><style face="normal" font="default" size="100%">905-932</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><section><style face="normal" font="default" size="100%">905</style></section></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive Logics as a Necessary Tool for Relative Rationality. Including a Section on Logical Pluralism</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Reasoning and Rationality</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><pages><style face="normal" font="default" size="100%">1-25</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, I show that adaptive logics are required by my epistemological stand. While doing so, I defy the reader to cope with the problems I am able to cope with.&lt;br /&gt;&lt;br /&gt; The last section of the paper contains a defense of a specific form of logical pluralism. Although this section is an integral part of the paper, it may be read separately.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Šešelja, Dunja</style></author><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Abstract argumentation and explanation applied to scientific debates</style></title><secondary-title><style face="normal" font="default" size="100%">Synthese</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><number><style face="normal" font="default" size="100%">12</style></number><volume><style face="normal" font="default" size="100%">190</style></volume><pages><style face="normal" font="default" size="100%">2195–2217</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Abstract argumentation has been shown to be a powerful tool within many fields such as artificial intelligence, logic and legal reasoning. In this paper we enhance Dung's well-known abstract argumentation framework with explanatory capabilities. We show that an explanatory argumentation framework (EAF) obtained in this way is a useful tool for the modeling of scientific debates. On the one hand, EAFs allow for the representation of explanatory and justificatory arguments constituting rivaling scientific views. On the other hand, different procedures for selecting arguments, corresponding to different methodological and epistemic requirements of theory evaluation, can be formulated in view of our framework.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Jespersen, Bjørn</style></author><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Alleged assassins: realist and constructivist semantics for modal modification</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Language, and Computation</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Lecture Notes in Computer Science</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><volume><style face="normal" font="default" size="100%">7758</style></volume><pages><style face="normal" font="default" size="100%">94–114</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Modal modifiers such as Alleged oscillate between being subsective and being privative. If individual a is an alleged assassin (at some parameter of evaluation) then it is an open question whether a is an assassin (at that parameter). Standardly, modal modifiers are negatively defined, in terms of failed inferences or non-intersectivity or non-extensionality. Modal modifiers are in want of a positive definition and a worked-out logical semantics. This paper offers two positive definitions. The realist definition is elaborated within Tichýs Transparent Intensional Logic (TIL) and builds upon Montagues model-theoretic semantics for adjectives as representing mappings from properties to properties. The constructivist definition is based on an extension of Martin-Löfs Constructive Type Theory (CTT) so as to accommodate partial verification. We show that, and why, a is an alleged assassin and Allegedly, a is an assassin are equivalent in TIL and synonymous in CTT.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Wieland, Jan Willem</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">And So On. Two Theories of Regress Arguments in Philosophy.</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year><pub-dates><date><style  face="normal" font="default" size="100%">February 25</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Ghent University</style></publisher><work-type><style face="normal" font="default" size="100%">phd</style></work-type><custom1><style face="normal" font="default" size="100%">&lt;p&gt;Erik Weber and Maarten Van Dyck&lt;/p&gt;</style></custom1></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Dyck, Maarten</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Becchi, Antonio</style></author><author><style face="normal" font="default" size="100%">Bertoloni Meli, Domenico</style></author><author><style face="normal" font="default" size="100%">Gamba, Enrico</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">'Argumentandi modus huius scientiae maximè proprius: ' Guidobaldo's mechanics and the question of mathematical principles</style></title><secondary-title><style face="normal" font="default" size="100%">Guidobaldo del Monte (1545-1607) : theory and practice of the mathematical disciplines from Urbino to Europe</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.edition-open-access.de/media/proceedings/4/Proceedings4.pdf</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Edition Open Access</style></publisher><pages><style face="normal" font="default" size="100%">9–34</style></pages><isbn><style face="normal" font="default" size="100%">9783844242836</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Gauderis, Tjerk</style></author><author><style face="normal" font="default" size="100%">Van De Putte, Frederik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Abduction of generalizations</style></title><secondary-title><style face="normal" font="default" size="100%">Theoria - revista de teoria historia y fundamentos de la ciencia</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">27</style></volume><pages><style face="normal" font="default" size="100%">345–364</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Abduction of generalizations is the process in which explanatory hypotheses are formed for generalizations such as pineapples taste sweet or rainbows appear when the sun breaks through the rain. This phenomenon has received little attention in formal logic and philosophy of science. The current paper remedies this lacuna by first giving an overview of some general characteristics of this process, elaborating on its ubiquity in scientific and everyday reasoning. Second, the adaptive logic LA &amp;amp;\#8704; is presented to explicate this process formally&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptively applying modus ponens in conditional logics of normality</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of applied non-classical logics</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><number><style face="normal" font="default" size="100%">1-2</style></number><volume><style face="normal" font="default" size="100%">22</style></volume><pages><style face="normal" font="default" size="100%">125–148</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper presents an adaptive logic enhancement of conditional logics of normality that allows for defeasible applications of Modus Ponens to conditionals. In addition to the possibilities these logics already offer in terms of reasoning about conditionals, this way they are enriched by the ability to perform default inferencing itself. The idea is to apply Modus Ponens defeasibly to a conditional A&amp;amp;\#8605;B and a fact A on the condition that it is safe to do so concerning the factual and conditional knowledge at hand. It is for instance not safe if the given information describes exceptional circumstances: although birds usually fly, penguins are exceptional to this rule. The two adaptive standard strategies are shown to correspond to different intuitions, a skeptical and a credulous reasoning type, which manifest themselves in the handling of so-called floating conclusions.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Gauderis, Tjerk</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An adaptive logic based approach to abduction in AI</style></title><secondary-title><style face="normal" font="default" size="100%">Ninth International Workshop on Non-Monotonic Reasoning, Action and Change</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><pages><style face="normal" font="default" size="100%">1-6</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In a logic-based approach to abductive reasoning, the background knowledge is represented by a logical theory. A sentence &amp;amp;\#934; is then considered as an explanation for ω if it satisfies some formal conditions. In general, the following three conditions are considered crucial: (1) Φ together with the background knowledge implies !; (2) Φ is logically consistent with what is known; and (3) Φ is the most parsimonious explanation. But, since abductive reasoning is a non-monotonic form of reasoning, each time the background knowledge is extended, the status of previously abduced explanations becomes once again undefined. The adaptive logics program is developed to address these types of non-monotonic reasoning. In addition to deductive reasoning steps, it allows for direct implementation of defeasible reasoning steps, but it adds to each formula the explicit set of conditions that would defeat this formula. So, in an adaptive logic for abduction, a formula is an abduced hypothesis as long as none of its conditions is deduced. This implies that we will not have to recheck all hypotheses each time an extension to our background knowledge is made. This is the key advantage of this approach, which allows us to save repetitive re-computations in fast growing knowledge bases.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive Logic Characterizations of Defeasible Reasoning with Applications in Argumentation, Normative Reasoning and Default Reasoning</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year><pub-dates><date><style  face="normal" font="default" size="100%">April 5</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Ghent University</style></publisher><work-type><style face="normal" font="default" size="100%">phd</style></work-type><custom1><style face="normal" font="default" size="100%">&lt;p&gt;Joke Meheus and Diderik Batens&lt;/p&gt;</style></custom1></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Beirlaen, Mathieu</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Aristotle's Modal Proofs, by Adriane Rini (review; in Dutch)</style></title><secondary-title><style face="normal" font="default" size="100%">Tijdschrift voor Filosofie</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><number><style face="normal" font="default" size="100%">73</style></number><volume><style face="normal" font="default" size="100%">4</style></volume><pages><style face="normal" font="default" size="100%">749-751</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Aerts, Diederik</style></author><author><style face="normal" font="default" size="100%">D'Hooghe, Bart</style></author><author><style face="normal" font="default" size="100%">Pinxten, Rik</style></author><author><style face="normal" font="default" size="100%">Wallerstein, Immanuel</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">An atlas for the social world: what should it (not) look like? Interdisciplinarity and pluralism in the social sciences</style></title><secondary-title><style face="normal" font="default" size="100%">Worldviews, Science and Us: Interdisciplinary Perspectives on Worlds, Cultures and Society.</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Worldviews, science and us : interdisciplinary perspectives on worlds, cultures and society</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><publisher><style face="normal" font="default" size="100%">World Scientific Publishing Company</style></publisher><pages><style face="normal" font="default" size="100%">43–72</style></pages><isbn><style face="normal" font="default" size="100%">9789814355056</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Starting from the analogy between theories and maps, I will spell out which interdisciplinary approach to the social sciences can provide us with the atlas we need to navigate in the social world. After comparing the features of theories and maps in section 1, I elaborate how different social theories can collaborate or get into a dialogue in section 2, summarizing the different strategies that have been defended for interdisciplinarity in social science: theory-, method-, metaphysics-, and question-driven interdisciplinarity, which I will illustrate with actual proposals made by, inter alia, World-Systems Analysis, Critical Realism and Economics Imperialism. Building on the framework of explanatory pluralism I have been developing before, I will make a case for question-driven interdisciplinarity in section 3. My argument for question-driven interdisciplinarity will be illustrated in section 4 by discussing recent developments in economics (i.e., the debate between the orthodoxy and heterodox theories, the pleas for pluralism, and the impact of globalisation –and related institutional developments- on economics as a discipline). In conclusion, the contours of an adequate atlas for the social world should become clearer; when to use the different maps, how to activate the dialogue between social scientific disciplines in order to draw the different maps, and the risks of globalisation for social science (and adequate map making).&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Lycke, Hans</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Nakakoji, Kumiyo</style></author><author><style face="normal" font="default" size="100%">Murakami, Yohei</style></author><author><style face="normal" font="default" size="100%">McCready, Eric</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">An Adaptive Logic for the Formal Explication of Scalar Implicatures</style></title><secondary-title><style face="normal" font="default" size="100%">New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-642-14888-0\_20</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Verlag</style></publisher><isbn><style face="normal" font="default" size="100%">978-3-642-14887-3</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Hearers get at the intended meaning of uncooperative utterances (i.e. utterances that conflict with the prescriptions laid down by the Gricean maxims) by pragmatically deriving sentences that reconcile these utterances with the maxims. Such pragmatic derivations are made according to pragmatic rules called implicatures. As they are pragmatic in nature, the conclusions drawn by applying implicatures remain uncertain. In other words, they may have to be withdrawn in view of further information. Because of this last feature, Levinson argued that implicatures should be formally modeled as non–monotonic or default rules of inference. In this paper, I will do exactly this: by relying on the Adaptive Logics Programme, I will provide a formal explication of implicatures as default inference rules. More specifically, I will do so for a particular kind of implicatures, viz scalar implicatures.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Tanaka, Koji</style></author><author><style face="normal" font="default" size="100%">Berto, Francesco</style></author><author><style face="normal" font="default" size="100%">Mares, Edwin</style></author><author><style face="normal" font="default" size="100%">Paoli, Francesco</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">An adaptive logic framework for conditional obligations and deontic dilemmas</style></title><secondary-title><style face="normal" font="default" size="100%">Logic and logical philosophy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><number><style face="normal" font="default" size="100%">1-2</style></number><volume><style face="normal" font="default" size="100%">19</style></volume><pages><style face="normal" font="default" size="100%">95–128</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Lycke, Hans</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adding the Inference Rule Disjunctive Syllogism to Relevant Logics</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In order to avoid trivial consequences, the derivability relation of relevant logics (RL) does not support the inference rule disjunctive syllogism (DS). In this paper, I will show that the inference rule DS can be added to this derivability relation in a way that doesnt lead to trivial or irrelevant consequences. To do so, I will rely on the insights gained from the study of inconsistencyadaptive logics, the branch of adaptive logics that was devised to explicate reasoning based on inconsistent premise sets. Moreover, I will also point to the relations with some alternative proposals from the literature, and I will show that the inconsistencyadaptive framework has some major advantages over these.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Algebraic partitioning problems from Luca Pacioli's Perugia manuscript (Vat. Lat. 3129)</style></title><secondary-title><style face="normal" font="default" size="100%">Sources and Commentaries in Exact Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><volume><style face="normal" font="default" size="100%">11</style></volume><pages><style face="normal" font="default" size="100%">3–51</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Froeyman, Anton</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Anticipation and the constitution of time in the philosophy of Ernst Cassirer</style></title><secondary-title><style face="normal" font="default" size="100%">Casys: International journal of computing anticipatory systems</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><volume><style face="normal" font="default" size="100%">23</style></volume><pages><style face="normal" font="default" size="100%">11</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, I will argue with Ernst Cassirer that anticipation plays an essential part in the constitution of time from a transcendental perspective. Time is, as any transcendental concept, seen as basically relational and subjective and only in a derivative way objective and indifferent to us. This entails that memory is prior to history, and anticipation is prior to prediction. In this paper, I will give some examples in order to argue for this point. Furthermore, I will also argue, again with Cassirer and against Henri Bergson, that time should be seen as a functional unity, and not as a collection of three different things-in-themselves (past, present and future).&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Wieland, Jan Willem</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Anti-positionalism's regress</style></title><secondary-title><style face="normal" font="default" size="100%">Axiomathes</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/s10516-010-9097-9</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">20</style></volume><pages><style face="normal" font="default" size="100%">479–493</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper is about the Problem of Order, which is basically the problem how to account for both the distinctness of facts like a's preceding b and b's preceding a, and the identity of facts like a's preceding b and b's succeeding a. It has been shown that the Standard View fails to account for the second part and is therefore to be replaced. One of the contenders is Anti-Positionalism. As has recently been pointed out, however, Anti-Positionalism falls prey to a regress argument which is to prove its failure. In the paper we spell out this worry, show that the worry is a serious one, and distinguish four possible strategies for Anti-Positionalism to deal with it.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author><author><style face="normal" font="default" size="100%">Beirlaen, Mathieu</style></author><author><style face="normal" font="default" size="100%">Van De Putte, Frederik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Governatori, Guido</style></author><author><style face="normal" font="default" size="100%">Sartor, Giovanni</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Avoiding Deontic Explosion by Contextually Restricting Aggregation</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, we present an adaptive logic for deontic conflicts, called \sys{P2.1}$^r$, that is based on Goble's logic \sys{SDL}$a$\sys{P}$e$–-a bimodal extension of Goble's logic \sys{P} that invalidates aggregation for all \emph{prima facie} obligations. The logic \sys{P2.1}$^r$ has several advantages with respect to \sys{SDL}$a$\sys{P}$e$. For consistent sets of obligations it yields the same results as Standard Deontic Logic and for inconsistent sets of obligations, it validates aggregation ``as much as possible''. It thus leads to a richer consequence set than \sys{SDL}$a$\sys{P}$e$. The logic \sys{P2.1}$^r$ avoids Goble's criticisms against other non-adjunctive systems of deontic logic. Moreover, it can handle all the `toy examples' from the literature as well as more complex ones.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Abbaco Tradition (1300-1500): its role in the development of European algebra</style></title><secondary-title><style face="normal" font="default" size="100%">Suuri Kaiseki Kenkyuujo koukyuuroku</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><volume><style face="normal" font="default" size="100%">1625</style></volume><pages><style face="normal" font="default" size="100%">23–33</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Abbaco algebra is a coherent tradition of algebraic problem solving mostly based in the merchant cities of fourteenth and fifteenth-century Italy. This period is roughly situated between two important works dealing with algebra: the Liber Abbaci by Fibonacci (1202) and the Summa di Arithmetica et Geometria by Lucca Pacioli (1492). Such continuous tradition of mathematical practice was hardly known before the first transcriptions of extant manuscripts by Gino Arrighi from the 1960’s and the ground-breaking work by Warren van Egmond (1980). After some decades of manuscript study and the recent assessment of Jens Høyrup (2007) we now have a better understanding of this tradition. In this paper we provide an overview of the basic characteristics of the abbaco tradition and discuss the role it played towards the new symbolic algebra as it emerged in sixteenth-century Europe. We argue that its influence on the sixteenth century has largely been ignored and that the new ars analytica from the French algebraists should be understood as establishing new foundations for the general practice of abbaco problem solving.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Abbacus Tradition: the Missing Link between Arabic and Early Symbolic Algebra?</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Abbaco algebra is a coherent tradition of arithmetical and algebraic problem solving, mostly based in the merchant cities of fourteenth and fifteenth-century Italy. This period is roughly situated between two impor- tant works dealing with algebra: the &lt;em&gt;Liber Abbaci&lt;/em&gt; by Fibonacci (1202) [5] and the &lt;em&gt;Summa di Arithmetica et Geometria&lt;/em&gt; by Luca Pacioli (1492) [20]. Such continuous tradition of mathematical practice was hardly known be- fore the first transcriptions of extant manuscripts by Gino Arrighi from the 1960's (most notably [1], [2], [3] and [4]) and the ground-breaking work by Warren van Egmond [28]. After some decades of manuscript study and the recent assessment of Jens Høyrup [10] we now have a bet- ter understanding of this tradition. Here we provide an overview of the basic characteristics of the abbaco tradition and discuss the role it played towards the new symbolic algebra as it emerged in sixteenth-century Europe.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Coniglio, Marcelo E.</style></author><author><style face="normal" font="default" size="100%">Loffredo D'Ottaviano, Itala M.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive Cn Logics</style></title><secondary-title><style face="normal" font="default" size="100%">The Many Sides of Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><pub-location><style face="normal" font="default" size="100%">London</style></pub-location><pages><style face="normal" font="default" size="100%">27–45</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper solves an old problem: to devise decent inconsistency-adaptive logics that have the \C{n} logics as their lower limit. Two kinds of logics are presented. Those of the first kind offer a maximally consistent interpretation of the premise set in as far as this is possible in view of logical considerations. At the same time, they indicate at which points further choices may be made on extra-logical grounds. The logics of the second kind allow one to introduce those choices in a defeasible way and handle them.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">van der Waart van Gulik, Stephan</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive fuzzy logics for contextual hedge interpretation</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Logic, Language and Information</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/s10849-009-9084-y</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">18</style></volume><pages><style face="normal" font="default" size="100%">333–356</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The article presents several adaptive fuzzy hedge logics. These logics are designed to perform a specific kind of hedge detection. Given a premise set Γ that represents a series of communicated statements, the logics can check whether some predicate occurring in Γ may be interpreted as being (implicitly) hedged by technically, strictly speaking or loosely speaking, or simply non-hedged. The logics take into account both the logical constraints of the premise set as well as conceptual information concerning the meaning of potentially hedged predicates (stored in the memory of the interpreter in question). The proof theory of the logics is non-monotonic in order to enable the logics to deal with possible non-monotonic interpretation dynamics (this is illustrated by means of several concrete proofs). All the adaptive fuzzy hedge logics are also sound and strongly complete with respect to their [0,1]-semantics.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Lycke, Hans</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Libert, Thierry</style></author><author><style face="normal" font="default" size="100%">Marage, Pierre</style></author><author><style face="normal" font="default" size="100%">Vanpaemel, Geert</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Adaptive Logics Approach to Abduction</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">{Koninklijke Vlaamse Academie van België</style></publisher><isbn><style face="normal" font="default" size="100%">9789065690432</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Verdée, Peter</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive Logics using the Minimal Abnormality strategy are \$\textbackslashPi\^ 1\_1\$-complex</style></title><secondary-title><style face="normal" font="default" size="100%">Synthese</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/s11229-007-9291-5</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">167</style></volume><pages><style face="normal" font="default" size="100%">93–104</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this article complexity results for adaptive logics using the minimal abnormality strategy are presented. It is proven here that the consequence set of some recursive premise sets is Pi(1)(1)-complete. So, the complexity results in ( Horsten and Welch, Synthese 158: 41- 60, 2007) are mistaken for adaptive logics using the minimal abnormality strategy.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Anti-trinitarianism in Newtons General Scholium to the Principia</style></title><secondary-title><style face="normal" font="default" size="100%">European Journal of Science and Theology</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.ejst.tuiasi.ro/issue.html</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">5</style></volume><pages><style face="normal" font="default" size="100%">1–11</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Recent findings on Newton's heretical beliefs in the five draft versions of the General Scholium, which was added to the second edition of the Principia in 1713, are discussed here. We shall use these snapshots as a tool to gain understanding into the process of composition of the theological material from the General Scholium.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive arbitration by variant counting on commutative bases with weights</style></title><secondary-title><style face="normal" font="default" size="100%">Fusion 2008: Proceedings of the 11th International Conference on Information Fusion</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><publisher><style face="normal" font="default" size="100%">IEEE</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper a new logical arbitration protocol for fusion of inconsistent information is designed. It defines a selection of models of a premise set in a multi-modal logic that uses the standard format of adaptive logics. The selected models are obtained by a counting procedure on the derivable data conflicting among the various sources. Peculiar of this approach is the definition of weights for commutative bases, in terms of the distinction between partially and fully supported information. The results obtained are compared to standard arbitration protocols and they extend previous work on the adaptive majority protocol.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Pombo, Olga</style></author><author><style face="normal" font="default" size="100%">Gerner, Alexander</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Abduction as a strategy for concept formation in mathematics: Cardano postulating a negative.</style></title><secondary-title><style face="normal" font="default" size="100%">Abduction and the process of scientific discovery</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><publisher><style face="normal" font="default" size="100%">Centro de Filosofia das Ciências da Universidade de Lisboa</style></publisher><pages><style face="normal" font="default" size="100%">179–194</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;When dealing with abductive reasoning in scientific discovery, historical case studies are focused mostly on the physical sciences, as with the discoveries of Kepler, Galilei and Newton. We will present a case study of abductive reasoning in early algebra. Two new concepts introduced by Cardano in his &lt;em&gt;Ars Magna&lt;/em&gt;, imaginary numbers and a negative solution to a linear problem, can be explained as a result of a process of abduction. We will show that the first appearance of these new concepts fits very well Peirces original description of abductive reasoning. Abduction may be regarded as one important strategy for the formation of new concepts in mathematics.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author><author><style face="normal" font="default" size="100%">Provijn, Dagmar</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs</style></title><secondary-title><style face="normal" font="default" size="100%">Theoria</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><number><style face="normal" font="default" size="100%">60</style></number><volume><style face="normal" font="default" size="100%">22/3</style></volume><pages><style face="normal" font="default" size="100%">295–304</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, we present a goal-directed 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 goal-directed proofs and we show that abductive explanations are a natural spin-off of these proofs. Finally, we show that the goal-directed procedure solves the problems we encountered in Alisedas algorithms.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Abstraction vs. Idealization: A Conceptual Analysis.</style></title><secondary-title><style face="normal" font="default" size="100%">The Reasoner</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">5</style></volume><pages><style face="normal" font="default" size="100%">9-10</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Lycke, Hans</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An adaptive logic for relevant classical deduction</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Applied Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><volume><style face="normal" font="default" size="100%">5</style></volume><pages><style face="normal" font="default" size="100%">602–612</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, I will show that it is possible to delete Ex Falso Quodlibet from Classical Logic, without depriving it of any of its deductive powers. This is done by means of the ambiguity–adaptive logic AALns, which is equivalent to dCR, the deductive version of Neil Tennant’s CR.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Pombo, Olga</style></author><author><style face="normal" font="default" size="100%">Gerner, Alexander</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive Logics for Abduction and the Explication of Explanation-Seeking Processes</style></title><secondary-title><style face="normal" font="default" size="100%">Abduction and the Process of Scientific Discovery</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><publisher><style face="normal" font="default" size="100%">Centro de Filosofia das Ciências da U. de Lisboa</style></publisher><pub-location><style face="normal" font="default" size="100%">Lisboa</style></pub-location><pages><style face="normal" font="default" size="100%">97–119</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, I illustrate the main characteristics of abductive reasoning processes by means of an example from the history of the sciences. The example is taken from the history of chemistry and concerns a very small episode from Lavoisiers struggle with the air obtained from mercury oxide. Eventually, this struggle would lead to the discovery of oxygen. I also show that Lavoisiers reasoning process can be explicated by means of a particular formal logic, namely the adaptive logic LAr. An important property of LAr is that it not only nicely integrates deductive and abductive steps, but that it moreover has a decent proof theory. This proof theory is dynamic, but warrants that the conclusions derived at a given stage are justified in view of the insight in the premises at that stage. Another advantage of the presented logic is that, as compared to other existing systems for abductive reasoning, it is very close to natural reasoning.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Algunas notas metodológicas sobre los experimentos de J.B. Van Helmont</style></title><secondary-title><style face="normal" font="default" size="100%">Azogue, Revista electrónica dedicada al histórico crítico de la alquimia</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><volume><style face="normal" font="default" size="100%">5</style></volume><pages><style face="normal" font="default" size="100%">100–107</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The ambiguity of unification in the social sciences.</style></title><secondary-title><style face="normal" font="default" size="100%">2e Congrès de la Société de Philosophie des Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In the social sciences, the dream of unity often recurs. One of these contemporary unifying projects is economics imperialism. Its goal is to increase the degree of unification by applying rational choice theory beyond its original (economic) home in other territories like political science, sociology, anthropology, history, etc. In this paper, I want to evaluate the benefits and feasibility of this project from the perspective of explanatory pluralism and demonstrate the ambiguity of unification and unity. Revisiting debates concerning rational choice theory in feminist economics and historical sociology, I will delimit the benefits and shortcomings of economics imperialism and the idea of unification, making use of a rigorous framework for explanatory pluralism – based on the erotetic model of explanation – elaborated in my earlier work (cf. Weber and Van Bouwel, 2002). A thorough analysis of these debates will result in a nuanced view on unification and unity, with on the one hand, a plea for taking the plurality of epistemic and non-epistemic interests in social scientific theories and explanation into account – with the evident implications this has for the unity of science project – but, on the other hand, an attempt to carve out a well-defined place for unification and the benefits it might bring to social science theory and explanation. This last exercise might take away the worries sometimes uttered by social scientists concerning the unificationist endeavour of economics imperialism.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Persson, J.</style></author><author><style face="normal" font="default" size="100%">Ylikoski, Petri</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Assessing the explanatory power of causal explanations.</style></title><secondary-title><style face="normal" font="default" size="100%">Rethinking Explanation</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><publisher><style face="normal" font="default" size="100%">Kluwer Academic Publishers</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><pages><style face="normal" font="default" size="100%">109–118</style></pages><isbn><style face="normal" font="default" size="100%">978-1-4020-5580-5</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>27</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author><author><style face="normal" font="default" size="100%">Provijn, Dagmar</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An Adaptive Characterization of Signed Systems for Paraconsistent Reasoning</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper we characterize the six (basic) signed systems from \cite{B&amp;amp;S:sspr} in terms of adaptive logics. We prove the characterization correct and show that it has a number of advantages.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An Adaptive Logic Based on Jaśkowski's Approach to Paraconsistency</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Philosophical Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><volume><style face="normal" font="default" size="100%">35</style></volume><pages><style face="normal" font="default" size="100%">539–567</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, I present the modal adaptive logic AJ &lt;sup&gt;r&lt;/sup&gt; (based on &lt;strong&gt;S5&lt;/strong&gt;) as well as the discussive logic D&lt;sup&gt;r&lt;/sup&gt;2 that is defined from it. D&lt;sup&gt;r&lt;/sup&gt;&lt;sub&gt;2&lt;/sub&gt; is a (non-monotonic) alternative for Jaskowskis paraconsistent system D 2 . Like D 2 , D&lt;sup&gt;r&lt;/sup&gt;&lt;sub&gt;2&lt;/sub&gt; validates all single-premise rules of Classical Logic. However, for formulas that behave consistently, D&lt;sub&gt;2&lt;/sub&gt; moreover validates all multiple-premise rules of Classical Logic. Importantly, and unlike in the case of D&lt;sub&gt;2&lt;/sub&gt; , this does not require the introduction of discussive connectives. It is argued that this has clear advantages with respect to one of the main application contexts of discussive logics, namely the interpretation of discussions.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Dyck, Maarten</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An Archaeology of Galileo's Science</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year><pub-dates><date><style  face="normal" font="default" size="100%">May 15</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Ghent University</style></publisher><work-type><style face="normal" font="default" size="100%">phd</style></work-type><custom1><style face="normal" font="default" size="100%">&lt;p&gt;Erik Weber&lt;/p&gt;</style></custom1></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Malinowski, Jacek</style></author><author><style face="normal" font="default" size="100%">Pietruszczak, Andrzej</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Are there ontological explanations?</style></title><secondary-title><style face="normal" font="default" size="100%">Essays in Logic and Ontology</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><publisher><style face="normal" font="default" size="100%">Rodopi</style></publisher><pub-location><style face="normal" font="default" size="100%">Amsterdam/New York</style></pub-location><volume><style face="normal" font="default" size="100%">91</style></volume><pages><style face="normal" font="default" size="100%">277–283</style></pages><isbn><style face="normal" font="default" size="100%">9042021306</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;There is a huge philosophical literature on scientific explanation, and no one seriously denies that the sciences explain in one way or another. But what about ontology? I will argue that ontological laws and ontological theories can explain. And I will point at the differences between ontological explanations and their scientific counterparts.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Argument(s) for Universal Gravitation</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of Science</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">argumentative pluralism</style></keyword><keyword><style  face="normal" font="default" size="100%">Newton</style></keyword><keyword><style  face="normal" font="default" size="100%">Principia</style></keyword><keyword><style  face="normal" font="default" size="100%">Universal gravitation</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/s10699-005-3189-9</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">11</style></volume><pages><style face="normal" font="default" size="100%">419-447</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper an analysis of Newtons argument for universal gravitation is provided. In the past, the complexity of the argument has not been fully appreciated. Recent authors like George E. Smith and William L. Harper have done a far better job. Nevertheless, a thorough account of the argument is still lacking. Both authors seem to stress the importance of only one methodological component. Smith stresses the procedure of approximative deductions backed-up by the laws of motion. Harper stresses systematic dependencies between theoretical parameters and phenomena. I will argue that Newton used a variety of different inferential strategies: causal parsimony considerations, deductions, demonstrative inductions, abductions and thought-experiments. Each of these strategies is part of Newtons famous argument.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Ascribing contemporary scientific concepts to past thinkers: towards a frame-work for handling matters more precisely</style></title><secondary-title><style face="normal" font="default" size="100%">Scientia Poetica</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><volume><style face="normal" font="default" size="100%">10</style></volume><pages><style face="normal" font="default" size="100%">274–290</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Haesaert, Lieven</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptieve Inductielogica's. Theory en Praktijk van het Inductief Redeneren</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year><pub-dates><date><style  face="normal" font="default" size="100%">November 30</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Ghent University</style></publisher><work-type><style face="normal" font="default" size="100%">phd</style></work-type><custom1><style face="normal" font="default" size="100%">&lt;p&gt;Diderik Batens&lt;/p&gt;</style></custom1></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Lycke, Hans</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Pereira, Luis Moniz</style></author><author><style face="normal" font="default" size="100%">Wheeler, Gregory</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">An Adaptive Logic for Compassionate Relevantism</style></title><secondary-title><style face="normal" font="default" size="100%">Computational Models of Scientific Reasoning and Applications</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><publisher><style face="normal" font="default" size="100%">CENTRIA</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Stadler, Friedrich</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive Logics and the Integration of Induction and Deduction</style></title><secondary-title><style face="normal" font="default" size="100%">Induction and Deduction in the Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><publisher><style face="normal" font="default" size="100%">Kluwer</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><pages><style face="normal" font="default" size="100%">93–120</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Vreese, Leen</style></author><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Applications of the Adaptive Logic for Causal Discovery</style></title><secondary-title><style face="normal" font="default" size="100%">Logique et Analyse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><number><style face="normal" font="default" size="100%">185–188</style></number><volume><style face="normal" font="default" size="100%">47</style></volume><pages><style face="normal" font="default" size="100%">33–51</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptieve Logica's. Een precieze benadering van vertrouwde maar door logici verwaarloosde redeneervormen</style></title><secondary-title><style face="normal" font="default" size="100%">Algemeen Nederlands Tijdschrift voor Wijsbegeerte</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><volume><style face="normal" font="default" size="100%">95</style></volume><pages><style face="normal" font="default" size="100%">174–189</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Urbaniak, Rafal</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Analysis of Kotarbinski's reistic reasonings</style></title><secondary-title><style face="normal" font="default" size="100%">{Logiczne Podstawy Rozumowań</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><volume><style face="normal" font="default" size="100%">3</style></volume><pages><style face="normal" font="default" size="100%">62–81</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Coniglio, Marcelo E.</style></author><author><style face="normal" font="default" size="100%">Loffredo D'Ottaviano, Itala M.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">An Adaptive Logic for Pragmatic Truth</style></title><secondary-title><style face="normal" font="default" size="100%">Paraconsistency. The Logical Way to the Inconsistent</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><publisher><style face="normal" font="default" size="100%">Marcel Dekker</style></publisher><pub-location><style face="normal" font="default" size="100%">New York</style></pub-location><pages><style face="normal" font="default" size="100%">167–185</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper presents the new adaptive logic APT. APT has the peculiar property that it enables one to interpret a (possibly inconsistent) theory Gamma 'as pragmatically as possible'. The aim is to capture the idea of a partial structure (in the sense of da Costa and associates) that adequately models a (possibly inconsistent) set of beliefs Gamma. What this comes to is that APT localizes the 'consistent core' of Gamma, and that it delivers all sentences that are compatible with this core. For the core itself, APT is just as rich as Classical Logic. APT is defined from a modal adaptive logic APV that is based itself on two other adaptive logics. I present the semantics of all three systems, as well as their dynamic proof theory. The dynamic proof theory for APV is unusual (even within the adaptive logic programme) in that it incorporates two different kinds of dynamics.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author><author><style face="normal" font="default" size="100%">Verhoeven, Liza</style></author><author><style face="normal" font="default" size="100%">Van Dyck, Maarten</style></author><author><style face="normal" font="default" size="100%">Provijn, Dagmar</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction</style></title><secondary-title><style face="normal" font="default" size="100%">Logical and Computational Aspects of Model-Based Reasoning</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><publisher><style face="normal" font="default" size="100%">Kluwer Academic</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><pages><style face="normal" font="default" size="100%">39–71</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, we propose a reconstruction of logic-based approaches to abductive reasoning in terms of ampliative adaptive logics. The advantages of this reconstruction are important: the resulting logics have a proper theory (that leads to justified conclusions even for undecidable fragments), they nicely integrate deductive and abductive steps, and they are much closer to natural reasoning than the existing systems.&lt;br /&gt; We present two new adaptive logics for abduction, &lt;strong&gt;CP1&lt;/strong&gt; and &lt;strong&gt;CP2&lt;/strong&gt;. &lt;strong&gt;CP1&lt;/strong&gt; enables one to generate explanations for novel facts from a consistent theory. &lt;strong&gt;CP2&lt;/strong&gt; moreover enables one to abduce explanatory hypotheses for novel facts and for anomalous facts from a possibly inconsistent theory. We illustrate both logics with some examples from the history of the sciences (the discovery of Uranus and of Neptune), and present some alternatives to &lt;strong&gt;CP1&lt;/strong&gt; and &lt;strong&gt;CP2&lt;/strong&gt; that are better suited for non-creative forms of abductive reasoning and for practical reasoning.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Van Dyck, Maarten</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive Logic and Covering Law Explanations</style></title><secondary-title><style face="normal" font="default" size="100%">Logique et Analyse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><number><style face="normal" font="default" size="100%">173-175</style></number><volume><style face="normal" font="default" size="100%">44</style></volume><pages><style face="normal" font="default" size="100%">237–254</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In his theory of explanation Hempel introduced two basic types of covering law explanations for particular events: deductive-nomological and inductive-statistical. In this article we argue that there is more than one reason why adaptive logics provide the right tools for analyzing the argument patterns involved in these covering law explanations. To this end we claim that in the case of inconsistent knowledge systems, neither classical logic, nor a paraconsistent logic suffice to capture the right class of permissible arguments that can make up a deductive-nomological explanation, whereas an adaptive logic gives just the right results. The arguments behind inductive-statistical explanations face the well-known problem of inductive ambiguities, which Hempel tried to solve by his &lt;em&gt;requirement of maximal specifity.&lt;/em&gt; We show how this requirement can be nicely incorporated in a logic for these arguments, again using an adaptive logic (which we describe in some detail).&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive logics for question evocation</style></title><secondary-title><style face="normal" font="default" size="100%">Logique et Analyse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><number><style face="normal" font="default" size="100%">173-175</style></number><volume><style face="normal" font="default" size="100%">44</style></volume><pages><style face="normal" font="default" size="100%">135–164</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, I present two adaptive logics for Wisniewki's notion of question evocation. The first is based on an erotetic extension of Classical Logic, the second on an erotetic extension of S5. For both logics, I present the semantics and the dynamic proof theory. The latter is especially important in view of the fact that question evocation is a non-monotonic relation for which there is no positive test. Thanks to its dynamical character, the proof theory moreover solves the logical omniscience problem to which Wisniewski's static definition of question evocation leads.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Verhoeven, Liza</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">All premises are equal, but some are more equal than others.</style></title><secondary-title><style face="normal" font="default" size="100%">Logique et Analyse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><number><style face="normal" font="default" size="100%">173-175</style></number><volume><style face="normal" font="default" size="100%">44</style></volume><pages><style face="normal" font="default" size="100%">165–188</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper proposes two adaptive approaches to inconsistent prioritized belief bases. Both approaches rely on a selection mechanism, that is not applied to the premises as they stand, but to the consequence sets of the belief levels. One is based on classical compatibility, the other on the modal logic T of Feys. For both approaches the two main strategies of inconsistency adaptive logics are formulated: the reliability strategy and the minimal abnormality strategy. All four systems are compared and found useful.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>27</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Aspects of the Dynamics of Discussions and Logics Handling Them</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Although we are all familiar with discussions, spelling out their dynamics in a precise way involves many tough logical problems. This paper reports on a set of logical tools that are useful in this respect. Some concern the arguments produced in a discussion, possibly as a result of interventions of different participants, and the many forms of explicit and implicit agreement that are required to understand what is going on. Others concern the changing positions of participants. Nearly all of the tools are adaptive logics.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On the Acceptance of Problem Solutions Derived from Inconsistent Constraints</style></title><secondary-title><style face="normal" font="default" size="100%">Logic and Logical Philosophy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2000</style></year></dates><volume><style face="normal" font="default" size="100%">8</style></volume><pages><style face="normal" font="default" size="100%">33–46</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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 &lt;em&gt;accepted&lt;/em&gt;. I show that the inconsistency-adaptive logic &lt;strong&gt;ANA&lt;/strong&gt; satisfies these requirements.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Adaptive Logic of Compatibility</style></title><secondary-title><style face="normal" font="default" size="100%">Studia Logica</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2000</style></year></dates><volume><style face="normal" font="default" size="100%">66</style></volume><pages><style face="normal" font="default" size="100%">327–348</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper describes the adaptive logic of compatibility and its dynamic proof theory. The results derive from insights in inconsistency-adaptive logic, but are themselves very simple and philosophically unobjectionable. In the absence of a positive test, dynamic proof theories lead, in the long run, to correct results and, in the short run, sometimes to final decisions but always to sensible estimates. The paper contains a new and natural kind of semantics for &lt;strong&gt;S5&lt;/strong&gt; from which it follows that a specific subset of the standard worlds-models is characteristic for &lt;strong&gt;S5&lt;/strong&gt;.&lt;br /&gt;&lt;br /&gt; Keywords: compatibility, adaptive logic, ampliative reasoning, &lt;strong&gt;S5&lt;/strong&gt;-semantics.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bendegem, Jean Paul</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Krause, Décio</style></author><author><style face="normal" font="default" size="100%">French, Steven</style></author><author><style face="normal" font="default" size="100%">Doria, Francisco A.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Alternative mathematics: the vague way.</style></title><secondary-title><style face="normal" font="default" size="100%">Festschrift in honor of Newton C.A. da Costa on the occasion of his seventieth birthday</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2000</style></year></dates><publisher><style face="normal" font="default" size="100%">Kluwer Academic</style></publisher><volume><style face="normal" font="default" size="100%">125</style></volume><pages><style face="normal" font="default" size="100%">19–31</style></pages><isbn><style face="normal" font="default" size="100%">N/A</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Hallyn, Fernand</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Analogical Reasoning in Creative Problem Solving Processes: Logico-Philosophical Perspectives</style></title><secondary-title><style face="normal" font="default" size="100%">Metaphor and Analogy in the Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2000</style></year></dates><publisher><style face="normal" font="default" size="100%">Kluwer</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><pages><style face="normal" font="default" size="100%">17–34</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bendegem, Jean Paul</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Hallyn, Fernand</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Analogy and metaphor as essential tools for the working mathematician</style></title><secondary-title><style face="normal" font="default" size="100%">Metaphor and Analogy in the Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2000</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">105–123</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;It may perhaps sound strange if not bizarre to suggest that metaphors and analogies could and should play a role in the practice of mathematics, let alone to claim that they are essential in present-day mathematics. Yet, that will be precisely the claim I will defend in this paper. I do insist that present-day mathematics is the domain of investigation I have in mind. From a historical perspective, and as an example, no one seems to doubt that mathematics one way or another must have arisen out of a specific set of practices, usually referred to as counting and measuring, and that mathematical concepts are metaphorically related to these practices. That view of the matter, however, does not necessarily say anything about the situation today and, indeed, in most cases it does not.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Vanackere, Guido</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Ambiguity-adaptive logic</style></title><secondary-title><style face="normal" font="default" size="100%">Logique et Analyse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1997</style></year></dates><volume><style face="normal" font="default" size="100%">159</style></volume><pages><style face="normal" font="default" size="100%">261–280</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>6</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Antropinè Gnosè. Mia Ekklèsè gia mia Chrèsimè Ortologikotèta</style></title></titles><dates><year><style  face="normal" font="default" size="100%">1996</style></year></dates><publisher><style face="normal" font="default" size="100%">Crete University Press</style></publisher><pub-location><style face="normal" font="default" size="100%">Athens/Eracleion</style></pub-location><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Greek translation of &quot;Menselijke Kennis&quot; (Diderik Batens, Garant, 1992).&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Van Bendegem, Jean Paul</style></author><author><style face="normal" font="default" size="100%">Kornelis, Gustaaf</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptieve logica’s: een aanzet om elkaar te begrijpen</style></title><secondary-title><style face="normal" font="default" size="100%">Iedereen die niet denkt zoals ik, volge mij. Acta 16de Nederlands-Vlaamse Filosofiedag</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1994</style></year></dates><publisher><style face="normal" font="default" size="100%">VUB-Pers</style></publisher><pages><style face="normal" font="default" size="100%">13–19</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive Logic in Scientific Discovery: the Case of Clausius</style></title><secondary-title><style face="normal" font="default" size="100%">Logique et Analyse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1993</style></year></dates><number><style face="normal" font="default" size="100%">143-144</style></number><volume><style face="normal" font="default" size="100%">36</style></volume><pages><style face="normal" font="default" size="100%">359–389</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Raymaekers, Bart</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Aspecten van ontdekking en creativiteit</style></title><secondary-title><style face="normal" font="default" size="100%">Gehelen en Fragmenten. De vele gezichten van de filosofie</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1992</style></year><pub-dates><date><style  face="normal" font="default" size="100%">Leuven, September</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Universitaire Pers</style></publisher><pages><style face="normal" font="default" size="100%">59</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Against Global Paraconsistency</style></title><secondary-title><style face="normal" font="default" size="100%">Studies in Soviet Thought</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1990</style></year></dates><volume><style face="normal" font="default" size="100%">39</style></volume><pages><style face="normal" font="default" size="100%">209–229</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Action science and the reunification of the social sciences and epistemology</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophica</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1987</style></year></dates><volume><style face="normal" font="default" size="100%">40</style></volume><pages><style face="normal" font="default" size="100%">109–134</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>