<?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%">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%">Faroldi, Federico L. G.</style></author><author><style face="normal" font="default" size="100%">Soria Ruiz, Andrés</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Scale Structure of Moral Adjectives</style></title><secondary-title><style face="normal" font="default" size="100%">Studia Semiotyczne</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><volume><style face="normal" font="default" size="100%">31</style></volume><language><style face="normal" font="default" size="100%">eng</style></language><issue><style face="normal" font="default" size="100%">2</style></issue><section><style face="normal" font="default" size="100%">161</style></section></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>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%">Splitting and Relevance: Broadening the Scope of Parikh's Concepts</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%">2016</style></year></dates><volume><style face="normal" font="default" size="100%">59</style></volume><pages><style face="normal" font="default" size="100%">173 -205</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><issue><style face="normal" font="default" size="100%">234</style></issue><section><style face="normal" font="default" size="100%">173 </style></section></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%">Spoiled for Choice?</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%">2016</style></year></dates><volume><style face="normal" font="default" size="100%">26</style></volume><pages><style face="normal" font="default" size="100%">65-95</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 transition from a theory that turned out trivial to a consistent replacement need not proceed in terms of inconsistencies, which are negation gluts. Logics that tolerate gluts or gaps (or both) with respect to any logical symbol may serve as the lower limit for adaptive logics that assign a minimally abnormal consequence set to a given premise set. The same obtains for logics that tolerate a combination of kinds of gluts and gaps. This result runs counter to the obsession with inconsistency that classical logicians and paraconsistent logicians share.&lt;br&gt; All such basic logics will be systematically reviewed, some variants will be outlined, and the claim will be argued for. While those logics tolerate gluts and gaps with respect to logical symbols, ambiguity logic tolerates ambiguities in non-logical symbols. Moreover, forms of tolerance may be combined, with zero logic as an extreme.\İn the baffling plethora of corrective adaptive logics (roads from trivial theories to consistent replacements), adaptive zero logic turns out theoretically interesting as well as practically useful. On the one hand all meaning becomes contingent, depending on the premise set. On the other hand, precisely adaptive zero logic provides one with an excellent analyzing instrument. For example it enables one to figure out which corrective adaptive logics lead, for a specific trivial theory, to a suitable and interesting minimally abnormal consequence set.&lt;/p&gt;</style></abstract><issue><style face="normal" font="default" size="100%">1</style></issue></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Béziau, Jean-Yves</style></author><author><style face="normal" font="default" size="100%">Chakraborty, Mihir</style></author><author><style face="normal" font="default" size="100%">Dutta, Soma</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Some Adaptive Contributions to Logics of Formal Inconsistency</style></title><secondary-title><style face="normal" font="default" size="100%">New Directions in Paraconsistent Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">309 -333</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Some insights were gained from the study of inconsistency-adaptive logics. The aim of the present paper is to put some of these insight to work for the study of logics of formal inconsistency. The focus of attention are application contexts of the aforementioned logics and their theoretical properties in as far as they are relevant for applications. As the questions discussed are difficult but important, a serious attempt was made to make the paper concise but transparent.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>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%">Sceptical Rationality</style></title><secondary-title><style face="normal" font="default" size="100%">Analytic Philosophy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">55</style></volume><pages><style face="normal" font="default" size="100%">222–238</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%">Straßer, Christian</style></author><author><style face="normal" font="default" size="100%">Arieli, Ofer</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Sequent-Based Argumentation for Normative Reasoning</style></title><secondary-title><style face="normal" font="default" size="100%">Deontic Logic and Normative Systems: Lecture Notes in Computer Science</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%">8554</style></volume><pages><style face="normal" font="default" size="100%">224–240</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 an argumentative approach to normative reasoning. Special attention is paid to normative conflicts, contrary-to-duty and specificity cases. These are modeled by means of argumentative attacks. For this, we adopt a recently proposed frame- work for logical argumentation in which arguments are generated by a sequent calculus of a given base logic (Arieli, CLIMA2013, pp.6985), and use an intuitionistic variant of stan- dard deontic logic as our base logic. Argumentative attacks are realized by elimination rules that allow to discharge specific sequents. We demonstrate our system by means of various well-known benchmark examples.&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%">S\lupecki's generalized mereology and its flaws</style></title><secondary-title><style face="normal" font="default" size="100%">History and Philosophy of Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">35</style></volume><pages><style face="normal" font="default" size="100%">289–300</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;One of the streams in the early development of set theory was an attempt to use mereology, a formal theory of parthood, as a foundational tool. The first such attempt is due to a Polish logician, Stanis\unmatched{0142}aw Leśniewski (1886–1939). The attempt failed, but there is another, prima facie more promising attempt by Jerzy S\unmatched{0142}upecki (1904–1987), who employed his generalized mereology to build mereological foundations for type theory. In this paper I (1) situate Leśniewski's attempt in the development of set theory, (2) describe and evaluate Leśniewski's approach, (3) describe S\unmatched{0142}upecki's strategy without unnecessary technical details, and (4) evaluate it with a rather negative outcome. The issues discussed go beyond merely historical interests due to the current popularity of mereology and because they are related to nominalistic attempts to understand mathematics in general. The introduction describes very briefly the situation in which mereology entered the scene of foundations of mathematics –- it can be safely skipped by anyone familiar with the early development of set theory. Section 2 describes and evaluates Leśniewski's attempt to use mereology as a foundational tool. In Section 3, I describe an attempt by S\unmatched{0142}upecki to improve on Leśniewski's work, which resulted in a system called generalized mereology. In Section 4, I point out the reasons why this attempt is still not successful. Section 5 contains an explanation of why Leśniewski's use of Ontology in developing arithmetic also is not nominalistically satisfactory.&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%">Stanislaw Leśniewski: rethinking the philosophy of mathematics</style></title><secondary-title><style face="normal" font="default" size="100%">European review</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%">1</style></number><volume><style face="normal" font="default" size="100%">23</style></volume><pages><style face="normal" font="default" size="100%">125–138</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Near the end of the XIXth century part of mathematical research was focused on unification: the goal was to find ˝one sort of thing˝ that mathematics is (or could be taken to be) about. Quite quickly sets became the main candidate for this position. While the enterpize hit a rough patch with Frege's failure and set-theoretic paradoxes, by the 1920s mathematicians (roughly speaking) settled on a promising axiomatization of set theory and considered it foundational. Quite parallel to this development was the work of Stanislaw Le{\textbackslash}'sniewski (1886-1939), a Polish logician who did not accept the existence of abstract (aspatial, atemporal and acausal) objects such as sets. Lesniewski attempted to find a nominalistically acceptable replacement for set theory in the foundations of mathematics. His candidate was Mereology - a theory which instead of sets and elements spoke of wholes and parts. The goal of this paper will be to present Mereology in this context, to evaluate the feasibility of Lesniewski's project and to briefly comment on its contemporary relevance.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>6</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</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%">Scientific explanation</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">93</style></pages><isbn><style face="normal" font="default" size="100%">9789400764453</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper investigates the working-method of three important philosophers of explanation: Carl Hempel, Philip Kitcher and Wesley Salmon. We argue that they do three things: (i) construct an explication in the sense of Carnap, which then is u sed as a tool to make (ii) descriptive and (iii) normative claims about the explanatory practice of scientists. We also show that they did well with respect to (i), but that they failed to give argume nts for their descriptive and normative claims. We think it is the responsibility of current philosoph ers of explanation to go on where Hempel, Kitcher and Salmon failed. However, we should go on in a cl ever way. We call this clever way the pragmatic approach to scientific explanation. We clarify wha t this approach consists in and defend it.&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%">Looren de Jong, Huib</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The status of functional explanation in psychology: reduction and mechanistic explanation</style></title><secondary-title><style face="normal" font="default" size="100%">THEORY &amp; PSYCHOLOGY</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%">23</style></volume><pages><style face="normal" font="default" size="100%">145–163</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 validity of functional explanations as they are commonly used in psychology has recently come under attack. Kims supervenience argument purports to prove that higher-level generalizations have no causal powers of their own, and hence are explanatorily irrelevant. In a nutshell, the supervenience argument forces us to either embrace epiphenomenalism of higher- level properties, or accept Kims specific brand of reductionism. However, with the current emphasis on mechanistic explanations, the literature on explanation in psychology has undergone some drastic changes. It could be argued, therefore, that Kims argument targets an outdated concept of functional explanations. In any case, these developments warrant a reassessment of the implications of his argument, which is the purpose of the present paper. First, we argue that the metaphysics behind the supervenience argument is incompatible with that of mechanisms. Second, we argue that Kims proposed brand of reductionism does not accurately describe the explanatory practices of cognitive 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%">Strong and weak regress arguments</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%">2013</style></year></dates><number><style face="normal" font="default" size="100%">224</style></number><volume><style face="normal" font="default" size="100%">56</style></volume><pages><style face="normal" font="default" size="100%">439–461</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In the literature, regress arguments often take one of two different forms: either they conclude that a given solution fails to solve any problem of a certain kind (the strong conclusion), or they conclude that a given solution fails to solve all problems of a certain kind (the weaker conclusion). This gives rise to a logical problem: do regresses entail the strong or the weaker conclusion, or none? In this paper I demonstrate that regress arguments can in fact take both forms, and clearly set out the logical difference between them. Throughout the paper, I confine myself to metaphysical examples from the early Russell. Only now that we know they are valid can we start to discuss whether they are sound.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Verdée, Peter</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Strong, universal and provably non-trivial set theory by means of adaptive logic</style></title><secondary-title><style face="normal" font="default" size="100%">Logic Journal of the IGPL</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">21</style></volume><pages><style face="normal" font="default" size="100%">108-125</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this article, I present a non-trivial but inconsistent set theory based on unrestricted comprehension. The theory is provably non-trivial and strong enough for most of the applications of regular mathematics. This is realized by distinguishing between strong and weak set membership and allowing for the derivation of strong membership from weak membership whenever this is not problematic (it does not lead to paradoxes). This idea of applying rules whenever unproblematic is formalized by means of an adaptive logic.&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%">The Structure of Scientific Theories, Explanation, and Unification. A Causal-Structural Account</style></title><secondary-title><style face="normal" font="default" size="100%">The British Journal for 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%">4</style></number><volume><style face="normal" font="default" size="100%">65</style></volume><pages><style face="normal" font="default" size="100%">717–771</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;What are scientific theories and how should they be represented? In this article, I propose a causalstructural account, according to which scientific theories are to be represented as sets of interrelated causal and credal nets. In contrast with other accounts of scientific theories (such as Sneedian structuralism, Kitchers unificationist view, and Dardens theory of theoretical components), this leaves room for causality to play a substantial role. As a result, an interesting account of explanation is provided, which sheds light on explanatory unification within a causalist framework. The theory of classical genetics is used as a case study.&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%">De Mol, Liesbeth</style></author><author><style face="normal" font="default" size="100%">Bullynck, Maarten</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A short history of small machines</style></title><secondary-title><style face="normal" font="default" size="100%">The Turing Centenary Conference CiE 2012: How the World Computes</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</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;One of the most famous results of Alan M. Turing is the so-called universal Tur- ing machine (UTM). Its in uence on (theoretical) computer science can hardly be overestimated. The operations of this machine are of a most elementary na- ture but nonetheless considered to capture all the (human) processes that can be carried out in computing a number. This kind of elementary machine ts into a tradition of `&lt;em&gt;logical minimalism&lt;/em&gt;' that looks for simplest sets of operations or axioms. It is part of the more general research programme into the foundations of mathematics and logic that was carried out in the beginning of the 20th cen- tury. In the 1940s and 1950s, however, this tradition was redened in the context of `computer science' when computer engineers, logicians and mathematicians re-considered the problem of small(est) and/or simple(st) machines in the con- text of actual engineering practices. This paper looks into this early history of research on small symbolic and physical machines and tie it to this older tradi- tion of logical minimalism. Focus will be on how the transition and translation of symbolic machines into real computers integrates minimalist philosophies as parts of more complex computer design strategies. This contextualizes Turing's machines at the turn from logic to machines.&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%">The Sceptic's Tools: Circularity and Infinite Regress</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophical Papers</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%">3</style></number><volume><style face="normal" font="default" size="100%">40</style></volume><pages><style face="normal" font="default" size="100%">359–369</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Important sceptical arguments by Sextus Empiricus, David Hume and Paul Boghossian (concerning disputes, induction, and relativism respectively) are based on circularities and infinite regresses. Yet, philosophers' practice does not keep circularities and infinite regresses clearly apart. In this metaphilosophical paper I show how circularity and infinite regress arguments can be made explicit, and shed light on two powerful tools of the sceptic.&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%">Verdée, Peter</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Goebel, R</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Strong paraconsistency by separating composition and decomposition in classical logic</style></title><secondary-title><style face="normal" font="default" size="100%">WoLLIC 2011 Proceedings LNAI Series</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-642-20920-8\_26</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><isbn><style face="normal" font="default" size="100%">364220919X</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper I elaborate a proof system that is able to prove all classical first order logic consequences of consistent premise sets, without proving trivial consequences of inconsistent premises (as in A, ¬A\,\unmatched{22a2}\,B). Essentially this result is obtained by formally distinguishing consequences that are the result of merely decomposing the premises into their subformulas from consequences that may be the result of also composing ‘new’, more complex formulas. I require that, whenever ‘new’ formulas are derived, they are to be preceded by a special +-symbol and these +-preceded formulas are not to be decomposed. By doing this, the proofs are separated into a decomposition phase followed by a composition phase. The proofs are recursive, axiomatizable and, as they do not trivialize inconsistent premise sets, they define a very strong non-transitive paraconsistent logic, for which I also provide an adequate semantics.&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 Eck, Dingmar</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Supporting design knowledge exchange by converting models of functional decomposition</style></title><secondary-title><style face="normal" font="default" size="100%">JOURNAL OF ENGINEERING DESIGN</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1080/09544828.2011.603692</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">11-12</style></number><volume><style face="normal" font="default" size="100%">22</style></volume><pages><style face="normal" font="default" size="100%">839–858</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%">Bullynck, Maarten</style></author><author><style face="normal" font="default" size="100%">De Mol, Liesbeth</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Beckmann, Arnold</style></author><author><style face="normal" font="default" size="100%">Dimitracopoulos, Costas</style></author><author><style face="normal" font="default" size="100%">Löwe, Benedikt</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Setting-up early computer programs: D. H. Lehmer's ENIAC computation</style></title><secondary-title><style face="normal" font="default" size="100%">Archive for Mathematical Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/s00153-009-0169-8</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">49</style></volume><pages><style face="normal" font="default" size="100%">123–146</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;A complete reconstruction of Lehmer's ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations).&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%">Solvability of the halting and reachability problem for binary 2-tag systems</style></title><secondary-title><style face="normal" font="default" size="100%">Fundamenta Informaticae</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%">4</style></number><volume><style face="normal" font="default" size="100%">99</style></volume><pages><style face="normal" font="default" size="100%">435–471</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 report we will provide a detailed proof of the solvability of the halting and reachability problem for 2-symbolic tag systems with a shiftnumber &lt;em&gt;v&lt;/em&gt; = 2.&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 Langhe, Rogier</style></author><author><style face="normal" font="default" size="100%">Greiff, Matthias</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Standards and the distribution of cognitive labour: A model of the dynamics of scientific activity</style></title><secondary-title><style face="normal" font="default" size="100%">Logic Journal of the IGPL</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.1093/jigpal/jzp058</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">18</style></volume><pages><style face="normal" font="default" size="100%">278–294</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%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The Status of Hypothesis and Theory</style></title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Francis Bacon</style></keyword><keyword><style  face="normal" font="default" size="100%">history of natural-philosophical methodology</style></keyword><keyword><style  face="normal" font="default" size="100%">Hypothesis</style></keyword><keyword><style  face="normal" font="default" size="100%">Isaac Newton.</style></keyword><keyword><style  face="normal" font="default" size="100%">John Locke</style></keyword><keyword><style  face="normal" font="default" size="100%">Robert Boyle</style></keyword><keyword><style  face="normal" font="default" size="100%">Robert Hooke</style></keyword><keyword><style  face="normal" font="default" size="100%">speculative versus experimental seventeenth-century natural philosophy</style></keyword><keyword><style  face="normal" font="default" size="100%">theory</style></keyword></keywords><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://philsci-archive.pitt.edu/5074/</style></url></web-urls></urls><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Nowadays, it is a truism that hypotheses and theories play an essential role in scientific practice. This, however, was far from an obvious given in seventeenth-century British natural philosophy. Different natural philosophers had different views on the role and status of hypotheses and theories, ranging from fierce promotion to bold rejection, and to both they ascribed varying meanings and connotations. The guiding idea of this chapter is that, in seventeenth-century British natural philosophy, the terms ?hypothesis???hypothetical? and ?theory???theoretical? were imbedded in a semantic network of interconnected epistemological and methodological notions ? such as ?knowledge?, ?method?, ?probability?, ?certainty?, ?induction?, ?deduction?, ?experimental philosophy?, ?speculative philosophy?, and the like). As these semantic networks changed overtime, the meaning and significance of ?hypothesis? and ?theory? likewise shifted. Without pretence of completeness, this chapter highlights chronologically some of the defining moments in the semantic transformation of these two terms within the context of seventeenth-century natural philosophy.&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%">Magnani, Lorenzo</style></author><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Pizzi, Claudio</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The symbolic model for algebra: functions and mechanisms</style></title><secondary-title><style face="normal" font="default" size="100%">Model-Based Reasoning in Science and Technology</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-642-15223-8\_29</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><volume><style face="normal" font="default" size="100%">314</style></volume><pages><style face="normal" font="default" size="100%">519–532</style></pages><isbn><style face="normal" font="default" size="100%">9783642152221</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The symbolic mode of reasoning in algebra, as it emerged during the sixteenth century, can be considered as a form of model-based reasoning. In this paper we will discuss the functions and mechanisms of this model and show how the model relates to its arithmetical basis. We will argue that the symbolic model was made possible by the epistemic justification of the basic operations of algebra as practiced within the abbaco tradition. We will also show that this form of model-based reasoning facilitated the expansion of the number concept from Renaissance interpretations of number to the full notion of algebraic numbers.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>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%">Slingshot arguments: two versions</style></title><secondary-title><style face="normal" font="default" size="100%">The Reasoner</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">3</style></volume><pages><style face="normal" font="default" size="100%">4–5</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%">Provijn, Dagmar</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Coniglio, Marcelo E.</style></author><author><style face="normal" font="default" size="100%">Loffredo D'Ottaviano, Itala M.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Strategies: what's in a name?</style></title><secondary-title><style face="normal" font="default" size="100%">The Many Sides of Logic</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Studies in Logic</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">College Publications</style></publisher><volume><style face="normal" font="default" size="100%">21</style></volume><pages><style face="normal" font="default" size="100%">287–306</style></pages><isbn><style face="normal" font="default" size="100%">9781904987789</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper, I will show that Hintikkas notion of strategy can refer to proof-heuristic reasoning as well as to methodological reasoning forms. Stating this distinction allows for a better understanding of the notion and for an easier way to tackle the problem of formalization. Contrary to Hintikkas opinion, heuristic reasoning can be implemented in formal proofs by means of goal-directed proof procedures. Methodological reasoning forms on the other hand can be formally represented by means of adaptive logics.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Dessein, Bart</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">'Since heaven has not yet destroyed this culture, what can the men of Kuang do to me?': cosmological confucianism and the development of science</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%">2008</style></year></dates><volume><style face="normal" font="default" size="100%">82</style></volume><pages><style face="normal" font="default" size="100%">27–53</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%">Some Worries for J.D. Nortons Material Theory of Induction</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophia Naturalis</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">45</style></volume><pages><style face="normal" font="default" size="100%">37 - 46</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, I take the role as friendly commentator and call attention to three potential worries for John D. Nortons material theory of induction (Norton, 2003). I attempt to show (1) that his principle argument is based on a false dichotomy, (2) that the idea that facts ultimately derive their license from matters of fact is debatable, and (3) that one of the core implications of his theory is untenable for historical and fundamental reasons.&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%">Social mechanisms, causal inference, and the policy relevance of social science</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophy of the Social Sciences</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">37</style></volume><pages><style face="normal" font="default" size="100%">348–359</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The paper has two aims. First, to show that we need social mechanisms to establish the policy relevance of causal claims, even if it is possible to build a good argument for those claims without knowledge of mechanisms. Second, to show that although social scientists can, in principle, do without social mechanisms when they argue for causal claims, in reality scientific practice contexts where they do not need mechanisms are very rare.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Christiaens, Wim</style></author><author><style face="normal" font="default" size="100%">Czachor, Marek</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Aerts, Diederik</style></author><author><style face="normal" font="default" size="100%">Durt, Thomas</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Some notes on Aerts' interpretation of the EPR-paradox and the violation of Bell-inequalities</style></title><secondary-title><style face="normal" font="default" size="100%">Probing the Structure of Quantum Mechanics: Nonlinearity, Nonlocality, Probability and Axiomatics</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><publisher><style face="normal" font="default" size="100%">World Scientific</style></publisher><pages><style face="normal" font="default" size="100%">250–286</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Mol, Liesbeth</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Durand Lose, J</style></author><author><style face="normal" font="default" size="100%">Margenstern, M</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Study of limits of solvability in tag systems</style></title><secondary-title><style face="normal" font="default" size="100%">Lecture Notes in Computer Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><isbn><style face="normal" font="default" size="100%">978-3-540-74592-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;In this paper we will give an outline of the proof of the solvability of the halting and reachability problem for 2-symbolic tag systems with a deletion number v = 2. This result will be situated in a more general context of research on limits of solvability in 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%">Leuridan, Bert</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Supervenience: Its logic and its inferential role in classical genetics</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%">2007</style></year></dates><number><style face="normal" font="default" size="100%">198</style></number><volume><style face="normal" font="default" size="100%">50</style></volume><pages><style face="normal" font="default" size="100%">147–171</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Supervenience is mostly conceived of as a purely philosophical concept. Nevertheless, I will argue, it played an important and very fruitful inferential role in classical genetics. Gregor Mendel assumed that phenotypic traits supervene on underlying factors, and this assumption allowed him to successfully predict and explain the phenotypical regularities he had experimentally discovered. Therefore it is interesting to explicate how we reason about supervenience relations. I will tackle the following two questions. Firstly, can a reliable method (a logic) be found for inferring supervenience claims from data? Secondly, can a reliable method (a logic) be found to empirically test supervenience claims? I will answer these questions within the framework of the adaptive logics programme.&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%">Some non-standard interpretations of the axiomatic basis of Leś niewskis Ontology</style></title><secondary-title><style face="normal" font="default" size="100%">The Australasian Journal of Logic</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%">4</style></volume><pages><style face="normal" font="default" size="100%">13–46</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 propose an intuitive understanding of the statement: an ax-iom (or: an axiomatic basis) determines the meaning of the only specific constant occurring in it. We introduce some basic semantics for functors of the category &lt;sup&gt;s&lt;/sup&gt;⁄&lt;sub&gt;n,n&lt;/sub&gt; of Le´sniewskis Ontology. Using these results weprove that the popular claim that the axioms of Ontology determine themeaning of the primitive constants is false.&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%">Secularizerende Tendenzen in Isaac Newtons Onto-theologie</style></title><secondary-title><style face="normal" font="default" size="100%">Algemeen Nederlands Tijdschrift voor Wijsbegeerte</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">98</style></volume><pages><style face="normal" font="default" size="100%">18–33</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Vanackere, Guido</style></author><author><style face="normal" font="default" size="100%">Wisniewski, Andzrej</style></author><author><style face="normal" font="default" size="100%">Leszczynska, Dorota</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Socratic proofs and paraconsistency: a case study</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%">2005</style></year></dates><number><style face="normal" font="default" size="100%">2-3</style></number><volume><style face="normal" font="default" size="100%">80</style></volume><pages><style face="normal" font="default" size="100%">431–466</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 develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Fv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.&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%">Study of fractals derived from IFS-fractals by metric procedures</style></title><secondary-title><style face="normal" font="default" size="100%">Fractals. Complex Geometry, Patterns, and Scaling in Nature and Society</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.worldscientific.com/doi/abs/10.1142/S0218348X05002878</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">13</style></volume><pages><style face="normal" font="default" size="100%">237–244</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-known fact that when visualizing an IFS-attractor through the chaos game, it is possible that the first points mapped will come closer to but stay visibly different from the attractor. This simple fact will be analyzed in more detail, through visualizations of different aspects of this convergence process. It will be shown that, in applying on every point in a 2D-plane the same sequence of mappings and coloring each point according to convergence distance, neighboring points form structures which resemble the attractor itself. Further, it is in this way possible to generate boundaries of the attractor that vary between small and coarse-grained. Using these results, it will be shown that it is possible to, starting with an IFS-attractor, construct fractals of which this IFS-attractor is a subset.&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 Clercq, Kristof</style></author><author><style face="normal" font="default" size="100%">Verhoeven, Liza</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Sieving Out Relevant and Efficient Questions</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%">2004</style></year></dates><number><style face="normal" font="default" size="100%">185–188</style></number><volume><style face="normal" font="default" size="100%">47</style></volume><pages><style face="normal" font="default" size="100%">189–216</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Wisniewksis erotetic logic provides us with two slightly different semantic explications of the intuitive concept of a question arises from a set of declarative premises. Unfortunately, Wisniewskis erotetic concepts suffer from the drawback that they allow for the raising of irrelevant and inefficient questions. The aim of this paper is to show that raising such questions can be avoided by changing the underlying logic. Several closely related logical approaches which enable us to eliminate irrelevant and inefficient questions, are presented.&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%">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%">Searching for Singular Causal Explanations: a formal analysis</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></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%">Meheus, Joke</style></author><author><style face="normal" font="default" size="100%">Provijn, Dagmar</style></author><author><style face="normal" font="default" size="100%">Verhoeven, Liza</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Some Adaptive Logics for Diagnosis</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%">39–65</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 logic of diagnosis proceeds in terms of a set of premises and one or more (prioritized) sets of expectancies. In this paper we generalize the logics of diagnosis from \cite{EDa:diag} and present some alternatives. The former operate on the premises and expectancies themselves, the latter on their consequences.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A Strengthening of the Rescher–Manor Consequence Relations</style></title><secondary-title><style face="normal" font="default" size="100%">Logique et Analyse</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><number><style face="normal" font="default" size="100%">183–184</style></number><volume><style face="normal" font="default" size="100%">46</style></volume><pages><style face="normal" font="default" size="100%">289–313</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 flat Rescher–Manor consequence relations–-the Free, Strong, Weak, C-Based, and Argued consequence relation–-are defined in terms of the classical consequences of the maximal consistent subsets of (possibly) inconsistent sets of premises. If the premises are inconsistent, the Free, Strong and C-Based consequence sets are consistent and the Argued consequence set avoids explicit inconsistencies (such as &lt;em&gt;A&lt;/em&gt; and &amp;nbsp;&lt;em&gt;A&lt;/em&gt;).&lt;br /&gt;&lt;br /&gt; The five consequence relations may be applied to discussive situations as intended by Jaskowski–-the comparison with Jaskowski's &lt;strong&gt;D2&lt;/strong&gt; is instructive. The method followed by Joke Meheus to extend &lt;strong&gt;D2&lt;/strong&gt; to an adaptive logic, may also be applied to the Rescher–Manor consequence relations. It leads to an extension of the Free, Strong, Weak, and C-Based consequence relations. The extended consequence sets are consistent and closed under Classical Logic. Applying the method to the Argued consequence relation leads to a different consequence relation, not an extension. Neither the Argued consequence relation nor its extension appear very interesting in the present application context.&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%">Some Computational Aspects of Inconsistency-Adaptive logics</style></title><secondary-title><style face="normal" font="default" size="100%">CLE e-Prints</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><number><style face="normal" font="default" size="100%">7</style></number><volume><style face="normal" font="default" size="100%">2</style></volume><pages><style face="normal" font="default" size="100%">15 pp.</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper concerns a goal directed proof procedure for the propo- sitional fragment of the adaptive logic ACLuN1. The procedure forms an algorithm for final derivability and may easily be generalized for the propositional fragment of all at adaptive logics. The aim is to articulate a procedure that, if extended to the predicative level, provides criteria for final derivability.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Carnielli, Walter A.</style></author><author><style face="normal" font="default" size="100%">Coniglio, Marcelo E.</style></author><author><style face="normal" font="default" size="100%">Loffredo D'Ottaviano, Itala M.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On some Remarkable Relations between Paraconsistent Logics, Modal Logics, and Ambiguity Logics</style></title><secondary-title><style face="normal" font="default" size="100%">Paraconsistency. The Logical Way to the Inconsistent</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><publisher><style face="normal" font="default" size="100%">Marcel Dekker</style></publisher><pub-location><style face="normal" font="default" size="100%">New York</style></pub-location><pages><style face="normal" font="default" size="100%">275–293</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper concerns some connections between paraconsistent logics, modal logics (mainly &lt;strong&gt;S5&lt;/strong&gt;), and Ambiguity Logic &lt;strong&gt;AL&lt;/strong&gt; (Classical Logic applied to a language in which all letters are indexed and in which quantifiers over such indices are present). &lt;strong&gt;S5&lt;/strong&gt; may be defined from &lt;strong&gt;AL&lt;/strong&gt;.&lt;br /&gt;&lt;br /&gt; Three kinds of connections are illustrated. First, a paraconsistent logic &lt;strong&gt;A&lt;/strong&gt; is presented that has the same expressive power as &lt;strong&gt;S5&lt;/strong&gt;. Next, I consider the definition of paraconsistent logics from &lt;strong&gt;S5&lt;/strong&gt; and &lt;strong&gt;AL&lt;/strong&gt;. Such definition is shown to work for some logics, for example Priest's &lt;strong&gt;LP&lt;/strong&gt;. Other paraconsistent logics appear to withstand such definition, typically those that contain a detachable material implication. Finally, I show that some paraconsistent logics and inconsistency-adaptive logics serve exactly the same purpose as some modal logics and ampliative adaptive logics based on &lt;strong&gt;S5&lt;/strong&gt;. However, they serve this purpose along very different roads and the logics cannot be defined from one another.&lt;br /&gt;&lt;br /&gt; The paper intends to open lines of research rather than pursuing them to the end. It also contains a poor person's semantics for &lt;strong&gt;S5&lt;/strong&gt; as well as a description of the simple but useful and powerful &lt;strong&gt;AL&lt;/strong&gt;.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bouwel, Jeroen</style></author><author><style face="normal" font="default" size="100%">Verdonck, Barbara</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Devos, Rob</style></author><author><style face="normal" font="default" size="100%">Braeckman, Antoon</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Subject ingebed? Over het methodologisch individualisme in de sociale wetenschappen.</style></title><secondary-title><style face="normal" font="default" size="100%">De terugkeer van het subject? Recente Ontwikkelingen binnen de filosofie</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%">Universitaire Pers</style></publisher><pages><style face="normal" font="default" size="100%">169–179</style></pages><isbn><style face="normal" font="default" size="100%">90-5867-237-9</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%">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%">Symposium on Explanation and Social Ontology 3: Can We Dispense with Structural Explanations of Social Facts?</style></title><secondary-title><style face="normal" font="default" size="100%">Economics and Philosophy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2002</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">18</style></volume><pages><style face="normal" font="default" size="100%">259–275</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Some social scientists and philosophers (e.g., James Coleman and Jon Elster) claim that all social facts are best explained by means of a micro-explanation. They defend a micro-reductionism in the social sciences: to explain is to provide a mechanism on the individual level. The first aim of this paper is to challenge this view and defend the view that it has to be substituted for an explanatory pluralism with two components: (1) structural explanations of P-, O- and T-contrasts between social facts are more efficient than the competing micro-explanations; and (2) whether a plain social fact (as opposed to a contrast) is best explained in a micro-explanation or a structural explanation depends on the explanatory interest. The second aim of the paper is to show how this explanatory pluralism is compatible with ontological individualism. This paper is motivated by our conviction that explanatory pluralism as defended by Frank Jackson and Philip Pettit is on the right track, but must be further elaborated. We want to supplement their contribution, by (1) introducing the difference between explanations of facts and explanations of contrasts; (2) giving examples from the social sciences, instead of mainly from the natural sciences or common sense knowledge; and (3) emphasizing the pragmatic relevance of explanations on different levels social, psychological, biological, etc.  which is insufficiently done by Jackson and Pettit.&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 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>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%">Meheus, Joke</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Shortcuts and Dynamic Marking in the Tableau Method for Adaptive logics</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%">2001</style></year></dates><volume><style face="normal" font="default" size="100%">69</style></volume><pages><style face="normal" font="default" size="100%">221–248</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Adaptive logics typically pertain to reasoning procedures for which there is no positive test. In \cite{DJ:tabl1}, we presented a tableau method for two inconsistency-adaptive logics. In the present paper, we first describe these methods (without repeating the meta-theoretic proofs). Next, we present several ways to increase the efficiency of the methods. This culminates in a dynamic marking procedure that indicates which branches have to be extended first, and thus guides one towards a decision–-the conclusion follows or does not follow–-in a very economical way.&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%">Batens, Diderik</style></author><author><style face="normal" font="default" size="100%">Mortensen, Chris</style></author><author><style face="normal" font="default" size="100%">Priest, Graham</style></author><author><style face="normal" font="default" size="100%">Van Bendegem, Jean Paul</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Survey of Inconsistency-Adaptive Logics</style></title><secondary-title><style face="normal" font="default" size="100%">Frontiers of Paraconsistent Logic</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%">Research Studies Press</style></publisher><pub-location><style face="normal" font="default" size="100%">Baldock, UK</style></pub-location><pages><style face="normal" font="default" size="100%">49–73</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 offers a systematic review of some central philosophical and technical results on adaptive logics. Quite a few of the results are still in print or forthcoming.&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%">Scientific revolutions, rationality and creativity</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%">109–128</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Van Bendegem, Jean Paul</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Schoonheid in de wiskunde: Birkhoff Revisited</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%">1998</style></year></dates><volume><style face="normal" font="default" size="100%">60</style></volume><pages><style face="normal" font="default" size="100%">106–130</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Everyone is familiar with the measure of beauty that has been proposed by Birkhoff, the famous formula M = O/C. Although I show that the formula in its original form cannot be maintained, I present a reinterpretation that adapts the formula for measuring the beauty of mathematical proofs. However, this type of measure is not the only aesthetic element in mathematics. There exists a 'romantic' side as well, to use the term introduced by François Le Lionnais. Thus, a more complex proposal of mathematical beauty is presented. Finally and as a consequence, I argue against the dichotomy that associates science, including mathematics, with the beauty of simplicity and that associates the arts with the beauty of complexity. As an example, the work of Oulipo, Raymond Queneau in particular, is briefly presented.&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%">Sintonen, M</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Scientific explanation and the interrogative model of inquiry</style></title><secondary-title><style face="normal" font="default" size="100%">Knowledge and inquiry : essays on Jaakko Hintikka's epistemology and philosophy of science</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Poznan Studies</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">1997</style></year></dates><publisher><style face="normal" font="default" size="100%">Rodopi</style></publisher><volume><style face="normal" font="default" size="100%">51</style></volume><pages><style face="normal" font="default" size="100%">239–259</style></pages><isbn><style face="normal" font="default" size="100%">9789042000803</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%">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>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%">Some problems for Kitcher's unification account of explanation</style></title><secondary-title><style face="normal" font="default" size="100%">Communication &amp; Cognition : Monographies</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1996</style></year></dates><volume><style face="normal" font="default" size="100%">29</style></volume><pages><style face="normal" font="default" size="100%">441–456</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%">Meheus, Joke</style></author><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Steering Problem Solving Between Cliff Incoherence and Cliff Solitude</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%">1996</style></year></dates><volume><style face="normal" font="default" size="100%">58</style></volume><pages><style face="normal" font="default" size="100%">153–187</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Starting from Nickles' constraint-inclusion model, we present five challenges that any rational problem solving model should meet, but that seem to lead to an inextricable riddle. We then introduce the contextual model and show, step by step, that it meets all the challenges and resolves the riddle. This results in a strong argument for the concept of rationality that underlies the model.&lt;/p&gt;</style></abstract><notes><style face="normal" font="default" size="100%">Appeared 1998</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 strange case of the missing body of mathematics</style></title><secondary-title><style face="normal" font="default" size="100%">Semiotica</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-4</style></number><volume><style face="normal" font="default" size="100%">112</style></volume><pages><style face="normal" font="default" size="100%">403–413</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;La notion d'infini est analysée en comparant les mathématiques et la théologie car les mathématiciens ont pendant longtemps perçu une relation entre la notion infinie mathématique et la notion d'infinité de Dieu&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 Bendegem, Jean Paul</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Strict finitism as a viable alternative in the foundations of mathematics</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%">1996</style></year></dates><number><style face="normal" font="default" size="100%">145</style></number><volume><style face="normal" font="default" size="100%">37</style></volume><pages><style face="normal" font="default" size="100%">23–40</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Van Eemeren, F. H.</style></author><author><style face="normal" font="default" size="100%">Grootendorst, R.</style></author><author><style face="normal" font="default" size="100%">Blair, J.</style></author><author><style face="normal" font="default" size="100%">Willart, C.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Scientific Arguments and Scientific Prediction.</style></title><secondary-title><style face="normal" font="default" size="100%">Special Fields and Cases. Proceedings on the Third ISSA Conference on Argumentation</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1995</style></year></dates><publisher><style face="normal" font="default" size="100%">SicSat</style></publisher><volume><style face="normal" font="default" size="100%">IV</style></volume><pages><style face="normal" font="default" size="100%">377-387</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%">Socialisatie, sociale controle en sociologische verklaringen van menselijke handelingen.</style></title><secondary-title><style face="normal" font="default" size="100%">TIJDSCHRIFT VOOR SOCIALE WETENSCHAPPEN</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1994</style></year></dates><volume><style face="normal" font="default" size="100%">38</style></volume><pages><style face="normal" font="default" size="100%">61–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>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%">Scientific Explanation</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%">1992</style></year></dates><volume><style face="normal" font="default" size="100%">49</style></volume><pages><style face="normal" font="default" size="100%">148–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>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%">Scientific explanation, necessity and contingency</style></title><secondary-title><style face="normal" font="default" size="100%">PHILOSOPHICA (GENT)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1989</style></year></dates><volume><style face="normal" font="default" size="100%">44</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>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Vandamme, Fernand</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">The structure of our knowledge system</style></title><secondary-title><style face="normal" font="default" size="100%">Communication and Cognition. Applied Epistemology</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%">Communication and Cognition</style></publisher><pages><style face="normal" font="default" size="100%">101</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%">Apostel, Leo</style></author><author><style face="normal" font="default" size="100%">Sabbe, Herman</style></author><author><style face="normal" font="default" size="100%">Vandamme, Fernand</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Some remarks on the structural similarity between music and logic</style></title><secondary-title><style face="normal" font="default" size="100%">Reason, Emotion and Music. Towards a Common Structure for Arts, Sciences and Philosophies, Based on a Conceptual Framework for the Description of Music</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%">Communication &amp; Cognition</style></publisher><pages><style face="normal" font="default" size="100%">127–143</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><notes><style face="normal" font="default" size="100%">&lt;p&gt;Reprint of \cite{D:rssm&amp;amp;lcc}&lt;/p&gt;</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Some remarks on the structural similarity between music and logic</style></title><secondary-title><style face="normal" font="default" size="100%">Communication and Cognition</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%">Communication &amp; Cognition</style></publisher><volume><style face="normal" font="default" size="100%">19</style></volume><pages><style face="normal" font="default" size="100%">135–151</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><notes><style face="normal" font="default" size="100%">Reprint of \cite{D:rssm&amp;lcc}</style></notes></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Static and dynamic paraconsistent logics and their use in expert systems</style></title><secondary-title><style face="normal" font="default" size="100%">CC-AI</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1986</style></year></dates><volume><style face="normal" font="default" size="100%">3</style></volume><pages><style face="normal" font="default" size="100%">33–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%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Some contributions to the logic of action</style></title><secondary-title><style face="normal" font="default" size="100%">Communication and Cognition</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1976</style></year></dates><volume><style face="normal" font="default" size="100%">9</style></volume><pages><style face="normal" font="default" size="100%">347–376</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%">Some remarks on the relations between science and values</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%">1976</style></year></dates><volume><style face="normal" font="default" size="100%">17</style></volume><pages><style face="normal" font="default" size="100%">13–46</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>6</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Batens, Diderik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Studies in the Logic of Induction and in the Logic of Explanation. Containing a New Theory of Meaning Relations</style></title><secondary-title><style face="normal" font="default" size="100%">Werken uitgegeven door de Faculteit van de Letteren en Wijsbegeerte, Rijksuniversiteit Gent</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1975</style></year></dates><publisher><style face="normal" font="default" size="100%">De Tempel</style></publisher><pub-location><style face="normal" font="default" size="100%">Brugge</style></pub-location><volume><style face="normal" font="default" size="100%">161</style></volume><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%">Some objections to Keith Lehrer's rule IR</style></title><secondary-title><style face="normal" font="default" size="100%">The British Journal for the Philosophy of Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1971</style></year></dates><volume><style face="normal" font="default" size="100%">22</style></volume><pages><style face="normal" font="default" size="100%">357–362</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%">Some proposals for the solution of the Carnap-Popper discussion on `inductive logic'</style></title><secondary-title><style face="normal" font="default" size="100%">Studia Philosophica Gandensia</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1968</style></year></dates><volume><style face="normal" font="default" size="100%">6</style></volume><pages><style face="normal" font="default" size="100%">5–25</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>