<?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%">Urbaniak, Rafal</style></author><author><style face="normal" font="default" size="100%">Pawlowski, Pawel</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Paradoxes of informal provability and many-valued indeterministic provability logic</style></title></titles><dates><year><style  face="normal" font="default" size="100%">Submitted</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>34</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%">Klein, Dominik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Applications</style></title></titles><dates><year><style  face="normal" font="default" size="100%">Submitted</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>34</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Frederik Van De Putte</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Klein, Dominik</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Applications</style></title></titles><keywords><keyword><style  face="normal" font="default" size="100%">classical modal logics</style></keyword><keyword><style  face="normal" font="default" size="100%">coalition logic</style></keyword><keyword><style  face="normal" font="default" size="100%">distributed belief</style></keyword><keyword><style  face="normal" font="default" size="100%">multi-agent systems</style></keyword><keyword><style  face="normal" font="default" size="100%">pointwise intersection</style></keyword><keyword><style  face="normal" font="default" size="100%">pooling modalities</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">Submitted</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We study classical modal logics with pooling modalities, i.e. unary modal operators that allow one to express properties of sets obtained by the pointwise intersection of neighbourhoods. We discuss salient properties of these modalities, situate the logics in the broader area of modal logics (with a particular focus on relational semantics), establish key properties concerning their expressive power, and discuss their application to epistemic/doxastic logic, the logic of evidence-based belief, deontic logic, and logics of agency and ability.&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%">Pawlowski, Pawel</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Proof systems for BAT consequence relations </style></title><secondary-title><style face="normal" font="default" size="100%">The Logic Journal of IGPL</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">In Press</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van De Putte, Frederik</style></author><author><style face="normal" font="default" size="100%">Klein, Dominik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability</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%">2020</style></year></dates><volume><style face="normal" font="default" size="100%">online first</style></volume><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;&lt;span&gt;We establish completeness and the finite model property for logics featuring the &lt;/span&gt;&lt;em&gt;pooling modalities&lt;/em&gt;&lt;span&gt; that were introduced in Van De&amp;nbsp;Putte and Klein (Pooling modalities and pointwise intersection: semantics, expressivity, and applications). The definition of our canonical models combines standard techniques with a so-called “puzzle piece construction”, which we first illustrate informally. After that, we apply it to the weakest classical logics with pooling modalities and investigate the technique’s potential for the axiomatization of stronger logics, obtained by imposing well-known frame conditions on the models.&lt;/span&gt;&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>34</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%">Klein, Dominik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Pointwise intersection in neighbourhood modal logic</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Rik Pinxten</style></author><author><style face="normal" font="default" size="100%">Jean Swings</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Paradoxen in de vrijmetselarij en de relatie met waarden</style></title><secondary-title><style face="normal" font="default" size="100%">Kappen aan de ruwe steen</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><publisher><style face="normal" font="default" size="100%">Academic and Scientific Publishers</style></publisher><pub-location><style face="normal" font="default" size="100%">Brussel</style></pub-location><pages><style face="normal" font="default" size="100%">319–336</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%">Van Bouwel, Jeroen</style></author><author><style face="normal" font="default" size="100%">Van Oudheusden, Michiel</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Participation beyond consensus? Technology assessments, consensus conferences and democratic modulation. </style></title><secondary-title><style face="normal" font="default" size="100%">Social Epistemology</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><volume><style face="normal" font="default" size="100%">31 (6)</style></volume><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this article, we inquire into two contemporary participatory formats&lt;br /&gt;that seek to democratically intervene in scientific practice: the consensus&lt;br /&gt;conference and participatory technology assessment (pTA). We explain how&lt;br /&gt;these formats delegitimize conflict and disagreement by making a strong&lt;br /&gt;appeal to consensus. Based on our direct involvement in these formats and&lt;br /&gt;informed both by political philosophy and science and technology studies,&lt;br /&gt;we outline conceptions that contrast with the consensus ideal, including&lt;br /&gt;dissensus, disclosure, conflictual consensus and agonistic democracy.&lt;br /&gt;Drawing on the notion of meta-consensus and a distinction between&lt;br /&gt;four models of democracy (aggregative, deliberative, participatory and&lt;br /&gt;agonistic), we elaborate how a more positive valuation of conflict provides&lt;br /&gt;opportunities for mutual learning, the articulation of disagreement, and&lt;br /&gt;democratic modulation—three aspirations that are at the heart of most&lt;br /&gt;pTAs and consensus conferences. Disclosing the strengths and weaknesses&lt;br /&gt;of these different models is politically and epistemically useful, and should&lt;br /&gt;therefore be an integral part of the development of participation theory and&lt;br /&gt;process in science and technology.&lt;/p&gt;</style></abstract><section><style face="normal" font="default" size="100%">497</style></section></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%">Pawlowski, Pawel</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Urbaniak, Rafal</style></author><author><style face="normal" font="default" size="100%">Gillman, Payette</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Philosophical Aspects of an Alleged Connection Between the Axiom of Choice and Predicting the Future</style></title><secondary-title><style face="normal" font="default" size="100%">Applications of Formal Philosophy The Road Less Travelled</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">213-220</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%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Pluralism In Scientific Problem Solving. Why Inconsistency Is No Big Deal</style></title><secondary-title><style face="normal" font="default" size="100%">Humana.Mente Journal of Philosophical Studies</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><volume><style face="normal" font="default" size="100%">32</style></volume><pages><style face="normal" font="default" size="100%">149–177</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%">Kosolosky, Laszlo</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">'Peer review is melting our glaciers': the Intergovernmental Panel on Climate Change (IPCC) went astray</style></title><secondary-title><style face="normal" font="default" size="100%">Journal for general philosophy of science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><pages><style face="normal" font="default" size="100%">351--366</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Lefevere, Merel</style></author><author><style face="normal" font="default" size="100%">Schliesser, Eric</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Martini, Carlo</style></author><author><style face="normal" font="default" size="100%">Boumans, Marcel</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Private epistemic virtue, public vices: moral responsibility in the policy sciences</style></title><secondary-title><style face="normal" font="default" size="100%">Experts and consensus in social science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">275–295</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Gauderis, Tjerk</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Patterns of Hypothesis Formation</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year><pub-dates><date><style  face="normal" font="default" size="100%">March 31</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Ghent University</style></publisher><work-type><style face="normal" font="default" size="100%">phd</style></work-type><custom1><style face="normal" font="default" size="100%">&lt;p&gt;Joke Meheus and Bert Leuridan&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%">Plural quantifiers: a modal interpretation</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%">7</style></number><volume><style face="normal" font="default" size="100%">191</style></volume><pages><style face="normal" font="default" size="100%">1605–1626</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;One of the standard views on plural quantification is that its use commits one to the existence of abstract objects-sets. On this view claims like 'some logicians admire only each other' involve ineliminable quantification over subsets of a salient domain. The main motivation for this view is that plural quantification has to be given some sort of semantics, and among the two main candidates-substitutional and set-theoretic-only the latter can provide the language of plurals with the desired expressive power (given that the nominalist seems committed to the assumption that there can be at most countably many names). To counter this approach I develop a modal-substitutional semantics of plural quantification (on which plural variables, roughly speaking, range over ways names could be) and argue for its nominalistic acceptability.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Galavotti, Maria Carla</style></author><author><style face="normal" font="default" size="100%">Dieks, Dennis</style></author><author><style face="normal" font="default" size="100%">Gonzalez, Wenceslao J.</style></author><author><style face="normal" font="default" size="100%">Hartmann, Stephan</style></author><author><style face="normal" font="default" size="100%">Uebel, Thomas</style></author><author><style face="normal" font="default" size="100%">Weber, Marcel</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Pluralists about pluralism? Different versions of explanatory pluralism in psychiatry</style></title><secondary-title><style face="normal" font="default" size="100%">New directions in the philosophy of science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">104–119</style></pages><isbn><style face="normal" font="default" size="100%">9783319043814</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 contribution, I comment on Raffaella Campaner’s defense of explanatory pluralism in psychiatry (in this volume). In her paper, Campaner focuses primarily on explanatory pluralism in contrast to explanatory reductionism. Furthermore, she distinguishes between pluralists who consider pluralism to be a temporary state on the one hand and pluralists who consider it to be a persisting state on the other hand. I suggest that it would be helpful to distinguish more than those two versions of pluralism – different understandings of explanatory pluralism both within philosophy of science and psychiatry – namely moderate/temporary pluralism, anything goes pluralism, isolationist pluralism, integrative pluralism and interactive pluralism. Next, I discuss the pros and cons of these different understandings of explanatory pluralism. Finally, I raise the question of how to implement or operationalize explanatory pluralism in scientific practice; how to structure the “genuine dialogue” or shape “the pluralistic attitude” Campaner is referring to. As tentative answers, I explore a question-based framework for explanatory pluralism as well as social-epistemological procedures for interaction among competing approaches and explanations.&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%">Galavotti, Maria Carla</style></author><author><style face="normal" font="default" size="100%">Dieks, Dennis</style></author><author><style face="normal" font="default" size="100%">Gonzalez, Wenceslao J.</style></author><author><style face="normal" font="default" size="100%">Hartmann, Stephan</style></author><author><style face="normal" font="default" size="100%">Uebel, Thomas</style></author><author><style face="normal" font="default" size="100%">Weber, Marcel</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics</style></title><secondary-title><style face="normal" font="default" size="100%">New Directions in the Philosophy of Science</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">The Philosophy of Science in a European Perspective</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><volume><style face="normal" font="default" size="100%">5</style></volume><pages><style face="normal" font="default" size="100%">15–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;According to some well-known mathematicians well-versed in computer-assisted mathematics (CaM), Computers are changing the way we are doing mathematics. To what extent this is really true is still an open question. Indeed, even though some philosophers of math have taken up the challenge to think about CaM, it is unclear in what sense exactly a machine (can) affect(s) the so-called queen of the sciences. In fact, some have concluded that issues raised by the use of the computer in mathematics are not specific to the use of the computer per se. However, such findings seem precarious since a systematic study of computer-assisted mathematics is still lacking. In this paper I argue that in order to understand the impact of CaM, it is necessary to take more seriously the computer itself and how it is actually used in the process of doing mathematics. Within such an approach, one searches for characteristics that are specific to the use of the computer in mathematics. I will focus on a feature that is beyond any doubt inherently connected to the use of computing machinery, viz. mathematician-computer interactions. I will show how such interactions are fundamentally different from the usual interactions between mathematicians and non-human aids (a piece of paper, a blackboard etc) and how such interactions determine at least two more characteristics of CaM, viz. the significance of time and processes and the steady process of internalization of mathematical tools and knowledge into the machine. I will restrict myself to the use of the computer within so-called experimental mathematics since this is the main object of CaM within the philosophical literature.&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%">Propositional Logic Extended With A Pedagogically Useful Relevant Implication</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%">2014</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">23</style></volume><pages><style face="normal" font="default" size="100%">245–276</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;First and foremost, this paper concerns the combination of classical propositional logic with a relevant implication. The proposed combination is simple and transparent from a proof theoretic point of view and at the same time extremely useful for relating formal logic to natural language sentences. A specific system will be presented and studied, also from a semantic point of view. The last sections of the paper contain more general considerations on combining classical propositional logic with a relevant logic that has all classical theorems as theorems.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Gauderis, Tjerk</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Magnani, Lorenzo</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Pauli's idea of the neutrino: how models in physics allow to revive old ideas for new purposes</style></title><secondary-title><style face="normal" font="default" size="100%">Model-based reasoning in science and technology : theoretical and cognitive issues</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">449-461</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Abstract Models have proven themselves to be the key catalyst of many new ideas in science. However, it is not yet fully clarified why models can fulfill such an important heuristic role. The two main reasons stated in the literaturethe mental simulation of various scenarios and the wide cross-fertilization across various disciplinesseem to leave out one of the most obvious features of models: they are designed for a purpose. Therefore I investigated why, while the construction of models is a goal-oriented task with a predefined purpose, the use of models yields so many new ideas in science. This paper presents my conceptual analysis together with a detailed historical case study. The functional design of models forces scientists to explore vigorously older ideas to adapt them: as the lacunas in a functional model are also functional, scientists need to modify older ideas (that were formulated for different purposes) to fit the present functional gaps in their models. As such, they construct new ideas. The detailed historical case study exemplifies this by showing how Paulis original suggestion of the neutrino was, in fact, such an adaptation of Rutherfords earlier idea of the neutron. The present analysis and case study suggest that functional adaptations are salient but often overlooked features of model based investigation.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Gervais, Raoul</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%">Plausibility versus richness in mechanistic models</style></title><secondary-title><style face="normal" font="default" size="100%">PHILOSOPHICAL PSYCHOLOGY</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">26</style></volume><pages><style face="normal" font="default" size="100%">139–152</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper we argue that in recent literature on mechanistic explanations, authors tend to conflate two distinct features that mechanistic models can have or fail to have: plausibility and richness. By plausibility, we mean the probability that a model is correct in the assertions it makes regarding the parts and operations of the mechanism, i.e., that the model is correct as a description of the actual mechanism. By richness, we mean the amount of detail the model gives about the actual mechanism. First, we argue that there is at least a conceptual reason to keep these two features distinct, since they can vary independently from each other: models can be highly plausible while providing almost no details, while they can also be highly detailed but plainly wrong. Next, focusing on Craver's continuum of how-possibly, to how-plausibly, to how-actually models, we argue that the conflation of plausibility and richness is harmful to the discussion because it leads to the view that both are necessary for a model to have explanatory power, while in fact, richness is only so with respect to a mechanism's activities, not its entities. This point is illustrated with two examples of functional models.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van De Putte, Frederik</style></author><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Preferential Semantics using Non-smooth Preference Relations</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Philosophical Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><number><style face="normal" font="default" size="100%">5</style></number><volume><style face="normal" font="default" size="100%">43</style></volume><pages><style face="normal" font="default" size="100%">903–942</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 studies the properties of eight semantic consequence relations defined from a Tarski-logic &lt;strong&gt;L&lt;/strong&gt; and a preference relation &amp;amp;\#8826;. They are equivalent to Shohams so-called preferential entailment for smooth model structures, but avoid certain problems of the latter in non-smooth configurations. Each of the logics can be characterized in terms of what we call multi-selection semantics. After discussing this type of semantics, we focus on some concrete proposals from the literature, checking a number of meta-theoretic properties and elaborating on their intuitive motivation. As it turns out, many of their meta-properties only hold in case &amp;amp;\#8826; is transitive. To tackle this problem, we propose slight modifications of each of the systems, showing the resulting logics to behave better at the intuitive level and in metatheoretic terms, for arbitrary &amp;amp;\#8826;.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van De Putte, Frederik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Prime implicates and relevant belief revision</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%">2013</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">23</style></volume><pages><style face="normal" font="default" size="100%">109–119</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This article discusses Parikhs axiom of relevance in belief revision, and recalls some results from Kourousias and Makinson (2007, J. Symbolic Logic, &lt;strong&gt;72&lt;/strong&gt;, 9941002) in this context. The crucial distinction is emphasized between the uniqueness of the finest splitting of K and the fact that K has several normal forms associated with that finest splitting. The main new result of this article is a new proof for the theorem that the set of prime implicates of K is a normal form for the finest splitting of K. It is explained how this proof avoids a mistake in an earlier proof from Wu and Zhang (2010, Knowledge-Based Syst., &lt;strong&gt;23&lt;/strong&gt;, 7076). As a corollary, relevance can be re-defined without reference to the finest splitting, using the notion of path-relevance from Makinson (2009, J. Appl. Logic, &lt;strong&gt;7&lt;/strong&gt;, 377387). Finally, a weak yet sufficient condition for irrelevance is presented.&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%">Urbaniak, Rafal</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">'Platonic' thought experiments: how on earth</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%">2012</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">187</style></volume><pages><style face="normal" font="default" size="100%">731–752</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Brown (The laboratory of the mind. Thought experiments in the natural science, 1991a, 1991b; Contemporary debates in philosophy of science, 2004; Thought experiments, 2008) argues that thought experiments (TE) in science cannot be arguments and cannot even be represented by arguments. He rest his case on examples of TEs which proceed through a contradiction to reach a positive resolution (Brown calls such TEs &quot;platonic&quot;). This, supposedly, makes it impossible to represent them as arguments for logical reasons: there is no logic that can adequately model such phenomena. (Brown further argues that this being the case, &quot;platonic&quot; TEs provide us with irreducible insight into the abstract realm of laws of nature). I argue against this approach by describing how &quot;platonic&quot; TEs can be modeled within the logical framework of adaptive proofs for prioritized consequence operations. To show how this mundane apparatus works, I use it to reconstruct one of the key examples used by Brown, Galileo's TE involving falling bodies.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Gervais, Raoul</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Van Kerkhove, Bart</style></author><author><style face="normal" font="default" size="100%">Libert, Thierry</style></author><author><style face="normal" font="default" size="100%">Vanpaemel, Geert</style></author><author><style face="normal" font="default" size="100%">Marage, Pierre</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Pragmatic approaches to explanation applied to the cognitive sciences: two types of explanation-seeking questions compared</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium II</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><publisher><style face="normal" font="default" size="100%">Koninklijke Vlaamse Academie van België</style></publisher><pages><style face="normal" font="default" size="100%">131–137</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Langhe, Rogier</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Problem of Kuhnian Rationality</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%">2012</style></year></dates><volume><style face="normal" font="default" size="100%">86</style></volume><pages><style face="normal" font="default" size="100%">11-31</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;According to Thomas Kuhn (1962/1970), science is characterized by two levels, one within and one between paradigms. The problem of Kuhnian rationality concerns the choice between paradigms, for which no rational basis appears to exist because this choice is inevitably circular to some extent. This is the main reason why Kuhn's view is perceived to glorify irrationality. (ibid. 199) I present two interpretations of the problem of Kuhnian rationality, one based on concepts (the neo-positivist interpretation) and one based on values. I also describe two notions of rationality, optimizing and satisficing. Neither interpretation supports the notion of optimizing, but the values-interpretation supports satisficing, suggesting that if Kuhnian scientists are rational, as Kuhn insisted, they are satisficers. An agent-based model demonstrates that aggregating the behaviour of satisficing agents can account for Kuhn's view on the dynamics of scientific change.&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%">Gauderis, Tjerk</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Demey, Lorenz</style></author><author><style face="normal" font="default" size="100%">Devuyst, Jonas</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The problem of multiple explanatory hypotheses</style></title><secondary-title><style face="normal" font="default" size="100%">PhDs in Logic III</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%">College Publications</style></publisher><pages><style face="normal" font="default" size="100%">45-53</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 abduction  the process of finding explanatory hypotheses for puzzling phenomena  one is often confronted with multiple explanatory hypotheses. In science one generally wants to test further the different hypotheses one by one. But, if we try to model this in a logic and make it possible to derive the differen t hypotheses apart from each other, we generally can derive their conjunction too. An elegant solution within the framework of adaptive logics is provided in Gauderis (2011). But this approach is not restricted to science. While it is true that a lot of cases in everyday reasoning require a more practical approach  in which one acts on the knowledge that all the different hypotheses might be the case  there are also a considerable amount of situations in which the more theoretical approach of the scientist is needed. In this paper we try to illustrate this by using this logic to model reasoning within detective literature.&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%">Verdée, Peter</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A proof procedure for adaptive logics</style></title><secondary-title><style face="normal" font="default" size="100%">Logic Journal of IGPL</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><volume><style face="normal" font="default" size="100%">21</style></volume><pages><style face="normal" font="default" size="100%">743-766</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this article, I present a procedure that generates proofs for finally derivable adaptive logic consequences. A proof procedure for the inconsistency adaptive logic CLuNr is already presented in [7]. In this article a procedure for CLuNm is presented and the results for both logics are generalized to all adaptive logics, on the presupposition that there exists a proof procedure for the lower limit logic. The generated proofs are so called goal-directed proofs, i.e. proofs that (i) start with the formula (the goal) of which one wants to know whether it is a consequence of a certain premise set and (ii) only consist of lines that may potentially be useful for proving or disproving the goal. The goal-directed proofs form good explications of actual problem-solving reasoning processes.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author><author><style face="normal" font="default" size="100%">Van De Putte, Frederik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Proof Theories for Superpositions of Adaptive Logics</style></title><secondary-title><style face="normal" font="default" size="100%">Logique et Analyse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><pages><style face="normal" font="default" size="100%">1–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;The standard format for adaptive logics offers a generic and unifying formal framework for defeasible reasoning forms. One of its main distinguishing features is a dynamic proof theory by means of which it is able to explicate actual reasoning. In many applications it has proven very useful to superpose sequences of adaptive logics, such that each logic treats the consequence set of its predecessor as premise set. Although attempts have been made to define dynamic proof theories for some of the resulting logics, no generic proof theory is available yet. Moreover, the existing proof theories for concrete superpositions are suboptimal in various respects: the derivability relations characterized by these proposals are often not adequate with respect to the consequence relation of the superposed adaptive logics and in some cases they even trivialize premise sets. An adequate and generic proof theory is needed in order to meet the requirement of explicating defeasible reasoning in terms of superpositions of adaptive logics. This paper presents two generic proof theories for superpositions of adaptive logics in standard format. By means of simple examples, the basic ideas behind these proof theories are illustrated and it is shown how the older proposals are inadequate.&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%">Froeyman, Anton</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Psychoanalyse en geschiedfilosofie</style></title><secondary-title><style face="normal" font="default" size="100%">PSYCHOANALYTISCHE PERSPECTIEVEN</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%">3</style></number><volume><style face="normal" font="default" size="100%">30</style></volume><pages><style face="normal" font="default" size="100%">293–306</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Beirlaen, Mathieu</style></author><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Leite, Joao</style></author><author><style face="normal" font="default" size="100%">Torroni, Paolo</style></author><author><style face="normal" font="default" size="100%">Agotnes, Thomas</style></author><author><style face="normal" font="default" size="100%">Boella, Guido</style></author><author><style face="normal" font="default" size="100%">van der Torre, Leon</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A paraconsistent multi-agent framework for dealing with normative conflicts</style></title><secondary-title><style face="normal" font="default" size="100%">12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-642-22359-4</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">312-329</style></pages><isbn><style face="normal" font="default" size="100%">9783642223587</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In a multi-agent deontic setting, normative conflicts can take a variety of different logical forms. In this paper, we present a very general characterization of such conflicts, including both intra- and inter-agent normative conflicts, conflicts between groups of agents, conflicts between obligations and permissions, and conflicts between contradictory norms. In order to account for the consistent possibility of this wide variety of conflict-types, we present a paraconsistent deontic logic, i.e. a logic that invalidates the classical principle of non-contradiction. Next, we strengthen this logic within the adaptive logics framework for defeasible reasoning. The resulting inconsistency-adaptive deontic logic interprets a given set of norms 'as consistently as possible'.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Drouet, Isabelle</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Propensities and conditional probabilities</style></title><secondary-title><style face="normal" font="default" size="100%">International Journal of Approximate Reasoning</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">52</style></volume><pages><style face="normal" font="default" size="100%">153–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 present paper deals with the objection that Paul Humphreys raised against the propensity interpretation of probability  &quot;Humphreys' paradox&quot;. An update on existing solutions is oered, and it is concluded that none of them is completely satisfactory in view of Humphreys' 2004 rejoinder. Positively, an original solution is formulated and 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%">Wieland, Jan Willem</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Proto-regress argument schemas</style></title><secondary-title><style face="normal" font="default" size="100%">ISSA 2010 Proceedings</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%">Ghent University. Department of Philosophy and moral sciences</style></publisher><pages><style face="normal" font="default" size="100%">2000–2007</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%">Heeffer, Albrecht</style></author><author><style face="normal" font="default" size="100%">Van Dyck, Maarten</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Philosophical Aspects of Symbolic Reasoning in Early Modern Mathematics</style></title><secondary-title><style face="normal" font="default" size="100%">Studies in Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><volume><style face="normal" font="default" size="100%">26</style></volume><pages><style face="normal" font="default" size="100%">302</style></pages><isbn><style face="normal" font="default" size="100%">978-1-84890-017-2</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This book presents a selection of peer-reviewed papers which were presented on a conference organized in Ghent, Belgium, from 27 till 29 August, 2009. The conference was given the title Philosophical Aspects of Symbolic Reasoning in Early modern Science and Mathematics (PASR). For this book we selected papers which deal with the consequences for mathematics in particular, hence the omission of ‘science’ in the title of this book. Another selection, dealing with the understanding of nature and a broader range of topics, will appear in the journal Foundations of Science. The conference was sponsored by the Research Foundation Flanders (FWO) and Ghent University, which indirectly made this book possible. We also have to thank the other members of the programme committee Marco Panza, Chikara Sasaki, and Erik Weber and our keynote speakers Jens Høyrup, Doug Jesseph, Eberhard Knobloch, Marco Panza, Mathias Schemmel and Michel Serfati. Five of their papers are included in this volume. Most of the papers benefited from valuable and sometimes substantive comments by our referees which must remain anonymous. Special thanks to Michael Barany who assisted in the editorial process.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Winter, Jan</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A Pragmatic Account of Functions</style></title><secondary-title><style face="normal" font="default" size="100%">Ghent University, Ghent</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://logica.ugent.be/centrum/preprints/De_Winter_-_Functional_Explanation__DRAFT_24_.pdf</style></url></web-urls></urls><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this article, a pluralism of function concepts is defended on the basis of pragmatic considerations. It is shown that we use functional statements for a variety of explanatory purposes, and that each explanatory purpose asks for a specific notion of function. More specifically, I argue that the meaning of the statement the function of x is to  depends on the explanation-seeking question that this statement is supposed to answer, and that we cannot construct one ultimate notion of function that is appropriate in every explanatory context. Several explanation-seeking questions are explicated, as well as the function concepts that can be used to answer them, resulting in a pragmatic framework for function concepts. This framework is applied to both the technical and the biological domain.&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%">Urbaniak, Rafal</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">PhD's in Logic - report (with S. Wintein)</style></title><secondary-title><style face="normal" font="default" size="100%">The Reasoner</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">3</style></volume><pages><style face="normal" font="default" size="100%">6–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>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%">Drouet, Isabelle</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Libert, Thierry</style></author><author><style face="normal" font="default" size="100%">Marage, Pierre</style></author><author><style face="normal" font="default" size="100%">Vanpaemel, Geert</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Probabilistic Analyses and the Humean Conception of the Relationship between Levels of Causality</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">Koninklijke Vlaamse Academie van België</style></publisher><pub-location><style face="normal" font="default" size="100%">Brussel</style></pub-location><pages><style face="normal" font="default" size="100%">68–72</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The problem with(out) consensus: The scientific consensus, deliberative democracy and agonistic pluralism.</style></title><secondary-title><style face="normal" font="default" size="100%">The social sciences and democracy</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">The Social Sciences and Democracy</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%">Palgrave Macmillan</style></publisher><pages><style face="normal" font="default" size="100%">121–142</style></pages><isbn><style face="normal" font="default" size="100%">978-0230224391</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%">Primiero, Giuseppe</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Proceeding in abstraction: from concepts to types and the recent perspective on information</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%">2009</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1080/01445340902872630</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">30</style></volume><pages><style face="normal" font="default" size="100%">257–282</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) -systems, focusing on the crucial change about meaning and predicability. In particular, the analysis of the nature of logical types in the context of Constructive Type Theory allows elucidation of the role of the previously introduced notions. Finally, the connection to the analysis of abstraction in computer science is drawn, and the methodological contribution provided by the notion of information is considered, showing its conceptual and technical relevance. Future research shall focus on the notion of information in distributed systems, analysing the paradigm of information hiding in dependent type theories.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Almeder, Robert</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On Possibilities and Thought Experiments</style></title><secondary-title><style face="normal" font="default" size="100%">Rescher Studies. A Collection of Essays on the Philosophical Work of Nicholas Rescher</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%">Ontos Verlag</style></publisher><pub-location><style face="normal" font="default" size="100%">Frankfurt</style></pub-location><pages><style face="normal" font="default" size="100%">29–57</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 two related recent books by Nicholas Rescher, &lt;em&gt;Imagining Irreality&lt;/em&gt; on possibilities and &lt;em&gt;What If?&lt;/em&gt; on thought experiments. Apart from an expository part, the present contribution consist on the one hand of some proposed elaborations, especially of two technical points, and on the other hand of some discussion concerning points where I am in doubt about Rescher's precise stand and of some suggestions for further research.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Leuridan, Bert</style></author><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Van Dyck, Maarten</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The practical value of spurious correlations: selective versus manipulative policy</style></title><secondary-title><style face="normal" font="default" size="100%">Analysis</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">68</style></volume><pages><style face="normal" font="default" size="100%">298–303</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>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%">A pragmatist defense of non-relativistic explanatory pluralism in history and social science.</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%">2008</style></year><pub-dates><date><style  face="normal" font="default" size="100%">May</style></date></pub-dates></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">47</style></volume><pages><style face="normal" font="default" size="100%">168–182</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Explanatory pluralism has been defended by several philosophers of history and social science, recently, for example, by Tor Egil Forland in this journal. In this article, we provide a better argument for explanatory pluralism, based on the pragmatist idea of epistemic interests. Second, we show that there are three quite different senses in which one can be an explanatory pluralist: one can be a pluralist about questions, a pluralist about answers to questions, and a pluralist about both. We defend the last position. Finally, our third aim is to argue that pluralism should not be equated with &quot;anything goes&quot;: we will argue for non-relativistic explanatory pluralism. This pluralism will be illustrated by examples from history and social science in which different forms of explanation (for example, structural, functional, and intentional explanations) are discussed, and the fruitfulness of our framework for understanding explanatory pluralism is shown.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A preliminary study of the appropriation of Van Helmont's oeuvre in Britain in chymistry, medicine and natural philosophy</style></title><secondary-title><style face="normal" font="default" size="100%">Ambix</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1179/174582308X255479</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">55</style></volume><pages><style face="normal" font="default" size="100%">122–135</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Van Helmont's work was of major importance in seventeenth-century medicine, chymistry and natural philosophy. His work was a source of inspiration and mystery and an authoritas. His oeuvre was, together with that of many others, the culminating point of an ongoing process, starting in the Middle Ages, of turning medicine into a scientific discipline. In this essay, the appropriation, that is, the process of assimilation of an author's work by other scholars, of Van Helmont's oeuvre in England will be studied among chymists, physicians and natural philosophers (the distinctions between these three groups is primarily conceptual, but in practice hard to distinguish). Appropriation reminds us that the process of assimilating ideas of an author by contemporaries or later generations is not a passive activity, for scholars actively adapt and interpret them in new ways not initially envisaged by its original author.&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%">Praet, Danny</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Protagoras en het kennistheoretisch relativisme</style></title><secondary-title><style face="normal" font="default" size="100%">Us and Them. Essays over filosofie, politiek, religie en cultuur van de Antieke Oudheid tot Islam in Europa ter ere van Herman De Ley</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%">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%">181–192</style></pages><isbn><style face="normal" font="default" size="100%">9789038212791</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Langhe, Rogier</style></author><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A pragmatist approach to the plurality of explanations in international relations theory</style></title><secondary-title><style face="normal" font="default" size="100%">6th Pan-European conference on international relations, Proceedings</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://turin.sgir.eu/uploads/De%20Langhe-SGIR%20Rogier%20De%20Langhe%20-%20Erik%20Weber%20-%20Jeroen%20Van%20Bouwel.pdf</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">The Standing Group of International Relations of the ECPR</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;One of the main problems scientists –physicists and political scientists alike- face, is the problem of the plurality of explanations. Graham Allison’s classic study of the Cuban Missile Crisis is an excellent example of problem-focused research and an intriguing instance of this problem in International Relations Theory. He leaves us with three versions of the events, which raised more questions than Allison could apparently answer: instructions for concerted action or discrimination between his ‘conceptual models’ remain very sketchy. This paper aims to show that replacing Allison’s use of Hempel’s (then fashionable but now rather outdated) covering-law model of explanation with a pragmatist account of explanation offers a way to break the deadlock Allison was faced with. In particular, we will show that a specification of the epistemic interests of the explainer enables us to narrow down the number of available explanations.&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 Vreese, Leen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Pluralisme versus Monisme in het Filosofische Debat over Causaliteit. Naar een Zinvolle Pluralistische Benadering van Causaliteit als Theoretisch Kader voor de Explicatie van Causaal Redeneren.</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year><pub-dates><date><style  face="normal" font="default" size="100%">October 30</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Ghent University</style></publisher><work-type><style face="normal" font="default" size="100%">phd</style></work-type><custom1><style face="normal" font="default" size="100%">&lt;p&gt;Erik Weber&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 Mol, Liesbeth</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Post's machine</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In 1936 Turing gave his answer to the question What is a computable number? by constructing his now well-known Turing machines as formalisations of the actions of a human computor. Less well-known is the almost synchronously published result by Emil Leon Post, in which a quasi-identical mechanism was developed for similar purposes. In 1979 these Post toy machines were described in a little booklet, called Posts machine by the Russian mathematician Uspensky. The purpose of this text was to advance abstract concepts as algorithm and programming for school children. In discussing this booklet in relation to the historical text it is based on, the author wants to show how this kind of ideas cannot only help to teach school children some of the basics of computer science, but furthermore contribute to a training in formal thinking.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Dyck, Maarten</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The paradox of conceptual novelty and Galileo's use of experiments</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophy of Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/1854/10928</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">5</style></number><volume><style face="normal" font="default" size="100%">72</style></volume><pages><style face="normal" font="default" size="100%">864–875</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Starting with a discussion of what I call Koyrés paradox of conceptual novelty, I introduce the ideas of Damerow et al. on the establishment of classical mechanics in Galileos work. I then argue that although their view on the nature of Galileos conceptual innovation is convincing, it misses an essential element: Galileos use of the experiments described in the first day of the Two New Sciences. I describe these experiments and analyze their function. Central to my analysis is the idea that Galileos pendulum experiments serve to secure the reference of his theoretical models in actually occurring cases of free fall. In this way, Galileos experiments constitute an essential part of the meaning of the new concepts of classical mechanics.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Paul Otlet's theory of knowledge and linguistic objectivism</style></title><secondary-title><style face="normal" font="default" size="100%">Knowledge Organization</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%">3</style></number><volume><style face="normal" font="default" size="100%">32</style></volume><pages><style face="normal" font="default" size="100%">110–116</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 point to the importance of an often neglected objectivist strand in Paul Otlet's (1868-1944) thinking: his linguistic objectivism. Linguistic objectivism consists in the view that linguistic atoms uniquely correspond to certain discrete and well-defined elements in the world and further combinations of these linguistic atoms can objectively capture &quot;the order of the world&quot;. This analysis tempers some of the past claims on the influence of positivism on Otlet.&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%">A Procedural Criterion for Final Derivability in Inconsistency-Adaptive Logics</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Applied Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><volume><style face="normal" font="default" size="100%">3</style></volume><pages><style face="normal" font="default" size="100%">221–250</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 a (prospective) goal directed proof procedure for the propositional fragment of the inconsistency-adaptive logic &lt;strong&gt;ACLuN1&lt;/strong&gt;. At the propositional level, the procedure forms an algorithm for final derivability. If extended to the predicative level, it provides a \emph{criterion} for final derivability. This is essential in view of the absence of a positive test. The procedure may be generalized to all flat adaptive logics.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Provijn, Dagmar</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Prospectieve Dynamiek. Filosofische en Technische Onderbouwing van Doelgerichte Bewijzen en Bewijsheuristieken</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year><pub-dates><date><style  face="normal" font="default" size="100%">March 24</style></date></pub-dates></dates><publisher><style face="normal" font="default" size="100%">Ghent University</style></publisher><work-type><style face="normal" font="default" size="100%">phd</style></work-type><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%">Meheus, Joke</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Paraconsistent Compatibility</style></title><secondary-title><style face="normal" font="default" size="100%">Logique et Analyse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><number><style face="normal" font="default" size="100%">183–184</style></number><volume><style face="normal" font="default" size="100%">46</style></volume><pages><style face="normal" font="default" size="100%">251–287</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, I present two adaptive logics for paraconsistent com-patibility. The consequence relation defined by these logics leads from a (possibly inconsistent) set of premises to all the sentences that are com-patible with them. Their proof theory is dynamic, but is proven sound and complete with respect to a static semantics. For the consistent case, both logics lead to exactly the same results as the logics for classical com-patibility that were presented in [11]. It is shown that paraconsistent compatibility cannot be defined with respect to a monotonic paraconsistent logic, but only with respect to an inconsistency-adaptive logic. The paper contains modal versions of two well-studied inconsistency-adaptive logics. These modal versions form the basis for the logics for paraconsistent compatibility, but are also interesting with respect to other applications.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>27</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%">A Paraconsistent Proof Procedure Based on Classical Logic</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2003</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;Apparently Ex Falso Quodlibet (or Explosion) cannot be isolated within CL (Classical Logic); if Explosion has to go, then so have other inference rules, for example either Addition or Disjunctive Syllogism. This cer- tainly holds according to the standard abstract view on logic. However, as I shall show, it does not hold if a logic is defined by a procedure-a set of instructions to obtain a proof (if there is one) of a given conclusion from a given premise set. In this paper I present a procedure pCL¡ that defines a logic CL¡|a function assigning a consequence set to any premise set. Anything deriv- able by CL from a consistent premise set ¡ is derivable from ¡ by CL¡. If ¡ is (CL-)inconsistent, pCL¡ enables one to demonstrate this (by de- riving a contradiction from ¡). The logic CL¡ validates applications of Disjunctive Syllogism as well as applications of Addition. Nevertheless, this logic is paraconsistent as well as (in a specific sense) relevant. pCL¡ derives from an intuitively attractive proof search procedure. A characteristic semantics for CL¡ will be presented and the central prop- erties of the logic will be mentioned. CL¡ shows that (and clarifies how) adherents of CL may obtain non-trivial consequence sets for inconsistent theories.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Vanderbeeken, Robrecht</style></author><author><style face="normal" font="default" size="100%">De Clercq, Kristof</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Delrieux, Claudio</style></author><author><style face="normal" font="default" size="100%">Legris, Javier</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Procedure for Generating (Conditional) Answers in a Goal-Directed Way</style></title><secondary-title><style face="normal" font="default" size="100%">Computer modeling of scientific reasoning</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><publisher><style face="normal" font="default" size="100%">Universidad Nacional Del Sur. EDIUNS</style></publisher><pub-location><style face="normal" font="default" size="100%">Bahia Blanca, Argentinia</style></pub-location><pages><style face="normal" font="default" size="100%">57–63</style></pages><isbn><style face="normal" font="default" size="100%">9879281896</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Two evolutionary games : collective action and prisoner's dilema / Jakson Alves de Aquino – A formal approach to problem solving / Diderik Batens – Application of mathematics and underdetermination / Ota\unmatched{0301}vio Bueno – A framework for combining defeasible argumentation with labeled deduction / Carlos Iva\unmatched{0301}n Chesn\unmatched{0303}evar and Guillermo Ricardo Simari – A procedure for generating (conditional) answers in a goal-directed way / Kristof De Clerq and Rob Vanderbeken – Abductive inference in defeasible reasoning : a model for research programmes / Claudio Delrieux – Kepler's near discovery of the sine law : a quantitative computational model / Albrecht Heeffer – Default models of rationality / Silvia Lerner – Most inferences are defeasible / Jose\unmatched{0301} Carlos Loureiro Ralha and Ce\unmatched{0301}lia Ghedini Rahla – Reasoning through doing : epistemic mediators in scientific reasoning / Lorenzo Magnani – Do we need paraconsistency in commonsense reasoning? / Joke Meheus – Descartes, a methodical elimination of paradoxes for (de)-ontology building / Jean Sallantin ... [et al.] – Measuring coherence using LP-models / Carlos A. Oller – What are multi-agent systems trying to accomplish? Towards pragmatic game-theoretical agenda / Ahti-Veikko Pietarinen – Direct dynamic proofs for compatibility / Dagmar Provijn – Semantic computations of truth, based on associations already learned / Patrick Suppes and Jean-Yves Be\unmatched{0301}ziau – On the sense of eating strawberries, or, On the exclusivity implcature fo 'or' / Liza Verhoeven and Leon Horsten – A note on epistemology and logical afrificial intelligence / Gregory R. Wheeler and Lui\unmatched{0301}s Moniz Pereira.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Verhoeven, Liza</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Proof Theories for Some Prioritized Consequence Relations</style></title><secondary-title><style face="normal" font="default" size="100%">Logique et Analyse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><number><style face="normal" font="default" size="100%">183–184</style></number><volume><style face="normal" font="default" size="100%">46</style></volume><pages><style face="normal" font="default" size="100%">325–344</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Handling a possibly inconsistent prioritized belief base can be done in terms of consistent subsets. Humans do not compute consistent subsets, they just start reasoning and when confronted with incon- sistencies in the course of their reasoning, they may adjust their interpretation of the information. In logics this behaviour corresponds to the mechanisms of dynamic proof theories. The aim of this paper is to transform known consequence relations for inconsistent prioritized belief bases in terms of consistent subsets, into dynamic proof theories that are a more faithful representation of human reasoning processes.&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%">Dekker, Hendrik</style></author><author><style face="normal" font="default" size="100%">Villadsen, Jorgen</style></author><author><style face="normal" font="default" size="100%">Waragai, Toshiharu</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On a Partial Decision Method for Dynamic Proofs</style></title><secondary-title><style face="normal" font="default" size="100%">PCL 2002. Paraconsistent Computational Logic</style></secondary-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://arxiv.org/abs/cs.LO/0207090</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Roskilde University</style></publisher><volume><style face="normal" font="default" size="100%">95</style></volume><pages><style face="normal" font="default" size="100%">91–108</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper concerns a goal directed proof procedure for the propositional fragment of the adaptive logic ACLuN1. At the propositional level, it forms an algorithm for final derivability. If extended to the predicative level, it provides a criterion for final derivability. This is essential in view of the absence of a positive test. The procedure may be generalized to all flat adaptive logics.&lt;/p&gt;</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;Also available as cs.LO/0207090 at \texttt{http://arxiv.org/archive/cs/intro.html}&lt;/p&gt;</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Vanderbeeken, Robrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Blasius, Jörg</style></author><author><style face="normal" font="default" size="100%">Hox, J.</style></author><author><style face="normal" font="default" size="100%">de Leeuw, E.</style></author><author><style face="normal" font="default" size="100%">Schmidt, P.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Pragmatic Approach to the Explanation of Actions</style></title><secondary-title><style face="normal" font="default" size="100%">Social Science Methodology in the New Millenium</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Proceedings of the Fifth International Conference on Logic and Methodology</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><publisher><style face="normal" font="default" size="100%">Leske &amp; Budrich</style></publisher><pub-location><style face="normal" font="default" size="100%">Keulen</style></pub-location><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Vanackere, Guido</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Preferences as inconsistency-resolvers: an Inconsistency-adaptive Tool</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%">2001</style></year></dates><volume><style face="normal" font="default" size="100%">8</style></volume><pages><style face="normal" font="default" size="100%">47–63</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%">Batens, Diderik</style></author><author><style face="normal" font="default" size="100%">Provijn, Dagmar</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Pushing the Search Paths in the Proofs. A Study in Proof Heuristics</style></title><secondary-title><style face="normal" font="default" size="100%">Logique et Analyse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><number><style face="normal" font="default" size="100%">173-175</style></number><volume><style face="normal" font="default" size="100%">44</style></volume><pages><style face="normal" font="default" size="100%">113–134</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Introducing techniques deriving from dynamic proofs in proofs for propositional classical logic is shown to lead to a proof format that enables one to push search paths into the proofs themselves. The resulting goal directed proof format is shown to provide a decision method for &lt;em&gt;A&lt;/em&gt;&lt;sub&gt;1&lt;/sub&gt;, ..., &lt;em&gt;A&lt;sub&gt;n&lt;/sub&gt;&lt;/em&gt; &lt;img src=&quot;vdash.gif&quot; alt=&quot;vdash&quot; /&gt; &lt;em&gt;B&lt;/em&gt; and a positive test for &lt;img src=&quot;ggamma.gif&quot; alt=&quot;Gamma&quot; /&gt; &lt;img src=&quot;vdash.gif&quot; alt=&quot;vdash&quot; /&gt; &lt;em&gt;A&lt;/em&gt;.&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%">Paraconsistency and its Relation to Worldviews</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%">259–283</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 highlights the import of the paraconsistent movement, list some motivations for its origin, and distinguishes some stands with respect to paraconsistency. It then discusses some sources of inconsistency that are specific for worldviews, and the import of the paraconsistent turn for the worldviews enterprise.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The practical function and epistemology of causal beliefs</style></title><secondary-title><style face="normal" font="default" size="100%">Communication &amp; Cognition : Monographies</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1998</style></year></dates><volume><style face="normal" font="default" size="100%">31</style></volume><pages><style face="normal" font="default" size="100%">297–324</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Distinguant trois fonctions pratiques de la croyance causale : l'affirmation de buts, la résolution des problèmes liés à l'action et la construction des problèmes de décision, l'A. montre que le premier implique à lui seul cinq conceptions diffèrentes de la croyance causale concernant : 1) les mouvements du corps; 2) les interactions causales; 3) la capacité de certains objets à prèserver certaines caractéristiques; 4) la causation structurale; 5) les influences causales permanentes. L'A. cherche une méthode èpistémologique fiable (Salmon, Mackie) pour vérifier et justifier la connaissance causale que nous pouvons avoir de ces cinq versions de la croyance causale&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Prudential Arguments in the Realism Debate.</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%">1998</style></year></dates><number><style face="normal" font="default" size="100%">164</style></number><volume><style face="normal" font="default" size="100%">41</style></volume><pages><style face="normal" font="default" size="100%">301–312</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%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Paraconsistente en relevante logica's</style></title><secondary-title><style face="normal" font="default" size="100%">Wijsgerig perspectief op maatschappij en wetenschap</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1992</style></year></dates><volume><style face="normal" font="default" size="100%">32/2</style></volume><pages><style face="normal" font="default" size="100%">53–59</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Phenomenological Laws and their Application to Scientific Epistemic Explanation Problems</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%">1990</style></year></dates><number><style face="normal" font="default" size="100%">129-130</style></number><volume><style face="normal" font="default" size="100%">33</style></volume><pages><style face="normal" font="default" size="100%">175–189</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%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Progress, rationality and the philosophy of science</style></title><secondary-title><style face="normal" font="default" size="100%">Tijdschrift voor de studie van de Verlichting en het Vrije denken</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1981</style></year></dates><volume><style face="normal" font="default" size="100%">8–9</style></volume><pages><style face="normal" font="default" size="100%">83–102</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%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Paraconsistent extensional propositional logics</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%">1980</style></year></dates><number><style face="normal" font="default" size="100%">90-91</style></number><volume><style face="normal" font="default" size="100%">23</style></volume><pages><style face="normal" font="default" size="100%">195–234</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%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The paradoxes of confirmation</style></title><secondary-title><style face="normal" font="default" size="100%">Revue internationale de philosophie</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1971</style></year></dates><volume><style face="normal" font="default" size="100%">95–96</style></volume><pages><style face="normal" font="default" size="100%">101–118</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>