<?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%">Mathieu Beirlaen</style></author><author><style face="normal" font="default" size="100%">Bert Leuridan</style></author><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%">A Logic for the Discovery of Deterministic Causal Regularities</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%">In Press</style></year></dates><pages><style face="normal" font="default" size="100%">1–33</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%">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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Clarke, Brendan</style></author><author><style face="normal" font="default" size="100%">Leuridan, Bert</style></author><author><style face="normal" font="default" size="100%">Williamson, Jon</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Modelling mechanisms with causal cycles</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%">2014</style></year></dates><number><style face="normal" font="default" size="100%">8</style></number><volume><style face="normal" font="default" size="100%">191</style></volume><pages><style face="normal" font="default" size="100%">1651–1681</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Mechanistic philosophy of science views a large part of scientific activity as engaged in modelling mechanisms. While science textbooks tend to offer qualitative models of mechanisms, there is increasing demand for models from which one can draw quantitative predictions and explanations. Casini et al. (Theoria 26(1):533, 2011) put forward the Recursive Bayesian Networks (RBN) formalism as well suited to this end. The RBN formalism is an extension of the standard Bayesian net formalism, an extension that allows for modelling the hierarchical nature of mechanisms. Like the standard Bayesian net formalism, it models causal relationships using directed acyclic graphs. Given this appeal to acyclicity, causal cycles pose a prima facie problem for the RBN approach. This paper argues that the problem is a significant one given the ubiquity of causal cycles in mechanisms, but that the problem can be solved by combining two sorts of solution strategy in a judicious way.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Lefevere, Merel</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The role of unification in micro-explanations of physical laws</style></title><secondary-title><style face="normal" font="default" size="100%">Theoria - revista de teoria historia y fundamentos de la ciencia</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><volume><style face="normal" font="default" size="100%">79</style></volume><pages><style face="normal" font="default" size="100%">41–56</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 literature on scientific explanation, there is a classical distinction between explanations of particular facts and explanations of laws. This paper is about explanations of laws, more specifically about microexplanations of laws in physics. We investigate whether providing unificatory information has a surplus value in micro-explanations of physical laws. Unificatory information is information that provides ontological unification in the sense defined by Uskali Mäki. We argue that providing unificatory information may lead to explanations with more explanatory power (we use Jim Woodwards concept of explanatory power for that) and that it may lead to more strongly supported explanations.&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%">Díez, José</style></author><author><style face="normal" font="default" size="100%">Khalifa, Kareem</style></author><author><style face="normal" font="default" size="100%">Leuridan, Bert</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">General theories of explanation: buyer beware</style></title><secondary-title><style face="normal" font="default" size="100%">Synthese</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">190</style></volume><pages><style face="normal" font="default" size="100%">379–396</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 argue that there is no general theory of explanation that spans the sciences, mathematics, and ethics, etc. More specifically, there is no good reason to believe that substantive and domain-invariant constraints on explanatory information exist. Using Nickel (Noûs 44(2):305328, 2010) as an exemplar of the contrary, generalist position, we first show that Nickels arguments rest on several ambiguities, and then show that even when these ambiguities are charitably corrected, Nickels defense of general theories of explanation is inadequate along several different dimensions. Specifically, we argue that Nickels argument has three fatal flaws. First, he has not provided any compelling illustrations of domain-invariant constraints on explanation. Second, in order to fend off the most vehement skeptics of domain-invariant theories of explanation, Nickel must beg all of the important questions. Third, Nickels examples of explanations from different domains with common explanatory structure rely on incorrect formulations of the explanations under consideration, circular justifications, and/or a mischaracterization of the position Nickel intends to critique. Given that the best and most elaborate defense of the generalist position fails in so many ways, we conclude that the standard practice in philosophy (and in philosophy of science in particular), which is to develop theories of explanation that are tailored to specific domains, still is justified. For those who want to buy into a more ambitious project: beware of the costs!&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%">The Structure of Scientific Theories, Explanation, and Unification. A Causal-Structural Account</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%">2013</style></year></dates><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">65</style></volume><pages><style face="normal" font="default" size="100%">717–771</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;What are scientific theories and how should they be represented? In this article, I propose a causalstructural account, according to which scientific theories are to be represented as sets of interrelated causal and credal nets. In contrast with other accounts of scientific theories (such as Sneedian structuralism, Kitchers unificationist view, and Dardens theory of theoretical components), this leaves room for causality to play a substantial role. As a result, an interesting account of explanation is provided, which sheds light on explanatory unification within a causalist framework. The theory of classical genetics is used as a case study.&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><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Causality and explanation in the sciences</style></title><secondary-title><style face="normal" font="default" size="100%">Theoria - revista de teoria historia y fundamentos de la ciencia</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">27</style></volume><pages><style face="normal" font="default" size="100%">133–136</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Editors' introduction to the special issue on the Causality and Explanation in the Sciences conference, held at the University of Ghent in September 2011.&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></contributors><titles><title><style face="normal" font="default" size="100%">A formal explication of the search for explanations: the adaptive logics approach to abductive reasoning</style></title><secondary-title><style face="normal" font="default" size="100%">Logic Journal of IGPL</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%">2</style></number><volume><style face="normal" font="default" size="100%">20</style></volume><pages><style face="normal" font="default" size="100%">497–516</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Most logicbased approaches characterize abduction as a kind of backwards deduction plus additional conditions, which means that a number of conditions is specified that enable one to decide whether or not a particular abductive inference is sound (one of those conditions may e.g. be that abductive consequences have to be compatible with the background theory). Despite the fact that these approaches succeed in specifying which formulas count as valid consequences of abductive inference steps, they do not explicate the way people actually reason by means of abductive inferences. This is most clearly shown by the absence of a decent proof theory. Instead, search procedures are provided that enable one to determine the right abductive consequences. However, these do not by far resemble human reasoning. In order to explicate abductive reasoning more realistically, an alternative approach will be provided in this article, namely, one that is based on the adaptive logics programme. Proof theoretically, this approach interprets the argumentation schema affirming the consequent (&lt;strong&gt;AC&lt;/strong&gt;: A ⊃ B, B ⊢ A) as a defeasible rule of inference. This comes down to the fact that the abductive consequences obtained by means of &lt;strong&gt;AC&lt;/strong&gt; are accepted only for as long as certain conditions are satis.ede.g. as long as their negation has not been derived from the background theory. In the end, only the unproblematic applications of &lt;strong&gt;AC&lt;/strong&gt; are retained, while the problematic ones are rejected. In this way, the adaptive logics approach to abduction succeeds to provide a more realistic explication of the way people reason by means of abductive inferences. Moreover, as multiple abduction processes will be characterized, this article may be considered as the first step in the direction of a general formal approach to abduction based on the adaptive logics programme.&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><author><style face="normal" font="default" size="100%">Froeyman, Anton</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On lawfulness in history and historiography</style></title><secondary-title><style face="normal" font="default" size="100%">HISTORY AND THEORY</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%">2</style></number><volume><style face="normal" font="default" size="100%">51</style></volume><pages><style face="normal" font="default" size="100%">172–192</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 use of general and universal laws in historiography has been the subject of debate ever since the end of the nineteenth century. Since the 1970s there has been a growing consensus that general laws such as those in the natural sciences are not applicable in the scientific writing of history. We will argue against this consensus view, not by claiming that the underlying conception of what historiography is-or should be-is wrong, but by contending that it is based on a misconception of what general laws such as those of the natural sciences are. We will show that a revised notion of law, one inspired by the work of Sandra D. Mitchell, in tandem with Jim Woodward's notion of ˝invariance,˝is indeed applicable to historiography, much in the same way as it is to most other scientific disciplines. Having developed a more adequate account of general laws, we then show, by means of three examples, that what are called ˝pragmatic laws˝and ˝invariance˝do in fact play a role in history in several interesting ways. These examples-from cultural history, economic history, and the history of religion-have been selected on the basis of their diversity in order to illustrate the widespread use of pragmatic laws in history.&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>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author><author><style face="normal" font="default" size="100%">Lefevere, Merel</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">De Regt, Henk</style></author><author><style face="normal" font="default" size="100%">Okasha, Samir</style></author><author><style face="normal" font="default" size="100%">Hartmann, Stephan</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The role of unification in explanations of facts</style></title><secondary-title><style face="normal" font="default" size="100%">EPSA Philosophy of Science 2009</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><pub-location><style face="normal" font="default" size="100%">Amsterdam</style></pub-location><pages><style face="normal" font="default" size="100%">403-413</style></pages><isbn><style face="normal" font="default" size="100%">9789400724037</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 the literature on scientific explanation, there is a classical distinction between explanations of facts and explanations of laws. This paper is about explanations of facts. Our aim is to analyse the role of unification in explanations of this kind. We discuss five positions with respect to this role, argue for two of them and refute the three others.&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>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%">What are mechanisms in social science? (review)</style></title><secondary-title><style face="normal" font="default" size="100%">Metascience</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%">2</style></number><volume><style face="normal" font="default" size="100%">21</style></volume><pages><style face="normal" font="default" size="100%">395-398</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Why should we introduce the notion of analytical sociology into the field of sociology, and why should it be linked to the concept of mechanism? With these two principal questions, Pierre Demeulenaere, Professor of Sociological Theory and Philosophy of the Social Sciences at the University of Paris-Sorbonne, opens his Analytical Sociology and Social Mechanisms, a collection of thirteen papers written by social scientists and philosophers of the social sciences (1). Not every contributor should be considered an analytical sociologist. Rather than being a manifesto either pro or contra analytical sociology and the use of mechanisms, it is an attempt to reflect upon the key issues involved in sociological explanation (3). Even though several chapters raise very interesting points, the overall impression one gets from this book is that analytical sociology fails to redeem its main promise, viz. to add clarity, precision, and conceptual rigor to sociology, especially regarding one of it&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 Bouwel, Jeroen</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Vanderbeeken, Robrecht</style></author><author><style face="normal" font="default" size="100%">Le Roy, Frederik</style></author><author><style face="normal" font="default" size="100%">Stalpaert, Christel</style></author><author><style face="normal" font="default" size="100%">Aerts, Diederik</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">What is there beyond Mertonian and dollar green science? Exploring the contours of epistemic democracy</style></title><secondary-title><style face="normal" font="default" size="100%">Drunk on capitalism : an interdisciplinary reflection on market economy, art and science</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><volume><style face="normal" font="default" size="100%">11</style></volume><pages><style face="normal" font="default" size="100%">35–48</style></pages><isbn><style face="normal" font="default" size="100%">9789400720817</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 story is sometimes told as follows: Once science was a disinterested activity giving scientists the opportunity to freely solve the puzzle of nature to the benefit of all. Nowadays science seems more and more driven by the search for patents and dollars compelling scientists to follow the logic of capitalism and corporatization. Take-home lesson: science is for sale and we should do everything to reverse this evolution. In this contribution, I want to analyze the narrator’s assumptions implicit in this account of science. In particular, the rosy description of earlier disinterested forms of scientific research will be questioned, as well as the lack of alternatives to the dichotomy disinterested versus corporatized. I will argue that beyond the dichotomy an interest-driven science can be conceived framed within an epistemic democracy.&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%">Leuridan, Bert</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%">McKay Illari, Phyllis</style></author><author><style face="normal" font="default" size="100%">Russo, Federica</style></author><author><style face="normal" font="default" size="100%">Williamson, Jon</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The IARC and mechanistic evidence</style></title><secondary-title><style face="normal" font="default" size="100%">Causality in the 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%">Oxford University Press</style></publisher><pages><style face="normal" font="default" size="100%">91–109</style></pages><isbn><style face="normal" font="default" size="100%">9780199574131</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 International Agency for Research on Cancer (IARC) is an organization which seeks to identify the causes of human cancer. For each agent, such as betel quid or Human Papillomaviruses, they review the available evidence deriving from epidemiological studies, animal experiments and information about mechanisms (and other data). The evidence of the different groups is combined such that an overall assessment of the carcinogenicity of the agent in question is obtained. In this paper, we critically review IARC's carcinogenicity evaluations. First we show that serious objections can be raised against their criteria and procedures - more specifically regarding the role of mechanistic knowledge in establishing causal claims. Our arguments are based on the problems of confounders, of the assessment of the temporal stability of carcinogenic relations, viz. How we should treat the carcinogenicity evaluations that were based on the current procedures. After showing that this question is important we argue that an overall dismissal of the current evaluations would be too radical. Instead, we argue in favour of a stepwise re-evaluation of the current findings.&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></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>10</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><secondary-authors><author><style face="normal" font="default" size="100%">Leite, Joao</style></author><author><style face="normal" font="default" size="100%">Torroni, Paolo</style></author><author><style face="normal" font="default" size="100%">Agotnes, Thomas</style></author><author><style face="normal" font="default" size="100%">Boella, Guido</style></author><author><style face="normal" font="default" size="100%">van der Torre, Leon</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A paraconsistent multi-agent framework for dealing with normative conflicts</style></title><secondary-title><style face="normal" font="default" size="100%">12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII)</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.1007/978-3-642-22359-4</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">312-329</style></pages><isbn><style face="normal" font="default" size="100%">9783642223587</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 a multi-agent deontic setting, normative conflicts can take a variety of different logical forms. In this paper, we present a very general characterization of such conflicts, including both intra- and inter-agent normative conflicts, conflicts between groups of agents, conflicts between obligations and permissions, and conflicts between contradictory norms. In order to account for the consistent possibility of this wide variety of conflict-types, we present a paraconsistent deontic logic, i.e. a logic that invalidates the classical principle of non-contradiction. Next, we strengthen this logic within the adaptive logics framework for defeasible reasoning. The resulting inconsistency-adaptive deontic logic interprets a given set of norms 'as consistently as possible'.&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%">Boudry, Maarten</style></author><author><style face="normal" font="default" size="100%">Leuridan, Bert</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Where the design argument goes wrong: auxiliary assumptions and unification</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophy of Science</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.1086/661753</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">78</style></volume><pages><style face="normal" font="default" size="100%">558–578</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Sober (2008) has reconstructed the biological design argument in the framework of likelihoodism, purporting to demonstrate that it is defective for intrinsic reasons. We argue that Sober’s restrictions on the introduction of auxiliary hypotheses is too restrictive, as it commits him to rejecting types of everyday reasoning that are clearly valid. Our account shows that the design argument fails, not because it is intrinsically untestable, but because it clashes with the empirical evidence and fails to satisfy certain theoretical desiderata (in particular, unification). Likewise, Sober’s critique of the arguments from imperfections and from evil against design is off the mark.&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>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Lycke, Hans</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Adding the Inference Rule Disjunctive Syllogism to Relevant Logics</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In order to avoid trivial consequences, the derivability relation of relevant logics (RL) does not support the inference rule disjunctive syllogism (DS). In this paper, I will show that the inference rule DS can be added to this derivability relation in a way that doesnt lead to trivial or irrelevant consequences. To do so, I will rely on the insights gained from the study of inconsistencyadaptive logics, the branch of adaptive logics that was devised to explicate reasoning based on inconsistent premise sets. Moreover, I will also point to the relations with some alternative proposals from the literature, and I will show that the inconsistencyadaptive framework has some major advantages over these.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Leuridan, Bert</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Can mechanisms really replace laws of nature?</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophy of Science</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.1086/652959</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">77</style></volume><pages><style face="normal" font="default" size="100%">317–340</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Today, mechanisms and mechanistic explanation are very popular in philosophy of science and are deemed a welcome alternative to laws of nature and deductive-nomological explanation. Starting from Mitchell's pragmatic notion of laws, I cast doubt on their status as a genuine alternative. I argue that (1) all complex-systems mechanisms onto-logically must rely on stable regularities, while (2) the reverse need not hold. Analogously, (3) models of mechanisms must incorporate pragmatic laws, while (4) such laws themselves need not always refer to underlying mechanisms. Finally, I show that Mitchell's account is more encompassing than the mechanistic account&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%">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%">Lycke, Hans</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Pelis, Michal</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On Relevance Conditions for Asserting Disjunctions</style></title><secondary-title><style face="normal" font="default" size="100%">The Logica Yearbook 2009</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%">College Publications</style></publisher><pages><style face="normal" font="default" size="100%">143–156</style></pages><isbn><style face="normal" font="default" size="100%">1848900090</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%">Bullynck, Maarten</style></author><author><style face="normal" font="default" size="100%">De Mol, Liesbeth</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Beckmann, Arnold</style></author><author><style face="normal" font="default" size="100%">Dimitracopoulos, Costas</style></author><author><style face="normal" font="default" size="100%">Löwe, Benedikt</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Setting-up early computer programs: D. H. Lehmer's ENIAC computation</style></title><secondary-title><style face="normal" font="default" size="100%">Archive for Mathematical Logic</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/s00153-009-0169-8</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">49</style></volume><pages><style face="normal" font="default" size="100%">123–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;A complete reconstruction of Lehmer's ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations).&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Lycke, Hans</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Libert, Thierry</style></author><author><style face="normal" font="default" size="100%">Marage, Pierre</style></author><author><style face="normal" font="default" size="100%">Vanpaemel, Geert</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Adaptive Logics Approach to Abduction</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">{Koninklijke Vlaamse Academie van België</style></publisher><isbn><style face="normal" font="default" size="100%">9789065690432</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Leuridan, Bert</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Causal discovery and the problem of ignorance: an adaptive logic approach</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%">2009</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1016/j.jal.2007.11.004</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">7</style></volume><pages><style face="normal" font="default" size="100%">188–205</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 want to substantiate three related claims regarding causal discovery from non-experimental data. Firstly, in scientific practice, the problem of ignorance is ubiquitous, persistent, and far-reaching. Intuitively, the problem of ignorance bears upon the following situation. A set of random variables VV is studied but only partly tested for (conditional) independencies; i.e. for some variables A and B it is not known whether they are (conditionally) independent. Secondly, Judea Pearl's most meritorious and influential algorithm for causal discovery (the IC algorithm) cannot be applied in cases of ignorance. It presupposes that a full list of (conditional) independence relations is on hand and it would lead to unsatisfactory results when applied to partial lists. Finally, the problem of ignorance is successfully treated by means of ALIC, the adaptive logic for causal discovery presented in this paper.&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%">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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Lycke, Hans</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Fitch-style natural deduction for modal paralogics</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%">193–218</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 present a Fitch–style natural deduction proof theory for modal paralogics (modal logics with gaps and/or gluts for negation). Besides the standard classical subproofs, the presented proof theory also contains modal subproofs, which express what would follow from a hypothesis, in case it would be true in some arbitrary world.&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%">Van Bouwel, Jeroen</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">De Regt, Henk</style></author><author><style face="normal" font="default" size="100%">Leonelli, Sabina</style></author><author><style face="normal" font="default" size="100%">Eigner, Kai</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Understanding in political science: the plurality of epistemic interests</style></title><secondary-title><style face="normal" font="default" size="100%">Scientific Understanding. Philosophical Perspectives</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%">University of Pittsburgh Press</style></publisher><pages><style face="normal" font="default" size="100%">298–313</style></pages><isbn><style face="normal" font="default" size="100%">9780822943785</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%">Leuridan, Bert</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Laws of Nature and Causality in the Special Sciences: A Philosophical and Formal Analysis</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year><pub-dates><date><style  face="normal" font="default" size="100%">March 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&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%">Leuridan, Bert</style></author><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Van Dyck, Maarten</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The practical value of spurious correlations: selective versus manipulative policy</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%">2008</style></year></dates><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">68</style></volume><pages><style face="normal" font="default" size="100%">298–303</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 Mol, Liesbeth</style></author><author><style face="normal" font="default" size="100%">Bullynck, Maarten</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Beckmann, Arnold</style></author><author><style face="normal" font="default" size="100%">Dimitracopoulos, Costas</style></author><author><style face="normal" font="default" size="100%">Löwe, Benedikt</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A week-end off: the first extensive number-theoretical computation on the ENIAC</style></title><secondary-title><style face="normal" font="default" size="100%">Logic and Theory of Algorithms</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%">Springer Verlag</style></publisher><isbn><style face="normal" font="default" size="100%">978-3-540-69405-2</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 first extensive number-theoretical computation run on the ENIAC, is reconstructed. The problem, computing the exponent of 2 modulo a prime, was set up on the ENIAC during a week-end in July 1946 by the number-theorist D.H. Lehmer, with help from his wife Emma and John Mauchly. Important aspects of the ENIAC's design are presented-and the reconstruction of the implementation of the problem on the ENIAC is discussed in its salient points.&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></contributors><titles><title><style face="normal" font="default" size="100%">An adaptive logic for relevant classical deduction</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Applied Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><volume><style face="normal" font="default" size="100%">5</style></volume><pages><style face="normal" font="default" size="100%">602–612</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, I will show that it is possible to delete Ex Falso Quodlibet from Classical Logic, without depriving it of any of its deductive powers. This is done by means of the ambiguity–adaptive logic AALns, which is equivalent to dCR, the deductive version of Neil Tennant’s CR.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Leuridan, Bert</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Russo, Federica</style></author><author><style face="normal" font="default" size="100%">Williamson, Jon</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Galton's blinding glasses: modern statistics hiding causal structure in early theories of inheritance.</style></title><secondary-title><style face="normal" font="default" size="100%">Causality and probability in the sciences</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%">College Publications</style></publisher><pages><style face="normal" font="default" size="100%">243–262</style></pages><isbn><style face="normal" font="default" size="100%">1-904987-35-4</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%">De Langhe, Rogier</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Loobuyck, Patrick</style></author><author><style face="normal" font="default" size="100%">Vanheeswijck, G.</style></author><author><style face="normal" font="default" size="100%">Van Herck, W.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Naar een Pluralistisch Model van Onderzoeksfinanciering in de Humane Wetenschappen</style></title><secondary-title><style face="normal" font="default" size="100%">Welke Universiteit Willen We (Niet)?</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/onderzoeksfinanciering.pdf</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Academia Press</style></publisher><pages><style face="normal" font="default" size="100%">205–216</style></pages><isbn><style face="normal" font="default" size="100%">9789038211879</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Het nieuwe Financieringsmodel voor het Hoger Onderwijs wordt vaak bekritiseerd vanuit argumentendie teruggaan op de eigenheid van de humane wetenschappen. Dit artikel poogt deze eigenheid preciezer teomschrijven en brengt de gevolgen voor de relatie tussen onderzoek en het tijdschriftenlandschap in kaart. Opbasis daarvan wordt de doelmatigheid betwist van het huidige voorstel, dat de efficiëntie van onderzoek wilverhogen door publicaties te wegen op basis van de tijdschriften waarin ze worden gepubliceerd. Dit betekentgeenszins dat een efficiëntere humane wetenschap onmogelijk is, alleen moet dat gebeuren op een manierwaarop haar pluralistische natuur niet wordt miskend. Hoe een dergelijk beleid er kan uitzien wordt daaromuitgewerkt in een aanzet naar een pluralististisch model van onderzoeksfinanciering in de humanewetenschappen.&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%">Lycke, Hans</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Relevance in Reasoning: The Adaptive Logics Approach</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 30</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Ghent University</style></publisher><work-type><style face="normal" font="default" size="100%">phd</style></work-type><custom1><style face="normal" font="default" size="100%">&lt;p&gt;Diderik Batens&lt;/p&gt;</style></custom1></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">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>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%">Supervenience: Its logic and its inferential role in classical genetics</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%">2007</style></year></dates><number><style face="normal" font="default" size="100%">198</style></number><volume><style face="normal" font="default" size="100%">50</style></volume><pages><style face="normal" font="default" size="100%">147–171</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Supervenience is mostly conceived of as a purely philosophical concept. Nevertheless, I will argue, it played an important and very fruitful inferential role in classical genetics. Gregor Mendel assumed that phenotypic traits supervene on underlying factors, and this assumption allowed him to successfully predict and explain the phenotypical regularities he had experimentally discovered. Therefore it is interesting to explicate how we reason about supervenience relations. I will tackle the following two questions. Firstly, can a reliable method (a logic) be found for inferring supervenience claims from data? Secondly, can a reliable method (a logic) be found to empirically test supervenience claims? I will answer these questions within the framework of the adaptive logics programme.&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%">Pereira, Luis Moniz</style></author><author><style face="normal" font="default" size="100%">Wheeler, Gregory</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">An Adaptive Logic for Compassionate Relevantism</style></title><secondary-title><style face="normal" font="default" size="100%">Computational Models of Scientific Reasoning and Applications</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><publisher><style face="normal" font="default" size="100%">CENTRIA</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Vanackere, Guido</style></author><author><style face="normal" font="default" size="100%">Wisniewski, Andzrej</style></author><author><style face="normal" font="default" size="100%">Leszczynska, Dorota</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Socratic proofs and paraconsistency: a case study</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%">2005</style></year></dates><number><style face="normal" font="default" size="100%">2-3</style></number><volume><style face="normal" font="default" size="100%">80</style></volume><pages><style face="normal" font="default" size="100%">431–466</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 develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Fv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.&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%">Provijn, Dagmar</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%">Direct dynamic proofs for compatibility.</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, Argentinia</style></pub-location><pages><style face="normal" font="default" size="100%">179–187</style></pages><isbn><style face="normal" font="default" size="100%">987-9281-89-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>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>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%">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%">A Formal Approach to Problem Solving</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, Argentinia</style></pub-location><pages><style face="normal" font="default" size="100%">15–26</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%">Heeffer, Albrecht</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%">Kepler's near discovery of the sine law: a qualitative computational model.</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><pages><style face="normal" font="default" size="100%">93–102</style></pages><isbn><style face="normal" font="default" size="100%">N/A</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Computational models offer an excellent tool for the study and analysis of scientific discovery processes. The study of failures provides an insight into the history and philosophy of science as valuable as the study of successful discoveries. Using a computational model I analyzed Keplers approach in formulating a quantitative law for refraction. Although Kepler ultimately failed in discovering the sine law, the model shows that his basic hypothesis as well as his approach by geometrical reasoning was a correct one. This went largely unnoticed by commentators on the history of optics. Based on this analysis I provide new evidence that Descartes and Snell found in Keplers main hypothesis everything needed to deduce the sine law by pure geometrical reasoning. Our computational model is based on geometrical knowledge as contrasted with previous quantitative approaches. It has been implemented as a Prolog program.&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%">Vanderbeeken, Robrecht</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%">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%">A Procedure for Generating (Conditional) Answers in a Goal-Directed Way</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, Argentinia</style></pub-location><pages><style face="normal" font="default" size="100%">57–63</style></pages><isbn><style face="normal" font="default" size="100%">9879281896</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Two evolutionary games : collective action and prisoner's dilema / Jakson Alves de Aquino – A formal approach to problem solving / Diderik Batens – Application of mathematics and underdetermination / Ota\unmatched{0301}vio Bueno – A framework for combining defeasible argumentation with labeled deduction / Carlos Iva\unmatched{0301}n Chesn\unmatched{0303}evar and Guillermo Ricardo Simari – A procedure for generating (conditional) answers in a goal-directed way / Kristof De Clerq and Rob Vanderbeken – Abductive inference in defeasible reasoning : a model for research programmes / Claudio Delrieux – Kepler's near discovery of the sine law : a quantitative computational model / Albrecht Heeffer – Default models of rationality / Silvia Lerner – Most inferences are defeasible / Jose\unmatched{0301} Carlos Loureiro Ralha and Ce\unmatched{0301}lia Ghedini Rahla – Reasoning through doing : epistemic mediators in scientific reasoning / Lorenzo Magnani – Do we need paraconsistency in commonsense reasoning? / Joke Meheus – Descartes, a methodical elimination of paradoxes for (de)-ontology building / Jean Sallantin ... [et al.] – Measuring coherence using LP-models / Carlos A. Oller – What are multi-agent systems trying to accomplish? Towards pragmatic game-theoretical agenda / Ahti-Veikko Pietarinen – Direct dynamic proofs for compatibility / Dagmar Provijn – Semantic computations of truth, based on associations already learned / Patrick Suppes and Jean-Yves Be\unmatched{0301}ziau – On the sense of eating strawberries, or, On the exclusivity implcature fo 'or' / Liza Verhoeven and Leon Horsten – A note on epistemology and logical afrificial intelligence / Gregory R. Wheeler and Lui\unmatched{0301}s Moniz Pereira.&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 Mey, Tim</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">J. Leilich, P. Reynaert</style></author><author><style face="normal" font="default" size="100%">Veldeman, J.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Qualia, spectruminversie en filosofische zombies.</style></title><secondary-title><style face="normal" font="default" size="100%">Het bewustzijn in de fysische wereld: Filosofische essays over materialisme en fenomenaal bewustzijn</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%">Peeters</style></publisher><pub-location><style face="normal" font="default" size="100%">Leuven</style></pub-location><pages><style face="normal" font="default" size="100%">171-194</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>