<?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%">Straßer, Christian</style></author><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author><author><style face="normal" font="default" size="100%">Aleks Knoks</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Deontic Reasoning on the Basis of Consistency Considerations</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;Deonticconflictsposeanimportantchallengetodeonticlogicians. The standard account standard deontic logic, &lt;strong&gt;SDL&lt;/strong&gt; is not apt for addressing this challenge since it trivializes con flicts. Two main stratagems for gaining conflict-tolerance have been proposed: to weaken &lt;strong&gt;SDL&lt;/strong&gt; in various ways, and to contextualize the reign of &lt;strong&gt;SDL&lt;/strong&gt; to consistent subsets of the premise set. The latter began with the work of van Fraassen and has been further developed by Horty. In this paper we characterize this second approach in general terms. We also study three basic ways to contextualize SDL and supplement each of these with a dynamic proof theory in the framework of adaptive logics.&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%">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%">Blancke, Stefaan</style></author><author><style face="normal" font="default" size="100%">Kosolosky, Laszlo</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">What science is fair? Representations of science in a Dutch creationist campaign</style></title><secondary-title><style face="normal" font="default" size="100%">Public Understanding of Science</style></secondary-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 the Netherlands, creationists have started up a civil initiative by which they demand fair science. This paper offers an analysis of this peculiar notion. Fair science depends on two representations of science, one as an unimpressive label, and one as an authority. Each of these representations hinges on a different conception of the authority of science: on the one hand, science is endowed with authority because it produces technology and is able to make reliable predictions. On the other hand, sciences authority is only a matter of reputation. To the extent that these two conceptions tap into representations of science and its authority among the larger public, the notion of fair science might prove to be a compelling rhetorical tool. Suggestions are made as to how the appeal of the notion can be reduced.&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%">Baartmans, Tim</style></author><author><style face="normal" font="default" size="100%">Kosolosky, Laszlo</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Groepsbeslissingen: kwaliteit, autoriteit en vertrouwen</style></title><secondary-title><style face="normal" font="default" size="100%">Tijdschrift voor Filosofie</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%">Primiero, Giuseppe</style></author><author><style face="normal" font="default" size="100%">Kosolosky, Laszlo</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The semantics of untrustworthiness</style></title><secondary-title><style face="normal" font="default" size="100%">Topoi. An International Reiew of Philosophy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">In Press</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We oer a formal treatment of the semantics of both complete and incomplete mistrustful or distrustful information transmissions. The se- mantics of such relations is analysed in view of rules that dene the be- haviour of a receiving agent. We justify this approach in view of human agent communications and secure system design. We further specify some properties of such relations.&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%">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%">Anglberger, Albert</style></author><author><style face="normal" font="default" size="100%">Faroldi, Federico L. G.</style></author><author><style face="normal" font="default" size="100%">Korbmacher, Johannes</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">An Exact Truthmaker Semantics for Obligation and Permission</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><pages><style face="normal" font="default" size="100%">2016</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%">Froeyman, Anton</style></author><author><style face="normal" font="default" size="100%">Kosolosky, Laszlo</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%">Social epistemology meets the philosophy of the humanities</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%">2016</style></year></dates><volume><style face="normal" font="default" size="100%">21 (1)</style></volume><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;From time to time, when I explain to a new acquaintance that Im a philosopher of science, my interlocutor will nod agreeably and remark that that surely means Im interested in the ethical status of various kinds of scientific research, the impact that science has had on our values, or the role that the sciences play in contemporary democracies. Although this common response hardly corresponds to what professional philosophers of science have done for the past decades, or even centuries, it is perfectly comprehensible. For there are large questions of the kinds just indicated, questions that deserve to be posed and answered, and an intelligent person might well think that philosophers of science are the people who do the posing and the answering (Kitcher in Science, truth and democracy. Oxford University Press, Oxford, p. xi, 2001).&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Kosolosky, Laszlo</style></author><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</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%">Explicating ways of consensus-making in science and society: distinguishing the academic, the interface and the meta-consensus</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%">71–92</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 shed new light on the epistemic struggle between establishing consensus and acknowledging plurality, by explicating different ways of consensus-making in science and society and examining the impact hereof on their field of intersection, i.e. consensus conferences (in particular those organized by the National Institute of Health). We draw a distinction between, what we call, academic and interface consensus, to capture the wide appeal to consensus in existing literature. We investigate such accounts - i.e. Solomon (2007), Beatty &amp;amp; Moore (2010) and Miller (2013)  as to put forth a new understanding of consensus-making, focusing on the meta-consensus. We further defend how (NIH) consensus conferences enable epistemic work, through demands of epistemic adequacy and contestability, contrary to the claim that consensus conferences miss a window for epistemic opportunity (Solomon, 2007). Paying attention to this dynamics surrounding consensus, moreover allows us to illustrate how the public understanding of science and the public use of the ideal of consensus could be well modified.&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%">Frans, Joachim</style></author><author><style face="normal" font="default" size="100%">Kosolosky, Laszlo</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Mathematical proofs in practice: Revisiting the reliability of published mathematical proofs</style></title><secondary-title><style face="normal" font="default" size="100%">Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">29</style></volume><pages><style face="normal" font="default" size="100%">345–360</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%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Koslow, Arnold</style></author><author><style face="normal" font="default" size="100%">Buchsbaum, Arthur</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Two, Many, And Differently Many</style></title><secondary-title><style face="normal" font="default" size="100%">The Road to Universal Logic.  Festschrift for the 50th Birthday of Jean-Yves Béziau</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%">Birkhäuser</style></publisher><pub-location><style face="normal" font="default" size="100%">Basel</style></pub-location><volume><style face="normal" font="default" size="100%">II</style></volume><pages><style face="normal" font="default" size="100%">213–242</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 is a modest contribution to a universal logic approach to many-valued semantic systems. The main focus is on the relation between such systems and two-valued ones. The matter is discussed for usual many-valued semantic systems. These turn out to exist for more logics than expected. A new type of many-valued semantics is devised and its use illustrated. Truth-functionality has a rather central place in the discussion, which leads to philosophical conclusions.&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%">Kosolosky, Laszlo</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Editorial and interview with Justin Biddle</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%">2014</style></year></dates><number><style face="normal" font="default" size="100%">5</style></number><volume><style face="normal" font="default" size="100%">8</style></volume><pages><style face="normal" font="default" size="100%">47–50</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 Winter, Jan</style></author><author><style face="normal" font="default" size="100%">Kosolosky, Laszlo</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Health, food, and science: an ethical assessment of research agendas</style></title><secondary-title><style face="normal" font="default" size="100%">Logique &amp; Analyse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><volume><style face="normal" font="default" size="100%">228</style></volume><pages><style face="normal" font="default" size="100%">701-726</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 offer several new arguments for the view that existing research agendas in the health sciences and the agricultural sciences are morally deficient. More specifically, the following kinds of distortion of the agenda are discussed: in the health sciences, the health problems of the poor are more or less neglected, as well as non-medicinal solutions to health problems, and in the agricultural sciences, insufficient attention is paid to agroecology. We justify the claim that these three kinds of distortion are problematic on ethical grounds, showing that they are moral failures. Instead of starting from one ethical theory to show this, we present different ethical justifications, based on different ethical theories (Benthams utilitarianism, Rawlss theory of justice, Pogges rights-based account of minimal justice, Kitchers ethical theory, and classical liberalism). This should make our conclusion (i.e. that the distorted research agendas in the health sciences and the agricultural sciences pose a moral problem) at least initially convincing to adherents of different ethical theories.&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%">De Winter, Jan</style></author><author><style face="normal" font="default" size="100%">Kosolosky, Laszlo</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The epistemic integrity of NASA practices in the space shuttle program</style></title><secondary-title><style face="normal" font="default" size="100%">ACCOUNTABILITY IN RESEARCH - POLICIES AND QUALITY ASSURANCE</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%">20</style></volume><pages><style face="normal" font="default" size="100%">72–92</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 account of epistemic integrity and uses it to demonstrate that the epistemic integrity of different kinds of practices in NASA's Space Shuttle Program was limited. We focus on the following kinds of practices: (1) research by working engineers, (2) review by middle-level managers, and (3) communication with the public. We argue that the epistemic integrity of these practices was undermined by production pressure at NASA, i.e., the pressure to launch an unreasonable amount of flights per year. Finally, our findings are used to develop some potential strategies to protect epistemic integrity in aerospace 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%">De Winter, Jan</style></author><author><style face="normal" font="default" size="100%">Kosolosky, Laszlo</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The epistemic integrity of scientific research</style></title><secondary-title><style face="normal" font="default" size="100%">SCIENCE AND ENGINEERING ETHICS</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%">19</style></volume><pages><style face="normal" font="default" size="100%">757–774</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 live in a world in which scientific expertise and its epistemic authority become more important. On the other hand, the financial interests in research, which could potentially corrupt science, are increasing. Due to these two tendencies, a concern for the integrity of scientific research becomes increasingly vital. This concern is, however, hollow if we do not have a clear account of research integrity. Therefore, it is important that we explicate this concept. Following Rudolf Carnaps characterization of the task of explication, this means that we should develop a concept that is (1) similar to our common sense notion of research integrity, (2) exact, (3) fruitful, and (4) as simple as possible. Since existing concepts do not meet these four requirements, we develop a new concept in this article. We describe a concept of epistemic integrity that is based on the property of deceptiveness, and argue that this concept does meet Carnaps four requirements of explication. To illustrate and support our claims we use several examples from scientific practice, mainly from biomedical 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%">De Winter, Jan</style></author><author><style face="normal" font="default" size="100%">Kosolosky, Laszlo</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Fraud in academic medical research: lessons from Flanders, Belgium</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%">2013</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://thereasoner.org/</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">7</style></number><volume><style face="normal" font="default" size="100%">7</style></volume><pages><style face="normal" font="default" size="100%">2</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;A scientific survey on fraud in academic medical research in Flanders , of which the results were recently published in popular science magazine Eos, has caused tumult in the Flemish academic community. The reason is that these results suggest that scientific fraud (which could indirectly cause ill health and death among patients) is not as rare as earlier estimates indicate . Malpractices are primarily attributed to the pressure to publish. In this piece , we elaborate on the content of the study and pave the way for reform.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Díez, José</style></author><author><style face="normal" font="default" size="100%">Khalifa, Kareem</style></author><author><style face="normal" font="default" size="100%">Leuridan, Bert</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">General theories of explanation: buyer beware</style></title><secondary-title><style face="normal" font="default" size="100%">Synthese</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">190</style></volume><pages><style face="normal" font="default" size="100%">379–396</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We argue that there is no general theory of explanation that spans the sciences, mathematics, and ethics, etc. More specifically, there is no good reason to believe that substantive and domain-invariant constraints on explanatory information exist. Using Nickel (Noûs 44(2):305328, 2010) as an exemplar of the contrary, generalist position, we first show that Nickels arguments rest on several ambiguities, and then show that even when these ambiguities are charitably corrected, Nickels defense of general theories of explanation is inadequate along several different dimensions. Specifically, we argue that Nickels argument has three fatal flaws. First, he has not provided any compelling illustrations of domain-invariant constraints on explanation. Second, in order to fend off the most vehement skeptics of domain-invariant theories of explanation, Nickel must beg all of the important questions. Third, Nickels examples of explanations from different domains with common explanatory structure rely on incorrect formulations of the explanations under consideration, circular justifications, and/or a mischaracterization of the position Nickel intends to critique. Given that the best and most elaborate defense of the generalist position fails in so many ways, we conclude that the standard practice in philosophy (and in philosophy of science in particular), which is to develop theories of explanation that are tailored to specific domains, still is justified. For those who want to buy into a more ambitious project: beware of the costs!&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Kosolosky, Laszlo</style></author><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%">The rationality of scientific reasoning in the context of pursuit: drawing appropriate distinctions</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%">51–82</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 aim of this paper is to disambiguate between different notions of pursuit worthiness regarding scientific inquiries. To this end we propose a unifying pattern of pursuit worthiness: It is rational for Y to pursue X if and only if pursuing X is conducive of the set of goals Z. By showing in which ways variables X, Y, and Z can be changed, we present different notions of pursuit and pursuit worthiness. With respect to variable X, we distinguish the pursuit of scientific theories, epistemic objects, and technological developments. With respect to variable Z, we distinguish between epistemic and practical pursuit worthiness. Finally, with respect to variable Y, we distinguish between individual and communal pursuit worthiness. By means of these distinctions we are able to explicate some of the major ambiguities underlying the concept of pursuit of pursuit worthiness, as well as to shed light on some confusions in philosophical literature that have resulted from their neglect.&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%">Heeffer, Albrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Seroglou, Fanny</style></author><author><style face="normal" font="default" size="100%">Koulountzos, Vassilis</style></author><author><style face="normal" font="default" size="100%">Siatras, Anastasios</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">From problem solving to the teaching of algebra: the genesis of the algebra textbook</style></title><secondary-title><style face="normal" font="default" size="100%">11th international IHPST and 6th Greek history, philosophy and science teaching joint conference, 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%">Epikentro Publications</style></publisher><pages><style face="normal" font="default" size="100%">344-347</style></pages><isbn><style face="normal" font="default" size="100%">9789604583256</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%">Kosolosky, Laszlo</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Van Kerkhove, Bart</style></author><author><style face="normal" font="default" size="100%">Libert, Thierry</style></author><author><style face="normal" font="default" size="100%">Vanpaemel, Geert</style></author><author><style face="normal" font="default" size="100%">Marage, Pierre</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The intended window of epistemic opportunity: a comment on Miriam Solomon</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium II</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><publisher><style face="normal" font="default" size="100%">Koninklijke Vlaamse Academie van België</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, I argue that Miriam Solomon fails to show that medical consensus conferences, as organised by the National Institute of Health (NIH), miss the intended window of epistemic opportunity (Solomon, 2007: 170), and thus typically take place after the experts have reached consensus. This is done, on the one hand, by differentiating between, what I intend to call, ‘academic’ and ‘non-academic consensus’, and, on the other hand, by analyzing the arguments and argumentation style Solomon uses to make her claim explicit. At the very least, the overall argument suggests that her statement is inadequately supported, if not that the opposite claim is true. In this manner, I intend to bring additional insight into the notion of ‘consensus’ when applied in scientific practice. Any decision as to change the NIH consensus development program should take these actual achievements into account.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</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%">Who guards the guardians/experts? Philosophers?</style></title><secondary-title><style face="normal" font="default" size="100%">32e Vlaams-Nederlandse Filosofiedag, 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><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%">Expertise doordacht: reflectie via klimaatanalyse</style></title><secondary-title><style face="normal" font="default" size="100%">Ethiek en Maatschappij</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%">1</style></number><volume><style face="normal" font="default" size="100%">13</style></volume><pages><style face="normal" font="default" size="100%">72–82</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 analyses four theoretical problems concerning the notion of expertise and tries to formulate answers by scrutinizing these problems in light of scientific practice. The focus will be on the problems arising from the interference of experts in democratic decision making. I formulate my answers by referring to the Review-process of the Intergovernmental Panel on Climate Change (IPCC). Analysing how expertise influences this particular scientific practice is an example of how social-epistemological research is done and has to be done.&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%">Beirlaen, Mathieu</style></author><author><style face="normal" font="default" size="100%">Gauderis, Tjerk</style></author><author><style face="normal" font="default" size="100%">Gervais, Raoul</style></author><author><style face="normal" font="default" size="100%">Kosolosky, Laszlo</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Report LRR10: Logic, reasoning and rationality</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%">2010</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.kent.ac.uk/secl/philosophy/jw/TheReasoner/vol4/TheReasoner-4(11).pdf</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">11</style></number><volume><style face="normal" font="default" size="100%">4</style></volume><pages><style face="normal" font="default" size="100%">165–166</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%">Dégremont, Cédric</style></author><author><style face="normal" font="default" size="100%">Keiff, Laurent</style></author><author><style face="normal" font="default" size="100%">Rückert, Helge</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards a Dialogic Interpretation of Dynamic Proofs</style></title><secondary-title><style face="normal" font="default" size="100%">Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><pub-location><style face="normal" font="default" size="100%">London</style></pub-location><pages><style face="normal" font="default" size="100%">27–51</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 result presented in this paper concerns a dialogic or game-theoretical interpretation of dynamic proofs. Dynamic proofs in themselves do not form a demonstration of the derivability of their last formula from a given premise set. Apart from the proof, such a demonstration requires a specific metalevel argument. In a natural and appealing form, the metalevel argument is phrased in terms of the existence of a winning strategy for the proponent.\par The aforementioned point is presented in terms of an approach that is in a sense Hilbertian and anti-Tarskian: the characterization of logical inference in terms of types of proofs, rather than in terms of properties of the consequence relation.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Mey, Tim</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">De Mey, Tim</style></author><author><style face="normal" font="default" size="100%">Keinänen, Markku</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Disjunctive realism about color</style></title><secondary-title><style face="normal" font="default" size="100%">Problems from Armstrong</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Acta philosophica Fennica</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><publisher><style face="normal" font="default" size="100%">Acta Philosophica Fennica</style></publisher><volume><style face="normal" font="default" size="100%">84</style></volume><pages><style face="normal" font="default" size="100%">193–200</style></pages><isbn><style face="normal" font="default" size="100%">9519264663</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Section 1: Analytical metaphysics and its methodology. Why the negations of false atomic propositions are true / Peter Simons – The one over many / Anna-Sofia Maurin – Armstrong's conception of supervenience / Markku Keina\unmatched{0308}nen – ˝Mirage realism˝ or ˝Positivism in naturalism's clothing˝? / Panu Raatikainen – Armstrong's metaphysical realism / Sami Pihlstro\unmatched{0308}m. Section 2: Laws of nature, dispositions, and modality. Some remarks on the metaphysical status of laws of nature / Wim Christiaens – Dispositions pace Armstrong / Robrecht Vanderbeeken – Armstrong on the metaphysics of modality: two dilemmas / Anssi Korhonen. Section 3: Mind and epistemology. Disjunctive realism about color / Tim De May – On Armstrong's philosophy of perception / S. Albert Kivinen – Armstrong's epistemology / Markus Lammenranta.&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%">De Mey, Tim</style></author><author><style face="normal" font="default" size="100%">Keinänen, Markku</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Dispositions pace Armstrong.</style></title><secondary-title><style face="normal" font="default" size="100%">Problems from Armstrong</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%">Acta Philosophica Fennica</style></publisher><volume><style face="normal" font="default" size="100%">84</style></volume><pages><style face="normal" font="default" size="100%">127–154</style></pages><isbn><style face="normal" font="default" size="100%">9789519264660</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%">van der Waart van Gulik, Stephan</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Vosniadou, S.</style></author><author><style face="normal" font="default" size="100%">Kayser, D.</style></author><author><style face="normal" font="default" size="100%">Athanassios, P.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On the Implementation of Concept Structures in Fuzzy Logic.</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the European Cognitive Science Conference 2007</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</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;A procedure is presented which can modify a large number of fuzzy logics in such a way that the result integrates a logically meaningful representation of the family resemblance structure of fuzzy concepts. The most important aspect of this modification is the implementation of so-called concept matrices. The interpretation and construction of these new formal objects is based upon Fintan Costellos Diagnostic Evidence Model (2000), a contemporary cognitive scientific model of concept structure and concept combination. As a result, it becomes possible to formalize, explain and simulate new logical aspects of cognitive fuzziness such as meaning transformations by means of non-scalar hedges, and interpretational and inferential operations over non-intersective concept combinations.&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%">Heeffer, Albrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Dhompongsa, G</style></author><author><style face="normal" font="default" size="100%">Bhatti , F</style></author><author><style face="normal" font="default" size="100%">Kitson , Q</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The Methodological Relevance of the History of Mathematics for Mathematics Education</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the International Conference on 21st Century Information Technology in Mathematics Education</style></secondary-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;Mathematics education benefits from an integration of the history of mathematics within the mathematics curriculum. We provide three basic arguments for such integration. The first is epistemological and addresses a contextual view on mathematical knowledge. The second concerns the phylogenic aspects of the development of mathematics. Conceptual difficulties with teaching children mathematics often correspond with historical periods of conceptual crisis in mathematics. A third, historical argument, draws on the vast repository of experience in mathematics education. We provide examples for each of these arguments from the history of algebra.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Rojsczak, A</style></author><author><style face="normal" font="default" size="100%">Cachro, J</style></author><author><style face="normal" font="default" size="100%">Kurczewski, G</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Explaining laws by reduction</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophical Dimensions of Logic and Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><isbn><style face="normal" font="default" size="100%">140201645X</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Scientific explanations have been intensively studied by philosophers of science during the last five decades. Explanations of laws did not receive as much attention as explanations of particular facts. In this article, I present a model for one type of explanations of laws: reductions of laws to phenomena at a micro-level. Examples of such reductions can be found in the natural sciences (the ideal gas law is probably the most famous example here) and in the social sciences (e.g., reduction of macroeconomic laws to the behaviour of individual economic agents).&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Klijn, Alex</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Using classical resolution method to check derivability for some propositional paralogics and adaptive logics.</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;In this article it will be shown how results from [2] can be used to decide wether, for a range of propositional paralogics and adaptive logics L, A1 , ..., An \#L B is derivable by means of a resolution method for C1 , ..., Cn D, where C1 , ..., Cn and D are the translations of the original premisses and the conclusion respectively from L into CL. This method simplifies the use of automated deduction for non-classical logics, since the framework for these logics can be put &quot;on top of&quot; any existing resolution method for classical logic. This theoretical framework has been implemented in a computer program. The URL where this program is available will be given. This approach, moreover, makes it easier to compare the derivability of well formed formulas from sets of premisses between the implemented range of logics. The resulting computer program can thus be seen as an useful tool for research in 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%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Krach, Helghe</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%">Inconsistencies in Scientific Discovery. Clausius's Remarkable Derivation of Carnot's Theorem</style></title><secondary-title><style face="normal" font="default" size="100%">History of Modern Physics. Acta of the XXth International Congress of History of Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><publisher><style face="normal" font="default" size="100%">Brepols</style></publisher><pub-location><style face="normal" font="default" size="100%">Turnhout (Belgium)</style></pub-location><pages><style face="normal" font="default" size="100%">143–154</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><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Kiikeri, Mika</style></author><author><style face="normal" font="default" size="100%">Ylikoski, Petri</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On the Logic and Pragmatics of the Process of Explanation</style></title><secondary-title><style face="normal" font="default" size="100%">Explanatory Connections. Electronic Essays Dedicated to Matti Sintonen</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.valt.helsinki.fi/kfil/matti/</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">University of Helsinki</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, we present mainly two logical systems that clarify pragmatic aspects of the process of explanation. The first concerns a proof theory that leads to the derivation of possible initial conditions from an \emph{explanandum} and a given theory. The second logic concerns the derivation of questions in view of the verification of some possible initial condition, or of one out of several possible initial conditions. It is essential that the latter derivation proceeds in terms of all available knowledge, and not in terms of the explaining theory. It is shown that the second logic provides useful information for explicating further pragmatic aspects of the process of explanation. Several extensions of the logics are argued to be both useful and rather easy to obtain.&lt;/p&gt;</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;22&amp;nbsp;pp.&lt;/p&gt;</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Klijn, Alex</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Robots en Onderwijs.</style></title><secondary-title><style face="normal" font="default" size="100%">Mores</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%">28</style></volume><pages><style face="normal" font="default" size="100%">249-263</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 Mey, Tim</style></author><author><style face="normal" font="default" size="100%">Keinänen, Markku</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Secondary qualities in retrospect</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophica</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><volume><style face="normal" font="default" size="100%">68</style></volume><pages><style face="normal" font="default" size="100%">41–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;Although the importance, both historically and systematically, of the seventeenth century distinction between primary and secondary qualities is commonly recognised, there is no consensus on its exact nature. Apparently, one of the main difficulties in its interpretation is to tell the constitutive from the argumentative elements. In this paper, we focus on the primary-secondary quality distinctions drawn by Boyle and Locke. We criticise, more specifically, MacIntosh's analysis of them. On the one hand, MacIntosh attributes too many different primary-secondary quality distinctions to Boyle and Locke. On the other hand, he forbears to attribute a particular primary-secondary quality distinction to them, which, at least in the case of Boyle, differs genuinely from his main distinction between the mechanical affections of matter and all of matter's other qualities.&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 Bendegem, Jean Paul</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Krause, Décio</style></author><author><style face="normal" font="default" size="100%">French, Steven</style></author><author><style face="normal" font="default" size="100%">Doria, Francisco A.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Alternative mathematics: the vague way.</style></title><secondary-title><style face="normal" font="default" size="100%">Festschrift in honor of Newton C.A. da Costa on the occasion of his seventieth birthday</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2000</style></year></dates><publisher><style face="normal" font="default" size="100%">Kluwer Academic</style></publisher><volume><style face="normal" font="default" size="100%">125</style></volume><pages><style face="normal" font="default" size="100%">19–31</style></pages><isbn><style face="normal" font="default" size="100%">N/A</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language></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%">De Clercq, Kristof</style></author><author><style face="normal" font="default" size="100%">Kurtonina, Natasha</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Embedding and Interpolation for Some Paralogics. The Propositional Case</style></title><secondary-title><style face="normal" font="default" size="100%">Reports on Mathematical Logic</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%">33</style></volume><pages><style face="normal" font="default" size="100%">29–44</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 consider the very weak paracomplete and paraconsistent logics that are obtained by a straightforward weakening of Classical Logic, as well as some of their maximal extensions that are a fragment of Classical Logic. We prove (for the propositional case) that these logics may be faithfully embedded in Classical Logic (as well as in each other), and that the interpolation theorem obtains for them.&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%">Kurtonina, Natasha</style></author><author><style face="normal" font="default" size="100%">De Rijke, Maarten</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Bisimulations for Temporal Logic</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Logic, Language and Information</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">definability</style></keyword><keyword><style  face="normal" font="default" size="100%">expressive power</style></keyword><keyword><style  face="normal" font="default" size="100%">modal and temporal logic</style></keyword><keyword><style  face="normal" font="default" size="100%">model theory</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">1997</style></year></dates><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">6</style></volume><pages><style face="normal" font="default" size="100%">403–425</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 define bisimulations for temporal logic with Since and Until. This new notion is compared to existing notions of bisimulations, and then used to develop the basic model theory of temporal logic with Since and Until. Our results concern both invariance and definability. We conclude with a brief discussion of the wider applicability of our ideas.&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%">Kurtonina, Natasha</style></author><author><style face="normal" font="default" size="100%">De Rijke, Maarten</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Simulating without negation.</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%">1997</style></year></dates><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">7</style></volume><pages><style face="normal" font="default" size="100%">501–522</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Although negation-free languages are widely used in logic and computer science, relatively little is known about their expressive power. To address this issue we consider kinds of non-symmetric bisimulations called directed simulations, and use these to analyse the expressive power and model theory of negation-free modal and temporal languages. We first use them to obtain preservation, safety and definability results for a simple negation-free modal language. We then obtain analogous results for stronger negation-free languages. Finally, we extend our methods to deal with languages with non-Boolean negation. Keywords: Expressive power, modal logic, negation-free languages.&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%">Van Bendegem, Jean Paul</style></author><author><style face="normal" font="default" size="100%">Kornelis, Gustaaf</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Adaptieve logica’s: een aanzet om elkaar te begrijpen</style></title><secondary-title><style face="normal" font="default" size="100%">Iedereen die niet denkt zoals ik, volge mij. Acta 16de Nederlands-Vlaamse Filosofiedag</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1994</style></year></dates><publisher><style face="normal" font="default" size="100%">VUB-Pers</style></publisher><pages><style face="normal" font="default" size="100%">13–19</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%">Meheus, Joke</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Van Bendegem, Jean Paul</style></author><author><style face="normal" font="default" size="100%">Kornelis, Gustaaf</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Elk wetenschapper zijn onderzoeksprogramma?</style></title><secondary-title><style face="normal" font="default" size="100%">Iedereen die niet denkt zoals ik, volge mij. Acta 16de Nederlands-Vlaamse Filosofiedag</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1994</style></year></dates><publisher><style face="normal" font="default" size="100%">VUB-Pers</style></publisher><pages><style face="normal" font="default" size="100%">61–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>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%">Kint, J.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Kurt Gödel en de wetenschappelijke zekerheid</style></title><secondary-title><style face="normal" font="default" size="100%">Nieuwe visies in de wetenschap</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1989</style></year></dates><publisher><style face="normal" font="default" size="100%">Acco</style></publisher><pages><style face="normal" font="default" size="100%">43–66</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>