An examination of counterexamples in proofs and refutations

Bagce, Samet and Baskent, Can ORCID logoORCID: (2009) An examination of counterexamples in proofs and refutations. Philosophia Scientiae (13-2) . pp. 3-20. ISSN 1281-2463 [Article] (doi:10.4000/philosophiascientiae.228)


Lakatos’s seminal work Proofs and Refutations introduced the methods of proofs and refutations by discussing the history and methodological development of Euler’s formula V — E+F = 2 for three dimensional polyhedra. Lakatos considered the history of polyhedra illustrating a good example for his philosophy and methodology of mathematics and geometry. In this study, we focus on the mathematical and topological properties which play a role in Lakatos’s methodological approach. For each example and counterexample given by Lakatos, we briefly outline its topological counterpart. We thus present the mathematical background and basis of Lakatos’s philosophy of mathematical methodology in the case of Euler’s formula, and thereby develop some intuitions about the function of his notions of positive and negative heuristics.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 35922
Depositing User: Can Baskent
Date Deposited: 16 Sep 2022 08:16
Last Modified: 22 Sep 2022 17:55

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.