@incollection {D:JP65, title = {Kennissystemen selectief wieden}, booktitle = {Laat ons niet ernstig blijven. Huldeboek voor Jean Paul Van Bendegem}, year = {2018}, pages = {227{\textendash}244}, publisher = {Academia Press}, address = {Gent, Belgi{\"e}}, isbn = {978-94-014-5589-3}, author = {Batens, Diderik}, editor = {Van Kerkhove, Bart and Fran{\c c}ois, Karen and Ducheyne, Steffen and Allo, Patrick} } @incollection {D:JP, title = {The Consistency of {P}eano {A}rithmetic. {A} Defeasible Perspective}, booktitle = {Modestly Radical or Radically Modest. Festschrift for Jean Paul Van Bendegem on the Occasion of His 60th Birthday}, year = {2014}, pages = {11{\textendash}59}, publisher = {College Publications}, abstract = {

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 {\textquoteleft}desirable{\textquoteright} \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.

}, author = {Batens, Diderik}, editor = {Allo, Patrick and Van Kerkhove, Bart} } @incollection {Gervais2012, title = {Pragmatic approaches to explanation applied to the cognitive sciences: two types of explanation-seeking questions compared}, booktitle = {Logic, Philosophy and History of Science in Belgium II}, year = {2012}, pages = {131{\textendash}137}, publisher = {Koninklijke Vlaamse Academie van Belgi{\"e}}, author = {Gervais, Raoul}, editor = {Van Kerkhove, Bart and Libert, Thierry and Vanpaemel, Geert and Marage, Pierre} } @incollection {Beirlaen2012a, title = {Towards More Conflict-Tolerant Deontic Logics}, booktitle = {Logic, Philosophy and History of Science in Belgium II}, year = {2012}, pages = {1-8}, publisher = {Koninklijke Vlaamse Academie van Belgi{\"e}}, address = {Brussel}, abstract = {

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."

}, author = {Beirlaen, Mathieu}, editor = {Van Kerkhove, Bart and Libert, Thierry and Vanpaemel, Geert and Marage, Pierre} } @incollection {1998274, title = {On the curious historical coincidence of algebra and double-entry bookkeeping}, booktitle = {Foundations of the formal sciences VII : bringing together philosophy and sociology of science}, series = {Studies in Logic}, volume = {32}, year = {2011}, pages = {109{\textendash}130}, publisher = {College Publications}, isbn = {9781848900493}, url = {http://www.collegepublications.co.uk/logic/?00021}, author = {Heeffer, Albrecht}, editor = {Fran{\c c}ois, Karen and L{\"o}we, Benedikt and M{\"u}ller, Thomas and Van Kerkhove, Bart} } @incollection {1104693, title = {The intended window of epistemic opportunity: a comment on Miriam Solomon}, booktitle = {Logic, Philosophy and History of Science in Belgium II}, year = {2011}, publisher = {Koninklijke Vlaamse Academie van Belgi{\"e}}, abstract = {

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, {\textquoteleft}academic{\textquoteright} and {\textquoteleft}non-academic consensus{\textquoteright}, 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 {\textquoteleft}consensus{\textquoteright} when applied in scientific practice. Any decision as to change the NIH consensus development program should take these actual achievements into account.

}, author = {Kosolosky, Laszlo}, editor = {Van Kerkhove, Bart and Libert, Thierry and Vanpaemel, Geert and Marage, Pierre} } @incollection {de2011looking, title = {Looking for busy beavers. A socio-philosophical study of a computer-assisted proof}, booktitle = {Foundations of the Formal Sciences}, year = {2011}, pages = {61{\textendash}90}, publisher = {College Publications}, abstract = {

"Young man, in mathematics you don{\textquoteright}t understand things, you just get used to them" John von Neumann

}, author = {De Mol, Liesbeth}, editor = {Fran{\c c}ois, Karen and L{\"o}we, Benedikt and M{\"u}ller, Thomas and Van Kerkhove, Bart} } @conference {de_winter_distorted_2010, title = {The Distorted Research Agenda in the Health Sciences and James Robert Brown’s Policy Proposal.}, booktitle = {Logic, Philosophy and History of Science in Belgium II}, year = {2010}, publisher = {Koninklijke Vlaamse Academie van Belgi{\"e}}, organization = {Koninklijke Vlaamse Academie van Belgi{\"e}}, url = {http://logica.ugent.be/centrum/preprints/De_Winter_(2012)_-_Brown.pdf}, author = {De Winter, Jan}, editor = {Van Kerkhove, Bart and Libert, Thierry and Vanpaemel, Geert and Marage, Pierre} } @conference {678587, title = {On the Nature and Origin of Algebraic Symbolism}, booktitle = {New Perspectives on Mathematical Practices. Essays in Philosophy and History of Mathematics.}, year = {2009}, publisher = {World Scientific Publishing}, organization = {World Scientific Publishing}, isbn = {978-981-281-222-3}, url = {http://www.worldscibooks.com/etextbook/6810/6810\_chap01.pdf}, author = {Heeffer, Albrecht}, editor = {Van Kerkhove, Bart} } @article {VanKerkhove2003, title = {Vagueness-Adaptive Logic: {A} Pragmatical Approach to Sorites Paradoxes}, journal = {Studia Logica}, volume = {75}, number = {3}, year = {2003}, pages = {383-411}, abstract = {

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.

}, keywords = {adaptive logic, construction of scientific theories, paraconsistent logic, philosophical logic, philosophy of language, Sorites paradox, vagueness}, issn = {0039-3215}, doi = {10.1023/B:STUD.0000009567.21578.0a}, url = {http://dx.doi.org/10.1023/B\%3ASTUD.0000009567.21578.0a}, author = {Van Kerkhove, Bart and Vanackere, Guido} }