Author: Imre Lakatos
Publisher: Cambridge University Press
ISBN: 9780521290388
Category : Mathematics
Languages : en
Pages : 190
Get Book Here
Book Description
Proofs and Refutations is for those interested in the methodology, philosophy and history of mathematics.
Author: Imre Lakatos
Publisher: Cambridge University Press
ISBN: 1107268109
Category : Science
Languages : en
Pages : 190
Get Book Here
Book Description
Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical picture of mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations.
Author: Arie Hinkis
Publisher: Springer Science & Business Media
ISBN: 3034802242
Category : Mathematics
Languages : en
Pages : 428
Get Book Here
Book Description
This book offers an excursion through the developmental area of research mathematics. It presents some 40 papers, published between the 1870s and the 1970s, on proofs of the Cantor-Bernstein theorem and the related Bernstein division theorem. While the emphasis is placed on providing accurate proofs, similar to the originals, the discussion is broadened to include aspects that pertain to the methodology of the development of mathematics and to the philosophy of mathematics. Works of prominent mathematicians and logicians are reviewed, including Cantor, Dedekind, Schröder, Bernstein, Borel, Zermelo, Poincaré, Russell, Peano, the Königs, Hausdorff, Sierpinski, Tarski, Banach, Brouwer and several others mainly of the Polish and the Dutch schools. In its attempt to present a diachronic narrative of one mathematical topic, the book resembles Lakatos’ celebrated book Proofs and Refutations. Indeed, some of the observations made by Lakatos are corroborated herein. The analogy between the two books is clearly anything but superficial, as the present book also offers new theoretical insights into the methodology of the development of mathematics (proof-processing), with implications for the historiography of mathematics.
Author: Imre Lakatos
Publisher: University of Chicago Press
ISBN: 0226467031
Category : Science
Languages : en
Pages : 465
Get Book Here
Book Description
The work that helped to determine Paul Feyerabend's fame and notoriety, Against Method, stemmed from Imre Lakatos's challenge: "In 1970 Imre cornered me at a party. 'Paul,' he said, 'you have such strange ideas. Why don't you write them down? I shall write a reply, we publish the whole thing and I promise you—we shall have a lot of fun.' " Although Lakatos died before he could write his reply, For and Against Method reconstructs his original counter-arguments from lectures and correspondence previously unpublished in English, allowing us to enjoy the "fun" two of this century's most eminent philosophers had, matching their wits and ideas on the subject of the scientific method. For and Against Method opens with an imaginary dialogue between Lakatos and Feyerabend, which Matteo Motterlini has constructed, based on their published works, to synthesize their positions and arguments. Part one presents the transcripts of the last lectures on method that Lakatos delivered. Part two, Feyerabend's response, consists of a previously published essay on anarchism, which began the attack on Lakatos's position that Feyerabend later continued in Against Method. The third and longest section consists of the correspondence Lakatos and Feyerabend exchanged on method and many other issues and ideas, as well as the events of their daily lives, between 1968 and Lakatos's death in 1974. The delight Lakatos and Feyerabend took in philosophical debate, and the relish with which they sparred, come to life again in For and Against Method, making it essential and lively reading for anyone interested in these two fascinating and controversial thinkers and their immense contributions to philosophy of science. "The writings in this volume are of considerable intellectual importance, and will be of great interest to anyone concerned with the development of the philosophical views of Lakatos and Feyerabend, or indeed with the development of philosophy of science in general during this crucial period."—Donald Gillies, British Journal for the Philosophy of Science (on the Italian edition) "A stimulating exchange of letters between two philosophical entertainers."—Tariq Ali, The Independent Imre Lakatos (1922-1974) was professor of logic at the London School of Economics. He was the author of Proofs and Refutations and the two-volume Philosophical Papers. Paul Feyerabend (1924-1994) was educated in Europe and held numerous teaching posts throughout his career. Among his books are Against Method; Science in a Free Society; Farewell to Reason; and Killing Time: The Autobiography of Paul Feyerabend, the last published by the University of Chicago Press.
Author: Brendan Larvor
Publisher: Psychology Press
ISBN: 0415142768
Category : Mathematics
Languages : en
Pages : 142
Get Book Here
Book Description
Lakatos: An Introduction provides a thorough overview of both Lakatos's thought and his place in twentieth century philosophy. It is an essential and insightful read for students and anyone interested in the philosophy of science.
Author: Ladislav Kvasz
Publisher: Springer Science & Business Media
ISBN: 3764388404
Category : Mathematics
Languages : en
Pages : 277
Get Book Here
Book Description
Kvasz’s book is a contribution to the history and philosophy of mat- matics, or, as one might say, the historical approach to the philosophy of mathematics. This approach is for mathematics what the history and philosophy of science is for science. Yet the historical approach to the philosophy of science appeared much earlier than the historical approach to the philosophy of mathematics. The ?rst signi?cant work in the history and philosophy of science is perhaps William Whewell’s Philosophy of the Inductive Sciences, founded upon their History. This was originally published in 1840, a second, enlarged edition appeared in 1847, and the third edition appeared as three separate works p- lished between 1858 and 1860. Ernst Mach’s The Science of Mech- ics: A Critical and Historical Account of Its Development is certainly a work of history and philosophy of science. It ?rst appeared in 1883, and had six further editions in Mach’s lifetime (1888, 1897, 1901, 1904, 1908, and 1912). Duhem’s Aim and Structure of Physical Theory appeared in 1906 and had a second enlarged edition in 1914. So we can say that history and philosophy of science was a well-established ?eld th th by the end of the 19 and the beginning of the 20 century. By contrast the ?rst signi?cant work in the history and philosophy of mathematics is Lakatos’s Proofs and Refutations, which was p- lished as a series of papers in the years 1963 and 1964.
Author: Edward Feser
Publisher: Ignatius Press
ISBN: 1681497808
Category : Philosophy
Languages : en
Pages : 338
Get Book Here
Book Description
This book provides a detailed, updated exposition and defense of five of the historically most important (but in recent years largely neglected) philosophical proofs of God’s existence: the Aristotelian, the Neo-Platonic, the Augustinian, the Thomistic, and the Rationalist. It also offers a thorough treatment of each of the key divine attributes—unity, simplicity, eternity, omnipotence, omniscience, perfect goodness, and so forth—showing that they must be possessed by the God whose existence is demonstrated by the proofs. Finally, it answers at length all of the objections that have been leveled against these proofs. This work provides as ambitious and complete a defense of traditional natural theology as is currently in print. Its aim is to vindicate the view of the greatest philosophers of the past— thinkers like Aristotle, Plotinus, Augustine, Aquinas, Leibniz, and many others— that the existence of God can be established with certainty by way of purely rational arguments. It thereby serves as a refutation both of atheism and of the fideism that gives aid and comfort to atheism.
Author: Reuben Hersh
Publisher: Springer Science & Business Media
ISBN: 0387298312
Category : Mathematics
Languages : en
Pages : 346
Get Book Here
Book Description
Collection of the most interesting recent writings on the philosophy of mathematics written by highly respected researchers from philosophy, mathematics, physics, and chemistry Interdisciplinary book that will be useful in several fields—with a cross-disciplinary subject area, and contributions from researchers of various disciplines
Author: John Kadvany
Publisher: Duke University Press
ISBN: 9780822326496
Category : Biography & Autobiography
Languages : en
Pages : 400
Get Book Here
Book Description
DIVAn exploration of the philosophy of science and mathematics of Hungarian emigre, Imre Lakatos, demonstrating its contemporary relevance./div
Author: Jean H. Gallier
Publisher: Courier Dover Publications
ISBN: 0486780821
Category : Mathematics
Languages : en
Pages : 532
Get Book Here
Book Description
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information.
