<?xml version="1.0" encoding="UTF-8"?><xml><records><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%">Meheus, Joke</style></author><author><style face="normal" font="default" size="100%">Aleks Knoks</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Deontic Reasoning on the Basis of Consistency Considerations</style></title></titles><dates><year><style  face="normal" font="default" size="100%">Submitted</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;Deonticconflictsposeanimportantchallengetodeonticlogicians. The standard account standard deontic logic, &lt;strong&gt;SDL&lt;/strong&gt; is not apt for addressing this challenge since it trivializes con flicts. Two main stratagems for gaining conflict-tolerance have been proposed: to weaken &lt;strong&gt;SDL&lt;/strong&gt; in various ways, and to contextualize the reign of &lt;strong&gt;SDL&lt;/strong&gt; to consistent subsets of the premise set. The latter began with the work of van Fraassen and has been further developed by Horty. In this paper we characterize this second approach in general terms. We also study three basic ways to contextualize SDL and supplement each of these with a dynamic proof theory in the framework of adaptive logics.&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 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%">Gauderis, Tjerk</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Magnani, Lorenzo</style></author><author><style face="normal" font="default" size="100%">Bertolotti, Tommaso</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Feasibility of Modeling Hypothetical Reasoning by Formal Logics. Including an Overview of Adaptive Logics for Singular Fact Abduction</style></title><secondary-title><style face="normal" font="default" size="100%">Handbook of Model-Based Science</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%">Springer</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>27</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Mol, Liesbeth</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Moktefi, A.</style></author><author><style face="normal" font="default" size="100%">Moretti, A.</style></author><author><style face="normal" font="default" size="100%">Schang, Fabian</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Formalism. The success(es) of a failure</style></title><secondary-title><style face="normal" font="default" size="100%">Let's be logical</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%">College publications</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%">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><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Non-Adjunctive Deontic Logics That Validate Aggregation as Much as Possible</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%">In Press</style></year></dates><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%">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>10</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%">Frijters, Stef</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Condoravdi, Cleo</style></author><author><style face="normal" font="default" size="100%">Nair, Shyam</style></author><author><style face="normal" font="default" size="100%">Pigozzi, Gabriella</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">How to take heroin (if at all). A new approach to detachment in deontic logic</style></title><secondary-title><style face="normal" font="default" size="100%">Deontic Logic and Normative Systems: 14th International Conference</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2018</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%">317-335</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><work-type><style face="normal" font="default" size="100%">submitted</style></work-type></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%">Straßer, Christian</style></author><author><style face="normal" font="default" size="100%">Verdée, Peter</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Which Style of Reasoning to Choose in the Face of Conflicting Information?</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><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">26</style></volume><pages><style face="normal" font="default" size="100%">361--380</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 the context of non-monotonic reasoning different kinds of consequence relations are defined for reasoning from (possibly) inconsistent information. Examples are consequence relations that are characterized in terms of maximal consistent subsets of the premise set. The &lt;em&gt;strong consequences&lt;/em&gt; are those formulas that follow by Classical Logic from every maximal consistent subset. The &lt;em&gt;weak consequences&lt;/em&gt; follow from some maximal consistent subset. The &lt;em&gt;free consequences&lt;/em&gt; follow from the set of formulas that belong to every maximal consistent subset. In this paper the question is discussed which of these consequence relations should be applied in which reasoning context. First the concerns that are expressed in the literature with respect to the usefulness of the weak consequences are addressed. Then it is argued that making weak inferences is sensible for some application contexts, provided one has a (dynamic) proof theory for the corresponding consequence relation. Such a dynamic proof theory is what adaptive logics offer. Finally, all this is illustrated by means of a very simple adaptive logic reconstruction of the free, strong, and weak consequences&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%">Kosolosky, Laszlo</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%">Martini, Carlo</style></author><author><style face="normal" font="default" size="100%">Boumans, Marcel</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Explicating ways of consensus-making in science and society: distinguishing the academic, the interface and the meta-consensus</style></title><secondary-title><style face="normal" font="default" size="100%">Experts and consensus in social science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">71–92</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 shed new light on the epistemic struggle between establishing consensus and acknowledging plurality, by explicating different ways of consensus-making in science and society and examining the impact hereof on their field of intersection, i.e. consensus conferences (in particular those organized by the National Institute of Health). We draw a distinction between, what we call, academic and interface consensus, to capture the wide appeal to consensus in existing literature. We investigate such accounts - i.e. Solomon (2007), Beatty &amp;amp; Moore (2010) and Miller (2013)  as to put forth a new understanding of consensus-making, focusing on the meta-consensus. We further defend how (NIH) consensus conferences enable epistemic work, through demands of epistemic adequacy and contestability, contrary to the claim that consensus conferences miss a window for epistemic opportunity (Solomon, 2007). Paying attention to this dynamics surrounding consensus, moreover allows us to illustrate how the public understanding of science and the public use of the ideal of consensus could be well modified.&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%">Lefevere, Merel</style></author><author><style face="normal" font="default" size="100%">Schliesser, Eric</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Martini, Carlo</style></author><author><style face="normal" font="default" size="100%">Boumans, Marcel</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Private epistemic virtue, public vices: moral responsibility in the policy sciences</style></title><secondary-title><style face="normal" font="default" size="100%">Experts and consensus in social science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">275–295</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%">Provijn, Dagmar</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%">Wouters, Dietlinde</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Bloody analogical reasoning</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><pages><style face="normal" font="default" size="100%">217–232</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 study some of William Harveys applications of analogies in the Prelectiones Anatomiae Universalis and the Exercitatio anatomica de motu cordis et sanguinis in animalibus. I will show that Harvey applied analogies in many different ways and that some contributed to the discovery of the characteristic action of the heart and pulse and even to the discovery of the blood circulation. The discovery process will be approached as a problem solving process as described in Batens contextual model. The focus on constraints allows to see Harvey both as a modern because of his extensive use of experimental results and as strongly influenced by an Aristotelian natural philosophy interpretation of anatomy and physiology as, for instance, propagated by Fabricius of Aquapendente.&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%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Wouters, Dietlinde</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Data-driven induction in scientific discovery: a critical assessment based on Kepler's discoveries</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><pages><style face="normal" font="default" size="100%">59–76</style></pages><isbn><style face="normal" font="default" size="100%">9789401790109</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Motivated by the renewed interest in knowledge discovery from data (KDD) by the artificial intelligence community, this paper provides a critical assessment of the model of data-driven induction for scientific discovery. The most influential research program using this model is developed by the BACON team. Two of the main claims by this research program, the descriptive and constructive power of data-driven induction, are evaluated by means of two historical cases studies: the discovery of the sine law of refraction in optics and Kepler’s third law of planetary motion. I will provide evidence that the data used by the BACON program–-despite the claims being made–-does not correspond with the historical data available to Kepler and his contemporaries. Secondly, it is shown that for the two cases the method by which the general law was arrived at did not involve data-driven induction. Finally, the value of the data-driven induction as a general model for scientific discovery is being questioned.&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%">Gervais, Raoul</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%">Wouters, Dietlinde</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Explaining capacities: Assessing the explanatory power of models in the cognitive sciences</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><pages><style face="normal" font="default" size="100%">45-57</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%">Wieland, Jan Willem</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%">Wouters, Dietlinde</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Internalism Does Entail Scepticism</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Reasoning, and Rationality</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Logic, Argumentation &amp; Reasoning</style></tertiary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Internalism</style></keyword><keyword><style  face="normal" font="default" size="100%">Knowledge</style></keyword><keyword><style  face="normal" font="default" size="100%">Regress</style></keyword><keyword><style  face="normal" font="default" size="100%">Rule</style></keyword><keyword><style  face="normal" font="default" size="100%">Scepticism</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer Netherlands</style></publisher><volume><style face="normal" font="default" size="100%">5</style></volume><pages><style face="normal" font="default" size="100%">247-260</style></pages><isbn><style face="normal" font="default" size="100%">978-94-017-9010-9</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Let Internalism be the view that our inferences are justified depending on whether we have knowledge of the logical rules on which they are based, and Scepticism the view that none of our inferences are justified. Boghossian has shown that Internalism entails Scepticism, and Philie has attempted to block the entailment by invoking an assumption on rationality. In this contribution, I enforce the entailment claim and argue that Philies solution misses the target: Internalism does entail Scepticism.&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><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%">Beirlaen, Mathieu</style></author><author><style face="normal" font="default" size="100%">Straßer, Christian</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%">An Inconsistency-Adaptive Deontic Logic for Normative Conflicts</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%">2013</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">42</style></volume><pages><style face="normal" font="default" size="100%">285–315</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 present the inconsistency-adaptive deontic logic \sys{DP}$^r$, a nonmonotonic logic for dealing with conflicts between normative statements. On the one hand, this logic does not lead to explosion in view of normative conflicts. On the other hand, \sys{DP}$^r$ still verifies all intuitively reliable inferences valid in Standard Deontic Logic (\sys{SDL}). \sys{DP}$^r$ interprets a given premise set as normally as possible with respect to \sys{SDL}. Whereas some \sys{SDL}-rules are verified unconditionally by \sys{DP}$^r$, others are verified conditionally. The latter are applicable unless they rely on formulas that turn out to behave inconsistently in view of the premises. This dynamic process is mirrored by the proof theory of \sys{DP}$^r$&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%">Gauderis, Tjerk</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Magnani, Lorenzo</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Pauli's idea of the neutrino: how models in physics allow to revive old ideas for new purposes</style></title><secondary-title><style face="normal" font="default" size="100%">Model-based reasoning in science and technology : theoretical and cognitive issues</style></secondary-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><pages><style face="normal" font="default" size="100%">449-461</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 Models have proven themselves to be the key catalyst of many new ideas in science. However, it is not yet fully clarified why models can fulfill such an important heuristic role. The two main reasons stated in the literaturethe mental simulation of various scenarios and the wide cross-fertilization across various disciplinesseem to leave out one of the most obvious features of models: they are designed for a purpose. Therefore I investigated why, while the construction of models is a goal-oriented task with a predefined purpose, the use of models yields so many new ideas in science. This paper presents my conceptual analysis together with a detailed historical case study. The functional design of models forces scientists to explore vigorously older ideas to adapt them: as the lacunas in a functional model are also functional, scientists need to modify older ideas (that were formulated for different purposes) to fit the present functional gaps in their models. As such, they construct new ideas. The detailed historical case study exemplifies this by showing how Paulis original suggestion of the neutrino was, in fact, such an adaptation of Rutherfords earlier idea of the neutron. The present analysis and case study suggest that functional adaptations are salient but often overlooked features of model based investigation.&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%">Martens, Liesbeth</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%">A formal approach to vague expressions with indexicals</style></title><secondary-title><style face="normal" font="default" size="100%">Logic and Engineering of Natural Language Semantics 9 (LENLS 9-2012)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><publisher><style face="normal" font="default" size="100%">Japanese Society for Artificial Intelligence</style></publisher><pages><style face="normal" font="default" size="100%">37-51</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 offer a formal approach to the scantily investigated problem of vague expressions with indexicals, in particular including the spatial indexical `here' and the temporal indexical `now'. We present two versions of an adaptive fuzzy logic extended with an indexical, formally expressed by a modifier as a function that applies to predicative formulas. In the first version, such an operator is applied to non-vague predicates. The modified formulas may have a fuzzy truth value and fit into a Sorites paradox. We use adaptive fuzzy logics as a reasoning tool to address such a paradox. The modifier enables us to offer an adequate explication of the dynamic reasoning process. In the second version, a different result is obtained for an indexical applied to a formula with a possibly vague predicate, where the resulting modified formula has a crisp value and does not add up to a Sorites paradox.&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%">Martens, Liesbeth</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%">Het debat tussen 'groene spellers' en 'witte spellers' geëvalueerd vanuit een sociaal-epistemologische invalshoek</style></title><secondary-title><style face="normal" font="default" size="100%">Ethiek &amp; Maatschappij</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%">4</style></number><volume><style face="normal" font="default" size="100%">14</style></volume><pages><style face="normal" font="default" size="100%">61–78</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 the Netherlands and Flanders, a debate on the Dutch spelling has been raging between, on the one hand, the green spellers, who follow the official green spelling, and, on the other hand, the protesting white spellers, who espouse an alternative spelling. In the present article, this debate will be approached from a socio-epistemological perspective. Using the theory of Helen Longino, we highlight how the debate between the parties has been conducted, and explain why it failed to become a fruitful debate, based on a critical discourse and by which both parties strive for objective knowledge. We also draw a few lessons for the future.&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%">Gervais, Raoul</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Van Kerkhove, Bart</style></author><author><style face="normal" font="default" size="100%">Libert, Thierry</style></author><author><style face="normal" font="default" size="100%">Vanpaemel, Geert</style></author><author><style face="normal" font="default" size="100%">Marage, Pierre</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Pragmatic approaches to explanation applied to the cognitive sciences: two types of explanation-seeking questions compared</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium II</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><publisher><style face="normal" font="default" size="100%">Koninklijke Vlaamse Academie van België</style></publisher><pages><style face="normal" font="default" size="100%">131–137</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%">Straßer, Christian</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author><author><style face="normal" font="default" size="100%">Beirlaen, Mathieu</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Tolerating Deontic Conflicts by Adaptively Restricting Inheritance</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%">2012</style></year></dates><volume><style face="normal" font="default" size="100%">219</style></volume><pages><style face="normal" font="default" size="100%">477-506</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 order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics &lt;strong&gt;DPM&lt;/strong&gt; that are characterized by a restriction of the inheritance principle. While they approximate the deductive power of standard deontic logic, they do so only if the user adds certain statements to the premises. By adaptively strengthening the &lt;strong&gt;DPM&lt;/strong&gt; logics, this paper presents logics that overcome this shortcoming. Furthermore, they are capable of modeling the dynamic and defeasible aspect of our normative reasoning by their dynamic proof theory. This way they enable us to have a better insight in the relations between obligations and thus to localize deontic conflicts.&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%">Beirlaen, Mathieu</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Van Kerkhove, Bart</style></author><author><style face="normal" font="default" size="100%">Libert, Thierry</style></author><author><style face="normal" font="default" size="100%">Vanpaemel, Geert</style></author><author><style face="normal" font="default" size="100%">Marage, Pierre</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards More Conflict-Tolerant Deontic Logics</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium II</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><publisher><style face="normal" font="default" size="100%">Koninklijke Vlaamse Academie van België</style></publisher><pub-location><style face="normal" font="default" size="100%">Brussel</style></pub-location><pages><style face="normal" font="default" size="100%">1-8</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 &lt;em&gt;Ethical Consistency&lt;/em&gt;, Bernard Williams vindicated the possibility of moral conflicts; he proposed to consistently allow for the presence of such conflicts within the logic of &lt;em&gt;ought&lt;/em&gt;. In determining the nature of moral conflict, Williams stressed its contingency. In this paper, Williams characterization of moral conflict is defended. However, Williams solution for consistently allowing for such conflicts within the logic of &lt;em&gt;ought&lt;/em&gt; is shown to be too crude. Whereas Williams rejects &lt;em&gt;all&lt;/em&gt; applications of the agglomeration rule in the logic of &lt;em&gt;ought&lt;/em&gt;, it is shown that a more sophisticated approach is needed. An alternative solution is presented in which the application of the agglomeration rule is made conditional upon the principle that&quot; &lt;em&gt;ought&lt;/em&gt;implies &lt;em&gt;can&lt;/em&gt;.&quot;&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%">Primiero, Giuseppe</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Rahman, Shahid</style></author><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author><author><style face="normal" font="default" size="100%">Marion, Mathieu</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Type-Theoretical Dynamics. Exploring Belief Revision in a Constructive Framework</style></title><secondary-title><style face="normal" font="default" size="100%">The realism-antirealism debate in the age of alternative logics</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">191–212</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 the present paper a dynamics for type theory is introduced. The formalization provides epistemic explanations for the basic notions of belief state and belief set by referring to assertion conditions for type-theoretical judgements; it interprets expectations in terms of default assumptions for such a structure and it adapts the usual revision operations and the analogous of the Ramsey test. The model, restricted to operations of revision, merging and information preference, provides a constructive type-theoretical approach to epistemic 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%">Heeffer, Albrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">François, Karen</style></author><author><style face="normal" font="default" size="100%">Löwe, Benedikt</style></author><author><style face="normal" font="default" size="100%">Müller, Thomas</style></author><author><style face="normal" font="default" size="100%">Van Kerkhove, Bart</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On the curious historical coincidence of algebra and double-entry bookkeeping</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of the formal sciences VII : bringing together philosophy and sociology of science</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Studies in Logic</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.collegepublications.co.uk/logic/?00021</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><volume><style face="normal" font="default" size="100%">32</style></volume><pages><style face="normal" font="default" size="100%">109–130</style></pages><isbn><style face="normal" font="default" size="100%">9781848900493</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%">Dieks, Dennis</style></author><author><style face="normal" font="default" size="100%">Gonzalez, Wenceslao J.</style></author><author><style face="normal" font="default" size="100%">Hartmann, Stephan</style></author><author><style face="normal" font="default" size="100%">Uebel, Thomas</style></author><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Formal Logic for the Abduction of Singular Hypotheses</style></title><secondary-title><style face="normal" font="default" size="100%">Explanation, Prediction, and Confirmation</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</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%">93–108</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%">Kosolosky, Laszlo</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Van Kerkhove, Bart</style></author><author><style face="normal" font="default" size="100%">Libert, Thierry</style></author><author><style face="normal" font="default" size="100%">Vanpaemel, Geert</style></author><author><style face="normal" font="default" size="100%">Marage, Pierre</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The intended window of epistemic opportunity: a comment on Miriam Solomon</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium II</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><publisher><style face="normal" font="default" size="100%">Koninklijke Vlaamse Academie van België</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, I argue that Miriam Solomon fails to show that medical consensus conferences, as organised by the National Institute of Health (NIH), miss the intended window of epistemic opportunity (Solomon, 2007: 170), and thus typically take place after the experts have reached consensus. This is done, on the one hand, by differentiating between, what I intend to call, ‘academic’ and ‘non-academic consensus’, and, on the other hand, by analyzing the arguments and argumentation style Solomon uses to make her claim explicit. At the very least, the overall argument suggests that her statement is inadequately supported, if not that the opposite claim is true. In this manner, I intend to bring additional insight into the notion of ‘consensus’ when applied in scientific practice. Any decision as to change the NIH consensus development program should take these actual achievements into account.&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%">De Mol, Liesbeth</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">François, Karen</style></author><author><style face="normal" font="default" size="100%">Löwe, Benedikt</style></author><author><style face="normal" font="default" size="100%">Müller, Thomas</style></author><author><style face="normal" font="default" size="100%">Van Kerkhove, Bart</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Looking for busy beavers. A socio-philosophical study of a computer-assisted proof</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of the Formal Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><pages><style face="normal" font="default" size="100%">61–90</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;&lt;em&gt;&quot;Young man, in mathematics you don't understand things, you just get used to them&quot;&lt;/em&gt; John von Neumann&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>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>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Ferreira, F</style></author><author><style face="normal" font="default" size="100%">Guerra, H</style></author><author><style face="normal" font="default" size="100%">Mayordomo, E</style></author><author><style face="normal" font="default" size="100%">Rasga, J</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Constructive contextual modal judgments for reasoning from open assumptions</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the Computability in Europe 2010 Conference</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%">Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Dependent type theories using a structural notion of context are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. In particular, types with modalities are already used for distributed and staged computation. This paper introduces a type system extended with judgmental modalities internalizing epistemically different modes of correctness to explore a calculus of provability from refutable assumptions.&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%">De Winter, Jan</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Van Kerkhove, Bart</style></author><author><style face="normal" font="default" size="100%">Libert, Thierry</style></author><author><style face="normal" font="default" size="100%">Vanpaemel, Geert</style></author><author><style face="normal" font="default" size="100%">Marage, Pierre</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Distorted Research Agenda in the Health Sciences and James Robert Browns Policy Proposal.</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium II</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://logica.ugent.be/centrum/preprints/De_Winter_(2012)_-_Brown.pdf</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Koninklijke Vlaamse Academie van België</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%">De Winter, Jan</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Moor, James H</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Explanations in software engineering: the pragmatic point of view</style></title><secondary-title><style face="normal" font="default" size="100%">Minds and Machines</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/s11023-010-9190-2</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">20</style></volume><pages><style face="normal" font="default" size="100%">277–289</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 article reveals that explanatory practice in software engineering is in accordance with pragmatic explanatory pluralism, which states that explanations should at least partially be evaluated by their practical use. More specifically, I offer a defense of the idea that several explanation-types are legitimate in software engineering, and that the appropriateness of an explanation-type depends on (a) the engineer’s interests, and (b) the format of the explanation-seeking question he asks, with this format depending on his interests. This idea is defended by considering examples that are representative for explanatory practice in software engineering. Different kinds of technological explanation are spelled out, and the dependence of their appropriateness on interests and question-formats is extensively illustrated.&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%">Lycke, Hans</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%">Inconsistency-adaptive modal logics: on how to cope with modal inconsistency</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><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.logika.umk.pl/llp/pi.html</style></url></web-urls></urls><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%">31–61</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 characterize a new class of inconsistency–adaptive logics, namely inconsistency–adaptive modal logics. These logics cope with inconsistencies in a modal context. More specifically, when faced with inconsistencies, inconsistency–adaptive modal logics avoid explosion, but still allow the derivation of sufficient consequences to adequately explicate the intended part of human reasoning.&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%">Yadav, B.S.</style></author><author><style face="normal" font="default" size="100%">Mohan, Man</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Reception of Ancient Indian Mathematics by Western Historians</style></title><secondary-title><style face="normal" font="default" size="100%">Ancient Indian Leaps into Mathematics</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%">Birkhäuser Verlag</style></publisher><pages><style face="normal" font="default" size="100%">135–152</style></pages><isbn><style face="normal" font="default" size="100%">978-0-8176-4694-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;While there was an awareness of ancient Indian mathematics in the West since the sixteenth century, historians discuss the Indian mathematical tradition only after the publication of the first translations by Colebrooke in 1817. Its reception cannot be comprehended without accounting for the way that the new European mathematics was shaped by Renaissance humanist writings. We sketch this background and show with one case study on algebraic solutions to a linear problem how the understanding and appreciation of Indian mathematics was deeply influenced by the humanist prejudice that all higher intellectual culture, in particular all science, had risen from Greek soil.&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%">Magnani, Lorenzo</style></author><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Pizzi, Claudio</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The symbolic model for algebra: functions and mechanisms</style></title><secondary-title><style face="normal" font="default" size="100%">Model-Based Reasoning in Science and Technology</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-15223-8\_29</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><volume><style face="normal" font="default" size="100%">314</style></volume><pages><style face="normal" font="default" size="100%">519–532</style></pages><isbn><style face="normal" font="default" size="100%">9783642152221</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The symbolic mode of reasoning in algebra, as it emerged during the sixteenth century, can be considered as a form of model-based reasoning. In this paper we will discuss the functions and mechanisms of this model and show how the model relates to its arithmetical basis. We will argue that the symbolic model was made possible by the epistemic justification of the basic operations of algebra as practiced within the abbaco tradition. We will also show that this form of model-based reasoning facilitated the expansion of the number concept from Renaissance interpretations of number to the full notion of algebraic numbers.&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>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Pieters, Eva</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%">&quot;Clear Moon, Frost soon&quot;. An introduction to the Study of Meteorological Practices in the Low Countries (1550-1850)</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>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%">De Clercq, Kristof</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%">Goal-Directed Tableaux</style></title><secondary-title><style face="normal" font="default" size="100%">The Many Sides of Logic</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Studies in Logic</style></tertiary-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><volume><style face="normal" font="default" size="100%">21</style></volume><pages><style face="normal" font="default" size="100%">241–256</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 contains a new format for analytic tableaux, called goal-directed tableaux. Their main interest lies in the fact that the search for a closed tableau proceeds in a highly constrained way. The goal-directed tableaux do not form a complete decision method for propositional classical logic (because they do not sustain Ex Falso Quodlibet). For consistent sets of premises, however, they lead to the same results as the usual analytic tableaux for classical logic.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>6</ref-type><contributors><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%">Logic, Philosophy and History of Science in Belgium. Young Researchers Present their Work</style></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ë voor Wetenschappen en Kunsten</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>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Mol, Liesbeth</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%">Mathematics through man-computer interaction. A study of the early years of computing.</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ë voor Wetenschappen en Kunsten</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>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Urbaniak, Rafal</style></author><author><style face="normal" font="default" size="100%">Rostalska, Agnieszka</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%">Modal Logic and Philosophy. A case study.</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers 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><pub-location><style face="normal" font="default" size="100%">Brussel</style></pub-location><pages><style face="normal" font="default" size="100%">79-83</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%">Primiero, Giuseppe</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%">A note on constructive modalities for information</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers 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><pub-location><style face="normal" font="default" size="100%">Brussel</style></pub-location><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%">Drouet, Isabelle</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%">Probabilistic Analyses and the Humean Conception of the Relationship between Levels of Causality</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers 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><pub-location><style face="normal" font="default" size="100%">Brussel</style></pub-location><pages><style face="normal" font="default" size="100%">68–72</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%">Urbaniak, Rafal</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%">Reasoning with dynamic conceptual frames.</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers 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><pub-location><style face="normal" font="default" size="100%">Brussel</style></pub-location><pages><style face="normal" font="default" size="100%">84-89</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%">De Langhe, Rogier</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%">Van Paemel, Geert</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Trading off explanatory virtues</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days</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><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The paper draws on Graham Allison’s case-study of the Cuban Missile Crisis in which three different accounts are constructed from three different explanatory models, each situated at a different level of analysis. First, it is shown that each model produces genuine explanations which could not have been arrived at from one of the other accounts. With this prima facie case for pluralism in hand, the indispensability of the different models is then accounted for by linking the relevance of each model to different explanatory contexts.&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%">Primiero, Giuseppe</style></author><author><style face="normal" font="default" size="100%">Jespersen, Bjørn</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%">Two type-theoretical approaches to privative modification</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%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer Verlag</style></publisher><pub-location><style face="normal" font="default" size="100%">Berlin, Heidelberg</style></pub-location><pages><style face="normal" font="default" size="100%">239–258</style></pages><isbn><style face="normal" font="default" size="100%">4-915905-37-3 C3004</style></isbn><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 apply two kinds of procedural semantics to the problem of privative modification. We do this for three reasons. The first reason is to launch a tough test case to gauge the degree of substantial agreement between a constructivist and a realist interpretation of a procedural semantics; the second is to extend Martin-Lof's Type Theory to privative modification, which is characteristic of natural language; the third reason is to sketch a positive characterization of privation.&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%">De Clercq, Kristof</style></author><author><style face="normal" font="default" size="100%">Verdée, Peter</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%">Yes Fellows, Most Human Reasoning is 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-9268-4</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">166</style></volume><pages><style face="normal" font="default" size="100%">113–131</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 answers the philosophical contentions defended in Horsten and Welch (2007, Synthese, 158, 41-60). It contains a description of the standard format of adaptive logics, analyses the notion of dynamic proof required by those logics, discusses the means to turn such proofs into demonstrations, and argues that, notwithstanding their formal complexity, adaptive logics are important because they explicate an abundance of reasoning forms that occur frequently, both in scientific contexts and in common sense contexts.&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%">van der Waart van Gulik, Stephan</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Makinson, David</style></author><author><style face="normal" font="default" size="100%">Wansing, Heinrich</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Fuzzy Logic Approach to Non-Scalar Hedges</style></title><secondary-title><style face="normal" font="default" size="100%">Towards Mathematical Philosophy</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Trends in Logic</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><publisher><style face="normal" font="default" size="100%">Kluwer</style></publisher><pages><style face="normal" font="default" size="100%">233-247</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 (Journal of Philosophical Logic, 2: 458508, 1973), George Lakoff proposes a fuzzy semantics for the non-scalar hedges &lt;em&gt;technically, strictly speaking, and loosely speaking&lt;/em&gt;. These hedges are able to modify the meaning of a predicate. However, Lakoffs proposal is problematic. For example, his semantics only contains interpretations for hedged predicates using semantic information provided by selection functions. What kind of information these functions should provide for non-hedged predicates remains unspecified. This paper presents a solution for this deficit and other problems by means of a generic first-order fuzzy logic &lt;strong&gt;FL&lt;/strong&gt;&lt;sub&gt;h&lt;/sub&gt; . A wide range of fuzzy logics can be used as a basis for &lt;strong&gt;FL&lt;/strong&gt;&lt;sub&gt;h&lt;/sub&gt; . Next to a fully specified semantics, this solution also incorporates a proof theory for reasoning with these hedges. &lt;strong&gt;FL&lt;/strong&gt;&lt;sub&gt;h&lt;/sub&gt; makes use of a special set of selection functions. These functions collect the kind of information a reasoner can retrieve from concepts in his or her memory when interpreting a (non-)hedged predicate. Despite this non-standard element, &lt;strong&gt;FL&lt;/strong&gt;&lt;sub&gt;h&lt;/sub&gt; remains a conservative modification of its underlying fuzzy logic.&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%">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%">Majority Merging by Adaptive Counting</style></title><secondary-title><style face="normal" font="default" size="100%">Synthese (KRA Serie)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">165</style></volume><pages><style face="normal" font="default" size="100%">203–223</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 present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADM(c) (Adaptive Doxastic Merging by Counting) consists in the formulation of the conflicts arising from the belief bases of the agents involved in the procedure. A strategy is then defined both semantically and proof-theoretically which selects the consistent contents answering to a majority principle. The results obtained are proven to be equivalent to a standard majority operator for bases with partial support.&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><secondary-authors><author><style face="normal" font="default" size="100%">van Benthem, Johan</style></author><author><style face="normal" font="default" size="100%">Pacuit, Eric</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Quasi-merging and Pure-arbitration on Information for the family of Adaptive Logics ADM</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the Workshop on Logic and Intelligent Interaction</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</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;The present paper introduces two new information merging protocols for the family of adaptive logics &lt;strong&gt;ADM&lt;/strong&gt;, for which majority merging has been defined in [19]. The new adaptive operators re ect the negotiation processes of quasi-merging and pure arbitration, known from the Integrity Constraints framework introduced in [13]. The &lt;em&gt;Adaptive Variant Counting&lt;/em&gt; selection provides a result equivalent to the &lt;em&gt;GMax&lt;/em&gt; family of merging operators: it selects a collective model for a multi-set of belief bases based on the number of disagreements verified by the various models according to a leximax function. The &lt;em&gt;Adaptive Minimax Counting&lt;/em&gt; selection is a quasi-merging operator which applies a minimax function and it obtains a larger spectrum of possibilities than the previous selection: it simulates the behaviour of the &lt;em&gt;Max&lt;/em&gt; family of operators from the Integrity Con- straints framework, avoiding some of its counterintuitive results.&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>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>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%">Monton, Bradley</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Constructive Empiricism and the Argument from Underdetermination.</style></title><secondary-title><style face="normal" font="default" size="100%">Images of empiricism: Essays on science and stances, with a reply from Bas van Fraassen</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%">Oxford University Press</style></publisher><pages><style face="normal" font="default" size="100%">11–31</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 is argued that, contrary to prevailing opinion, Bas van Fraassen nowhere uses the argument from underdetermination in his argument for constructive empiricism. It is explained that van Fraassens use of the notion of empirical equivalence in The Scientific Image has been widely misunderstood. A reconstruction of the main arguments for constructive empiricism is offered, showing how the passages that have been taken to be part of an appeal to the argument from underdetermination should actually be interpreted.&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%">De Mol, Liesbeth</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Durand Lose, J</style></author><author><style face="normal" font="default" size="100%">Margenstern, M</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Study of limits of solvability in tag systems</style></title><secondary-title><style face="normal" font="default" size="100%">Lecture Notes in Computer Science</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%">Springer</style></publisher><isbn><style face="normal" font="default" size="100%">978-3-540-74592-1</style></isbn><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 will give an outline of the proof of the solvability of the halting and reachability problem for 2-symbolic tag systems with a deletion number v = 2. This result will be situated in a more general context of research on limits of solvability in tag systems.&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><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%">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>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%">Magnani, Lorenzo</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Diagrammatic Proof Search Procedure as Part of a Formal Approach to Problem Solving</style></title><secondary-title><style face="normal" font="default" size="100%">Model Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic</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%">King's College Publications</style></publisher><pages><style face="normal" font="default" size="100%">265–284</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 aims at describing a goal-directed and diagrammatic method for proof search. The method (and one of the logics obtained by it) is particularly interesting in the context of formal problem solving. A typical property is that it consists of attempts to justify so-called bottom boxes by means of premise elements (diagrammatic elements obtained from premises) and logical elements. Premises are not preprocessed, whence most premises lead to a variety of premise elements.&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%">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%">Discussive Adaptive Logics: Handling Internal and External Inconsistencies</style></title><secondary-title><style face="normal" font="default" size="100%">Essays in Logic and Ontology</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Poznań Studies in the Philosophy of the Sciences and the Humanities</style></tertiary-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%">211-223</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><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A Formal Logic for Abductive Reasoning</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%">2006</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">14</style></volume><pages><style face="normal" font="default" size="100%">221–236</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 and illustrates a formal logic for the abduction of singular hypotheses. The logic has a semantics and a dynamic proof theory that is sound and complete with respect to the semantics. The logic presupposes that, with respect to a specific application, the set of explananda and the set of possible explanantia are disjoint (but not necessarily exhaustive). Where an explanandum can be explained by different explanantia, the logic allows only for the abduction of their disjunction.&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%">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%">Narrowing Down Suspicion in Inconsistent Premise Sets</style></title><secondary-title><style face="normal" font="default" size="100%">Essays in Logic and Ontology.</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Poznan Studies in the Philosophy of Science and the Humanities</style></tertiary-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%">185–209</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Inconsistency-adaptive logics isolate the inconsistencies that are derivable from a premise set, and restrict the rules of Classical Logic only where inconsistencies are involved. From many inconsistent premise sets, disjunctions of contradictions are derivable no disjunct of which is itself derivable. Given such a disjunction, it is often justified to introduce new premises that state, with a certain degree of confidence, that some of the disjuncts are false. This is an important first step on the road to consistency: it narrows down suspicion in inconsistent premise sets and hence locates the real problems among the possible ones. In this paper I present two approaches for handling such new premises in the context of the original premises. The first approach may apparently be combined with all paraconsistent logics. The second approach does not have the same generality, but is decidedly more elegant.&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%">Vanackere, Guido</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%">A World of Experiences, an Adequate Language, and Self-Reference Revised</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><number><style face="normal" font="default" size="100%">1</style></number><publisher><style face="normal" font="default" size="100%">Rodopi</style></publisher><volume><style face="normal" font="default" size="100%">91</style></volume><pages><style face="normal" font="default" size="100%">243–256</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 paper presents a new, intuitive formal language, L E , that fits in with a world view in which experiences are central entities. It is shown how classical logic and an &quot;objective making&quot; adaptive logic can be applied to formulas of L E . The latter logic sheds an interesting light on the creation of theories about &quot;the objective world&quot;. The paper also contains a small comment on sentences that are not translatable in L E . In the last section, I revise self-referring sentences by means of their translations in L E.&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%">Festa, Roberto</style></author><author><style face="normal" font="default" size="100%">Aliseda, Atocha</style></author><author><style face="normal" font="default" size="100%">Peijnenburg, Jeanne</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Empirical Progress and Ampliative Adaptive Logics</style></title><secondary-title><style face="normal" font="default" size="100%">Confirmation, Empirical Progress, and Truth Approximation. Essays in Debate with Theo Kuipers. Vol. 1</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Poznan Studies in the Philosophy of the Sciences and the Humanities</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</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%">83</style></volume><pages><style face="normal" font="default" size="100%">193–217</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%">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%">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%">Direct Dynamic Proofs for Classical Compatibility</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%">305–317</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>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%">Delrieux, Claudio</style></author><author><style face="normal" font="default" size="100%">Legris, Javier</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Do We Need Paraconsistency in Commonsense Reasoning?</style></title><secondary-title><style face="normal" font="default" size="100%">Computer Modeling of Scientific Reasoning</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><publisher><style face="normal" font="default" size="100%">Universidad Nacional del Sur. EDIUNS</style></publisher><pub-location><style face="normal" font="default" size="100%">Bahia Blanca, Argentina</style></pub-location><pages><style face="normal" font="default" size="100%">135–146</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%">Inconsistencies and the Dynamics of Science</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%">2003</style></year></dates><volume><style face="normal" font="default" size="100%">11/12</style></volume><pages><style face="normal" font="default" size="100%">129–148</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%">Paraconsistent Compatibility</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%">2003</style></year></dates><number><style face="normal" font="default" size="100%">183–184</style></number><volume><style face="normal" font="default" size="100%">46</style></volume><pages><style face="normal" font="default" size="100%">251–287</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 paraconsistent com-patibility. The consequence relation defined by these logics leads from a (possibly inconsistent) set of premises to all the sentences that are com-patible with them. Their proof theory is dynamic, but is proven sound and complete with respect to a static semantics. For the consistent case, both logics lead to exactly the same results as the logics for classical com-patibility that were presented in [11]. It is shown that paraconsistent compatibility cannot be defined with respect to a monotonic paraconsistent logic, but only with respect to an inconsistency-adaptive logic. The paper contains modal versions of two well-studied inconsistency-adaptive logics. These modal versions form the basis for the logics for paraconsistent compatibility, but are also interesting with respect to other applications.&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><author><style face="normal" font="default" size="100%">Provijn, Dagmar</style></author><author><style face="normal" font="default" size="100%">Verhoeven, Liza</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Some Adaptive Logics for Diagnosis</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%">2003</style></year></dates><volume><style face="normal" font="default" size="100%">11/12</style></volume><pages><style face="normal" font="default" size="100%">39–65</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;A logic of diagnosis proceeds in terms of a set of premises and one or more (prioritized) sets of expectancies. In this paper we generalize the logics of diagnosis from \cite{EDa:diag} and present some alternatives. The former operate on the premises and expectancies themselves, the latter on their consequences.&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%">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>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%">Meheus, Joke</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">In Defence of a Programme for Handling Inconsistencies</style></title><secondary-title><style face="normal" font="default" size="100%">Inconsistency in Science</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</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><pages><style face="normal" font="default" size="100%">129–150</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 states and defends the philosophical programme underlying the Ghent approach to adaptive logics. Two central arguments are epistemic in nature, one logical. The underlying claim is that even people with rather classical views should see adaptive logics as the only sensible way to handle the inconsistencies that regularly arise in human knowledge, including scientific theories.&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%">Krach, Helghe</style></author><author><style face="normal" font="default" size="100%">Vanpaemel, Geert</style></author><author><style face="normal" font="default" size="100%">Marage, Pierre</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Inconsistencies in Scientific Discovery. Clausius's Remarkable Derivation of Carnot's Theorem</style></title><secondary-title><style face="normal" font="default" size="100%">History of Modern Physics. Acta of the XXth International Congress of History of Science</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%">Brepols</style></publisher><pub-location><style face="normal" font="default" size="100%">Turnhout (Belgium)</style></pub-location><pages><style face="normal" font="default" size="100%">143–154</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%">Meheus, Joke</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Inconsistencies in the history of mathematics: the case of infinitesimals.</style></title><secondary-title><style face="normal" font="default" size="100%">Inconsistency in Science</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Origins</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-94-017-0085-6_3</style></url></web-urls></urls><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><volume><style face="normal" font="default" size="100%">2</style></volume><pages><style face="normal" font="default" size="100%">43–57</style></pages><isbn><style face="normal" font="default" size="100%">1-4020-0630-6</style></isbn><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 not confine myself exclusively to historical considerations. Both philosophical and technical matters will be raised, all with the purpose of trying to understand (better) what Newton, Leibniz and the many precursors (might have) meant when they talked about infinitesimals. The technical part will consist of an analysis why apparently infinitesimals have resisted so well to be formally expressed. The philosophical part, actually the most important part of this paper, concerns a discussion that has been going on for some decennia now. After the Kuhnian revolution in philosophy of science, notwithstanding Kuhns own suggestion that mathematics is something quite special, the question was nevertheless asked how mathematics develops. Are there revolutions in mathematics? If so, what do we have to think of? If not, why do they not occur? Is mathematics the so often claimed totally free creation of the human spirit? As usual, there is a continuum of positions, but let me sketch briefly the two extremes: the completists (as I call them) on the one hand, and the contingents (as I call them as well) on the other hand.&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%">D'Hanis, Isabel</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Magnani, Lorenzo</style></author><author><style face="normal" font="default" size="100%">Nersessian, Nancy</style></author><author><style face="normal" font="default" size="100%">Pizzi, Claudio</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A logical approach to the analysis of metaphors</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><volume><style face="normal" font="default" size="100%">25</style></volume><pages><style face="normal" font="default" size="100%">21–37</style></pages><isbn><style face="normal" font="default" size="100%">1402007124</style></isbn><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 present an adaptive logic that grasps the way we analyze metaphors. Metaphors are powerful tools to generate new scientific ideas. Therefore, it is important to have a good theory on what metaphors are and how they function. The first question we have to answer when we want to develop such a theory is obviously ˝what metaphors are˝. Philosophy of language can offer some interesting ideas but most views do not allow for a cognitive function of metaphors. One of the sparse views that does allow for it is interactionism. The basic version, however, has some serious shortcomings that need solving when we want to use this theory. First of all the terminology is too vague. Furthermore, the description of the reasoning process we use when we analyze a metaphor, only works for very simple examples. The logic I will present, ALM, is based on a broadened version of this view. A logical approach of metaphors allows us to gain a profound insight in the way we analyze metaphors. The analysis of metaphors is a dynamical reasoning process. When we want to capture this process in a logical system, we need a logic that is capable of grasping that specific type of dynamics. An adaptive logic seems to be the best choice. Therefore, I shall present an adaptive logic that grasps the analysis of metaphors.&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%">de Amo, Sandra</style></author><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Marcos, João</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Eiter, Thomas</style></author><author><style face="normal" font="default" size="100%">Schewe, Klaus-Dieter</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Logical Framework for Integrating Inconsistent Information in Multiple Databases</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of Information and Knowledge Systems</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%">2002</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/3-540-45758-5_5</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Berlin Heidelberg</style></publisher><volume><style face="normal" font="default" size="100%">2284</style></volume><pages><style face="normal" font="default" size="100%">67-84</style></pages><isbn><style face="normal" font="default" size="100%">978-3-540-43220-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;When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. In this paper, we use one of the paraconsistent logics introduced in [9,7] (&lt;strong&gt;LFI1&lt;/strong&gt;) as a logical framework to model possibly inconsistent database instances obtained by integrating different sources.We propose a method based on the sound and complete tableau proof system of &lt;strong&gt;LFI1&lt;/strong&gt; to treat both the integration process and the evolution of the integrated database submitted to users updates. In order to treat the integrated database evolution, we introduce a kind of generalized database context, the evolutionary databases, which are databases having the capability of storing and manipulating inconsistent information and, at the same time, allowing integrity constraints to change in time. We argue that our approach is sufficiently general and can be applied in most circumstances where inconsistency may arise in databases.&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%">De Clercq, Kristof</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Why the logic of explanation is inconsistency-adaptive.</style></title><secondary-title><style face="normal" font="default" size="100%">Inconsistency in science</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</style></publisher><pages><style face="normal" font="default" size="100%">165–184</style></pages><isbn><style face="normal" font="default" size="100%">1-4020-0630-6</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%">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>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Marcos, João</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Ex contradictione non sequitur quodlibet</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 2000 Advanced Reasoning Forum Conference</style></secondary-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;We summarize here the main arguments, basic research lines, and results on the foundations of the logics of formal inconsistency. These involve, in particular, some classes of well-known paraconsistent systems. We also present their semantical interpretations by way of possible-translations semantics and their applications to human reasoning and machine reasoning.&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><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Kiikeri, Mika</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%">On the Logic and Pragmatics of the Process of Explanation</style></title><secondary-title><style face="normal" font="default" size="100%">Explanatory Connections. Electronic Essays Dedicated to Matti Sintonen</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.valt.helsinki.fi/kfil/matti/</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">University of Helsinki</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, we present mainly two logical systems that clarify pragmatic aspects of the process of explanation. The first concerns a proof theory that leads to the derivation of possible initial conditions from an \emph{explanandum} and a given theory. The second logic concerns the derivation of questions in view of the verification of some possible initial condition, or of one out of several possible initial conditions. It is essential that the latter derivation proceeds in terms of all available knowledge, and not in terms of the explaining theory. It is shown that the second logic provides useful information for explicating further pragmatic aspects of the process of explanation. Several extensions of the logics are argued to be both useful and rather easy to obtain.&lt;/p&gt;</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;22&amp;nbsp;pp.&lt;/p&gt;</style></notes></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%">Caleiro, Carlos</style></author><author><style face="normal" font="default" size="100%">Marcos, João</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Arabnia, Hamid R.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Non-truth-functional fibred semantics</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><publisher><style face="normal" font="default" size="100%">CSREA Press</style></publisher><volume><style face="normal" font="default" size="100%">2</style></volume><pages><style face="normal" font="default" size="100%">841–847</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Until recently, truth-functionality has been considered essential to the mechanism for combining logics known as fibring. Following the first efforts towards extending fibred semantics to logics with nontruth- functional operators, this paper aims to clarify the subject at the light of ideas borrowed from the theory of general logics as institutions and the novel notion of non-truth-functional room. Besides introducing the relevant concepts and constructions, the paper presents a detailed worked example combining classical first-order logic with the paraconsistent propositional system C&lt;sub&gt;1&lt;/sub&gt;, for which a meaningful semantics is obtained. The possibility of extending this technique to build rst-order versions of further logics of formal inconsistency is also discussed.&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%">Shortcuts and Dynamic Marking in the Tableau Method for Adaptive logics</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%">2001</style></year></dates><volume><style face="normal" font="default" size="100%">69</style></volume><pages><style face="normal" font="default" size="100%">221–248</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Adaptive logics typically pertain to reasoning procedures for which there is no positive test. In \cite{DJ:tabl1}, we presented a tableau method for two inconsistency-adaptive logics. In the present paper, we first describe these methods (without repeating the meta-theoretic proofs). Next, we present several ways to increase the efficiency of the methods. This culminates in a dynamic marking procedure that indicates which branches have to be extended first, and thus guides one towards a decision–-the conclusion follows or does not follow–-in a very economical way.&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%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Marcos, João</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Arabnia, Hamid R.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Tableau systems for logics of formal inconsistency</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><publisher><style face="normal" font="default" size="100%">{CSREA} Press, Athens {GA}, {USA}</style></publisher><pages><style face="normal" font="default" size="100%">848-852</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 logics of formal inconsistency (&lt;strong&gt;LFI&lt;/strong&gt;s) are logics that allow to explicitly formalize the concepts of consistency and inconsistency by means of formulas of their language. Contradictoriness, on the other hand, can always be expressed in any logic, provided its language includes a symbol for negation. Besides being able to represent the distinction between contradiction and inconsistency, &lt;strong&gt;LFI&lt;/strong&gt;s are non-explosive logics, in the sense that a contradiction does not entail arbitrary statements, but yet are gently explosive, in the sense that, adjoining the additional requirement of consistency, then contradictoriness do cause explosion. Several logics can be seen as &lt;strong&gt;LFI&lt;/strong&gt;s, among them the great majority of paraconsistent systems developed under the Brazilian and Polish tradition. We present here tableau systems for some important LFIs: &lt;strong&gt;bC, Ci&lt;/strong&gt; and &lt;strong&gt;LFI1&lt;/strong&gt;.&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%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Marcos, João</style></author><author><style face="normal" font="default" size="100%">Loffredo D'Ottaviano, Itala M.</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></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A taxonomy of C-systems</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%">2001</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%">1-94</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;A thorough investigation of the foundations of paraconsistent logics. Relations between logical principles are formally studied, a novel notion of consistency is introduced, the logics of formal inconsistency, and the subclasses of C-systems and dC-systems are defined and studied. An enormous variety of paraconsistent logics in the literature is shown to constitute C-systems.&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%">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%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author><author><style face="normal" font="default" size="100%">Mortensen, Chris</style></author><author><style face="normal" font="default" size="100%">Priest, Graham</style></author><author><style face="normal" font="default" size="100%">Van Bendegem, Jean Paul</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">An Extremely Rich Paraconsistent Logic and the Adaptive Logic Based on It</style></title><secondary-title><style face="normal" font="default" size="100%">Frontiers of Paraconsistent Logic</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%">Research Studies Press</style></publisher><pub-location><style face="normal" font="default" size="100%">Baldock, UK</style></pub-location><pages><style face="normal" font="default" size="100%">189–201</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><secondary-authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author><author><style face="normal" font="default" size="100%">Mortensen, Chris</style></author><author><style face="normal" font="default" size="100%">Priest, Graham</style></author><author><style face="normal" font="default" size="100%">Van Bendegem, Jean Paul</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Frontiers of Paraconsistent Logic</style></title><secondary-title><style face="normal" font="default" size="100%">Frontiers of Paraconsistent Logic</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%">Research Studies Press</style></publisher><pub-location><style face="normal" font="default" size="100%">Baldock, UK</style></pub-location><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></authors><secondary-authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author><author><style face="normal" font="default" size="100%">Mortensen, Chris</style></author><author><style face="normal" font="default" size="100%">Priest, Graham</style></author><author><style face="normal" font="default" size="100%">Van Bendegem, Jean Paul</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Survey of Inconsistency-Adaptive Logics</style></title><secondary-title><style face="normal" font="default" size="100%">Frontiers of Paraconsistent Logic</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%">Research Studies Press</style></publisher><pub-location><style face="normal" font="default" size="100%">Baldock, UK</style></pub-location><pages><style face="normal" font="default" size="100%">49–73</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 offers a systematic review of some central philosophical and technical results on adaptive logics. Quite a few of the results are still in print or forthcoming.&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><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Dyckhoff, Roy</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Tableau Method for Inconsistency-Adaptive Logics</style></title><secondary-title><style face="normal" font="default" size="100%">Automated Reasoning with Analytic Tableaux and Related Methods</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Lecture Notes in Artificial Intelligence</style></tertiary-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><volume><style face="normal" font="default" size="100%">1847</style></volume><pages><style face="normal" font="default" size="100%">127–142</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 present a tableau method for inconsistency-adaptive logics and illustrate it in terms of the two best studied systems. The method is new in that adaptive logics require a more complex structure of the tableaus and of some rules and conditions. As there is no positive test for derivability in inconsistency-adaptive logics, the tableau method is important for providing criteria for derivability.&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%">Clausius' discovery of the first two laws of thermodynamics. A paradigm of reasoning from inconsistencies</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%">1999</style></year></dates><volume><style face="normal" font="default" size="100%">63</style></volume><pages><style face="normal" font="default" size="100%">89–117</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%">Deductive and Ampliative Adaptive Logics as Tools in the Study of Creativity</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1999</style></year></dates><volume><style face="normal" font="default" size="100%">4</style></volume><pages><style face="normal" font="default" size="100%">325–336</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 argue that logic has an important role to play in the methodological study of creativity. I also argue, however, that only special kinds of logic enable one to understand the reasoning involved in creative processes. I show that deductive and ampliative adaptive logics are appropriate tools in this respect.&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%">The early positivists' approach to scientific discovery</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%">1999</style></year></dates><volume><style face="normal" font="default" size="100%">64</style></volume><pages><style face="normal" font="default" size="100%">81–108</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 the early eighties, philosophers of science came to the conviction that discovery and creativity form an integral part of scientific rationality. Ever since, the &quot;positivists&quot; (logical positivists and their immediate forerunners) have been criticised for their (alleged) neglect of these topics. It is the aim of this paper to show that the positivists' approach to scientific discovery is not only much richer than is commonly recognized, but that they even defended an important thesis which some of the 'friends of discovery' seem to have forgotten. Contrary to what is generally accepted, I shall also show that there is no reason at all why the positivists should have ignored discovery.&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%">Erotetic arguments from inconsistent premises</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%">1999</style></year></dates><number><style face="normal" font="default" size="100%">165-166</style></number><volume><style face="normal" font="default" size="100%">42</style></volume><pages><style face="normal" font="default" size="100%">49–80</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 aim of this paper is to generalize two basic concepts of Wisniewski's theory of questions, namely question evocation and question generation, to the inconsistent case. For both concepts, I shall present three alternative definitions. Each of these is based on a prioritized adaptive logic. I shall show that, for the consistent case, each of the alternative definitions leads to the same results as the original ones, and that, for inconsistent case, no other changes are introduced than those required for the sensible handling of inconsistencies. I shall also show that, in the generalized case, a new kind of question evocation can be defined (here called stong evocation). I shall demonstrate that if a question is strongly evoked by some inconsistent set of premmises, then each of its direct answers provides guidance on how the inconsistencies should be resolved.&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%">Magnani, Lorenzo</style></author><author><style face="normal" font="default" size="100%">Nersessian, Nancy</style></author><author><style face="normal" font="default" size="100%">Thagard, Paul</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Model-Based Reasoning in Creative Processes</style></title><secondary-title><style face="normal" font="default" size="100%">Model-Based Reasoning in Scientific Discovery</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1999</style></year></dates><publisher><style face="normal" font="default" size="100%">Kluwer/Plenum</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><pages><style face="normal" font="default" size="100%">199–217</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Combining a contextual approach to problem solving with results on some recently developed (non-standard) logics, I present in this paper a general frame for the methodological study of model-based reasoning in creative processes. I argue that model-based reasoning does not require that we turn away from logic. I also argue, however, that in order to better understand and evaluate creative processes that involve model-based reasoning, and in order to formulate guidelines for them, we urgently need to extend the existing variety of 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%">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%">Over het (vermeende) conflict tussen godsgeloof en de wetenschappen</style></title><secondary-title><style face="normal" font="default" size="100%">Mores</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%">42</style></volume><pages><style face="normal" font="default" size="100%">401–415</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></contributors><titles><title><style face="normal" font="default" size="100%">Wetenschappelijke ontdekking en creativiteit. Een poging tot theorievorming op basis van een conceptuele, methodologische en logische studie</style></title></titles><dates><year><style  face="normal" font="default" size="100%">1997</style></year><pub-dates><date><style  face="normal" font="default" size="100%">March 12</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Universiteit Gent (Belgium)</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>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></authors><secondary-authors><author><style face="normal" font="default" size="100%">Douven, Igor</style></author><author><style face="normal" font="default" size="100%">Horsten, Leon</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">In-world realism vs. reflective realism.</style></title><secondary-title><style face="normal" font="default" size="100%">Realism in the Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1996</style></year></dates><publisher><style face="normal" font="default" size="100%">Universitaire Pers</style></publisher><pub-location><style face="normal" font="default" size="100%">Leuven</style></pub-location><pages><style face="normal" font="default" size="100%">35–53</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><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Steering Problem Solving Between Cliff Incoherence and Cliff Solitude</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%">1996</style></year></dates><volume><style face="normal" font="default" size="100%">58</style></volume><pages><style face="normal" font="default" size="100%">153–187</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Starting from Nickles' constraint-inclusion model, we present five challenges that any rational problem solving model should meet, but that seem to lead to an inextricable riddle. We then introduce the contextual model and show, step by step, that it meets all the challenges and resolves the riddle. This results in a strong argument for the concept of rationality that underlies the model.&lt;/p&gt;</style></abstract><notes><style face="normal" font="default" size="100%">Appeared 1998</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%">Meheus, Joke</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Nieuwe perspectieven voor het begrijpen en bevorderen van creativiteit</style></title><secondary-title><style face="normal" font="default" size="100%">Mores</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1995</style></year></dates><volume><style face="normal" font="default" size="100%">40</style></volume><pages><style face="normal" font="default" size="100%">164–178</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%">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%">Elk wetenschapper zijn onderzoeksprogramma?</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%">61–67</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%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">van Dooren, Wim</style></author><author><style face="normal" font="default" size="100%">Hoff, Tineke</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">De rationaliteit van persoonlijke inperkingen</style></title><secondary-title><style face="normal" font="default" size="100%">Aktueel Filosoferen</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1993</style></year></dates><publisher><style face="normal" font="default" size="100%">Eburon</style></publisher><pages><style face="normal" font="default" size="100%">33–38</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%">Halleux, Robert</style></author><author><style face="normal" font="default" size="100%">Bernés, Anne-Cathérine</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Ontdekking en creativiteit in wetenschap en muziek</style></title><secondary-title><style face="normal" font="default" size="100%">Nieuwe tendenzen in de geschiedenis en de filosofie van de wetenschappen</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1993</style></year></dates><publisher><style face="normal" font="default" size="100%">Nationaal Comité voor Logica, Geschiedenis en Filosofie van de Wetenschappen</style></publisher><pages><style face="normal" font="default" size="100%">41–52</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%">Raymaekers, Bart</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Recente ontwikkelingen in onze opvatting over 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%">1993</style></year></dates><publisher><style face="normal" font="default" size="100%">Universitaire Pers</style></publisher><pages><style face="normal" font="default" size="100%">259–261</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></records></xml>