Background[ edit ] The book Proofs and Refutations is based on the first three chapters of his four-chapter doctoral thesis Essays in the Logic of Mathematical Discovery. Synopsis[ edit ] Many important logical ideas are explained in the book. In the first, Lakatos gives examples of the heuristic process in mathematical discovery. The pupils in the book are named after letters of the Greek alphabet. Method[ edit ] Though the book is written as a narrative, it aims to develop an actual method of investigation based upon "proofs and refutations". In Appendix I, Lakatos summarizes this method by the following list of stages: Primitive conjecture.
|Published (Last):||8 June 2018|
|PDF File Size:||16.85 Mb|
|ePub File Size:||7.89 Mb|
|Price:||Free* [*Free Regsitration Required]|
Many are apt to shy away from it due to its apparent levity and lack of rigor. However, the dialogue possesses significant didactic and autotelic advantages. At its best, it can reveal without effort the dialectic manner in which knowledge and disciplines develop.
This way, the reader has a chance to experience the process. Using just a few historical case studies, the book presents a powerful rebuttal of the formalist characterization of mathematics as an additive process in which absolute truth is gradually arrived at through infallible deductions.
The "logic of discovery," he claims, is a much messier affair. Theorems begin as mere conjectures, whose proofs are informal and whose terms are vaguely defined. It is only through a dialectical process, which Lakatos dubs the method of "proofs and refutations," that mathematicians finally arrive at the subtle definitions and absolute theorems that they later end up taking so much for granted.
Lakatos contrasts the formalist method of approaching mathematical history against his own, consciously "heuristic" approach. Instead of treating definitions as if they have been conjured up by divine insight to allow the mathematician to deduce theorems from the bottom up, the heuristic approach recognizes the very top down aspect of performing mathematics, by which definitions develop as a consequence of the refinement of proofs and their related concepts.
Ultimately, the naive conjecture the top is where the mathematician begins, and it is only after the process of "proofs and refutations" has finalized that we are even prepared to present mathematics as beginning from first principles and flourishing therefrom.
The book Proofs and Refutations is based on the first three chapters of his four-chapter doctoral thesis Essays in the Logic of Mathematical Discovery. It is largely taken up by a fictional dialogue set in a mathematics class. The dialogue is meant to represent the actual series of attempted proofs which mathematicians historically offered for the conjecture , only to be repeatedly refuted by counterexamples. Secondly, monster-adjustment whereby by making a re-appraisal of the monster it could be made to obey the proposed theorem.
Proofs and Refutations: The Logic of Mathematical Discovery