with Başkent, C. , 2009, 'An examination of counterexamples in proofs and refutations', Philosophia Scientiae 13 (2), 3-20.