Samet Bağçe

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.

Hans Reichenbach introduced two seemingly separate sets of distinctions in his epistemology at different times. One is between the axioms of coordination and the axioms of connections. The other distinction is between the context of discovery and the context of justification. The status and nature of each of these distinctions have been subject-matter of an ongoing debate among philosophers of science. Thus, there is a significant amount of works considering both distinctions separately. However, the relevance of Reichenbach's two distinctions to each other does not seem to have enjoyed the same amount of interest so far. This is what I would like to consider in this paper. In other words, I am concerned with the question: what kind of relationship is there between his two distinctions, if there is any?