<?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%">Pawlowski, Pawel</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Non-deterministic logic of informal provability has no finite characterization</style></title></titles><dates><year><style  face="normal" font="default" size="100%">Submitted</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>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%">Beirlaen, Mathieu</style></author><author><style face="normal" font="default" size="100%">Van De Putte, Frederik</style></author><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Non-Adjunctive Deontic Logics That Validate Aggregation as Much as Possible</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Applied Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">In Press</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Verdée, Peter</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%">Nice Embedding in Classical Logic</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%">2016</style></year></dates><pages><style face="normal" font="default" size="100%">47-78</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 shown that a set of semi-recursive logics, including many fragments of &lt;strong&gt;CL&lt;/strong&gt; (Classical Logic), can be embedded within &lt;strong&gt;CL&lt;/strong&gt; in an interesting way. A logic belongs&lt;br /&gt;to the set iff it has a certain type of semantics, called nice semantics. The set includes&lt;br /&gt;many logics presented in the literature. The embedding reveals structural properties of the embedded logic. The embedding turns finite premise sets into finite premise sets. The partial decision methods for &lt;strong&gt;CL&lt;/strong&gt; that are goal directed with respect to &lt;strong&gt;CL&lt;/strong&gt; are turned into partial decision methods that are goal directed with respect to the embedded 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%">De Bal, Inge</style></author><author><style face="normal" font="default" size="100%">Verdée, Peter</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A new approach to classical relevance.</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%">2015</style></year></dates><volume><style face="normal" font="default" size="100%">82</style></volume><pages><style face="normal" font="default" size="100%">1–31</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;n this paper we present a logic that determines when implications in a classical logic context express a relevant connection between antecedent and consequent. In contrast with logics in the relevance logic literature, we leave classical negation intact - in the sense that the law of non-contradiction can be used to obtain relevantly implications, as long as there is a connection between antecedent and consequent. On the other hand, we give up the requirement that our theory of relevance can define a new standard of deduction. We present and argue for a list of requirements that such a logical theory of classical relevance needs to meet and go on to formulate a system that respects each of these requirements. The presented system is a monotonic and transitive logic that extends the relevance logic ℜ with a richer relevant implication that allows for Disjunctive Syllogism and similar rules. This is achieved by interpreting the logical symbols in the antecedents in a stronger way than the logical symbols in consequents. A proof theory and an algebraic semantics are formulated and interesting metatheorems (soundness, completeness and the fact that it satisfies the requirements for classical relevance) are proven. Finally we give a philosophical motivation for our non-standard relevant implication and the asymmetric interpretation of antecedents and consequents.&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></authors></contributors><titles><title><style face="normal" font="default" size="100%">Non-cognitive values and objectivity in scientific explanation: the case of the Movius line</style></title><secondary-title><style face="normal" font="default" size="100%">PERSPECTIVES ON SCIENCE</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%">21</style></volume><pages><style face="normal" font="default" size="100%">429–452</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 it is now widely accepted that in science, non-cognitive values play a role, it is still debated whether this has implications for its objectivity. It seems that the task of philosophers here is twofold: to flesh out what kinds of non-cognitive values play what kinds of roles, and to evaluate the implications for objectivity. I attempt to contribute to both tasks by introducing the value of egalitarianism, and showing how this non-cognitive value shapes three alternative explanations of the Movius Line. It is argued that although these explanations are motivated by egalitarianism, they are nevertheless objective.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Beirlaen, Mathieu</style></author><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Non-monotonic reasoning with normative conflicts in multi-agent deontic logic</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Logic and Computation</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><number><style face="normal" font="default" size="100%">6</style></number><volume><style face="normal" font="default" size="100%">24</style></volume><pages><style face="normal" font="default" size="100%">1179–1207</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 present two multi-agent deontic logics that consistently accommodate various types of normative conflicts. Its language features modal operators for obligation and permission, and for the realization of individual and collective actions. The logic is non-classical since it makes use of a paraconsistent and paracomplete negation connective. Moreover, it is non-monotonic due to its definition within the adaptive logics framework for defeasible reasoning. The logic is equipped with a defeasible proof theory and 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%">Verdée, Peter</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Non-monotonic set theory as a pragmatic foundation of mathematics</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%">2013</style></year></dates><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">18</style></volume><pages><style face="normal" font="default" size="100%">655–680</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper I propose a new approach to the foundation of mathematics: non-monotonic set theory. I present two completely different methods to develop set theories based on adaptive logics. For both theories there is a finitistic non-triviality proof and both theories contain (a subtle version of) the comprehension axiom schema. The first theory contains only a maximal selection of instances of the comprehension schema that do not lead to inconsistencies. The second allows for all the instances, also the inconsistent ones, but restricts the conclusions one can draw from them in order to avoid triviality. The theories have enough expressive power to form a justification/explication for most of the established results of classical mathematics. They are therefore not limited by Gödels incompleteness theorems. This remarkable result is possible because of the non-recursive character of the final proofs of theorems of non-monotonic theories. I shall argue that, precisely because of the computational complexity of these final proofs, we cannot claim that non-monotonic theories are ideal foundations for mathematics. Nevertheless, thanks to their strength, first order language and the recursive &lt;em&gt;dynamic&lt;/em&gt; (defeasible) proofs of theorems of the theory, the non-monotonic theories form (what I call) interesting &lt;em&gt;pragmatic&lt;/em&gt; foundations.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Straßer, Christian</style></author><author><style face="normal" font="default" size="100%">Beirlaen, Mathieu</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Agotnes, Thomas</style></author><author><style face="normal" font="default" size="100%">Broersen, Jan</style></author><author><style face="normal" font="default" size="100%">Elgesem, Dag</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">An Andersonian deontic logic with contextualized sanctions</style></title><secondary-title><style face="normal" font="default" size="100%">11th International Conference on Deontic Logic in Computer Science, DEON2012</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pages><style face="normal" font="default" size="100%">151-169</style></pages><isbn><style face="normal" font="default" size="100%">9783642315695</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We present a refinement of Anderson's reduction of deontic logic to modal logic with only alethic modalities. The refined proposal contextualizes the Andersonian sanction constant s by replacing it with a unary sanction operator S that is dependent on the concrete normative requirement that is violated. A formula S B is then for instance interpreted as ldquo B causes a sanctionrdquo or as ldquo B provides a reason for (the applicability of) a sanctionrdquo. Due to its modified sanction operator, the resulting logic DSL invalidates some instances of the inheritance principle. This gives rise to new interesting features. For instance, DSL consistently allows for the presence of conflicting obligations. Moreover, it provides novel insights in various central `paradoxes' in deontic logic such as the Ross paradox, the paradox of the good Samaritan, and Forrester's `gentle murderer' paradox.&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%">Numbers and propositions versus nominalists: yellow cards for Salmon &amp; Soames</style></title><secondary-title><style face="normal" font="default" size="100%">ERKENNTNIS</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">77</style></volume><pages><style face="normal" font="default" size="100%">381–397</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Salmon and Soames argue against nominalism about numbers and sentence types. They employ (respectively) higher-order and first-order logic to model certain natural language inferences and claim that the natural language conclusions carry commitment to abstract objects, partially because their renderings in those formal systems seem to do that. I argue that this strategy fails because the nominalist can accept those natural language consequences, provide them with plausible and non-committing truth conditions and account for the inferences made without committing themselves to abstract objects. I sketch a modal account of higher-order quantification, on which instead of ranging over sets, higher order quantifiers are used to make (logical) possibility claims about which predicate tokens can be introduced. This approach provides an alternative account of truth conditions for natural language sentences which seem to employ higher-order quantification, thus allowing the nominalist to evade Salmon's argument. I also show how the nominalist can account for the occurrence of apparently singular abstract terms in certain true statements. I argue that the nominalist can achieve this by, first, dividing singular terms into real singular terms (referring to concrete objects) and only apparent singular terms (called onomatoids), introduced for the sake of brevity and simplicity, and then providing an account of nominalistically acceptable truth conditions of sentences containing onomatoids. I develop such an account in terms of modally interpreted abstraction principles and argue that applying this strategy to Soames's argument allows the nominalists to defend themselves. One would hope and perhaps conjecture that the whole general set theory, however beautiful it is, will in the future disappear. With the higher types Platonism begins. The tendencies of Chwistek and others ('Nominalism') of speaking only of what can be named are healthy. [Alfred Tarski](1)&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%">Primiero, Giuseppe</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Allo, Patrick</style></author><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On the necessity of (sometimes) being synthetic. Comment on Poggiolesi.</style></title><secondary-title><style face="normal" font="default" size="100%">Third Workshop in the Philosophy of Information</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><publisher><style face="normal" font="default" size="100%">Koninklijke Vlaamse Academie van België</style></publisher><pub-location><style face="normal" font="default" size="100%">Brussels</style></pub-location><pages><style face="normal" font="default" size="100%">63-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%">De Saeger, David</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%">Needham's grand question revisited: on the meaning and justification of causal claims in the history of Chinese science</style></title><secondary-title><style face="normal" font="default" size="100%">East Asian Science, Technology and Medicine</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><volume><style face="normal" font="default" size="100%">33</style></volume><pages><style face="normal" font="default" size="100%">13–32</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 Needham Question (i.e. the question why modern science has not developed in Chinese civilization but only in Europe) has drawn a substantial amount of criticism. Despite its apparent innocuousness, influential sinologists have written devastating critiques of it. These criticisms fall into two main categories. The first denies the validity of the central concepts by means of which the question is formulated (e.g. 'science or 'civilization). The second calls into question (1) the legitimacy of asking for explanations of absences (i.e. of events that did not occur), (2) the legitimacy of citing absences as explanations (i.e. citing negative facts in explanations), and (3) whether the Needham question can be answered, even if asking for explanations of absences and citing absences as explanations are both legitimate. In this article, we take into account the former criticism, in order to arrive at a new starting point: dividing the Needham Problem into its various sub-questions. We then tackle the latter criticism by calling upon the contemporary philosophy of causation. We will argue that, according to certain theories of causation, the subquestions under discussion can be answered, and we will clarify how they can be argued for.&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%">Neologicist nominalism</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%">2010</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">96</style></volume><pages><style face="normal" font="default" size="100%">149-173</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 goal is to sketch a nominalist approach to mathematics which just like neologicism employs abstraction principles, but unlike neologicism is not committed to the idea that mathematical objects exist and does not insist that abstraction principles establish the reference of abstract terms. It is well-known that neologicism runs into certain philosophical problems and faces the technical difficulty of finding appropriate acceptability criteria for abstraction principles. I will argue that a modal and iterative nominalist approach to abstraction principles circumvents those difficulties while still being able to put abstraction principles to a foundational use.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Van Kerkhove, Bart</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">On the Nature and Origin of Algebraic Symbolism</style></title><secondary-title><style face="normal" font="default" size="100%">New Perspectives on Mathematical Practices. Essays in Philosophy and History of Mathematics.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.worldscibooks.com/etextbook/6810/6810\_chap01.pdf</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">World Scientific Publishing</style></publisher><isbn><style face="normal" font="default" size="100%">978-981-281-222-3</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%">Ducheyne, Steffen</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Newtonianism in Locke, Hume, and Reid, or: how far can one stretch a label?</style></title><secondary-title><style face="normal" font="default" size="100%">Enlightenment and Dissent - Special</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><volume><style face="normal" font="default" size="100%">25</style></volume><pages><style face="normal" font="default" size="100%">62–105</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><secondary-authors><author><style face="normal" font="default" size="100%">Ducheyne, Steffen</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Newton's Theology and the Flow of Influence</style></title><secondary-title><style face="normal" font="default" size="100%">Future Perspectives on Newton Scholarship and the Newtonian Legacy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">KVAB, Brussel</style></publisher><pages><style face="normal" font="default" size="100%">35-47</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Weber, Erik</style></author><author><style face="normal" font="default" size="100%">Libert, Thierry</style></author><author><style face="normal" font="default" size="100%">Marage, Pierre</style></author><author><style face="normal" font="default" size="100%">Vanpaemel, Geert</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A note on constructive modalities for information</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><publisher><style face="normal" font="default" size="100%">Koninklijke Vlaamse Academie van België</style></publisher><pub-location><style face="normal" font="default" size="100%">Brussel</style></pub-location><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%">Urbaniak, Rafal</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A note on identity and higher-order quantification.</style></title><secondary-title><style face="normal" font="default" size="100%">Australasian Journal of Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><volume><style face="normal" font="default" size="100%">7</style></volume><pages><style face="normal" font="default" size="100%">48–55</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 commonplace remark that the identity relation, even though not expressible in a first-order language without identity with classical set-theoretic semantics, can be dened in a language without identity, as soon as we admit second-order, set-theoretically interpreted quantiers binding predicate variables that range over all subsets of the domain. However, there are fairly simple and intuitive higher-order languages with set-theoretic semantics (where the variables range over all subsets of the domain) in which the identity relation is not denable. The point is that the denability of identity in higher-order languages not only depends on what variables range over, but also is sensitive to how predication is construed.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Ciuciura, Janusz</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Negations in the adjunctive discursive logic</style></title><secondary-title><style face="normal" font="default" size="100%">Bulletin of the Section of Logic</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><number><style face="normal" font="default" size="100%">3-4</style></number><volume><style face="normal" font="default" size="100%">37</style></volume><pages><style face="normal" font="default" size="100%">143–160</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In the logical literature, Discursive (or Discussive) Logic introduced by Stanis law Ja´skowski is seen as one of the earliest examples of the so-called paraconsistent logic. Nevertheless, there is some confusion over what discursive logic actually is. One of the possible sources of the confusion may be easily discerned; it comes from the fact that Ja´skowski published his two papers in Polish and their English translations appeared many years later.1 Up till 1999, no one but a Polish reader was able to read Ja´skowskis paper on the discursive conjunction and, consequently some authors took discursive logic to be a foremost example of a non-adjunctive logic. The situation became even more complicated when da Costa, Dubikajtis and Kotas presented an axiomatization with discursive connectives as primitive symbols. It turned out that a connective of the discursive conjunction they considered did not correspond to any of Ja´skowskis connectives. Thus, their axiomatization contained some axiom schemata that were not generally valid in Ja´skowskis logic. The purpose of this paper is to clarify the confusion surrounding the discursive logic. We will present a direct semantics and axiomatization of Ja´skowskis adjunctive discursive logic and show how to define and axiomatize two additional connectives of negation.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Heeffer, Albrecht</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Tzanakis, C.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Negative numbers as an epistemic difficult concept. Some lessons from history.</style></title><secondary-title><style face="normal" font="default" size="100%">History and Pedagogy of Mathematics. Satellite Meeting of International Congress on Mathematical Education 11, 14 - 18 July 2008.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><publisher><style face="normal" font="default" size="100%">Centro Cultural del México Contemporanéo</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Historical studies on the development of mathematical concepts will serve mathematics teachers to relate their students difficulties in understanding to conceptual problems in the history of mathematics. We argue that one popular tool for teaching about numbers, the number line, may not be fit for early teaching of operations involving negative numbers. Our arguments are drawn from the many discussions on negative numbers during the seventeenth and eighteenth centuries from philosophers and mathematicians as Arnauld, Leibniz, Wallis, Euler and dAlembert. Not only the division by negative numbers poses problems for the number line, but also the very idea of quantities smaller than nothing has been challenged. Drawing lessons from the history of mathematics we argue for the introduction of negative numbers in education within the context of symbolic operations.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">De Langhe, Rogier</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Loobuyck, Patrick</style></author><author><style face="normal" font="default" size="100%">Vanheeswijck, G.</style></author><author><style face="normal" font="default" size="100%">Van Herck, W.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Naar een Pluralistisch Model van Onderzoeksfinanciering in de Humane Wetenschappen</style></title><secondary-title><style face="normal" font="default" size="100%">Welke Universiteit Willen We (Niet)?</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://logica.ugent.be/rogier/onderzoeksfinanciering.pdf</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Academia Press</style></publisher><pages><style face="normal" font="default" size="100%">205–216</style></pages><isbn><style face="normal" font="default" size="100%">9789038211879</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Het nieuwe Financieringsmodel voor het Hoger Onderwijs wordt vaak bekritiseerd vanuit argumentendie teruggaan op de eigenheid van de humane wetenschappen. Dit artikel poogt deze eigenheid preciezer teomschrijven en brengt de gevolgen voor de relatie tussen onderzoek en het tijdschriftenlandschap in kaart. Opbasis daarvan wordt de doelmatigheid betwist van het huidige voorstel, dat de efficiëntie van onderzoek wilverhogen door publicaties te wegen op basis van de tijdschriften waarin ze worden gepubliceerd. Dit betekentgeenszins dat een efficiëntere humane wetenschap onmogelijk is, alleen moet dat gebeuren op een manierwaarop haar pluralistische natuur niet wordt miskend. Hoe een dergelijk beleid er kan uitzien wordt daaromuitgewerkt in een aanzet naar een pluralististisch model van onderzoeksfinanciering in de humanewetenschappen.&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><author><style face="normal" font="default" size="100%">Heeffer, Harold</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Near-optimal strategies for the game of Logik</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Logik is an interesting variation of the game of Mastermind. For the latter several strategies have been proposed. We present some computational results for existing and new strategies applied to Logik. Our results give some indication on the scalability and applicability of these strategies to similar games.&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%">Noodzakelijkheid bij William Whewell: De ontwikkeling Van een concept</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%">2007</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">70</style></volume><pages><style face="normal" font="default" size="100%">239–265</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 immense oeuvre of William Whewell (1794-1886), a Victorian monument by itself, has to some extent been treated in a stepmotherly fashion by philosophers and historiansof philosophy. This paper attempts to conceptually clarify Whewell's notion of necessity, which was a core notion in his philosophical project. The author also sketches in broad lines the historical development of this notion in Whewell's thinking and points tothe intertwinement between Whewell's philosophy and theology. Whewell's philosophical work was deeply based on the history of science and his doctrine of Fundamental Ideas can be interpreted as an attempt to historicize Kant's transcendental categories.&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%">Malinowski, Jacek</style></author><author><style face="normal" font="default" size="100%">Pietruszczak, Andrzej</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Narrowing Down Suspicion in Inconsistent Premise Sets</style></title><secondary-title><style face="normal" font="default" size="100%">Essays in Logic and Ontology.</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Poznan Studies in the Philosophy of Science and the Humanities</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><publisher><style face="normal" font="default" size="100%">Rodopi</style></publisher><pub-location><style face="normal" font="default" size="100%">Amsterdam/New York</style></pub-location><volume><style face="normal" font="default" size="100%">91</style></volume><pages><style face="normal" font="default" size="100%">185–209</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Inconsistency-adaptive logics isolate the inconsistencies that are derivable from a premise set, and restrict the rules of Classical Logic only where inconsistencies are involved. From many inconsistent premise sets, disjunctions of contradictions are derivable no disjunct of which is itself derivable. Given such a disjunction, it is often justified to introduce new premises that state, with a certain degree of confidence, that some of the disjuncts are false. This is an important first step on the road to consistency: it narrows down suspicion in inconsistent premise sets and hence locates the real problems among the possible ones. In this paper I present two approaches for handling such new premises in the context of the original premises. The first approach may apparently be combined with all paraconsistent logics. The second approach does not have the same generality, but is decidedly more elegant.&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%">Newton's onto-theology versus Descartes's and Leibniz's: or on the relevance of unificatory tendencies in the secularization-process</style></title><secondary-title><style face="normal" font="default" size="100%">Theology and Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><number><style face="normal" font="default" size="100%">1</style></number><volume><style face="normal" font="default" size="100%">4</style></volume><pages><style face="normal" font="default" size="100%">71–85</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%">Newtons notion and practice of unification</style></title><secondary-title><style face="normal" font="default" size="100%">Studies in History and Philosophy of Science Part A</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%">36</style></volume><pages><style face="normal" font="default" size="100%">61–78</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper I deal with a neglected topic with respect to unification in Newtons Principia. I will clarify Newtons notion (as can be found in Newtons utterances on unification) and practice of unification (its actual occurrence in his scientific work). In order to do so, I will use the recent theories on unification as tools of analysis (Kitcher, Salmon and Schurz). I will argue, after showing that neither Kitchers nor Schurzs account aptly capture Newtons notion and practice of unification, that Salmons later work is a good starting point for analysing this notion and its practice in the Principia. Finally, I will supplement Salmons account in order to answer the question at stake.&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%">Newton's training in the Aristotelian textbook tradition: From effects to causes and back</style></title><secondary-title><style face="normal" font="default" size="100%">History of Science</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%">141</style></number><volume><style face="normal" font="default" size="100%">43</style></volume><pages><style face="normal" font="default" size="100%">217–237</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Vanderbeeken, Robrecht</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Naar een pluralisme van verklaringen in mens- en natuurwetenschappen</style></title><secondary-title><style face="normal" font="default" size="100%">Ethiek &amp; Maatschappij</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">7</style></volume><pages><style face="normal" font="default" size="100%">60-69</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%">Rahman, Shahid</style></author><author><style face="normal" font="default" size="100%">Symons, John</style></author><author><style face="normal" font="default" size="100%">Gabbay, Dov M.</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%">The Need for Adaptive Logics in Epistemology</style></title><secondary-title><style face="normal" font="default" size="100%">Logic, Epistemology, and the Unity of Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><publisher><style face="normal" font="default" size="100%">Kluwer</style></publisher><pub-location><style face="normal" font="default" size="100%">Dordrecht</style></pub-location><pages><style face="normal" font="default" size="100%">459–485</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;After it is argued that philosophers of science have lost their interest in logic because they applied the wrong type of logics, examples are given of the forms of dynamic reasoning that are central for philosophy of science and epistemology. Adaptive logics are presented as a means to understand and explicate those forms of reasoning. All members of a specific (large) set of adaptive logics are proved to have a number of properties that warrant their formal decency and their suitability with respect to understanding and explicating dynamic forms of reasoning. Most of the properties extend to other 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%">Haesaert, Lieven</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A non-probabilistic Approach to Inductive Prediction</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2004</style></year></dates><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The underlying idea behind the adaptive logics of inductive generalization is that most inductive reasoning can be explicated by simple qualitative means. Therefore, those classical models are selected that are as uniform as possible  with respect to a certain set of (empirical) data. This led to the question if the same idea of uniformity can be applied if no generalizations are derivable. It is clear that in this case one may be still interested to make some direct inductive predictions. The main problem with this kind of prediction is that we lack a decision theory for it. In the present paper we make some proposals to deal with this problem. Our purpose here is to get more control over the difficult aspects of inductive prediction. In order to do so, we will not proceed in a probabilistic context, but we will apply the idea of minimizing the abnormalities in uniform models, an idea that derives from the adaptive logic programm. 1 Aim of this paper In our [1], we have presented some adaptive logics for induction based on Classical Logic (henceforth: CL). The underlying idea of these adaptive logics of induction is that most inductive reasoning does not proceed in terms of probabilities, and cannot be explicated in terms of probabilities, but can be explicated by rather simple qualitative means. In that paper we presented for example the adaptive logic for inductive generalization IL +m: from a set of data and (possibly falsified) background knowledge, inductive generalizations are derived  1. In the same paper we also&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Christiaens, Wim</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Non-spatiality and EPR-experiments according to the creation-discovery view</style></title><secondary-title><style face="normal" font="default" size="100%">Foundations of Physics Letters</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year><pub-dates><date><style  face="normal" font="default" size="100%">August</style></date></pub-dates></dates><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">16</style></volume><pages><style face="normal" font="default" size="100%">379–387</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The creation-discovery interpretation of the EPR-experiments, developed by D. Aerts, draws our attention on the role of spacetime in our description of the physical world: the EPR-experiments give us reason to believe that quantum entities do not always exist in space. This interpretation of the quantum description would explain the peculiar correlations obtained in these experiments as arising from the most obvious candidate for a common cause, the entity described by the singlet state. The absence of unique and determinate localization as a criterium for individuation is met by a new physical ontology. We use it to obtain a better understanding of the interaction between quantum individuals and spacetime.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Christiaens, Wim</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A note concerning the place of contradictions in the ontologies of constitution</style></title><secondary-title><style face="normal" font="default" size="100%">Logic and Logical Philosophy</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2003</style></year></dates><volume><style face="normal" font="default" size="100%">11/12</style></volume><pages><style face="normal" font="default" size="100%">67–72</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this first section we start with defining the notions of inconsistency and para-consistency, we give an example of an inconsistency and clarify what according to us is the basic problem with respect to the occurrence of inconsistencies. We are then in a position to state the aim of this paper&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Caleiro, Carlos</style></author><author><style face="normal" font="default" size="100%">Marcos, João</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Arabnia, Hamid R.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Non-truth-functional fibred semantics</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001)</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><publisher><style face="normal" font="default" size="100%">CSREA Press</style></publisher><volume><style face="normal" font="default" size="100%">2</style></volume><pages><style face="normal" font="default" size="100%">841–847</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Until recently, truth-functionality has been considered essential to the mechanism for combining logics known as fibring. Following the first efforts towards extending fibred semantics to logics with nontruth- functional operators, this paper aims to clarify the subject at the light of ideas borrowed from the theory of general logics as institutions and the novel notion of non-truth-functional room. Besides introducing the relevant concepts and constructions, the paper presents a detailed worked example combining classical first-order logic with the paraconsistent propositional system C&lt;sub&gt;1&lt;/sub&gt;, for which a meaningful semantics is obtained. The possibility of extending this technique to build rst-order versions of further logics of formal inconsistency is also discussed.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Meheus, Joke</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Nieuwe perspectieven voor het begrijpen en bevorderen van creativiteit</style></title><secondary-title><style face="normal" font="default" size="100%">Mores</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1995</style></year></dates><volume><style face="normal" font="default" size="100%">40</style></volume><pages><style face="normal" font="default" size="100%">164–178</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%">Natural Heuristics for Proof Construction. Part I: Classical Propositional Logic</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%">1989</style></year></dates><number><style face="normal" font="default" size="100%">127-128</style></number><volume><style face="normal" font="default" size="100%">32</style></volume><pages><style face="normal" font="default" size="100%">337–363</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><notes><style face="normal" font="default" size="100%">Appeared 1992</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%">Nicholas Rescher's coherence theory of truth</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%">1973</style></year></dates><number><style face="normal" font="default" size="100%">63-63</style></number><volume><style face="normal" font="default" size="100%">16</style></volume><pages><style face="normal" font="default" size="100%">393–411</style></pages><language><style face="normal" font="default" size="100%">eng</style></language></record></records></xml>