<?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%">Pawlowski, Pawel</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Tree-like proof systems for finitely-many valued deterministic and indeterministic consequence relations</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></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%">Frederik Van De Putte</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">That will do: Logics of Deontic Necessity and Sufficiency</style></title><secondary-title><style face="normal" font="default" size="100%">Erkenntnis</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">82</style></volume><pages><style face="normal" font="default" size="100%">473–511</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;table id=&quot;entry&quot; class=&quot;responsive&quot; style=&quot;margin-top: 10px;&quot;&gt;
&lt;tbody&gt;
&lt;tr&gt;
&lt;td class=&quot;pp-label&quot;&gt;&amp;nbsp;&lt;/td&gt;
&lt;td id=&quot;abstractElement&quot; class=&quot;content&quot;&gt;
&lt;div&gt;We study a logic for deontic necessity and sufficiency, as originally proposed in van Benthem :36–41, 1979). Building on earlier work in modal logic, we provide a sound and complete axiomatization for it, consider some standard extensions, and study other important properties. After that, we compare this logic to the logic of “obligation as weakest permission” from Anglberger et al. :807–827, 2015).&lt;/div&gt;
&lt;/td&gt;
&lt;/tr&gt;
&lt;/tbody&gt;
&lt;/table&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards democratic models of science: exploring the case of scientific pluralism</style></title><secondary-title><style face="normal" font="default" size="100%">Perspectives on science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">23</style></volume><pages><style face="normal" font="default" size="100%">149–172</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Scientific pluralism, a normative endorsement of the plurality or multiplicity of research approaches in science, has recently been advocated by several philosophers (e.g., Kellert et al. 2006, Kitcher 2001, Longino 2013, Mitchell 2009, and Chang 2010). Comparing these accounts of scientific pluralism, one will encounter quite some variation. We want to clarify the different interpretations of scientific pluralism by showing how they incarnate different models of democracy, stipulating the desired interaction among the plurality of research approaches in different ways. Furthermore, the example of scientific pluralism is used to advocate the application of democratic theory to philosophy of science problems in general. Drawing on the parallels between models of science and models of democracy, we can articulate how the plurality of research approaches in science should interact within a democratic framework as well as how to cultivate multiple research approaches in the epistemically most productive way possible. This will not only improve our understanding of scientific plurality, but it can also help us stipulating how different research approaches should interact to constitute the most objective account possible or how the ideal of scientific consensus has to be understood. Ultimately, developing democratic models of science bears on the question of how deeply science and democracy are entwined.&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%">Béziau, Jean-Yves</style></author><author><style face="normal" font="default" size="100%">Chakraborty, Mihir</style></author><author><style face="normal" font="default" size="100%">Dutta, Soma</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Tutorial on Inconsistency-Adaptive Logics</style></title><secondary-title><style face="normal" font="default" size="100%">New Directions in Paraconsistent Logic</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><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 concise introduction to a few central features of inconsistency-adaptive logics. The focus is on the aim of the program, on logics that may be useful with respect to applications, and on insights that are central for judging the importance of the research goals and the adequacy of results. Given the nature of adaptive logics, the paper may be read as a peculiar introduction to defeasible 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%">Koslow, Arnold</style></author><author><style face="normal" font="default" size="100%">Buchsbaum, Arthur</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Two, Many, And Differently Many</style></title><secondary-title><style face="normal" font="default" size="100%">The Road to Universal Logic.  Festschrift for the 50th Birthday of Jean-Yves Béziau</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%">Birkhäuser</style></publisher><pub-location><style face="normal" font="default" size="100%">Basel</style></pub-location><volume><style face="normal" font="default" size="100%">II</style></volume><pages><style face="normal" font="default" size="100%">213–242</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper is a modest contribution to a universal logic approach to many-valued semantic systems. The main focus is on the relation between such systems and two-valued ones. The matter is discussed for usual many-valued semantic systems. These turn out to exist for more logics than expected. A new type of many-valued semantics is devised and its use illustrated. Truth-functionality has a rather central place in the discussion, which leads to philosophical conclusions.&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%">Gauderis, Tjerk</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">To envision a new particle or change an existing law? Hypothesis formation and anomaly resolution for the curious spectrum of beta decay</style></title><secondary-title><style face="normal" font="default" size="100%">STUDIES IN HISTORY AND PHILOSOPHY OF MODERN PHYSICS</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><volume><style face="normal" font="default" size="100%">45</style></volume><pages><style face="normal" font="default" size="100%">27–45</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper addresses the question of how scientists determine which type of hypothesis is most suitable for tackling a particular problem by examining the historical case of the anomalous ß spectrum in early nuclear physics (1927-1934), a puzzle that occasioned the most diverse hypotheses amongst physicists at the time. It is shown that such determinations are most often implicitly informed by scientists individual perspectives on the hierarchical relations between various elements of the theory and the problem at hand. In addition to this main result, it is suggested that Wolfgang Paulis neutrino idea may well have been an adaptation of Ernst Rutherfords original and older neutron idea, which would provide evidence that the adaptation of older ideas is a more common practice than is often thought.&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></authors></contributors><titles><title><style face="normal" font="default" size="100%">A taxonomy of errors for information systems</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%">2013</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">24</style></volume><pages><style face="normal" font="default" size="100%">249–273</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 provide a full characterization of computational error states for information systems. The class of errors considered is general enough to include human rational processes, logical reasoning, scientific progress and data processing in some functional programming languages. The aim is to reach a full taxonomy of error states by analysing the recovery and processing of data. We conclude by presenting machine-readable checking and resolve algorithms.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">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%">Three formats of prioritized adaptive logics: a comparative study</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%">2013</style></year></dates><volume><style face="normal" font="default" size="100%">21</style></volume><pages><style face="normal" font="default" size="100%">127–159</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 broad range of defeasible reasoning forms has been explicated by prioritized adaptive logics. However, the relative lack in meta-theory of many of these logics stands in sharp contrast to the frequency of their application. This article presents the first comparative study of a large group of prioritized adaptive logics. Three formats of such logics are discussed: superpositions of adaptive logics, hierarchic adaptive logics from F. Van De Putte (2011, &lt;em&gt;Log. J. IGPL, doi:10.1093/jigpal/jzr025&lt;/em&gt;) and lexicographic adaptive logics from F. Van De Putte and C. Stra&amp;amp;\#223;er (2012, &lt;em&gt;Log. Anal., forthcoming&lt;/em&gt;). We restrict the scope to logics that use the strategy Minimal Abnormality. It is shown that the semantic characterizations of these systems are equivalent and that they are all sound with respect to either of these characterizations. Furthermore, sufficient conditions for the completeness and equivalence of the consequence relations of the three formats are established. Some attractive properties, including Fixed Point and the Deduction Theorem, are shown to hold whenever these conditions are obeyed.&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%">Beirlaen, Mathieu</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%">Two adaptive logics of norm-propositions</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%">2013</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">11</style></volume><pages><style face="normal" font="default" size="100%">147–168</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 two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic &lt;strong&gt;LNP&lt;/strong&gt;, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen &lt;strong&gt;LNP&lt;/strong&gt; within the adaptive logic framework for non-monotonic reasoning in order to meet (ii). This results in the adaptive logics &lt;strong&gt;LNP&lt;sup&gt;r&lt;/sup&gt;LNP&lt;sup&gt;r&lt;/sup&gt;&lt;/strong&gt; and &lt;strong&gt;LNP&lt;sub&gt;mLNP&lt;sup&gt;m&lt;/sup&gt;&lt;/sub&gt;&lt;/strong&gt;, which interpret a given set of premises in such a way that normative conflicts and normative gaps are avoided whenever possible. &lt;strong&gt;LNP&lt;sup&gt;r&lt;/sup&gt;LNP&lt;sup&gt;r&lt;/sup&gt;&lt;/strong&gt; and &lt;strong&gt;LNP&lt;sup&gt;m&lt;/sup&gt;LNP&lt;sup&gt;m&lt;/sup&gt;&lt;/strong&gt; are equipped with a preferential semantics and a dynamic proof theory.&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><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></contributors><titles><title><style face="normal" font="default" size="100%">Tolerating Normative Conflicts in Deontic Logic.</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year><pub-dates><date><style  face="normal" font="default" size="100%">September 13</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Ghent University</style></publisher><work-type><style face="normal" font="default" size="100%">phd</style></work-type><custom1><style face="normal" font="default" size="100%">&lt;p&gt;Joke Meheus and Christian Straßer&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%">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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Two Gaps in the Contextual Theory of Scientific Understanding</style></title><secondary-title><style face="normal" font="default" size="100%">The Reasoner</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><number><style face="normal" font="default" size="100%">8</style></number><volume><style face="normal" font="default" size="100%">6</style></volume><pages><style face="normal" font="default" size="100%">130-131</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%">Weber, Erik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Two problems for the contextual theory of scienitfic understanding</style></title><secondary-title><style face="normal" font="default" size="100%">The Reasoner</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">6</style></volume><pages><style face="normal" font="default" size="100%">60–62</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 the contextual theory of scientific understanding as developed by Henk De Regt and Dennis Dieks (2005: A Contextual Approach to Scientific Understanding, &lt;em&gt;Synthese&lt;/em&gt; 144, 137170) and further developed by Henk De Regt (2009: The Epistemic Value of Understanding, &lt;em&gt;Philosophy of Science&lt;/em&gt; 76: 585597) is not contextual in one crucial respect: the meaning of understanding. I also argue that its scope needs to be restricted: it cannot be a theory of scientific understanding in general.&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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Testing universal gravitation in the laboratory, or the significance of research on the mean density of the earth and big G, 1798-1898: changing pursuits and long-term methodological-experimental continuity</style></title><secondary-title><style face="normal" font="default" size="100%">Archive for History of Exact Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">65</style></volume><pages><style face="normal" font="default" size="100%">181–227</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 seeks to provide a historically well-informed analysis of an important post-Newtonian area of research in experimental physics between 1798 and 1898, namely the determination of the mean density of the earth and, by the end of the nineteenth century, the gravitational constant. Traditionally, research on these matters is seen as a case of ˝puzzle solving.˝ In this article, the author shows that such focus does not do justice to the evidential significance of eighteenth-and nineteenth-century experimental research on the mean density of the earth and the gravitational constant. As Newton's theory of universal gravitation was mainly based on astronomical observation, it remained to be shown that Newton's law of universal gravitation did not break down at terrestrial distances. In this context, Cavendish' experiment and related nineteenth-century experiments played a decisive role, for they provided converging and increasingly stronger evidence for the universality of Newton's theory of gravitation. More precisely, the author shall argue that, as the accuracy and precision of the experimental apparatuses and the procedures to eliminate external disturbances involved increasingly improved, the empirical support for the universality of Newton's theory of gravitation improved correspondingly.&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%">Leuridan, Bert</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Three problems for the mutual manipulability account of constitutive relevance in mechanisms</style></title><secondary-title><style face="normal" font="default" size="100%">The British Journal for the Philosophy of Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">63</style></volume><pages><style face="normal" font="default" size="100%">399–427</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this article, I present two conceptual problems for Craver's mutual manipulability account of constitutive relevance in mechanisms. First, constitutive relevance threatens to imply causal relevance despite Craver (and Bechtel)'s claim that they are strictly distinct. Second, if (as is intuitively appealing) parthood is defined in terms of spatio-temporal inclusion, then the mutual manipulability account is prone to counterexamples, as I show by a case of endosymbiosis. I also present a methodological problem (a case of experimental underdetermination) and formulate two partial, but fallible solutions based on the notions of parthood and synchronicity.&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><author><style face="normal" font="default" size="100%">Šešelja, Dunja</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards the proof-theoretic unification of Dung's argumentation framework: an adaptive logic approach</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%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1093/logcom/exq015</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">21</style></volume><pages><style face="normal" font="default" size="100%">133–156</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The article presents a unifying adaptive logic framework for abstract argumentation. It consists of a core system for abstract argumentation and various adaptive logics based on it. These logics represent in an accurate sense all standard extensions defined within Dung's abstract argumentation system with respect to sceptical and credulous acceptance. The models of our logics correspond exactly to specific extensions of given argument systems. Additionally, the dynamics of adaptive proofs mirror the argumentative reasoning of a rational agent. In particular, the presented logics allow for external dynamics, i.e. they are able to deal with the arrival of new arguments and are therefore apt to model open-ended argumentations by providing provisional conclusions.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards a fruitful formulation of Needham's grand question</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%">2010</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://logica.ugent.be/philosophica/fulltexts/82-2.pdf</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">82</style></volume><pages><style face="normal" font="default" size="100%">9–26</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;As it stands, Needhams Grand Question is simply too general and ill-posed to be answered in a meaningful way. In this paper it is argued that Needhams Grand Question, to wit &lt;em&gt;Why did science emerge in the West and not in China?&lt;/em&gt;, can only be fruitfully pursued, (1) on the condition that one explicates the assumptions and conceptions involved in an informative and motivated way, and (2) on the condition that the question is concretized and fine-tuned by means of and in terms of a series of specific questions. In this paper, I attempt to reformulate Needhams Grand Question on the basis of a minimal conception of modern science. Next I will split up the Grand Question into a series of more specific, controllable and arguably more fruitful questions.&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%">Straßer, Christian</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%">Towards more conflict-tolerant deontic logics by relaxing the interdefinability between obligations and permissions</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;While conflict-tolerant logics (CTDLs) usually allow for obligation- obligation conflicts, they fall short of tolerating obligation-permission con- flicts (OP-conflicts) of the type O&lt;em&gt;A&lt;/em&gt; &amp;amp;\#8743; P&amp;amp;\#172; &lt;em&gt;A&lt;/em&gt;. Moreover, for the sake of conflict-tolerance these logics usually do not validate the very intuitive principle (D), O&lt;em&gt;A&lt;/em&gt; &amp;amp;\#8835; P&lt;em&gt;A&lt;/em&gt;. We demonstrate in this paper that by relaxing the interdefinability between obligations and permission P&lt;em&gt;A&lt;/em&gt; =&lt;sub&gt;df&lt;/sub&gt; &amp;amp;\#172;O&amp;amp;\#172;&lt;em&gt;A&lt;/em&gt; that is characteristic for most deontic logics, the logics get more conflict-tolerant since they allow for OP-conflicts. Moreover, this way they can be equipped with (D) without the need to sacrifice conflict-tolerance. In this paper we offer a generic procedure that transforms a given CTDL into a logic that tolerates OP-conflicts and validates (D).&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Times and Life of John Th. Desaguliers (1683-1744): Newtonian and Freemason</style></title><secondary-title><style face="normal" font="default" size="100%">Revue belge de philologie et d'histoire</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">87</style></volume><pages><style face="normal" font="default" size="100%">349–363</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Jean Theophile Desaguliers (1683-1744) (geboren : Desaguillers) was een centrale figuur in twee aan belang winnende stromingen : het Newtonianisme en de Vrijmetselarij. Desaguliers werd lid van de Royal Society en hij was een persoonlijke kennis van Isaac Newton. Hij schreef talrijke wetenschappelijke boeken en artikelen waarin hij de Newtoniaanse natuurfi losofi e verdedigde. Om deze reden was hij centraal voor de popularisering van het Newtonianisme. Terwijl hij in London verbleef, werd Desaguliers eveneens een cruciale fi guur binnen de Vrijmetselarij : in 1719 werd hij grootmeester van de Grootloge van Londen en hij was rechtstreeks betrokken in de totstandkoming van James Andersons The Constitutions of the Free-masons (1723).&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">To treat of the world: Paul Otlet's ontology and epistemology and the circle of knowledge</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Documentation</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">65</style></volume><pages><style face="normal" font="default" size="100%">223–244</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Purpose  The purpose of this paper is to document how Paul Otlet, founding-father of what is termed at present as information science, attempted to provide a complete image of the world (and reality in general) by establishing the scientific discipline he dubbed documentation. The paper also aims to focus on how Otlet represented human knowledge and reality in a systematic and unified way. Design/methodology/approach  A close reading of Otlet's primary works and some of his personal archives was undertaken. Findings  Most importantly, it is shown that Otlet's views on documentation were immersed in a cosmological, objectivist, humanitarian and ontological framework that is alien to contemporary information science. Correspondingly, his alleged affinity with positivism is reassessed. Originality/value  The philosophical foundations of the origins of information science are highlighted. Indirectly, this paper is relevant to the ongoing debate on realism and anti-realism in information science.&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%">Dégremont, Cédric</style></author><author><style face="normal" font="default" size="100%">Keiff, Laurent</style></author><author><style face="normal" font="default" size="100%">Rückert, Helge</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards a Dialogic Interpretation of Dynamic Proofs</style></title><secondary-title><style face="normal" font="default" size="100%">Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><pub-location><style face="normal" font="default" size="100%">London</style></pub-location><pages><style face="normal" font="default" size="100%">27–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;The main result presented in this paper concerns a dialogic or game-theoretical interpretation of dynamic proofs. Dynamic proofs in themselves do not form a demonstration of the derivability of their last formula from a given premise set. Apart from the proof, such a demonstration requires a specific metalevel argument. In a natural and appealing form, the metalevel argument is phrased in terms of the existence of a winning strategy for the proponent.\par The aforementioned point is presented in terms of an approach that is in a sense Hilbertian and anti-Tarskian: the characterization of logical inference in terms of types of proofs, rather than in terms of properties of the consequence relation.&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 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>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%">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%">On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit</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%">2009</style></year></dates><volume><style face="normal" font="default" size="100%">207</style></volume><pages><style face="normal" font="default" size="100%">281–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;For Tarski logics, there are simple criteria that enable one to conclude that two premise sets are equivalent. We shall show that the very same criteria hold for adaptive logics, which is a major advantage in comparison to other approaches to defeasible reasoning forms.&lt;br /&gt; A related property of Tarski logics is that the extensions of equivalent premise sets with the same set of formulas are equivalent premise sets. This does not hold for adaptive logics. However a very similar criterion does.&lt;br /&gt; We also shall show that every monotonic logic weaker than an adaptive logic is weaker than the lower limit logic of the adaptive logic or identical to it. This highlights the role of the lower limit for settling the adaptive equivalence of extensions of equivalent premise sets.&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%">De Mol, Liesbeth</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Tag systems and Collatz-like functions</style></title><secondary-title><style face="normal" font="default" size="100%">Theoretical Computer Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/1854/12954</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">390</style></volume><pages><style face="normal" font="default" size="100%">92–101</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Tag systems were invented by Emil Leon Post and proven recursively unsolvable by Marvin Minsky. These production systems have shown very useful in constructing small universal (Turing complete) systems for several different classes of computational systems, including Turing machines, and are thus important instruments for studying limits or boundaries of solvability and unsolvability. Although there are some results on tag systems and their limits of solvability and unsolvability, there are hardly any that consider &lt;em&gt;both&lt;/em&gt; the shift number &lt;em&gt;n&lt;/em&gt;, as well as the number of symbols µ. This paper aims to contribute to research on limits of solvability and unsolvability for tag systems, taking into account these two parameters. The main result is the reduction of the 3&lt;em&gt;n&lt;/em&gt; + 1-problem to a surprisingly small tag system. It indicates that the present unsolvability line  defined in terms of µ and &lt;em&gt;v&lt;/em&gt;  for tag systems might be significantly decreased.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Text production, reproduction and appropriation within the abbaco tradition: a case study</style></title><secondary-title><style face="normal" font="default" size="100%">SCIAMVS</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><volume><style face="normal" font="default" size="100%">9</style></volume><pages><style face="normal" font="default" size="100%">101-145</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%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards an Ontology of Scientific Models</style></title><secondary-title><style face="normal" font="default" size="100%">Metaphysica: International Journal for Ontology and Metaphysics</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Abstraction</style></keyword><keyword><style  face="normal" font="default" size="100%">Idealisation</style></keyword><keyword><style  face="normal" font="default" size="100%">Ontology of scientific models</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/s12133-008-0026-y</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">9</style></volume><pages><style face="normal" font="default" size="100%">119-127</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Scientific models occupy centre stage in scientific practice. Correspondingly, in recent literature in the philosophy of science, scientific models have been a focus of research. However, little attention has been paid so far to the ontology of scientific models. In this essay, I attempt to clarify the issues involved in formulating an informatively rich ontology of scientific models. Although no full-blown theorycontaining all ontological issues involvedis provided, I make several distinctions and point to several characteristic properties exhibited by scientific models that are relevant for individuating scientific models.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The tacit appropriation of Hindu algebra in renaissance practical arithmetic</style></title><secondary-title><style face="normal" font="default" size="100%">Ganita Bharati</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><number><style face="normal" font="default" size="100%">1-2</style></number><volume><style face="normal" font="default" size="100%">29</style></volume><pages><style face="normal" font="default" size="100%">1–60</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Langhe, Rogier</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Is there no alternative?</style></title><secondary-title><style face="normal" font="default" size="100%">Ethiek en Maatschappij</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://logica.ugent.be/rogier/alternative.pdf</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">10</style></volume><pages><style face="normal" font="default" size="100%">101–111</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%">Urbaniak, Rafal</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Time Travel and Conditional Logics</style></title><secondary-title><style face="normal" font="default" size="100%">Logica 2007 Yearbook</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></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></contributors><titles><title><style face="normal" font="default" size="100%">Tracing Unsolvability. A Mathematical, Historical and Philosophical Analysis with a Special Focus on Tag Systems</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year><pub-dates><date><style  face="normal" font="default" size="100%">May 23</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Ghent University</style></publisher><work-type><style face="normal" font="default" size="100%">phd</style></work-type><custom1><style face="normal" font="default" size="100%">&lt;p&gt;Erik Weber&lt;/p&gt;</style></custom1></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Mol, Liesbeth</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Theory and Experiment in the work of Alonzo Church and Emil Post</style></title><secondary-title><style face="normal" font="default" size="100%">unpublished</style></secondary-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;While most mathematicians would probably agree that experimentation together with an empirical attitude  both understood in their most general sense  can be important methods of mathematical discovery, this is often obscured in the final presentation of the results for the sake of mathematical elegance. In this paper it will be shown how this method has played a significant role in the work of two major contributors to the rather abstract discipline called mathematical logic, namely Alonzo Church and Emil Post.&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%">De Mey, Tim</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Tales of the Unexpected: Incongruity-Resolution in Joke Comprehension, Scientific Discovery and Thought Experimentation</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%">2005</style></year></dates><volume><style face="normal" font="default" size="100%">14</style></volume><pages><style face="normal" font="default" size="100%">69–88</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Some scholars suspect that thought experiments have something in common with jokes. Moreover, Thomas Kuhn has suggested that what happens to someone who thinks through a thought experiment is very similar to what happens to a man, like Lavoisier, who must assimilate the result of a new unexpected experimental discovery (1964: 321). In this paper, I pinpoint the presumed commonalities. I identify, more specifically, what cognitive linguists call incongruity-resolution as the problem-solving process not only involved in humor comprehension, but in scientific discovery and thought experimentation as well&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></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Theory of the Process of Explanation Generalized to Include the Inconsistent Case</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%">2005</style></year></dates><volume><style face="normal" font="default" size="100%">143</style></volume><pages><style face="normal" font="default" size="100%">63–88</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper proposes a generalization of the theory of the process of explanation to include consistent as well as inconsistent situations. The generalization is strong, for example in the sense that, if the background theory and the initial conditions are consistent, it leads to precisely the same results as the theory from the lead paper \cite{H&amp;amp;H:tpe}. The paper presupposes (and refers to arguments for the view that) inconsistencies constitute problems and that scientists try to resolve them.&lt;/p&gt;</style></abstract><notes><style face="normal" font="default" size="100%">doi:10.1007/s11229-005-3114-3</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards a framework for pluralisms in economics</style></title><secondary-title><style face="normal" font="default" size="100%">Post-Autistic Economics Review</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><volume><style face="normal" font="default" size="100%">30</style></volume><pages><style face="normal" font="default" size="100%">24–27</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%">De Mey, Tim</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Thinking Through Thought Experiments</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year><pub-dates><date><style  face="normal" font="default" size="100%">March 24</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Ghent University</style></publisher><work-type><style face="normal" font="default" size="100%">phd</style></work-type><notes><style face="normal" font="default" size="100%">&lt;p&gt;Promotor: Erik Weber&lt;/p&gt;</style></notes><custom1><style face="normal" font="default" size="100%">&lt;p&gt;Erik Weber&lt;/p&gt;</style></custom1></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Mey, Tim</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Thought experiments, conceivability arguments and conceptual blending</style></title><secondary-title><style face="normal" font="default" size="100%">Odense Working Papers in Language and Communication</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><volume><style face="normal" font="default" size="100%">24</style></volume><pages><style face="normal" font="default" size="100%">143–156</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>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%">Christiaens, Wim</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">This Universe Is the `Best' of All Possible Worlds. A Tentative Reconstruction of the Metaphysical System of Leo Apostel</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%">2001</style></year></dates><volume><style face="normal" font="default" size="100%">67</style></volume><pages><style face="normal" font="default" size="100%">115-146</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;After presenting Apostels views on scientific realism, I present definitions of the concepts of ontology and metaphysics. I then proceed to develop Apostels basic ontology and his metaphysics. Apostel proposed a particular understanding of existence based on his views on causation. He also developed a view of the universe as a causal self-explaining system. I discuss and illustrate three kinds of what he calls metaphysical deductions that aim to deliver such a view of the universe. The most important one is the Leibnizian variational method, that should allow us to deduce the existing universe as the best of all possible worlds.&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%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards the Unification of Inconsistency Handling Mechanisms</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%">5–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 shown that the (flat) consequence relations defined from the Rescher-Manor Mechanism (that is: in terms of maximal consistent subsets of the premises) are all inconsistency-adaptive logics combined with a specific interpretation schema for the premises. Each of the adaptive logics is obtained by applying a suitable adaptive strategy to the paraconsistent logic &lt;strong&gt;CLuN&lt;/strong&gt;.&lt;br /&gt;&lt;br /&gt; This result provides all those consequence relations with a (dynamic) proof theory and with a static (as well as a dynamic) semantics.&lt;/p&gt;</style></abstract><notes><style face="normal" font="default" size="100%">Appeared 2002</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%">De Clercq, Kristof</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Two New Strategies for Inconsistency-Adaptive Logics</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%">65–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;In this paper I present two new strategies for inconsistency- adaptive logics: the reliable sufficient information strategyof ACLuN3 and the minimally abnormal sufficient information strategyof ACLuN4. I give proof theory and semantics for both ACLuN3 and ACLuN4. I also com- pare them with the well-known inconsistency-adaptive logics ACLuN1 and ACLuN2.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bendegem, Jean Paul</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Vandormael, Jan</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Twee grote verhalen over wetenschap (voor allen en voor niemand).</style></title><secondary-title><style face="normal" font="default" size="100%">Ik &amp; het verhaal</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1997</style></year></dates><publisher><style face="normal" font="default" size="100%">Uitgaven Woord en Argument</style></publisher><pub-location><style face="normal" font="default" size="100%">Hasselt</style></pub-location><pages><style face="normal" font="default" size="100%">107-130</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%">Castel, Paul</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%">The two-envelope paradox: the infinite case</style></title><secondary-title><style face="normal" font="default" size="100%">Analysis</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1994</style></year></dates><volume><style face="normal" font="default" size="100%">54</style></volume><pages><style face="normal" font="default" size="100%">46–49</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%">Van Bendegem, Jean Paul</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Theory and Experiment. Recent Insights and New Perspectives on Their Relation</style></title></titles><dates><year><style  face="normal" font="default" size="100%">1988</style></year></dates><publisher><style face="normal" font="default" size="100%">Reidel</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></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The transformation of cognitive values into methodological rules</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophica</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1987</style></year></dates><volume><style face="normal" font="default" size="100%">40</style></volume><pages><style face="normal" font="default" size="100%">151–164</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></authors><secondary-authors><author><style face="normal" font="default" size="100%">Perzanowski, Jerzy</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Two semantically motivated enrichments of relevant logics</style></title><secondary-title><style face="normal" font="default" size="100%">Essays in Philosophical Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1987</style></year></dates><publisher><style face="normal" font="default" size="100%">Jagiellonian University Press</style></publisher><pages><style face="normal" font="default" size="100%">65–74</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>