<?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%">Urbaniak, Rafal</style></author><author><style face="normal" font="default" size="100%">Pawlowski, Pawel</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Hansson, Sven Ove</style></author><author><style face="normal" font="default" size="100%">Hendricks, Vincent F.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Logics of (formal and informal) provability</style></title><secondary-title><style face="normal" font="default" size="100%">Handbook of Formal Philosophy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">In Press</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>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%">Başkent, Can</style></author><author><style face="normal" font="default" size="100%">Ferguson, Thomas Macaulay</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Looting Liars Masking Models</style></title><secondary-title><style face="normal" font="default" size="100%">Graham Priest on Dialetheism and Paraconsistency</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2019</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">139--164</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper does not raise objections but spells out problems that I consider at present unsolved within Priest's view on logic. In light of the state of scientific and other theories (§2) and in light of the character of natural languages (§3), Priest's central arguments do not seem convincing. Next, I offer some six independent obstacles for defining consistency, identifying models and describing the semantics and metatheory of &lt;strong&gt;LP&lt;/strong&gt; (§4).&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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Logics for Qualitative Inductive Generalization</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%">2011</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">97</style></volume><pages><style face="normal" font="default" size="100%">61–80</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods.\\ Some attention is also paid to ways of handling background knowledge, introducing mere conjectures, and the research guiding capabilities of the logics.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">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>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Christiaens, Wim</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Tatham, Anne-Marie</style></author><author><style face="normal" font="default" size="100%">Bonnecase, Denis</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">La métamorphose graçe au cinèma.</style></title><secondary-title><style face="normal" font="default" size="100%">La métamorphose: définition, formes et thèmes</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%">Gérard Monfort Editeur</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%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Laudatio Jens Høyrup</style></title><secondary-title><style face="normal" font="default" size="100%">Sartoniana</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%">22</style></volume><pages><style face="normal" font="default" size="100%">5–7</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Urbaniak, Rafal</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Leitgeb, ``about'', Yablo</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><number><style face="normal" font="default" size="100%">207</style></number><volume><style face="normal" font="default" size="100%">52</style></volume><pages><style face="normal" font="default" size="100%">239-254</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Leitgeb (2002) objects against the clarity of the debate about the alleged (non-)circularity of Yablos paradox, arguing that there actually are at least two notions of self-reference and circularity at play.One, on which Yablos paradox is not circular, is defined via thereference of the constituents of a sentence, and another, on which the paradox is circular, is defined via syntactic mappings and fixedpoints. More importantly, Leitgeb argues that both definitions arent satisfactory and that before we can undertake a serious debate about the circularity of Yablos paradox we first need to clarify the notions involved. I will focus on Leitgebs criticism of the first definition&lt;sup&gt;1&lt;/sup&gt;and will argue that the problems arise not as much on the level of our definition of circularity as on the level of our definition of reference of sentences (aboutness). Leitgebs main worry is the failure of a requirement called Equivalence Condition, which says that if a formula is self-referential, any formula logically equivalent to it should also be self-referential. I will argue that preservation under logical equivalence is unreasonable with respect to self-reference,but is indeed needed with respect to aboutness. Since Leitgeb sown tentative notion of aboutness doesnt satisfy the requirement, I will suggest another approach which fixes this problem. I also explain why the intuitions that circularity should satisfy the equivalence condition are misled. Next, I argue that the new notion of aboutness is not susceptible to slingshot arguments. Finally, I compare it with Goodmans notion of absolute aboutness, emphasizing those features of Goodmans approach that make his notion inapplicable in the present discussion. &lt;sup&gt;[1]I would like to express my gratitude to all the people who discussed earlier versions of this paper with me: Hannes Leitgeb, Jeffrey Ketland, Karl Georg Niebergall, Diderik Batens, Joke Meheus, Maarten Van Dyck, Stefan Wintein, Martin Bentzen, Christian Straßer, Ghent Centre for Logic and Philosophy of Science members, and the participants of &lt;em&gt;PhDs in Logic&lt;/em&gt; workshop (Gent 2009)&lt;/sup&gt;&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>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%">Urbaniak, Rafal</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Leśniewski and Russell's paradox: some problems</style></title><secondary-title><style face="normal" font="default" size="100%">History and Philosophy of Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">29</style></volume><pages><style face="normal" font="default" size="100%">115–146</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></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%">Verdée, Peter</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Logische Bewijsdynamieken voor de Formele Explicatie van Wetenschappelijke Probleemoplossingsprocessen</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%">April 22</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>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%">Van Bendegem, Jean Paul</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Learning concepts through the history of mathematics: the case of symbolic algebra.</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophical dimensions in mathematics education</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><pages><style face="normal" font="default" size="100%">83–103</style></pages><isbn><style face="normal" font="default" size="100%">978-0-387-71571-1</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%">Christiaens, Wim</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Lichamelijkheid en cinema volgens een Aposteliaanse ontologie</style></title><secondary-title><style face="normal" font="default" size="100%">Esthetica. Tijdschrift voor kunst en filosofie</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><volume><style face="normal" font="default" size="100%">1</style></volume><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 1998 verschenen twee opmerkelijke films, Saving Private Ryan van Steven Spielberg en The Thin Red Line van Terrence Malick. De overeenkomsten tussen deze producties zijn oppervlakkig: ze gaan beide over de Tweede Wereldoorlog en het zijn allebei grote Hollywoodproducties. De verschillen daarentegen zijn diepgaand en nodigen uit tot nadenken over de aard van film. Ik zal eerst enkele verschillen en contrasten tussen genoemde films schetsen, bij wijze van inleiding tot de themas ontologie, cinema en lichamelijkheid. Daarna komen in (2) de volgende onderwerpen aan de orde: (2.1) film is het tot stand komen van een lichamelijkheid binnen onze eigen lichamelijkheid; en voorts (2.2) lichamelijkheid is een ontologisch proces. De ontologie waarbinnen ik werk is gebaseerd op de inzichten van Leo Apostel. In dit deel zal ik daarom ook de centrale aspecten van de Aposteliaanse ontologie beschrijven. Ik zal verder (3.) een verband leggen tussen de cinema van Malick en de Aposteliaanse ontologie. Op basis van deze ontologie maak ik in (4.) een onderscheid tussen films zoals Saving Private Ryan, waarin het ontologische (de lichamelijkheid) impliciet gehouden wordt, en films zoals The Thin Red Line die dat niet doen.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The logic of disguise: Descartes' discovery of the Sine Law</style></title><secondary-title><style face="normal" font="default" size="100%">Historia scientiarum. International Journal of the History of Science Society of Japan</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">16</style></volume><pages><style face="normal" font="default" size="100%">144–165</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 discovery of the sine law of refraction by Decartes has been a source of controversy since its first publication in 1637. Scholars describe Descartes demonstration of the law as inadequate and implausible or see in his proof an attempt to cover up plagiarism. Most of this critique stems from a lack of understanding the Cartesian theory of explanation. Descartes aims in the Discourse to find undoubtable knowledge that serves as a basis for his natural philosophy. In his Principles of Philosophy he deduces from his metaphysics several laws of nature and additional rules. However, for the explanation on physical phenomena, Descartes adopts a method different from the one proposed in his Discourse. This paper discusses the logical structure of the demonstration and provides an analysis of the premises and conclusions used in the derivation of the sine law. It is argued that Descartess explanation of refraction is a continuation of the perspectivists tradition and, ironically, Fermats account of 1662 is better application of the Cartesian method.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On a Logic of Induction</style></title><secondary-title><style face="normal" font="default" size="100%">Logic and Philosophy of Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">IV</style></volume><pages><style face="normal" font="default" size="100%">3–32</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, I present a simple and straightforward logic of induction: a consequence relation characterized by a proof theory and a semantics. This system will be called &lt;strong&gt;LI&lt;/strong&gt;. The premises will be restricted to, on the one hand, a set of empirical data and, on the other hand, a set of background generalizations. Among the consequences will be generalizations as well as singular statements, some of which may serve as predictions and explanations.&lt;/p&gt;</style></abstract><notes><style face="normal" font="default" size="100%">(Corrected version of \cite{D:induct1}.)</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Lessons from Galileo: The pragmatic model of shared characteristics of scientific representation</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophia naturalis</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%">1</style></number><volume><style face="normal" font="default" size="100%">43</style></volume><pages><style face="normal" font="default" size="100%">214–234</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 defend a new account of scientific representation. I will begin by looking at the benefits and drawbacks of two recent accounts on scientific representation: Hughes DDI account and Suárez inferential account. Next I use some of Galileos models in the Discorsi as a heuristic tool for a better account of scientific representation. Next I will present my model. The main idea of my account, which I refer to as the pragmatic model of shared characteristics (PMSC), is that a model represents, if and only if, (1) a person accepts that there is a set of shared characteristics between the model and its target; (2) this set has the inferential power to generate results which can be tested empirically; (3) and the corresponding test(s) of these results is/are in agreement with our data and the specific cognitive goals we have in mind.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Vanackere, Guido</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Logica en het Waardevolle in de Wereld. De Rol van Adaptieve Logica's bij de Constructie van Theorieën</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year><pub-dates><date><style  face="normal" font="default" size="100%">May 12</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>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Clercq, Kristof</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Logica in Communicatie. Bijdragen vanuit Vraaglogica en 'Belief Revision', Steunend op Adaptieve Logica's</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year><pub-dates><date><style  face="normal" font="default" size="100%">September 3</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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</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%">The Living Apart Together Relationship between Causation and Explanation. A comment on Jean Lachappelle.</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophy of the Social Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">32</style></volume><pages><style face="normal" font="default" size="100%">560-569</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%">D'Hanis, Isabel</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Magnani, Lorenzo</style></author><author><style face="normal" font="default" size="100%">Nersessian, Nancy</style></author><author><style face="normal" font="default" size="100%">Pizzi, Claudio</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A logical approach to the analysis of metaphors</style></title><secondary-title><style face="normal" font="default" size="100%">Logical and Computational Aspects of Model-Based Reasoning</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><publisher><style face="normal" font="default" size="100%">Kluwer Academic</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><volume><style face="normal" font="default" size="100%">25</style></volume><pages><style face="normal" font="default" size="100%">21–37</style></pages><isbn><style face="normal" font="default" size="100%">1402007124</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, I will present an adaptive logic that grasps the way we analyze metaphors. Metaphors are powerful tools to generate new scientific ideas. Therefore, it is important to have a good theory on what metaphors are and how they function. The first question we have to answer when we want to develop such a theory is obviously ˝what metaphors are˝. Philosophy of language can offer some interesting ideas but most views do not allow for a cognitive function of metaphors. One of the sparse views that does allow for it is interactionism. The basic version, however, has some serious shortcomings that need solving when we want to use this theory. First of all the terminology is too vague. Furthermore, the description of the reasoning process we use when we analyze a metaphor, only works for very simple examples. The logic I will present, ALM, is based on a broadened version of this view. A logical approach of metaphors allows us to gain a profound insight in the way we analyze metaphors. The analysis of metaphors is a dynamical reasoning process. When we want to capture this process in a logical system, we need a logic that is capable of grasping that specific type of dynamics. An adaptive logic seems to be the best choice. Therefore, I shall present an adaptive logic that grasps the analysis of metaphors.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">de Amo, Sandra</style></author><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Marcos, João</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Eiter, Thomas</style></author><author><style face="normal" font="default" size="100%">Schewe, Klaus-Dieter</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Logical Framework for Integrating Inconsistent Information in Multiple Databases</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of Information and Knowledge Systems</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Lecture Notes in Computer Science</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/3-540-45758-5_5</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Berlin Heidelberg</style></publisher><volume><style face="normal" font="default" size="100%">2284</style></volume><pages><style face="normal" font="default" size="100%">67-84</style></pages><isbn><style face="normal" font="default" size="100%">978-3-540-43220-3</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. In this paper, we use one of the paraconsistent logics introduced in [9,7] (&lt;strong&gt;LFI1&lt;/strong&gt;) as a logical framework to model possibly inconsistent database instances obtained by integrating different sources.We propose a method based on the sound and complete tableau proof system of &lt;strong&gt;LFI1&lt;/strong&gt; to treat both the integration process and the evolution of the integrated database submitted to users updates. In order to treat the integrated database evolution, we introduce a kind of generalized database context, the evolutionary databases, which are databases having the capability of storing and manipulating inconsistent information and, at the same time, allowing integrity constraints to change in time. We argue that our approach is sufficiently general and can be applied in most circumstances where inconsistency may arise in databases.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Kiikeri, Mika</style></author><author><style face="normal" font="default" size="100%">Ylikoski, Petri</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On the Logic and Pragmatics of the Process of Explanation</style></title><secondary-title><style face="normal" font="default" size="100%">Explanatory Connections. Electronic Essays Dedicated to Matti Sintonen</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.valt.helsinki.fi/kfil/matti/</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">University of Helsinki</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, we present mainly two logical systems that clarify pragmatic aspects of the process of explanation. The first concerns a proof theory that leads to the derivation of possible initial conditions from an \emph{explanandum} and a given theory. The second logic concerns the derivation of questions in view of the verification of some possible initial condition, or of one out of several possible initial conditions. It is essential that the latter derivation proceeds in terms of all available knowledge, and not in terms of the explaining theory. It is shown that the second logic provides useful information for explicating further pragmatic aspects of the process of explanation. Several extensions of the logics are argued to be both useful and rather easy to obtain.&lt;/p&gt;</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;22&amp;nbsp;pp.&lt;/p&gt;</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Linguistic and Ontological Measures for Comparing the Inconsistent Parts of Models</style></title><secondary-title><style face="normal" font="default" size="100%">Logique et Analyse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1999</style></year></dates><number><style face="normal" font="default" size="100%">165-166</style></number><volume><style face="normal" font="default" size="100%">42</style></volume><pages><style face="normal" font="default" size="100%">5–33</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Adaptive logics depend essentially on measures for the degree of abnormality of models. The linguistic approach to such measures compares the sets of abnormal, &lt;em&gt;e.g.&lt;/em&gt;, inconsistent wffs verified by the models. The ontological approach compares models in terms of `structural' properties that do not depend on the way in which the language is interpreted in the model.&lt;br /&gt;&lt;br /&gt; While the linguistic approach has not been questioned up to now, present proposals for an ontological approach are affected by several weaknesses. The present paper argues for the attractiveness of an ontological approach and elaborates on the challenge to adequately define it. The final outcome is rather negative: the only sensible definition attained leads to a logic that does not seem to have any suitable application contexts.&lt;/p&gt;</style></abstract><notes><style face="normal" font="default" size="100%">Appeared 2002</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bendegem, Jean Paul</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">L.E.J. Brouwer.</style></title><secondary-title><style face="normal" font="default" size="100%">Kritisch Denkerslexicon</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1997</style></year></dates><volume><style face="normal" font="default" size="100%">23</style></volume><pages><style face="normal" font="default" size="100%">1-14</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>6</ref-type><contributors><secondary-authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Leo Apostel. Tien filosofen getuigen</style></title><secondary-title><style face="normal" font="default" size="100%">Leo Apostel. Tien filosofen getuigen</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1996</style></year></dates><publisher><style face="normal" font="default" size="100%">Hadewijch</style></publisher><pub-location><style face="normal" font="default" size="100%">Antwerpen/Baarn</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>6</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Logicaboek. Praktijk en theorie van het redeneren</style></title></titles><dates><year><style  face="normal" font="default" size="100%">1992</style></year></dates><publisher><style face="normal" font="default" size="100%">Garant</style></publisher><pub-location><style face="normal" font="default" size="100%">Antwerpen/Apeldoorn</style></pub-location><language><style face="normal" font="default" size="100%">eng</style></language><reprint-edition><style face="normal" font="default" size="100%">2: 1993; 3: 1996; 4: 1999; 5: 2002; 6: 2004; 7: 2008; 8: 2017</style></reprint-edition></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%">Vandamme, Fernand</style></author><author><style face="normal" font="default" size="100%">Pinxten, Rik</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Leo Apostel on Dialectical Logic</style></title><secondary-title><style face="normal" font="default" size="100%">The Philosophy of Leo Apostel, vol. 2: Descriptive and Critical Essays</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1989</style></year></dates><publisher><style face="normal" font="default" size="100%">Communication and Cognition</style></publisher><pages><style face="normal" font="default" size="100%">24–55</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>