Brendan Larvor

It is difficult to imagine mathematics without its symbolic language. It is especially difficult to imagine doing mathematics without using mathematical notation. Nevertheless, that is how mathematics was done for most of human history. It was only at the end of the sixteenth century that mathematicians began to develop systems of mathematical symbols . It is startling to consider how rapidly mathematical notation evolved. Viète is usually taken to have initiated this development with his Isagoge of 1591, and a recognisably modern symbol system was available by the 1630s . In little more than a generation, mathematicians went from writing mathematics in natural language to manipulating symbols much as we do today. The manipulation of symbols became both a source of new mathematics and a mode of mathematical argument. This required profound conceptual changes in both mathematics and philosophy; antique conceptions of number, proof, language, and mathematics had to be replaced or at least suspended. Thus, the development of mathematical symbolism was sufficiently rapid and profound to justify the word ‘revolution’.Moreover, what began as a technical innovation in mathematics soon took on a wider philosophical significance. The last line of Viète's introduction reads ‘To solve every problem’. Viète presumably meant that his algebra would solve every mathematical problem . However, two generations after Descartes, the teenage Leibniz articulated the characteristically modern dream of a general algebra of thought . In this ‘universal characteristic’, conceptual errors would …

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.

The Chances of Explanation: Causal Explanation in the Social, Medical, and Physical Sciences Paul Humphreys, 1989 Princeton University Press x+170 pp., £12.95 (paperback) ISBN 0 691 020286 8; £25.00 (hardback) ISBN 0 69107353 8In Search of a Better World: Lectures and Essays from Thirty Years Karl Popper London, Routledge £25.00 (hardback)Artificial Morality: Virtuous Robots for Virtual Games Peter Danielson, 1992 London, Routledge £35.00 (hardback) ISBN 0 415 034841; £10.99 (paperback) ISBN 0 415 07691 9A System of Pragmatic Idealism Nicholas Rescher, 1992 Princeton, Princeton University Press 335pp., $37.50 (hardback)

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.

It would be a mistake to imagine that the problem of the Cartesian circle lies in Descartes’ suggestion that we cannot know anything unless we know God. It is true that this thought seems fatal to his enterprise; for if we cannot know anything prior to knowing that God exists, then it follows that we cannot know the arguments that prove God’s existence. However the problem of the Cartesian circle does not consist in this logical error. It consists, rather, in the fact that Descartes’ attempts to deal with the charge of circular reasoning seem so inadequate. It is implausible that Descartes simply failed to appreciate the point, for the objection is a very simple one, requiring no special vocabulary nor any advanced logical apparatus. He addressed the problem twice in the replies to his critics and went over it again in the Principles of Philosophy. Despite these qualifications, Descartes was not able to lay out his position with sufficient clarity to satisfy his reviewers or to prevent the publication of a bewildering variety of interpretations. The question then becomes, if Descartes understood the objection, why did he not deal with it more effectively.

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.

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.

Peter Williams complains that Richard Dawkins wraps his naturalism in ‘a fake finery of counterfeit meaning and purpose’. For his part, Williams has wrapped his complaint in an unoriginal and inapt analogy. The weavers in Hans Christian Andersen's fable announce that the Emperor's clothes are invisible to stupid people; almost the whole population pretends to see them for fear of being thought stupid . Fear of being thought stupid does not seem to trouble Richard Dawkins. Moreover, Williams offers no reason to think that such fear motivates any of Dawkins' readers. Perhaps all we are supposed to take from the fable is that Dawkins' naturalism is obviously lacking in meaning and purpose. If that is the intended reading, then by using this analogy, Williams has given himself an unnecessarily difficult task. Surely, it would be achievement enough for him to show that Dawkins' naturalism lacks meaning and purpose. There is no reason for Williams to make the extra claim that it obviously lacks meaning and purpose. After all, there is an obvious difficulty with arguing over several pages that something is obviously the case.

Dans cet article, j’explore dans un premier temps la conception que se fait Lautman de la dialectique en examinant ses références à Platon et Heidegger. Je compare ensuite les structures dialectiques identifiées par Lautman dans les mathématiques contemporaines avec celles qui émergent de ses sources philosophiques. Enfin, je soutiens que les structures qu’il a découvertes dans les mathématiques sont plus riches que le suggère son modèle platonicien, et que la distinction « ontologique » de Heidegger est moins utile que semblait le penser Lautman. In this paper, I first explore Lautman’s conception of dialectics by a consideration of his references to Plato and Heidegger. I then compare the dialectical structures that he found in contemporary mathematics with the model that emerges from his philosophical sources. Finally, I argue that the structures that he discovered in mathematics are richer than his Platonist model suggests, and that Heidegger’s “ontological” distinction is less useful than Lautman seemed to believe

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.