TY - Generic T1 - Kennissystemen selectief wieden Y1 - 2018 A1 - Batens, Diderik ED - Van Kerkhove, Bart ED - François, Karen ED - Ducheyne, Steffen ED - Allo, Patrick JA - Laat ons niet ernstig blijven. Huldeboek voor Jean Paul Van Bendegem PB - Academia Press CY - Gent, België SP - 227–244 SN - 978-94-014-5589-3 ER - TY - Generic T1 - The Consistency of Peano Arithmetic. A Defeasible Perspective Y1 - 2014 A1 - Batens, Diderik ED - Allo, Patrick ED - Van Kerkhove, Bart AB -

This paper proposes to replace \sys{PA}, Peano Arithmetic, by a theory \sys{APA} defined in terms of (i) a set of axioms that is classically equivalent to the Peano axioms and (ii) a defeasible logic that minimizes inconsistency, viz.\ an inconsistency-adaptive logic. If \sys{PA} is consistent, its set of theorems coincides with the set of \sys{APA}-theorems. If \sys{PA} is inconsistent, \sys{APA} is non-trivial and has the following remarkable property: there is a unique non-standard number that is its own successor and every `desirable' \sys{PA}-theorem is retained if restricted to the other numbers. The restriction can be expressed in the language of arithmetic. And there is much more.

JA - Modestly Radical or Radically Modest. Festschrift for Jean Paul Van Bendegem on the Occasion of His 60th Birthday PB - College Publications SP - 11–59 ER - TY - Generic T1 - Pragmatic approaches to explanation applied to the cognitive sciences: two types of explanation-seeking questions compared Y1 - 2012 A1 - Gervais, Raoul ED - Van Kerkhove, Bart ED - Libert, Thierry ED - Vanpaemel, Geert ED - Marage, Pierre JA - Logic, Philosophy and History of Science in Belgium II PB - Koninklijke Vlaamse Academie van België SP - 131–137 ER - TY - Generic T1 - Towards More Conflict-Tolerant Deontic Logics Y1 - 2012 A1 - Beirlaen, Mathieu ED - Van Kerkhove, Bart ED - Libert, Thierry ED - Vanpaemel, Geert ED - Marage, Pierre AB -

In Ethical Consistency, Bernard Williams vindicated the possibility of moral conflicts; he proposed to consistently allow for the presence of such conflicts within the logic of ought. In determining the nature of moral conflict, Williams stressed its contingency. In this paper, Williams’ characterization of moral conflict is defended. However, Williams’ solution for consistently allowing for such conflicts within the logic of ought is shown to be too crude. Whereas Williams rejects all applications of the agglomeration rule in the logic of ought, it is shown that a more sophisticated approach is needed. An alternative solution is presented in which the application of the agglomeration rule is made conditional upon the principle that" oughtimplies can."

JA - Logic, Philosophy and History of Science in Belgium II PB - Koninklijke Vlaamse Academie van België CY - Brussel SP - 1-8 ER - TY - Generic T1 - On the curious historical coincidence of algebra and double-entry bookkeeping Y1 - 2011 A1 - Heeffer, Albrecht ED - François, Karen ED - Löwe, Benedikt ED - Müller, Thomas ED - Van Kerkhove, Bart JA - Foundations of the formal sciences VII : bringing together philosophy and sociology of science T3 - Studies in Logic PB - College Publications VL - 32 SP - 109–130 SN - 9781848900493 UR - http://www.collegepublications.co.uk/logic/?00021 ER - TY - Generic T1 - The intended window of epistemic opportunity: a comment on Miriam Solomon Y1 - 2011 A1 - Kosolosky, Laszlo ED - Van Kerkhove, Bart ED - Libert, Thierry ED - Vanpaemel, Geert ED - Marage, Pierre AB -

In this paper, I argue that Miriam Solomon fails to show that medical consensus conferences, as organised by the National Institute of Health (NIH), miss the intended window of epistemic opportunity (Solomon, 2007: 170), and thus typically take place after the experts have reached consensus. This is done, on the one hand, by differentiating between, what I intend to call, ‘academic’ and ‘non-academic consensus’, and, on the other hand, by analyzing the arguments and argumentation style Solomon uses to make her claim explicit. At the very least, the overall argument suggests that her statement is inadequately supported, if not that the opposite claim is true. In this manner, I intend to bring additional insight into the notion of ‘consensus’ when applied in scientific practice. Any decision as to change the NIH consensus development program should take these actual achievements into account.

JA - Logic, Philosophy and History of Science in Belgium II PB - Koninklijke Vlaamse Academie van België ER - TY - Generic T1 - Looking for busy beavers. A socio-philosophical study of a computer-assisted proof Y1 - 2011 A1 - De Mol, Liesbeth ED - François, Karen ED - Löwe, Benedikt ED - Müller, Thomas ED - Van Kerkhove, Bart AB -

"Young man, in mathematics you don't understand things, you just get used to them" John von Neumann

JA - Foundations of the Formal Sciences PB - College Publications SP - 61–90 ER - TY - CONF T1 - The Distorted Research Agenda in the Health Sciences and James Robert Brown’s Policy Proposal. T2 - Logic, Philosophy and History of Science in Belgium II Y1 - 2010 A1 - De Winter, Jan ED - Van Kerkhove, Bart ED - Libert, Thierry ED - Vanpaemel, Geert ED - Marage, Pierre JA - Logic, Philosophy and History of Science in Belgium II PB - Koninklijke Vlaamse Academie van België UR - http://logica.ugent.be/centrum/preprints/De_Winter_(2012)_-_Brown.pdf ER - TY - CONF T1 - On the Nature and Origin of Algebraic Symbolism T2 - New Perspectives on Mathematical Practices. Essays in Philosophy and History of Mathematics. Y1 - 2009 A1 - Heeffer, Albrecht ED - Van Kerkhove, Bart JA - New Perspectives on Mathematical Practices. Essays in Philosophy and History of Mathematics. PB - World Scientific Publishing SN - 978-981-281-222-3 UR - http://www.worldscibooks.com/etextbook/6810/6810\_chap01.pdf ER - TY - JOUR T1 - Vagueness-Adaptive Logic: A Pragmatical Approach to Sorites Paradoxes JF - Studia Logica Y1 - 2003 A1 - Van Kerkhove, Bart A1 - Vanackere, Guido KW - adaptive logic KW - construction of scientific theories KW - paraconsistent logic KW - philosophical logic KW - philosophy of language KW - Sorites paradox KW - vagueness AB -

This paper defends a pragmatical approach to vagueness. The vagueness-adaptive logic VAL is a good reconstruction of and an excellent, instrument for human reasoning processes in which vague predicates are involved. Apart from its proof-theory and semantics, a Sorites-treating model based on it is presented, disarming the paradox. The paper opens perspectives with respect to the construction of theories by means of vague predicates.

VL - 75 SP - 383-411 UR - http://dx.doi.org/10.1023/B%3ASTUD.0000009567.21578.0a ER -