An examination of counterexamples in proofs and refutations
Article
Bagce, S. and Baskent, C. 2009. An examination of counterexamples in proofs and refutations. Philosophia Scientiae. https://doi.org/10.4000/philosophiascientiae.228
Type | Article |
---|---|
Title | An examination of counterexamples in proofs and refutations |
Authors | Bagce, S. and Baskent, C. |
Abstract | 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. |
Research Group | Foundations of Computing group |
Publisher | OpenEdition |
Journal | Philosophia Scientiae |
ISSN | 1281-2463 |
Electronic | 1775-4283 |
Publication dates | |
01 Oct 2009 | |
Publication process dates | |
Deposited | 16 Sep 2022 |
Accepted | 03 Jan 2008 |
Output status | Published |
Digital Object Identifier (DOI) | https://doi.org/10.4000/philosophiascientiae.228 |
Language | English |
https://repository.mdx.ac.uk/item/89zq9
33
total views0
total downloads3
views this month0
downloads this month