<?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%">De Mol, Liesbeth</style></author><author><style face="normal" font="default" size="100%">Carlé, Martin</style></author><author><style face="normal" font="default" size="100%">Bullynck, Maarten</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Haskell before Haskell: an alternative lesson in practical logics of the ENIAC</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Logic and Computation</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">In Press</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;This article expands on Curry's work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program composition (19481950). It is shown that Curry's hands-on experience with the ENIAC on the one side and his acquaintance with systems of formal logic on the other, were conductive to conceive a compact notation for program construction which in turn would be instrumental to a mechanical synthesis of programs. Since Curry's systematic programming technique pronounces a critique of the Goldstine-von Neumann style of coding, his calculus of program composition not only anticipates automatic programming but also proposes explicit hardware optimizations largely unperceived by computer history until Backus' famous ACM Turing Award lecture (1977). The cohesion of these findings asks for an integrative historiographical approach. An appendix gives, for the first time, a full description of Curry's arithmetic compiler.&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%">Van De Putte, Frederik</style></author><author><style face="normal" font="default" size="100%">Frijters, Stef</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Condoravdi, Cleo</style></author><author><style face="normal" font="default" size="100%">Nair, Shyam</style></author><author><style face="normal" font="default" size="100%">Pigozzi, Gabriella</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">How to take heroin (if at all). A new approach to detachment in deontic logic</style></title><secondary-title><style face="normal" font="default" size="100%">Deontic Logic and Normative Systems: 14th International Conference</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><pub-location><style face="normal" font="default" size="100%">London</style></pub-location><pages><style face="normal" font="default" size="100%">317-335</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><work-type><style face="normal" font="default" size="100%">submitted</style></work-type></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Béziau, Jean-Yves</style></author><author><style face="normal" font="default" size="100%">Chakraborty, Mihir</style></author><author><style face="normal" font="default" size="100%">Dutta, Soma</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Some Adaptive Contributions to Logics of Formal Inconsistency</style></title><secondary-title><style face="normal" font="default" size="100%">New Directions in Paraconsistent Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">309 -333</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Some insights were gained from the study of inconsistency-adaptive logics. The aim of the present paper is to put some of these insight to work for the study of logics of formal inconsistency. The focus of attention are application contexts of the aforementioned logics and their theoretical properties in as far as they are relevant for applications. As the questions discussed are difficult but important, a serious attempt was made to make the paper concise but transparent.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Béziau, Jean-Yves</style></author><author><style face="normal" font="default" size="100%">Chakraborty, Mihir</style></author><author><style face="normal" font="default" size="100%">Dutta, Soma</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Tutorial on Inconsistency-Adaptive Logics</style></title><secondary-title><style face="normal" font="default" size="100%">New Directions in Paraconsistent Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper contains a concise introduction to a few central features of inconsistency-adaptive logics. The focus is on the aim of the program, on logics that may be useful with respect to applications, and on insights that are central for judging the importance of the research goals and the adequacy of results. Given the nature of adaptive logics, the paper may be read as a peculiar introduction to defeasible reasoning.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author><author><style face="normal" font="default" size="100%">Arieli, Ofer</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Parsons, Simon</style></author><author><style face="normal" font="default" size="100%">Oren, Nir</style></author><author><style face="normal" font="default" size="100%">Reed, Chris</style></author><author><style face="normal" font="default" size="100%">Cerutti, Federico</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Dynamic Derivations for Sequent-Based Deductive Argumentation</style></title><secondary-title><style face="normal" font="default" size="100%">COMMA 2014</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%">Computational Models of Argument</style></volume><pages><style face="normal" font="default" size="100%">89–100</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 introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems. This framework accommodates different languages and logics in which arguments may be represented, supports a variety of attack relations, and tolerates dynamic changes in the argumentation setting by revising derivations of assertions in light of new information.&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%">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%">Cieśliński, Cezary</style></author><author><style face="normal" font="default" size="100%">Urbaniak, Rafal</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Gödelizing the Yablo sequence</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of philosophical logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/s10992-012-9244-4</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">5</style></number><volume><style face="normal" font="default" size="100%">42</style></volume><pages><style face="normal" font="default" size="100%">679–695</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 investigate what happens when 'truth' is replaced with 'provability' in Yablo's paradox. By diagonalization, appropriate sequences of sentences can be constructed. Such sequences contain no sentence decided by the background consistent and sufficiently strong arithmetical theory. If the provability predicate satisfies the derivability conditions, each such sentence is provably equivalent to the consistency statement and to the Godel sentence. Thus each two such sentences are provably equivalent to each other. The same holds for the arithmetization of the existential Yablo paradox. We also look at a formulation which employs Rosser's provability predicate.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Claes, Tom</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Bedoelingen en principes. Een onverwachte relatie</style></title><secondary-title><style face="normal" font="default" size="100%">Door Denken en Doen. Essays bij het Werk van Ronald Commers</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%">Academia Press</style></publisher><pub-location><style face="normal" font="default" size="100%">Gent</style></pub-location><pages><style face="normal" font="default" size="100%">93–106</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%">Claes, Tom</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Door denken en doen: essays bij het werk van Ronald Commers</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><publisher><style face="normal" font="default" size="100%">Academia Press</style></publisher><pages><style face="normal" font="default" size="100%">375</style></pages><isbn><style face="normal" font="default" size="100%">9789038219431</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Deze bundel is een vriendenboek, uit erkentelijkheid aan Ronald Commers aangeboden naar aanleiding van zijn emeritaat. Ronald Commers was tot 2011 als hoogleraar verbonden aan de vakgroep Wijsbegeerte en Moraalwetenschap van de Universiteit Gent. Zijn werk is breed en diepgaand en heeft velen geïnspireerd. De bijdragen in deze bundel dragen er de sporen van. Zo divers als de onderwerpen die Commers heeft behandeld, zo divers zijn ook de essays die hier zijn opgenomen. Ze zijn een blijk van waardering vanwege de auteurs voor de invloed die Commers door zijn denken en doen op hun werk en leven heeft gehad en nog steeds heeft. In alfabetische volgorde bevat dit boek essays van: Diderik Batens die nadenkt over bedoelingen, alledaagse principes, symbolische principes en ‘luie’ principes; Karel Boullart die naast een kleine diabologie ook een reflectie presenteert over het belang van het realisme voor de moraalfilosoof; Roger Burggraeve die de broederschap doordenkt als grondslag voor de noties gelijkheid en vrijheid; Tom Claes die op zoek gaat naar positieve effecten van seksualisering; Hubert Dethier die reflecteert over de geschiedenis van het humanisme; Raymond Detrez die het heeft over de visie van G. Schamelhout over de volken van Europa en hun nationale bewegingen; Jan De Vos die onderzoekt hoe hedendaagse vormen van psychologisering geworteld zitten in de moderniteit; Alicja Gescinska die de stelling verdedigt dat de esthetische ervaring nauw verbonden is met de ethische waardering; Freddy Mortier die ingaat op de relatie tussen Wagner en de vrijmetselarij; Rik Pinxten die het moraalwetenschappelijke project en de invloed hiervan op zijn en Commers’ werk traceert; Danny Praet die het intellectueel kader schetst van de Gentse godsdienst-historicus Franz Cumont; Stef Slembrouck die onderzoekt hoe meertaligheid zich voltrekt; Wim Vandekerckhove die parallellen aantoont tussen het 18de eeuwse slavenhandeldebat en het hedendaagse debat over kinderarbeid en ‘bonded labour;’ Gertrudis Van de Vijver die de vraag stelt wat de sofist nog voor de (post-)moderne denker kan betekenen; Eric Vanhaute die op zoek gaat naar de legitimering van de nieuwe wereldgeschiedenis; An Verlinden die de begeesterende indruk van Ronald Commers’ onderwijs, denken en activisme op haar eigen wijsgerig en geëngageerd werk en denken belicht; Etienne Vermeersch die een gedachtewisseling presenteert omtrent de mogelijkheid van de menselijke vrije wil; en Erik Weber die argumenteert dat er geen echt verschil is tussen gesofisticeerd pragmatisme en onbeperkt intentioneel realisme.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Claes, Tom</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Het doel van wetenschap: is er een derde weg tussen onbeperkt intentioneel realisme en strikt pragmatisme?</style></title><secondary-title><style face="normal" font="default" size="100%">Door Denken en Doen. Essays bij het Werk van Ronald Commers</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%">Academia Press</style></publisher><pages><style face="normal" font="default" size="100%">243–253</style></pages><isbn><style face="normal" font="default" size="100%">9789038219431</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Ik onderscheid drie posities met betrekking tot het doel van wetenschap: onbeperkt intentioneel realisme, strikt pragmatisme en gesofistikeerd pragmatisme. Ik argumenteer dat er geen echt verschil is tussen gesofisticeerd pragmatisme en onbeperkt intentioneel realisme: ze komen beide neer op &quot;anything goes.&quot; Dit betekent dat gesofistikeerd pragmatisme niet de gulden middenweg is die het op het eerste zicht lijkt te zijn.&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%">Aerts, Diederik</style></author><author><style face="normal" font="default" size="100%">Broekaert, Jan</style></author><author><style face="normal" font="default" size="100%">D'Hooghe, Bart</style></author><author><style face="normal" font="default" size="100%">Note, Nicole</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Metaphysics and Cinema</style></title><secondary-title><style face="normal" font="default" size="100%">Worldviews, Science and Us: Bridging Knowledge and its Implications for our Perpectives on the World.</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%">World Scientific Publishing Company</style></publisher><pub-location><style face="normal" font="default" size="100%">Singapore</style></pub-location><pages><style face="normal" font="default" size="100%">118-141</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%">Magnani, Lorenzo</style></author><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Pizzi, Claudio</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The symbolic model for algebra: functions and mechanisms</style></title><secondary-title><style face="normal" font="default" size="100%">Model-Based Reasoning in Science and Technology</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-642-15223-8\_29</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><volume><style face="normal" font="default" size="100%">314</style></volume><pages><style face="normal" font="default" size="100%">519–532</style></pages><isbn><style face="normal" font="default" size="100%">9783642152221</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The symbolic mode of reasoning in algebra, as it emerged during the sixteenth century, can be considered as a form of model-based reasoning. In this paper we will discuss the functions and mechanisms of this model and show how the model relates to its arithmetical basis. We will argue that the symbolic model was made possible by the epistemic justification of the basic operations of algebra as practiced within the abbaco tradition. We will also show that this form of model-based reasoning facilitated the expansion of the number concept from Renaissance interpretations of number to the full notion of algebraic numbers.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Coniglio, Marcelo E.</style></author><author><style face="normal" font="default" size="100%">Loffredo D'Ottaviano, Itala M.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptive Cn Logics</style></title><secondary-title><style face="normal" font="default" size="100%">The Many Sides of Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><pub-location><style face="normal" font="default" size="100%">London</style></pub-location><pages><style face="normal" font="default" size="100%">27–45</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper solves an old problem: to devise decent inconsistency-adaptive logics that have the \C{n} logics as their lower limit. Two kinds of logics are presented. Those of the first kind offer a maximally consistent interpretation of the premise set in as far as this is possible in view of logical considerations. At the same time, they indicate at which points further choices may be made on extra-logical grounds. The logics of the second kind allow one to introduce those choices in a defeasible way and handle them.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author><author><style face="normal" font="default" size="100%">De Clercq, Kristof</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Coniglio, Marcelo E.</style></author><author><style face="normal" font="default" size="100%">Loffredo D'Ottaviano, Itala M.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Goal-Directed Tableaux</style></title><secondary-title><style face="normal" font="default" size="100%">The Many Sides of Logic</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Studies in Logic</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><pub-location><style face="normal" font="default" size="100%">London</style></pub-location><volume><style face="normal" font="default" size="100%">21</style></volume><pages><style face="normal" font="default" size="100%">241–256</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper contains a new format for analytic tableaux, called goal-directed tableaux. Their main interest lies in the fact that the search for a closed tableau proceeds in a highly constrained way. The goal-directed tableaux do not form a complete decision method for propositional classical logic (because they do not sustain Ex Falso Quodlibet). For consistent sets of premises, however, they lead to the same results as the usual analytic tableaux for classical logic.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>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>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Coniglio, Marcelo E.</style></author><author><style face="normal" font="default" size="100%">Loffredo D'Ottaviano, Itala M.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Prioritized Dynamic Retraction Function on Non-monotonic Information Updates</style></title><secondary-title><style face="normal" font="default" size="100%">The Many Sides of Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><pub-location><style face="normal" font="default" size="100%">London</style></pub-location><pages><style face="normal" font="default" size="100%">443-463</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 a model for updates on belief sets and retractions thereof is introduced using the standard format of Adaptive Logics. The core of the update retraction procedure is represented by abnormal expressions derivable in the language: they express updates with information con- tradicting previously derived contents. The adaptive strategy aims at restricting the validity of these formulas by focusing at each decreasing degree on the update which is the most rational to retract in order to re- store consistency as soon as possible. This work is related to the standard operations of retraction and withdrawal from the AGM-paradigm and the eects of dynamic operations such as public announcement in Dynamic Epistemic 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%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Coniglio, Marcelo E.</style></author><author><style face="normal" font="default" size="100%">Loffredo D'Ottaviano, Itala M.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Strategies: what's in a name?</style></title><secondary-title><style face="normal" font="default" size="100%">The Many Sides of Logic</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Studies in Logic</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><volume><style face="normal" font="default" size="100%">21</style></volume><pages><style face="normal" font="default" size="100%">287–306</style></pages><isbn><style face="normal" font="default" size="100%">9781904987789</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 show that Hintikkas notion of strategy can refer to proof-heuristic reasoning as well as to methodological reasoning forms. Stating this distinction allows for a better understanding of the notion and for an easier way to tackle the problem of formalization. Contrary to Hintikkas opinion, heuristic reasoning can be implemented in formal proofs by means of goal-directed proof procedures. Methodological reasoning forms on the other hand can be formally represented by means of adaptive logics.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ciuciura, Janusz</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Negations in the adjunctive discursive logic</style></title><secondary-title><style face="normal" font="default" size="100%">Bulletin of the Section 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%">3-4</style></number><volume><style face="normal" font="default" size="100%">37</style></volume><pages><style face="normal" font="default" size="100%">143–160</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 logical literature, Discursive (or Discussive) Logic introduced by Stanis law Ja´skowski is seen as one of the earliest examples of the so-called paraconsistent logic. Nevertheless, there is some confusion over what discursive logic actually is. One of the possible sources of the confusion may be easily discerned; it comes from the fact that Ja´skowski published his two papers in Polish and their English translations appeared many years later.1 Up till 1999, no one but a Polish reader was able to read Ja´skowskis paper on the discursive conjunction and, consequently some authors took discursive logic to be a foremost example of a non-adjunctive logic. The situation became even more complicated when da Costa, Dubikajtis and Kotas presented an axiomatization with discursive connectives as primitive symbols. It turned out that a connective of the discursive conjunction they considered did not correspond to any of Ja´skowskis connectives. Thus, their axiomatization contained some axiom schemata that were not generally valid in Ja´skowskis logic. The purpose of this paper is to clarify the confusion surrounding the discursive logic. We will present a direct semantics and axiomatization of Ja´skowskis adjunctive discursive logic and show how to define and axiomatize two additional connectives of negation.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Psillos, Stathis</style></author><author><style face="normal" font="default" size="100%">Curd, Martin</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Role of Logic in Philosophy of Science</style></title><secondary-title><style face="normal" font="default" size="100%">The Routledge Companion to Philosophy of Science</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%">Routledge</style></publisher><pub-location><style face="normal" font="default" size="100%">London, New York</style></pub-location><pages><style face="normal" font="default" size="100%">47–57</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Christiaens, Wim</style></author><author><style face="normal" font="default" size="100%">Czachor, Marek</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Aerts, Diederik</style></author><author><style face="normal" font="default" size="100%">Durt, Thomas</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Some notes on Aerts' interpretation of the EPR-paradox and the violation of Bell-inequalities</style></title><secondary-title><style face="normal" font="default" size="100%">Probing the Structure of Quantum Mechanics: Nonlinearity, Nonlocality, Probability and Axiomatics</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%">World Scientific</style></publisher><pages><style face="normal" font="default" size="100%">250–286</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%">Christiaens, Wim</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Basic Ontology and the Ontology of the Phenomenological Life World: A Proposal</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of Science</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">metaphysics</style></keyword><keyword><style  face="normal" font="default" size="100%">ontology</style></keyword><keyword><style  face="normal" font="default" size="100%">phenomenology</style></keyword><keyword><style  face="normal" font="default" size="100%">process ontology</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/s10699-004-5909-y</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">11</style></volume><pages><style face="normal" font="default" size="100%">249-274</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 condition of explicit theoretically discursive cognitive performance, as it culminates in scientific activity, is, I claim, the life world. I contrast life world and scientific world and argue that the latter arises from the first and that contrary to the prevailing views the scientific world (actually, worlds, since the classical world is substantially different from the quantum world) finds its completion in the life world and not the other way around. In other words: the closure we used to search in a complete and comprehensive scientific description of all aspects of experience by referring it back to underlying atoms, genes and other scientific objects and the covering laws ruling them, should be sought in a reintegrating and occasionally dissolving of the abstract scientific model in the self-organizational fluidity and superposition-like indeterminateness and non-locality of the life world: We have to acknowledge the indeterminate as a positive phenomenon (Merleau-Ponty in his The Phenomenology of Perception).&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Christiaens, Wim</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">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>13</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%">Biografie van Leo Apostel</style></title><secondary-title><style face="normal" font="default" size="100%">Nationaal Biografisch Woordenboek</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%">{Koninklijke Vlaamse Academie van België</style></publisher><pages><style face="normal" font="default" size="100%">23-34</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Vanderbeeken, Robrecht</style></author><author><style face="normal" font="default" size="100%">Cuypers, Stefaan</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Introduction: beyond Empiricism in the Social Explanation of Action</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophical Explorations</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">7</style></volume><pages><style face="normal" font="default" size="100%">197–201</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>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%">Seibt, Johanna</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The EPR-Experiment and Free Process Theory</style></title><secondary-title><style face="normal" font="default" size="100%">Process Theories. Cross-Disciplinary Studies on Dynamic Categories</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-94-007-1044-3_11</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Netherlands</style></publisher><pages><style face="normal" font="default" size="100%">267-284</style></pages><isbn><style face="normal" font="default" size="100%">978-1-4020-1751-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;As part of the creation-discovery interpretation of quantum mechanics Diederik Aerts presented a setting with macroscopical coincidence experiments designed to exhibit significant conceptual analogies between portions of stuff and quantum compound entities in a singlet state in Einstein-Podolsky-Rosen/Bell-experiments (EPR-experiments). One important claim of the creation-discovery view is that the singlet state describes an entity that does not have a definite position in space and thus does not exist in space. Free Process Theory is a recent proposal by Johanna Seibt of an integrated ontology, i.e., of an ontology suitable for the interpretation of theories of the macrophysical and microphysical domain (quantum field theory). The framework of free process theory allows us to show systematically the relevant analogies and disanalogies between Aerts experiment and EPR-experiments. From free process ontology it also follows quite naturally that the quantum compound entity described by the singlet state does not exist in space.&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%">Weber, Erik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Rojsczak, A</style></author><author><style face="normal" font="default" size="100%">Cachro, J</style></author><author><style face="normal" font="default" size="100%">Kurczewski, G</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Explaining laws by reduction</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophical Dimensions of Logic and Science</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%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><isbn><style face="normal" font="default" size="100%">140201645X</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Scientific explanations have been intensively studied by philosophers of science during the last five decades. Explanations of laws did not receive as much attention as explanations of particular facts. In this article, I present a model for one type of explanations of laws: reductions of laws to phenomena at a micro-level. Examples of such reductions can be found in the natural sciences (the ideal gas law is probably the most famous example here) and in the social sciences (e.g., reduction of macroeconomic laws to the behaviour of individual economic agents).&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Christiaens, Wim</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Non-spatiality and EPR-experiments according to the creation-discovery view</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of Physics Letters</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year><pub-dates><date><style  face="normal" font="default" size="100%">August</style></date></pub-dates></dates><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">16</style></volume><pages><style face="normal" font="default" size="100%">379–387</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 creation-discovery interpretation of the EPR-experiments, developed by D. Aerts, draws our attention on the role of spacetime in our description of the physical world: the EPR-experiments give us reason to believe that quantum entities do not always exist in space. This interpretation of the quantum description would explain the peculiar correlations obtained in these experiments as arising from the most obvious candidate for a common cause, the entity described by the singlet state. The absence of unique and determinate localization as a criterium for individuation is met by a new physical ontology. We use it to obtain a better understanding of the interaction between quantum individuals and spacetime.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Christiaens, Wim</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A note concerning the place of contradictions in the ontologies of constitution</style></title><secondary-title><style face="normal" font="default" size="100%">Logic and Logical Philosophy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><volume><style face="normal" font="default" size="100%">11/12</style></volume><pages><style face="normal" font="default" size="100%">67–72</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 first section we start with defining the notions of inconsistency and para-consistency, we give an example of an inconsistency and clarify what according to us is the basic problem with respect to the occurrence of inconsistencies. We are then in a position to state the aim of this paper&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Coniglio, Marcelo E.</style></author><author><style face="normal" font="default" size="100%">Loffredo D'Ottaviano, Itala M.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">An Adaptive Logic for Pragmatic Truth</style></title><secondary-title><style face="normal" font="default" size="100%">Paraconsistency. The Logical Way to the Inconsistent</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><publisher><style face="normal" font="default" size="100%">Marcel Dekker</style></publisher><pub-location><style face="normal" font="default" size="100%">New York</style></pub-location><pages><style face="normal" font="default" size="100%">167–185</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper presents the new adaptive logic APT. APT has the peculiar property that it enables one to interpret a (possibly inconsistent) theory Gamma 'as pragmatically as possible'. The aim is to capture the idea of a partial structure (in the sense of da Costa and associates) that adequately models a (possibly inconsistent) set of beliefs Gamma. What this comes to is that APT localizes the 'consistent core' of Gamma, and that it delivers all sentences that are compatible with this core. For the core itself, APT is just as rich as Classical Logic. APT is defined from a modal adaptive logic APV that is based itself on two other adaptive logics. I present the semantics of all three systems, as well as their dynamic proof theory. The dynamic proof theory for APV is unusual (even within the adaptive logic programme) in that it incorporates two different kinds of dynamics.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Casteleyn, Brenda</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Epistemologie</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year><pub-dates><date><style  face="normal" font="default" size="100%">September 6</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%">Vermeir, Timothy</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Coniglio, Marcelo E.</style></author><author><style face="normal" font="default" size="100%">Loffredo D'Ottaviano, Itala M.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">An Inconsistency-Adaptive Proof Procedure for Logic Programming</style></title><secondary-title><style face="normal" font="default" size="100%">Paraconsistency. The Logical Way to the Inconsistent</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><publisher><style face="normal" font="default" size="100%">Marcel Dekker</style></publisher><pub-location><style face="normal" font="default" size="100%">New York</style></pub-location><pages><style face="normal" font="default" size="100%">323-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;It is the goal of this paper to de ne a paraconsistent proof procedure that has the best of two mechanisms, in casu logic programming and inconsistency-adaptive logics. From logic programming we will maintain the ease of computing, and from adaptive logics their paraconsistency, dynamics and non-monotonicity. This will be done by combining the notion of competitor from logic programming together with the conditionallity that is common in all adaptive proofs.&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%">Vanackere, Guido</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Coniglio, Marcelo E.</style></author><author><style face="normal" font="default" size="100%">Loffredo D'Ottaviano, Itala M.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Ontological causes of inconsistency and a change-adaptive, logical solution</style></title><secondary-title><style face="normal" font="default" size="100%">Paraconsistency. The Logical Way to the Inconsistent</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><publisher><style face="normal" font="default" size="100%">Marcel Dekker</style></publisher><volume><style face="normal" font="default" size="100%">228</style></volume><pages><style face="normal" font="default" size="100%">151–166</style></pages><isbn><style face="normal" font="default" size="100%">0824708059</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper reveals an implicit ontological assumption that is presupposed in common thought. This assumption results in the fact that people usually do not make any distinction between 'the object a' and 'the object a at a given moment'. This laziness causes many inconsistencies. Several attempts to solve these inconsistencies are studied, and the most natural one is elaborated, namely the one obtained by applying Classical Logic to an ontological correct domain. This solution has a drawback with respect to communication, which is solved by the change-adaptive logic CAL2. This non-monotonic, paraconsistent logic, belongs to the family of ambiguity-adaptive logics. It has the special characteristic that it solves inconsistencies by the introduction of more precise names for objects, more exactly names that refer to objects at a moment. The dynamics of the logic captures the change in objects. CAL2 has a nice proof theory, and an intuitive semantics. Interesting results and applications are commented upon, for instance those making use of the notion 'periods of invariance'. Of course, the philosophical background is discussed.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Coniglio, Marcelo E.</style></author><author><style face="normal" font="default" size="100%">Loffredo D'Ottaviano, Itala M.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On some Remarkable Relations between Paraconsistent Logics, Modal Logics, and Ambiguity Logics</style></title><secondary-title><style face="normal" font="default" size="100%">Paraconsistency. The Logical Way to the Inconsistent</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><publisher><style face="normal" font="default" size="100%">Marcel Dekker</style></publisher><pub-location><style face="normal" font="default" size="100%">New York</style></pub-location><pages><style face="normal" font="default" size="100%">275–293</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 concerns some connections between paraconsistent logics, modal logics (mainly &lt;strong&gt;S5&lt;/strong&gt;), and Ambiguity Logic &lt;strong&gt;AL&lt;/strong&gt; (Classical Logic applied to a language in which all letters are indexed and in which quantifiers over such indices are present). &lt;strong&gt;S5&lt;/strong&gt; may be defined from &lt;strong&gt;AL&lt;/strong&gt;.&lt;br /&gt;&lt;br /&gt; Three kinds of connections are illustrated. First, a paraconsistent logic &lt;strong&gt;A&lt;/strong&gt; is presented that has the same expressive power as &lt;strong&gt;S5&lt;/strong&gt;. Next, I consider the definition of paraconsistent logics from &lt;strong&gt;S5&lt;/strong&gt; and &lt;strong&gt;AL&lt;/strong&gt;. Such definition is shown to work for some logics, for example Priest's &lt;strong&gt;LP&lt;/strong&gt;. Other paraconsistent logics appear to withstand such definition, typically those that contain a detachable material implication. Finally, I show that some paraconsistent logics and inconsistency-adaptive logics serve exactly the same purpose as some modal logics and ampliative adaptive logics based on &lt;strong&gt;S5&lt;/strong&gt;. However, they serve this purpose along very different roads and the logics cannot be defined from one another.&lt;br /&gt;&lt;br /&gt; The paper intends to open lines of research rather than pursuing them to the end. It also contains a poor person's semantics for &lt;strong&gt;S5&lt;/strong&gt; as well as a description of the simple but useful and powerful &lt;strong&gt;AL&lt;/strong&gt;.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Christiaens, Wim</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">De Cirkel Sluiten. Aanzet tot een Wetenschappelijke Metafysica</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year><pub-dates><date><style  face="normal" font="default" size="100%">January 19</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Ghent University</style></publisher><work-type><style face="normal" font="default" size="100%">phd</style></work-type><notes><style face="normal" font="default" size="100%">&lt;p&gt;Promotor: Diderik Batens&lt;/p&gt;</style></notes><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%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Marcos, João</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Ex contradictione non sequitur quodlibet</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 2000 Advanced Reasoning Forum Conference</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We summarize here the main arguments, basic research lines, and results on the foundations of the logics of formal inconsistency. These involve, in particular, some classes of well-known paraconsistent systems. We also present their semantical interpretations by way of possible-translations semantics and their applications to human reasoning and machine reasoning.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Caleiro, Carlos</style></author><author><style face="normal" font="default" size="100%">Marcos, João</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Arabnia, Hamid R.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Non-truth-functional fibred semantics</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><publisher><style face="normal" font="default" size="100%">CSREA Press</style></publisher><volume><style face="normal" font="default" size="100%">2</style></volume><pages><style face="normal" font="default" size="100%">841–847</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Until recently, truth-functionality has been considered essential to the mechanism for combining logics known as fibring. Following the first efforts towards extending fibred semantics to logics with nontruth- functional operators, this paper aims to clarify the subject at the light of ideas borrowed from the theory of general logics as institutions and the novel notion of non-truth-functional room. Besides introducing the relevant concepts and constructions, the paper presents a detailed worked example combining classical first-order logic with the paraconsistent propositional system C&lt;sub&gt;1&lt;/sub&gt;, for which a meaningful semantics is obtained. The possibility of extending this technique to build rst-order versions of further logics of formal inconsistency is also discussed.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Marcos, João</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Arabnia, Hamid R.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Tableau systems for logics of formal inconsistency</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><publisher><style face="normal" font="default" size="100%">{CSREA} Press, Athens {GA}, {USA}</style></publisher><pages><style face="normal" font="default" size="100%">848-852</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The logics of formal inconsistency (&lt;strong&gt;LFI&lt;/strong&gt;s) are logics that allow to explicitly formalize the concepts of consistency and inconsistency by means of formulas of their language. Contradictoriness, on the other hand, can always be expressed in any logic, provided its language includes a symbol for negation. Besides being able to represent the distinction between contradiction and inconsistency, &lt;strong&gt;LFI&lt;/strong&gt;s are non-explosive logics, in the sense that a contradiction does not entail arbitrary statements, but yet are gently explosive, in the sense that, adjoining the additional requirement of consistency, then contradictoriness do cause explosion. Several logics can be seen as &lt;strong&gt;LFI&lt;/strong&gt;s, among them the great majority of paraconsistent systems developed under the Brazilian and Polish tradition. We present here tableau systems for some important LFIs: &lt;strong&gt;bC, Ci&lt;/strong&gt; and &lt;strong&gt;LFI1&lt;/strong&gt;.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Marcos, João</style></author><author><style face="normal" font="default" size="100%">Loffredo D'Ottaviano, Itala M.</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Coniglio, Marcelo E.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A taxonomy of C-systems</style></title><secondary-title><style face="normal" font="default" size="100%">Paraconsistency. The Logical Way to the Inconsistent</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><publisher><style face="normal" font="default" size="100%">Marcel Dekker</style></publisher><pub-location><style face="normal" font="default" size="100%">New York</style></pub-location><pages><style face="normal" font="default" size="100%">1-94</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;A thorough investigation of the foundations of paraconsistent logics. Relations between logical principles are formally studied, a novel notion of consistency is introduced, the logics of formal inconsistency, and the subclasses of C-systems and dC-systems are defined and studied. An enormous variety of paraconsistent logics in the literature is shown to constitute C-systems.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Christiaens, Wim</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">This Universe Is the `Best' of All Possible Worlds. A Tentative Reconstruction of the Metaphysical System of Leo Apostel</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophica</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><volume><style face="normal" font="default" size="100%">67</style></volume><pages><style face="normal" font="default" size="100%">115-146</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;After presenting Apostels views on scientific realism, I present definitions of the concepts of ontology and metaphysics. I then proceed to develop Apostels basic ontology and his metaphysics. Apostel proposed a particular understanding of existence based on his views on causation. He also developed a view of the universe as a causal self-explaining system. I discuss and illustrate three kinds of what he calls metaphysical deductions that aim to deliver such a view of the universe. The most important one is the Leibnizian variational method, that should allow us to deduce the existing universe as the best of all possible worlds.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Christiaens, Wim</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Apostel, Leo</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">De eenheid van de inhoud</style></title><secondary-title><style face="normal" font="default" size="100%">Natuurfilosofie. Voorbereidend werk voor een op de fysica gebaseerde ontologie</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2000</style></year></dates><publisher><style face="normal" font="default" size="100%">VUB</style></publisher><pages><style face="normal" font="default" size="100%">9-35</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 deze tekst richten we onze aandacht niet zozeer op het inleiding van manuscripten &lt;em&gt;Natuurfilosofie&lt;/em&gt; en &lt;em&gt;Oorsprong&lt;/em&gt;. Veelmeer belichten we de belangrijkste bouwstenen van Apostels project voor een metafysica en proberen we enkele centrale noties te verhelderen. Met de titel 'de eenheid van de inhoud' wordt reed gewezen op het coherente onderbouwde ideeëngoed van Apostel. We zullen zien dat het begrip &lt;em&gt;causaliteit&lt;/em&gt; als een rode draad doorheen Apostels filosofie loopt. We gaan er dan ook iets uitvoeriger op in. We kunnen hier evenwel niet uitgebreid ingaan op alle aspecten die we ter sprake brengen, maar zullen geregeld verwijzen naar publicaties in de voetnoten. We hopen op deze manier geïnteresseerden een instrument in handen te geven dat toelaat dieper in te gaan op de filosofie van Apostel.&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%">Christiaens, Wim</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">World Models and Inconsistencies.</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1999</style></year></dates><volume><style face="normal" font="default" size="100%">3</style></volume><pages><style face="normal" font="default" size="100%">285–311</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 worldview has sic components. We concentrate on the first two: descriptive world model and the explanatory world model. In the first half of the paper we make some general remarks on the methodology of world construction. In the second part, we discuss inconsistencies in world models. Adding new fragments to our world model can lead to inconsistencies Three strategies are distinguished: (i) a partial return to instrumentalism, (ii) paraconsistency, and (iii) the adaptive option. The latter option is elaborated by means of several historical examples and by means of the EPR paradox.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Cortois, Paul</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Realism and scientific explanations</style></title><secondary-title><style face="normal" font="default" size="100%">The Many Problems of Realism</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1995</style></year></dates><publisher><style face="normal" font="default" size="100%">Tilburg University Press</style></publisher><pages><style face="normal" font="default" size="100%">43–57</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Castel, Paul</style></author><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The two-envelope paradox: the infinite case</style></title><secondary-title><style face="normal" font="default" size="100%">Analysis</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1994</style></year></dates><volume><style face="normal" font="default" size="100%">54</style></volume><pages><style face="normal" font="default" size="100%">46–49</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Van Bendegem, Jean Paul</style></author><author><style face="normal" font="default" size="100%">Cornelis, Gustaaf C</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Waarom Wesley Salmons causaal-mechanische model van verklaring niet volstaat</style></title><secondary-title><style face="normal" font="default" size="100%">Iedereen die niet denkt zoals ik, volge mij. Acta 16de Nederlands-Vlaamse Filosofiedag</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1994</style></year></dates><publisher><style face="normal" font="default" size="100%">VUB Press</style></publisher><pages><style face="normal" font="default" size="100%">81-86</style></pages><isbn><style face="normal" font="default" size="100%">9789054870845</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%">Weber, Erik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Commers, Ronald</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">De verklarende kracht van statistische hypothesen</style></title><secondary-title><style face="normal" font="default" size="100%">Acta Filosofiedag 1990</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1992</style></year></dates><publisher><style face="normal" font="default" size="100%">Ebduron</style></publisher><pub-location><style face="normal" font="default" size="100%">Delft</style></pub-location><pages><style face="normal" font="default" size="100%">53-56</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%">Apostel, Leo</style></author><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author><author><style face="normal" font="default" size="100%">Breusegem, Erwin</style></author><author><style face="normal" font="default" size="100%">De Coninck, Jan</style></author><author><style face="normal" font="default" size="100%">De Waele, Danny</style></author><author><style face="normal" font="default" size="100%">Pinxten, Rik</style></author><author><style face="normal" font="default" size="100%">Swings, Jean</style></author><author><style face="normal" font="default" size="100%">Van Bendegem, Jean Paul</style></author><author><style face="normal" font="default" size="100%">Vandamme, Fernand</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Callebaut, Werner</style></author><author><style face="normal" font="default" size="100%">De Mey, Marc</style></author><author><style face="normal" font="default" size="100%">Pinxten, Rik</style></author><author><style face="normal" font="default" size="100%">Vandamme, Fernand</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">An empirical investigation on scientific observation</style></title><secondary-title><style face="normal" font="default" size="100%">Theory of Knowledge and Science Policy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1979</style></year></dates><publisher><style face="normal" font="default" size="100%">Communication &amp; Cognition</style></publisher><pages><style face="normal" font="default" size="100%">3–36</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>