%0 Journal Article %J Electronic Notes in Theoretical Computer Science %D 2014 %T J-Calc: A typed lambda calculus for Intuitionistic Justification Logic %A Pouliasis, Konstantinos %A Primiero, Giuseppe %X

In this paper we offer a system J-Calc that can be regarded as a typed λ -calculus for the {→,&\#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.

%B Electronic Notes in Theoretical Computer Science %V 300 %P 71–87 %G eng %R 10.1016/j.entcs.2013.12.012 %0 Journal Article %J International Journal for the Study of Skepticism %D 2013 %T Is Justification Dialectical? %A Wieland, Jan Willem %X

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.

%B International Journal for the Study of Skepticism %V 3 %P 182–201 %G eng %0 Journal Article %J Archiv für Geschichte der Philosophie %D 2008 %T J. B. Van Helmont's 'De Tempore' as an influence on Isaac Newton's doctrine of absolute time %A Ducheyne, Steffen %X

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.

%B Archiv für Geschichte der Philosophie %V 90 %P 216–228 %G eng %0 Journal Article %J History and Philosophy of Logic %D 2008 %T JS Mill's Canons of Induction: From True Causes to Provisional Ones %A Ducheyne, Steffen %X

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)

%B History and Philosophy of Logic %V 29 %P 361–376 %G eng %U http://dx.doi.org/10.1080/01445340802164377 %R 10.1080/01445340802164377 %0 Journal Article %J Gewina, Tijdschrift voor de Geschiedenis der Geneeskunde, Natuurwetenschappen, Wiskunde en Techniek %D 2007 %T Johannes Baptista Van Helmonts experimentele aanpak: een poging tot omschrijving %A Ducheyne, Steffen %B Gewina, Tijdschrift voor de Geschiedenis der Geneeskunde, Natuurwetenschappen, Wiskunde en Techniek %V 30 %P 11–25 %G eng %0 Journal Article %J Physis: Rivista Internazionale di Storia della Scienza %D 2005 %T Joan Baptiste Van Helmont and the question of experimental modernism %A Ducheyne, Steffen %X

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.

%B Physis: Rivista Internazionale di Storia della Scienza %V 43 %P 305–332 %G eng