<?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%">Pouliasis, Konstantinos</style></author><author><style face="normal" font="default" size="100%">Primiero, Giuseppe</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">J-Calc: A typed lambda calculus for Intuitionistic Justification Logic</style></title><secondary-title><style face="normal" font="default" size="100%">Electronic Notes in Theoretical 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%">300</style></volume><pages><style face="normal" font="default" size="100%">71–87</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 offer a system J-Calc that can be regarded as a typed λ -calculus for the {→,&amp;amp;\#8869;} fragment of Intuitionistic Justification Logic. We offer different interpretations of J-Calc, in particular, as a two phase proof system in which we proof check the validity of deductions of a theory Τ based on deductions from a stronger theory Τ' and computationally as a type system for separate compilations. We establish some first metatheoretic results.&lt;/p&gt;</style></abstract></record><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Wieland, Jan Willem</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Is Justification Dialectical?</style></title><secondary-title><style face="normal" font="default" size="100%">International Journal for the Study of Skepticism</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><number><style face="normal" font="default" size="100%">3</style></number><volume><style face="normal" font="default" size="100%">3</style></volume><pages><style face="normal" font="default" size="100%">182–201</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Much of present-day epistemology is divided between internalists and externalists. Different as these views are, they ha ve in common that they strip justification from its dialectical component in ord er to block the skeptics argument from disagreement. That is, they allow tha t one may have justified beliefs even if one is not able to defend it agains t challenges and resolve the disagreements about them. Lammenranta (2008, 2011a) recently argued that neither internalism nor externalism convinces if we consider the argument in its most interesting format. In this paper I zoom i n on this debate, and fix further details of Lammenrantas lead. Specifically , I will side with skepticism that justification is dialectical, yet o nly if certain conditions are in place.&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%">J. B. Van Helmont's 'De Tempore' as an influence on Isaac Newton's doctrine of absolute time</style></title><secondary-title><style face="normal" font="default" size="100%">Archiv für Geschichte der Philosophie</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><number><style face="normal" font="default" size="100%">2</style></number><volume><style face="normal" font="default" size="100%">90</style></volume><pages><style face="normal" font="default" size="100%">216–228</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Here, I shall argue that Van Helmont needs to be added to the list of sources on which Newton drew when formulating his doctrine of absolute time. This by no means implies that Van Helmont is the factual source of Newton's views on absolute time (I have found no clear-cut evidence in support of this claim). It is by no means my aim to debunk the importance of the other sources, but rather to broaden them. Different authors help to explain different aspects of Newton's conception of absolute time.&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%">JS Mill's Canons of Induction: From True Causes to Provisional Ones</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%">2008</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1080/01445340802164377</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">29</style></volume><pages><style face="normal" font="default" size="100%">361–376</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, my aim is twofold: to clarify how the late Mill conceived of the certainty of inductive generalisations and to offer a systematic clarification of the limited domain of application of Mill's Canons of Induction. I shall argue that Mill's views on the certainty of knowledge changed over time and that this change was accompanied by a new view on the certainty of the inductive results yielded by the Canons of Induction. The key message of the later editions of The System of Logic as conceived by the late Mill was no longer that by the Canons of Induction we can establish scientific certainty and true causes, but rather that the Canons are useful in establishing causal laws in a provisional way. Deduction is a game and induction a grievance. (Bagehot 1913, vol. 3, p. 37)&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%">Johannes Baptista Van Helmonts experimentele aanpak: een poging tot omschrijving</style></title><secondary-title><style face="normal" font="default" size="100%">Gewina, Tijdschrift voor de Geschiedenis der Geneeskunde, Natuurwetenschappen, Wiskunde en Techniek</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%">1</style></number><volume><style face="normal" font="default" size="100%">30</style></volume><pages><style face="normal" font="default" size="100%">11–25</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%">Joan Baptiste Van Helmont and the question of experimental modernism</style></title><secondary-title><style face="normal" font="default" size="100%">Physis: Rivista Internazionale di Storia della Scienza</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><volume><style face="normal" font="default" size="100%">43</style></volume><pages><style face="normal" font="default" size="100%">305–332</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 take up the question to what extent and in which sense we can conceive of Joan Baptista Van Helmonts (1579-1644) style of experimenting as modern. Connected to this question, I shall reflect upon what Van Helmonts precise contribution to experimental practice has been. I will argue  after having analysed some of Van Helmonts experiments such as his tree experiment, ice experiment, and thermoscope experiment  that Van Helmont had a strong preference to locate experimental designs in places wherein variables can be more easily controlled (and, ultimately, in relatively closed physical systems such as, paradigmatically, the vessel, globe, or sphere [vas, globus, sphera]). After having reviewed some alternative options, I shall argue that Van Helmonts usage of relatively isolated physical systems and a moderate degree of quantification is the feature that best characterizes his contributions to modern experimentation.&lt;/p&gt;</style></abstract></record></records></xml>