It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it (...) accommodates the many mathematical proofs that include actions on objects other than propositions; (v) this conception of logic permits the articulation of project-sized tasks for the philosophy of mathematical practice, thereby supplying a partial characterisation of normal research in the field. (shrink)
Logical theory – and philosophical theory generally – is just that, theory. Generations of logic students felt a sort of unease about it without knowing what to do about it. Nowadays, students of mathematical logic feel a similar unease when faced with the fact that in standard predicate calculus, “All unicorns are sneaky” is true precisely because there are no unicorns. Blanché’s analysis reminds us that such feelings of unease may indicate a shortcoming in the theory rather than in the (...) student’s understanding. (shrink)
Abstract: Particularism is usually understood as a position in moral philosophy. In fact, it is a view about all reasons, not only moral reasons. Here, I show that particularism is a familiar and controversial position in the philosophy of science and mathematics. I then argue for particularism with respect to scientific and mathematical reasoning. This has a bearing on moral particularism, because if particularism about moral reasons is true, then particularism must be true with respect to reasons of any sort, (...) including mathematical and scientific reasons. (shrink)
This article canvasses five senses in which one might introduce an historical element into the philosophy of mathematics: 1. The temporal dimension of logic; 2. Explanatory Appeal to Context rather than to General Principles; 3. Heraclitean Flux; 4. All history is the History of Thought; and 5. History is Non-Judgmental. It concludes by adapting Bernard Williams’ distinction between ‘history of philosophy’ and ‘history of ideas’ to argue that the philosophy of mathematics is unavoidably historical, but need not and must not (...) merge with historiography. (shrink)
After the publication of The structure of scientific revolutions, Kuhn attempted to fend off accusations of extremism by explaining that his allegedly ''relativist'' theory is little more than the mundane analytical apparatus common to most historians. The appearance of radicalism is due to the novelty of applying this machinery to the history of science. This defence fails, but it provides an important clue. The claim of this paper is that Kuhn inadvertently allowed features of his procedure and experience as an (...) historian to pass over into his general account of science. Kuhn's familiar claims, that science is directed in part by extra-scientific influences; that the history of science is divided by revolutionary breaks into periods that cannot be easily compared; that there is no ahistorical standard of rationality by which past episodes may be judged; and that science cannot be shown to be heading towards the Truth-these now appear as methodological commitments rather than historico-philosophical theses. (shrink)
This paper is an exercise in the phenomenology of science. It examines the tendency to prefer formal accounts in a familiar body of experimental psychology. It will argue that, because of this tendency, psychologists of this school neglect those forms of human cognition typical of the humanities disciplines. This is not a criticism of psychology, however. Such neglect is compatible with scientific rigour, provided it does not go unnoticed. Indeed, reflection on the case in hand allows us to refine the (...) characterisation of the formalising tendency. (shrink)
The late Imre Lakatos once hoped to found a school of dialectical philosophy of mathematics. The aim of this paper is to ask what that might possibly mean. But Lakatos's philosophy has serious shortcomings. The paper elaborates a conception of dialectical philosophy of mathematics that repairs these defects and considers the work of three philosophers who in some measure fit the description: Yehuda Rav, Mary Leng and David Corfield.
Lakatos: An Introduction is the first comprehensive analysis on the intellectual life and theories of the distinguished thinker Imre Lakatos. This book clearly presents Lakatos's development of a philosophy of mathematics and empirical science, Lakatos's thought as an important hybrid of Popperian philosophy and Hegelian-Marxist thought, the relationship between Lakatos's views on science and mathematics and his more general philosophical beliefs. Brendan Larvor clearly locates Lakatos in the liberal-rationalist tradition and explains connections between the philosopher's life, philosophy, politics, and technical (...) work in science and mathematics. (shrink)
This paper discusses the connection between the actual history of mathematics and Lakatos's philosophy of mathematics, in three parts. The first points to studies by Lakatos and others which support his conception of mathematics and its history. In the second I suggest that the apparent poverty of Lakatosian examples may be due to the way in which the history of mathematics is usually written. The third part argues that Lakatos is right to hold philosophy accountable to history, even if Lakatos's (...) own view of mathematics fails that test. (shrink)
Abstract The limits of ?criterial rationality? (that is, rationality as rule?following) have been extensively explored in the philosophy of science by Kuhn and others. In this paper I attempt to extend this line of enquiry into mathematics by means of a pair of case studies in early algebra. The first case is the Ars Magna (Nuremburg 1545) by Jerome Cardan (1501?1576), in which a then recently?discovered formula for finding the roots of some cubic equations is extended to cover all cubics (...) and proved. The second is the formulation by Albert Girard (1595?1632) of an early version of the fundamental theorem of algebra in his L'invention nouvelle en l'algèbre (Amsterdam, 1629). I conclude that in these cases at least, the questions raised in the philosophy of science debate can also be asked of the history of mathematics, and that a modest methodological anarchism is the appropriate stance. (shrink)
