<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Bal, Inge</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%">Causation &amp; Technical Problem Solving: An analysis of causal knowledge underlying proposed solutions for technical problems.</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><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper we analyse the causal underpinnings of remedy claims found in technical problem solving instructions. For these claims to be successful, they need to be based on causal relations that hold in the world and that have certain properties. These required properties are the focus of our paper. We first introduce several examples from car- and bike repair manuals that demarcate our topic and function as illustrations throughout the paper. We then formulate three success criteria for problem solving manuals: the efficiency requirement, the no harm requirement and the maximal assistance ideal. These criteria determine the required strength and properties of the causal relation, and are used to frame our analysis. We start from theories of causation by Ronald Giere, Ellery Eells and John Mackie and develop a series of definitions to capture the properties of the aforementioned causal relations. We conclude that remedy claims need to be based on causal relations with the following property: positive causal factorhood with weak context-unanimity. Moreover, it is desirable to look for Mackie causes, viz. causes that are sufficient in maximally normal contexts. We finally show that our analysis is not limited to means of conveyance (this is the field in which our initial examples are located) by means of a case study from a different field (radio repair manuals).&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%">Coarse Deontic Logic</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Logic and Computation</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">In Press</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></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%">Frijters, Stef</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%">Classical term-modal logics</style></title><secondary-title><style face="normal" font="default" size="100%">JOURNAL OF LOGIC AND COMPUTATION</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Arts and Humanities (miscellaneous)</style></keyword><keyword><style  face="normal" font="default" size="100%">CHOICE}</style></keyword><keyword><style  face="normal" font="default" size="100%">Hardware and Architecture</style></keyword><keyword><style  face="normal" font="default" size="100%">logic</style></keyword><keyword><style  face="normal" font="default" size="100%">Software</style></keyword><keyword><style  face="normal" font="default" size="100%">{Theoretical Computer Science</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2021</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">{http://dx.doi.org/10.1093/logcom/exaa053}</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">31</style></volume><pages><style face="normal" font="default" size="100%">1026-1054</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;{We introduce classical term-modal logics and argue that they are useful for modelling agent-relative notions of obligation, evidence and abilities, and their interaction with properties of and relations between the agents in question. We spell out the semantics of these logics in terms of neighborhood models, provide sound and strongly complete axiomatizations and establish the decidability of specific (agent-finite) variants.}&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%">Van De Putte, Frederik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Choosing the right concept of &quot;right choices&quot; (technical report)</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>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Faroldi, Federico L. G.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Co-Hyperintensionality</style></title><secondary-title><style face="normal" font="default" size="100%">Ratio</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%">30</style></volume><language><style face="normal" font="default" size="100%">eng</style></language><issue><style face="normal" font="default" size="100%">3</style></issue><section><style face="normal" font="default" size="100%">270</style></section></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%">Van De Putte, Frederik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Coarse Deontic Logic (short version)</style></title><secondary-title><style face="normal" font="default" size="100%">Deontic Logic and Normative Systems</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2016</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">De Bal, Inge</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Contrastive Causation in Genetics and Physics</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%">2015</style></year></dates><volume><style face="normal" font="default" size="100%">90</style></volume><pages><style face="normal" font="default" size="100%">93-113</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Vreese, Leen</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Perring, Christian</style></author><author><style face="normal" font="default" size="100%">Wells, Lloyd</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Concept of Disease and Our Responsibility for Children</style></title><secondary-title><style face="normal" font="default" size="100%">Diagnostic Dilemmas in Child and Adolescent Psychiatry</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%">Oxford University Press</style></publisher><pages><style face="normal" font="default" size="100%">35–55</style></pages><isbn><style face="normal" font="default" size="100%">9780199645756</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The author of this chapter argues that ones understanding of the concept of what a disease is influences our way of behaving toward people we think of as diseased. The author asserts that our concept of disease is not non-committal and that an oversimplified approach can lead to non-critical reasoning which could have significant impact on children with diseases. The author develops a pluralistic approach to the concept of disease and uses ADHD as an example throughout the chapter.&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%">Allo, Patrick</style></author><author><style face="normal" font="default" size="100%">Van Kerkhove, Bart</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Consistency of Peano Arithmetic. A Defeasible Perspective</style></title><secondary-title><style face="normal" font="default" size="100%">Modestly Radical or Radically Modest. Festschrift for Jean Paul Van Bendegem on the Occasion of His 60th Birthday</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%">College Publications</style></publisher><pages><style face="normal" font="default" size="100%">11–59</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper proposes to replace \sys{PA}, Peano Arithmetic, by a theory \sys{APA} defined in terms of (i)&amp;nbsp;a set of axioms that is classically equivalent to the Peano axioms and (ii)&amp;nbsp;a defeasible logic that minimizes inconsistency, viz.\ an inconsistency-adaptive logic. If \sys{PA} is consistent, its set of theorems coincides with the set of \sys{APA}-theorems. If \sys{PA} is inconsistent, \sys{APA} is non-trivial and has the following remarkable property: there is a unique non-standard number that is its own successor and every `desirable' \sys{PA}-theorem is retained if restricted to the other numbers. The restriction can be expressed in the language of arithmetic. And there is much more.&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%">Heylen, Ben</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%">Causaliteit en de methodestrijd: naar een geïntegreerd gebruik van kwalitatief en kwantitatief onderzoek in een praktisch georiënteerde criminologie</style></title><secondary-title><style face="normal" font="default" size="100%">Panopticon</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><volume><style face="normal" font="default" size="100%">34</style></volume><pages><style face="normal" font="default" size="100%">115–133</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, we re-examine an old problem in criminology i.e the &quot;battle of the methods&quot;. Even though the battle has become less explicit recently, it does have a contemporary named the incompatibility thesis in the field of mixed methods research in the social sciences. We look at this incompatibility thesis from the point of view of the philosophy of science, more precisely by discussing different forms of causality. Subsequently, comparative causality, process theories of causality and mechanistic causality. Subsequently, comparative causality, process theories of causality and mechanistic causality are discussed. We argue that qualitative and quantitative methods each pursue a specific kind of knowledge, but that a functional integration of both is desirable. We conclude by referring to two main advantages of such integration, viz. the manipulation of causal relationships and extrapolation of research results in time and space.&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%">Vermaas, Pieter</style></author><author><style face="normal" font="default" size="100%">van Eck, Dingmar</style></author><author><style face="normal" font="default" size="100%">Kroes, Peter</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The conceptual elusiveness of engineering functions: a philosophical analysis</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophy and Technology</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">26</style></volume><pages><style face="normal" font="default" size="100%">159-185</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, we describe the conceptual elusiveness of the notion of function as used in engineering practice. We argue that it should be accepted as an ambiguous notion, and then review philosophical argumentations in which engineering functions occur in order to identify the consequences of this ambiguity. Function is a key notion in engineering, yet is used by engineers systematically in a variety of meanings. First, we demonstrate that this ambiguous use is rational for engineers by considering the role of functions in design methods and by analysing the ambiguity in terms of Kuhns notion of methodological incommensurability. Second, we discuss ontological and mereological analyses of engineering functions and describe a proof that subfunctions cannot formally be taken as parts of the functions they decompose. Engineering functions figure sometimes in philosophical work and are then typically taken as having an unambiguous, well-defined meaning. Finally, we therefore revisit work in philosophy of technology on the dual nature of technical artefacts, in philosophy of science on functional and mechanistic explanations, and in philosophy of biology on biological functions, and explore the consequences of the fact that engineering function is an ambiguous notion. It is argued that one of these consequences may be that also the notion of biological function has an ambiguous meaning&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%">Šešelja, Dunja</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%">Concerning Peter Vickers' Recent Treatment of 'Paraconsistencitis'</style></title><secondary-title><style face="normal" font="default" size="100%">International Studies in the Philosophy of Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">28</style></volume><pages><style face="normal" font="default" size="100%">325–340</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Aerts, Diederik</style></author><author><style face="normal" font="default" size="100%">Broekaert, Jan</style></author><author><style face="normal" font="default" size="100%">D'Hooghe, Bart</style></author><author><style face="normal" font="default" size="100%">Note, Nicole</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Can economics become a purely experimental science? A comparative study</style></title><secondary-title><style face="normal" font="default" size="100%">Worldviews, science and us : bridging knowledge and its implications for our perspectives on the world</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.worldscibooks.com/general/8341.html</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">World Scientific Publishing Company</style></publisher><isbn><style face="normal" font="default" size="100%">9789814383073</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The role of experiments in economics is increasing. This paper deals with a philosophical question that is raised by this evolution: can economics become a purely experimental science? I answer this question by comparing economics with a branch of biomedical science.&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%">Wieland, Jan Willem</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Can Pyrrhonists act normally?</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophical Explorations</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">15</style></volume><pages><style face="normal" font="default" size="100%">227–289</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Pyrrhonism is the view that we should suspend all our beliefs in order to be rational and reach peace of mind. One of the main objections against this view is that it makes action impossible. One cannot suspend all beliefs and act normally at once. Yet, the question is: What is it about actions that they require beliefs? This issue has hardly been clarified in the literature. This is a bad situation, for if the objection fails and it turns out that the Pyrrhonists found a way to secure peace of mind, we better know the details. In the following I take up this systematic query, and show how the objection can be made precise. Despite Sextus Empiricus' ingenious appearance/reality distinction, which is to insure Pyrrhonism in this, I eventually argue that a life by appearances is quite unlike a normal life.&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%">Wieland, Jan Willem</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Carving the world as we please</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%">84</style></volume><pages><style face="normal" font="default" size="100%">7–24</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Nelson Goodman defends the seemingly radical view that, in a certain sense, all facts depend on our perspective on the matter. We make the world, rather than merely find it. The aim of this contribution is three-fold: to make sense of Goodmans metaphysical perspectivalism, clearly explain how it differs from other branches of perspectivalism (epistemic and semantic), and put two issues on the agenda that deserve renewed attention.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Leuridan, Bert</style></author><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Causality and explanation in the sciences</style></title><secondary-title><style face="normal" font="default" size="100%">Theoria - revista de teoria historia y fundamentos de la ciencia</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">27</style></volume><pages><style face="normal" font="default" size="100%">133–136</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Editors' introduction to the special issue on the Causality and Explanation in the Sciences conference, held at the University of Ghent in September 2011.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">De Vreese, Leen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Causation in perspective: are all causal claims equally warranted?</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%">84</style></volume><pages><style face="normal" font="default" size="100%">123–148</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 a paper &quot;Causation in Context&quot; (2007) Peter Menzies has argued that the truth value of causal judgments is perspective-relative (i.e. their truth value does not depend entirely on mind-independent structures). His arguments are confined to causation as difference making (a term he uses to cover probabilistic, counterfactual and regularity views of causation). In this paper we first briefly present Menzies’ arguments. Then we show that perspective-relativity also holds for causation in the sense of process theories. These parts of the paper prepare the ground for the topic we really want to investigate: we want to find out whether this perspective-relativity leads to an epistemic predicament with respect to causal claims. The potential epistemic predicament we consider is that all causal claims would be equally warranted.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A contextual type theory with judgemental modalities for reasoning from open assumptions</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><number><style face="normal" font="default" size="100%">220</style></number><volume><style face="normal" font="default" size="100%">55</style></volume><pages><style face="normal" font="default" size="100%">579–600</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness, respectively with necessity as the standard notion of constructive verification and possibility as provability up to refutation of contextual conditions.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Mol, Liesbeth</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On the complex behavior of simple tag systems  An experimental approach</style></title><secondary-title><style face="normal" font="default" size="100%">Theoretical Computer Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">412</style></volume><pages><style face="normal" font="default" size="100%">97–112</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;It is a well-know fact that apparently simple systems can give rise to complex behavior. But why exactly does a given system behave in a complex manner? There are two main approaches to tackle this and other related questions. One can take on a more theoretical approach or start from a more experimental study of the behavior of such systems with the help of the computer. In this paper, the experimental approach will be applied to very small tag systems. After a discussion of some of the main theoretical results on tag systems, several results from a computer-assisted and experimental study on tag systems will be analyzed. Special attention will be given to the well-known example Post provided and studied with only 2 symbols and a deletion number v = 3. These results will be combined with some theoretical results on tag systems in order to gain more insight into the computational power of simple tag systems.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">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%">The covering law model applied to dynamical cognitive science: a comment on Joel Walmsley</style></title><secondary-title><style face="normal" font="default" size="100%">Minds and Machines</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">21</style></volume><pages><style face="normal" font="default" size="100%">33–39</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 a 2008 paper, Walmsley argued that the explanations employed in the dynamical approach to cognitive science, as exemplified by the Haken, Kelso and Bunz model of rhythmic finger movement, and the model of infant preservative reaching developed by Esther Thelen and her colleagues, conform to Carl Hempel and Paul Oppenheim's deductive-nomological model of explanation (also known as the covering law model). Although we think Walmsley's approach is methodologically sound in that it starts with an analysis of scientific practice rather than a general philosophical framework, we nevertheless feel that there are two problems with his paper. First, he focuses only on the deductivenomological model and so neglects the important fact that explanations are causal. Second, the explanations offered by the dynamical approach do not take the deductive-nomological format, because they do not deduce the explananda from exceptionless laws. Because of these two points, Walmsley makes the dynamical explanations in cognitive science appear problematic, while in fact they are not.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">François, Karen</style></author><author><style face="normal" font="default" size="100%">Löwe, Benedikt</style></author><author><style face="normal" font="default" size="100%">Müller, Thomas</style></author><author><style face="normal" font="default" size="100%">Van Kerkhove, Bart</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On the curious historical coincidence of algebra and double-entry bookkeeping</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of the formal sciences VII : bringing together philosophy and sociology of science</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Studies in Logic</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.collegepublications.co.uk/logic/?00021</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><volume><style face="normal" font="default" size="100%">32</style></volume><pages><style face="normal" font="default" size="100%">109–130</style></pages><isbn><style face="normal" font="default" size="100%">9781848900493</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Leuridan, Bert</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Can mechanisms really replace laws of nature?</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophy of Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1086/652959</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">77</style></volume><pages><style face="normal" font="default" size="100%">317–340</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Today, mechanisms and mechanistic explanation are very popular in philosophy of science and are deemed a welcome alternative to laws of nature and deductive-nomological explanation. Starting from Mitchell's pragmatic notion of laws, I cast doubt on their status as a genuine alternative. I argue that (1) all complex-systems mechanisms onto-logically must rely on stable regularities, while (2) the reverse need not hold. Analogously, (3) models of mechanisms must incorporate pragmatic laws, while (4) such laws themselves need not always refer to underlying mechanisms. Finally, I show that Mitchell's account is more encompassing than the mechanistic account&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>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%">Causal Methodology. A Comment on Nancy Cartwright's Hunting Causes and Using Them</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%">2010</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">70</style></volume><pages><style face="normal" font="default" size="100%">318–325</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Ferreira, F</style></author><author><style face="normal" font="default" size="100%">Guerra, H</style></author><author><style face="normal" font="default" size="100%">Mayordomo, E</style></author><author><style face="normal" font="default" size="100%">Rasga, J</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Constructive contextual modal judgments for reasoning from open assumptions</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the Computability in Europe 2010 Conference</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%">Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Dependent type theories using a structural notion of context are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. In particular, types with modalities are already used for distributed and staged computation. This paper introduces a type system extended with judgmental modalities internalizing epistemically different modes of correctness to explore a calculus of provability from refutable assumptions.&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%">Capturing dynamic conceptual frames</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%">2009</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">18</style></volume><pages><style face="normal" font="default" size="100%">430–455</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The main focus of this paper is to develop an adaptive formal apparatus capable of capturing arguments conducted within a conceptual framework. I first explain one of the most recent theories of concepts developed by cognitivists, in which a crucial part is played by the notion of a &lt;em&gt;dynamic frame&lt;/em&gt;. Next, I describe how a dynamic frame may be captured by a finite set of formulas and how a formalized adaptive framework for reasoning within a dynamic frame can be developed.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Leuridan, Bert</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Causal discovery and the problem of ignorance: an adaptive logic approach</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Applied Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1016/j.jal.2007.11.004</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">7</style></volume><pages><style face="normal" font="default" size="100%">188–205</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, I want to substantiate three related claims regarding causal discovery from non-experimental data. Firstly, in scientific practice, the problem of ignorance is ubiquitous, persistent, and far-reaching. Intuitively, the problem of ignorance bears upon the following situation. A set of random variables VV is studied but only partly tested for (conditional) independencies; i.e. for some variables A and B it is not known whether they are (conditionally) independent. Secondly, Judea Pearl's most meritorious and influential algorithm for causal discovery (the IC algorithm) cannot be applied in cases of ignorance. It presupposes that a full list of (conditional) independence relations is on hand and it would lead to unsatisfactory results when applied to partial lists. Finally, the problem of ignorance is successfully treated by means of ALIC, the adaptive logic for causal discovery presented in this paper.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Causation, unification and the adequacy of explanations of facts</style></title><secondary-title><style face="normal" font="default" size="100%">Theoria</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%">3</style></number><volume><style face="normal" font="default" size="100%">24</style></volume><pages><style face="normal" font="default" size="100%">301–320</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Pluralism with respect to the structure of explanations of facts is not uncommon. Wesley Salmon, for instance, distinguished two types of explanation: causal explanations (which provide insight in the causes of the fact we want to explain) and unification explanations (which fit the explanandum into a unified world view). The pluralism which Salmon and others have defended is compatible with several positions about the exact relation between these two types of explanations. We distinguish four such positions, and argue in favour of one of them. We also compare our results with the views of some authors who have recently written on this subject.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Pieters, Eva</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Libert, Thierry</style></author><author><style face="normal" font="default" size="100%">Marage, Pierre</style></author><author><style face="normal" font="default" size="100%">Vanpaemel, Geert</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">&quot;Clear Moon, Frost soon&quot;. An introduction to the Study of Meteorological Practices in the Low Countries (1550-1850)</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">{Koninklijke Vlaamse Academie van België</style></publisher><isbn><style face="normal" font="default" size="100%">9789065690432</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Froeyman, Anton</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Concepts of causation in historiography</style></title><secondary-title><style face="normal" font="default" size="100%">Historical methods</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%">3</style></number><volume><style face="normal" font="default" size="100%">42</style></volume><pages><style face="normal" font="default" size="100%">116–128</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Historians can use the concept of causation in a variety of ways. each of which is associated with different historiographical claims and different kinds of argumentation. The author shows that, contrary to the Usual view, historical narratives are causal (in a specific way), and microhistory can be seen as a response to a very specific causal problem of Braudelian macrohistory.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">De Vreese, Leen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Conceptual analysis of causation and theoretical utility in everyday contexts</style></title><secondary-title><style face="normal" font="default" size="100%">Logique et Analyse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><number><style face="normal" font="default" size="100%">206</style></number><volume><style face="normal" font="default" size="100%">52</style></volume><pages><style face="normal" font="default" size="100%">177–190</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 elaborate Ned Hall's theoretical utility perspective for causation in everyday contexts. We do this by presenting some instances of it, thereby adding some flesh to the skeleton that Hall has provided. Our elaboration of the theoretical utility perspective also provides arguments for it: the instances we present show the fruitfulness of the approach. A question raised by Hall's proposal is: should we give up descriptive analysis of causation (and descriptive analysis in general) completely? We argue that, at least for causation, traditional descriptive conceptual analysis must be given up. However, we also argue that a more modest variant of descriptive conceptual analysis can be useful.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A constructive modal semantics for contextual verification</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications</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://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-550/</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">CEUR-Workshop Proceedings</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper introduces a non-standard semantics for a modal version of constructive KT for contextual (assumptions-based) verification. The modal fragment expresses verifiability under extensions of contexts, enjoying adapted validity and (weak) monotonicity properties depending on satisfaction of the contextual data.&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 Vreese, Leen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Causal (mis)understanding and the search for scientific explanations: a case study from the history of medicine.</style></title><secondary-title><style face="normal" font="default" size="100%">Studies in history and philosophy of biological and biomedical sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><volume><style face="normal" font="default" size="100%">39</style></volume><pages><style face="normal" font="default" size="100%">14–24</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 1747, James Lind carried out an experiment which proved the usefulness of citrus fruit as a cure for scurvy. Nonetheless, he rejected the earlier hypothesis of Bachstrom that the absence of fresh fruit and vegetables was the only cause of the disease. I explain why it was rational for James Lind not to accept Bachstroms explanation. I argue that it was the urge for scientific understanding that guided Lind in his rejection and in the development of his alternative theory that humidity was the primary cause of the disease. Central in this process was the search for causal mechanisms which could provide understanding of how the disease developed and which fitted in with the knowledge of the time. Given that the relevant background knowledge and statistical methods were not yet available to Lind, he was right to prefer his own explanation to that of Bachstrom. Although his explanation turned out to be wrong, and Bachstroms right, from a historical point of view it offered deeper causal understanding of both the development of the disease and the preventive and curative effects of fresh vegetable food. This case study illustrates how the search for causal mechanisms can not only be enlightening, but also very misleading.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Rahman, Shahid</style></author><author><style face="normal" font="default" size="100%">Street, Tony</style></author><author><style face="normal" font="default" size="100%">Tahiri, Hassan</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A conceptual analysis of early arabic algebra</style></title><secondary-title><style face="normal" font="default" size="100%">The unity of science in the arabic tradition : science, logic, epistemology and their interactions</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/1854/11276</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Kluwer Academic Publishers</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><pages><style face="normal" font="default" size="100%">89–128</style></pages><isbn><style face="normal" font="default" size="100%">978-1-4020-8404-1</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Arabic algebra derives its epistemic value not from proofs but from correctly performing calculations using coequal polynomials. This idea of mathematics as calculation had an important influence on the epistemological status of European mathematics until the seventeenth century. We analyze the basic concepts of early Arabic algebra such as the unknown and the equation and their subsequent changes within the Italian abacus tradition. We demonstrate that the use of these concepts has been problematic in several aspects. Early Arabic algebra reveals anomalies which can be attributed to the diversity of influences in which the al-jabr practice flourished. We argue that the concept of a symbolic equation as it emerges in algebra textbooks around 1550 is fundamentally different from the equation as known in Arabic algebra.&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%">Conference Report &quot;Induction: Historical and Contemporary Perspectives, Ghent University, 810 July 2008&quot;</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%">2008</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">10</style></volume><pages><style face="normal" font="default" size="100%">8-9</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 Vreese, Leen</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%">Confusion and bad arguments in the conceptual analysis of causation</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%">2008</style></year></dates><number><style face="normal" font="default" size="100%">201</style></number><volume><style face="normal" font="default" size="100%">51</style></volume><pages><style face="normal" font="default" size="100%">81–99</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>27</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%">Causality and conservation. Elements of the new metaphysics behind the mathematization of nature in the seventeenth century</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><publisher><style face="normal" font="default" size="100%">VUB</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Concept of Causation in Newton's Mechanical and Optical Work</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%">2007</style></year></dates><volume><style face="normal" font="default" size="100%">16</style></volume><pages><style face="normal" font="default" size="100%">265–288</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 essay the authors explore the nature of efficient causal explanation in Newtons Principia and The Opticks. It is argued that: (1) In the dynamical explanations of the Principia, Newton treats the phenomena under study as cases of Halls second kind of atypical cau- sation. The underlying concept of causation is therefore a purely in- terventionist one. (2) In the descriptions of his optical experiments, Newton treats the phe- nomena under study as cases of Halls typical causation. The underly- ing concept of causation is therefore a mixed interventionist/mechani- cist one.&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%">Russo, Federica</style></author><author><style face="normal" font="default" size="100%">Williamson, Jon</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Conceptual tools for causal analysis in the social sciences.</style></title><secondary-title><style face="normal" font="default" size="100%">Causality and probability in the sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><pub-location><style face="normal" font="default" size="100%">London</style></pub-location><pages><style face="normal" font="default" size="100%">197–213</style></pages><isbn><style face="normal" font="default" size="100%">1904987354</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Dyck, Maarten</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Monton, Bradley</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Constructive Empiricism and the Argument from Underdetermination.</style></title><secondary-title><style face="normal" font="default" size="100%">Images of empiricism: Essays on science and stances, with a reply from Bas van Fraassen</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><publisher><style face="normal" font="default" size="100%">Oxford University Press</style></publisher><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;It is argued that, contrary to prevailing opinion, Bas van Fraassen nowhere uses the argument from underdetermination in his argument for constructive empiricism. It is explained that van Fraassens use of the notion of empirical equivalence in The Scientific Image has been widely misunderstood. A reconstruction of the main arguments for constructive empiricism is offered, showing how the passages that have been taken to be part of an appeal to the argument from underdetermination should actually be interpreted.&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%">Pombo, Olga</style></author><author><style face="normal" font="default" size="100%">Gerner, Alexander</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Content Guidance in Formal Problem Solving Processes</style></title><secondary-title><style face="normal" font="default" size="100%">Abduction and the Process of Scientific Discovery</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><publisher><style face="normal" font="default" size="100%">Centro de Filosofia das Ciências da U. de Lisboa</style></publisher><pub-location><style face="normal" font="default" size="100%">Lisboa</style></pub-location><pages><style face="normal" font="default" size="100%">121–156</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, a formal framework to problem-solving processes is presented. The framework is not complete. Nevertheless, even its present sophistication allows one to see that it is promising.\par The framework demonstrably allows one to understand scientific change as content-guided. It will be argued that a formal framework is required in order to make definite and precise statements about the content-guided aspects of scientific problem solving.&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></authors><secondary-authors><author><style face="normal" font="default" size="100%">Voss, Stephen</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Can intentional and functional explanations of actions coexist?</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophical Antropology</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><publisher><style face="normal" font="default" size="100%">Philosophical Society of Turkey</style></publisher><pages><style face="normal" font="default" size="100%">135–146</style></pages><isbn><style face="normal" font="default" size="100%">9757748404</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Do functional explanations eclipse the intentionality of human actions? Put differently, do intentional and functional explanations of actions conflict with each other? In this paper, I want to argue that both sorts of explanation, if conceived in a proper way, are compatible instruments. First, I will make a distinction between three kinds of explanatory pluralism of actions: a pluralism of theories of actions, a pluralism of sorts of explanations of actions, and a pluralism of methods for the explanation of actions. Intentional and functional explanations are sorts, not theories or methods, of explanation. Next, I will briefly distinguish intentional and functional explanations: intentional explanations refer to the beliefs and desires of an agent, and functional explanations refer to the function of a motive of an action (etiological functions), or to the function of a result of an action (system functions). Finally, I discuss possible conflicts between both sorts of explanation. In cases where real conflicts between functional and intentional explanations do arise, this is due to the lack of sufficient information or the misinterpretation of information of one or both explanations. Hence, such conflicts are not conflicts between sorts of explanations&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Vreese, Leen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Causal pluralism and scientific knowledge: an underexposed problem</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%">2006</style></year></dates><volume><style face="normal" font="default" size="100%">77</style></volume><pages><style face="normal" font="default" size="100%">125–150</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Causal pluralism is currently a hot topic in philosophy. However, the consequences of this view on causation for scientific knowledge and scientific methodology is heavily underexposed in the present debate. My aim in this paper is to argue that an epistemological-methodological point of view should be valued as a line of approach on its own and to demonstrate how epistemological- methodological causal pluralism differs in its scope from conceptual and metaphysical causal pluralism. Further, I defend epistemological- methodological causal pluralism and try to illustrate that scientific practice needs diverse causal concepts in diverse domains, and even diverse causal concepts within singular domains.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Mol, Liesbeth</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Closing the circle: An analysis of Emil Post's early work</style></title><secondary-title><style face="normal" font="default" size="100%">Bulletin of symbolic logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">12</style></volume><pages><style face="normal" font="default" size="100%">267–289</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 1931 Kurt Gödel published his incompleteness results, and some years later Church and Turing showed that the decision problem for certain systems of symbolic logic has a negative solution. However, already in 1921 the young logician Emil Post worked on similar problems which resulted in what he called an anticipation of these results. For several reasons though he did not submit these results to a journal until 1941. This failure to be the first, did not discourage him: his contributions to mathematical logic and its foundations should not be underestimated. It is the purpose of this article to show that an interest in the early work of Emil Post should be motivated not only by this historical fact, but also by the fact that Posts approach and method differs substantially from those offered by Gödel, Turing and Church. In this paper it will be shown how this method evolved in his early work and how it finally led him to his results.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">De Vreese, Leen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Causes and Cures of Scurvy. How Modern was James Lind's Methodology?</style></title><secondary-title><style face="normal" font="default" size="100%">Logic and Logical Philosophy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><volume><style face="normal" font="default" size="100%">14</style></volume><pages><style face="normal" font="default" size="100%">55–67</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Challenges for Early-Modern Philosophy: Editorial Introduction.</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%">2005</style></year></dates><volume><style face="normal" font="default" size="100%">76</style></volume><pages><style face="normal" font="default" size="100%">5-10</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><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Coping with inconsistencies: Examples from the social sciences</style></title><secondary-title><style face="normal" font="default" size="100%">Logic and logical philosophy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><volume><style face="normal" font="default" size="100%">14</style></volume><pages><style face="normal" font="default" size="100%">89–101</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper we present two case studies on inconsistencies in the social sciences. The first is devoted to sociologist George Caspar Homans and his exchange theory. We argue that his account of how he arrived at his theory is highly misleading, because it ignores the inconsistencies he had to cope with. In the second case study we analyse how John Maynard Keynes coped with the inconsistency between classical economic theory and real economic conditions in developing his path-breaking theory.&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 Dyck, Maarten</style></author><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Gillies, D.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Cassirer's critical idealism: a comment on Thomas Mormann.</style></title><secondary-title><style face="normal" font="default" size="100%">Laws and Models in Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><publisher><style face="normal" font="default" size="100%">King's 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%">161–171</style></pages><isbn><style face="normal" font="default" size="100%">0954300661</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Mol, Liesbeth</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Computer Generated Images as Mathematical Tools</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 7th International Conference and Exhibition on Generative Art</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2004</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;Since the commercialisation of the computer, it became possible to visualise certain aspects of mathematics that were not possible to visualise before because of the complexity or the size of the datasets involved. Some of these computer generated images even have become the icons of certain mathematical theories like for example fractal geometry. One of the advantages of these visualisations is the fact that in using them, certain properties that involve complexity can be immediately shown. This possibility will be discussed through experiments done by the author.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The consequences of scientific pluralism for science policy</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of V Jornadas Latinoamericanas de estudios sociales de la ciencia y de la tecnología</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2004</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%">Vanackere, Guido</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Change in individuals without a name. Contextual indicators &amp; the free change-adaptive logic</style></title><secondary-title><style face="normal" font="default" size="100%">Logic and Logical Philosophy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.12775/LLP.2003.011</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">11</style></volume><pages><style face="normal" font="default" size="100%">213–230</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Proof theory and semantics of an adaptive logic that deals adequately with change in individuals with or without a name are presented. New logical constants are introduced, viz. indicators. Within a given context they function as names, predicates and quantifiers at the same time. The thus extended language (of classical logic) has a big expressive power and solvespartly  the (classical) non-logical presuppositions with respect to the existence of individuals. Nevertheless, from a purely logical point of view, the here pre - sented logic requires nothing but a very intuitive selection of classical models of the premises, viz. the minimally abnormal ones.&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%">Changing one's position in discussions - Some adaptive approaches</style></title><secondary-title><style face="normal" font="default" size="100%">Logic and Logical Philosophy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><volume><style face="normal" font="default" size="100%">11/12</style></volume><pages><style face="normal" font="default" size="100%">277–297</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper contains different approaches to solve the problem how to construct the ultimate position out of ones interventions in a discussion after possibly one or more position changes. In all approaches it is the aim to come as close as possible to human reasoning. Therefore all logics are adaptive logics. The first logic is an extension of an adaptive translation into S5 of the Rescher-Manor mechanisms. The second one is a dynamic proof theory based on a technique using indices. In the end a satisfactory solution is given by a dynamic proof theory expressing the idea of prioritized compatibility, i.e. compatibility step by step&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%">Criteria Causing Inconsistencies. General Gluts as Opposed to Negation Gluts</style></title><secondary-title><style face="normal" font="default" size="100%">Logic and Logical Philosophy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><volume><style face="normal" font="default" size="100%">11/12</style></volume><pages><style face="normal" font="default" size="100%">5–37</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 question: how should one handle inconsistencies that derive from the inadequacy of the criteria by which one approaches the world. I compare the approaches underlying several inconsistency-adaptive logics. I consider the Rescher–Manor consequence relations as well as adaptive logics defined from &lt;strong&gt;CLuN&lt;/strong&gt;, &lt;strong&gt;CLuNs&lt;/strong&gt;, &lt;strong&gt;LP&lt;/strong&gt;, &lt;strong&gt;AN&lt;/strong&gt;, and &lt;strong&gt;AL&lt;/strong&gt;. The adaptive systems defined from &lt;strong&gt;CLuN&lt;/strong&gt; appear to be superior to the others. They &lt;em&gt;isolate&lt;/em&gt; inconsistencies rather than spreading them, and at the same time allow for genuine deductive steps from inconsistent and mutually inconsistent premises.&lt;br /&gt;&lt;br /&gt; Nevertheless, the systems based on &lt;strong&gt;CLuN&lt;/strong&gt; introduce an asymmetry between negated and non-negated formulas that seems hard to justify. To clarify and understand the source of the problem, the epistemological presuppositions of &lt;strong&gt;CLuN&lt;/strong&gt;, viz. inadequate criteria, are investigated. This leads to a new type of paraconsistent logic that involves gluts with respect to all other logical constants. The larger part of the paper is devoted to this logic, to the adaptive logics defined from it, and to the study of the properties of these systems.&lt;br /&gt;&lt;br /&gt; While this resulting logics are sensible and display interesting features, the search for variants of the justification leads to an unexpected justification for &lt;strong&gt;CLuN&lt;/strong&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><author><style face="normal" font="default" size="100%">Haesaert, Lieven</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On Classical Adaptive Logics of Induction</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%">255–290</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 the inference of inductive generalizations and of predictions derived from them. It improves on the adaptive logic of induction from \emph{On a Logic of Induction} (Batens, Logic and Philosophy of Science, IV, 1, 2006, pp. 3-32) by presenting logics that are formulated strictly according to the usual adaptive standards. It moreover extends that paper with respect to background knowledge.&lt;br /&gt;&lt;br /&gt; We present logics that handle inductive generalizations as well as logics that handle prioritized background knowledge of three kinds: background generalizations, pragmatic background generalizations (the instances of which may be invoked even after the generalizations are falsified), and background theories. All logics may be combined into a single system.&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%">Meheus, Joke</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Clausius' discovery of the first two laws of thermodynamics. A paradigm of reasoning from inconsistencies</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%">1999</style></year></dates><volume><style face="normal" font="default" size="100%">63</style></volume><pages><style face="normal" font="default" size="100%">89–117</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%">Contextual Problem Solving and Adaptive Logics In Creative Processes</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%">1999</style></year></dates><volume><style face="normal" font="default" size="100%">64</style></volume><pages><style face="normal" font="default" size="100%">7–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;Creativity is commonly seen as beyond the scope of rationality. In the present paper, it is argued that available insights in epistemology and available results in logic enable us to incorporate creativity within an independently sensible view on human rationality.&lt;/p&gt;</style></abstract><notes><style face="normal" font="default" size="100%">Appeared 2001</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bendegem, Jean Paul</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The creative growth of mathematics</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%">1999</style></year></dates><volume><style face="normal" font="default" size="100%">63</style></volume><pages><style face="normal" font="default" size="100%">119–152</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%">Comment construit-on une explication déductive-nomologique?</style></title><secondary-title><style face="normal" font="default" size="100%">Dialectica</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1996</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">50</style></volume><pages><style face="normal" font="default" size="100%">183–204</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Comment devons-nous appliquer notre savoir scientifique (lois de la nature, théries, etc.) pour qu'il contribue à mieux comprendre les phénomènes (événements particuliers, regularité, etc.) que nous observons? Le modèle déductif-nomologique d'explication scientifique, dans lequel Carl Hempel construit le concept d'explication déductive-nomologique, ne procure pas une réponse complète à cette question. Un des problèmes est que Hempel nous dit ce que nous devons construire quand nous voulons comprendre un phéomène (une explication déductive-nomologique), mais ne nous dit pas comment une explication de ce type est construite. Afin de réoudre ce problème, une méthode pour construire des explications déductives-nomologiques est développée.&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%">A causal approach to explanations</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%">1987</style></year></dates><number><style face="normal" font="default" size="100%">117-118</style></number><volume><style face="normal" font="default" size="100%">30</style></volume><pages><style face="normal" font="default" size="100%">51–68</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Gosselin, M.</style></author><author><style face="normal" font="default" size="100%">Demeyere, F.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A contextual approach to meaning and knowledge</style></title><secondary-title><style face="normal" font="default" size="100%">Science and Society</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1987</style></year></dates><publisher><style face="normal" font="default" size="100%">VUB-Uitgaven</style></publisher><pages><style face="normal" font="default" size="100%">84–110</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">De Hen, Ferdinand J.</style></author><author><style face="normal" font="default" size="100%">Riessauw, Anne-Marie</style></author><author><style face="normal" font="default" size="100%">Sabbe, Herman</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Creativiteit in wetenschap en muziek</style></title><secondary-title><style face="normal" font="default" size="100%">Liber Amicorum J.L. Broeckx</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1986</style></year></dates><publisher><style face="normal" font="default" size="100%">Grafisch Bureau M &amp; Team</style></publisher><pages><style face="normal" font="default" size="100%">29–55</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%">A completeness-proof method for extensions of the implicational fragment of the propositional calculus</style></title><secondary-title><style face="normal" font="default" size="100%">Notre Dame Journal of Formal Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1980</style></year></dates><volume><style face="normal" font="default" size="100%">21</style></volume><pages><style face="normal" font="default" size="100%">509–517</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>