Charles Peirce's diagrammatic logic — the Existential Graphs — is presented as a tool for illuminating how we know necessity, in answer to Benacerraf's famous challenge that most ‘semantics for mathematics’ do not ‘fit an acceptable epistemology’. It is suggested that necessary reasoning is in essence a recognition that a certain structure has the particular structure that it has. This means that, contra Hume and his contemporary heirs, necessity is observable. One just needs to pay attention, not merely to individual (...) things but to how those things are related in larger structures, certain aspects of which relations force certain other aspects to be a certain way. (shrink)

I offer a new interpretation of the passages where Aristotle maintains that intellectual activity employs φαντάσµατα (images). In theoretical understanding of mathematical and natural beings, we usually need to consciously employ appropriate φαντάσµατα in order to grasp explanatory connections. Aristotle does not, however, commit himself to thinking that images are required for exercising all theoretical understanding: understanding immaterial things, in particular, may not involve φαντάσµατα. Thus the connection that Aristotle makes between images and understanding does not rule out the possibility (...) that human intellectual activity could occur apart from the body. (shrink)

Although traditionally neglected, mathematical diagrams have recently begun to attract attention from philosophers of mathematics. By now, the literature includes several case studies investigating the role of diagrams both in discovery and justification. Certain preliminary questions have, however, been mostly bypassed. What are diagrams exactly? Are there different types of diagrams? In the scholarly literature, the term “mathematical diagram” is used in diverse ways. I propose a working definition that carves out the phenomena that are of most importance for a (...) taxonomy of diagrams in the context of a practice-based philosophy of mathematics, privileging examples from contemporary mathematics. In doing so, I move away from vague, ordinary notions. I define mathematical diagrams as forming notational systems and as being geometric/topological representations or two-dimensional representations. I also examine the relationship between mathematical diagrams and spatiotemporal intuition. By proposing an explication of diagrams, I explain certain controversies in the existing literature. Moreover, I shed light on why mathematical diagrams are so effective in certain instances, and, at other times, dangerously misleading. (shrink)

Logic is about reasoning, or so the story goes. This thesis looks at the concept of logic, what it is, and what claims of correctness of logics amount to. The concept of logic is not a settled matter, and has not been throughout the history of it as a notion. Tools from conceptual analysis aid in this historical venture. Once the unsettledness of logic is established we see the repercussions in current debates in the philosophy of logic. Much of the (...) battle over the ‘one true logic’ is conceptually talking past each other. The theory of logics-as-formalizations is presented as a conceptually open theory of logic which is Carnapian in flavour and grounding. Rudolf Carnap’s notions surrounding ‘external’ and ‘pseudo-questions’ about linguistic frameworks apply to formalizations, thus logics, as well. An account of what formalizations are, a more structured sub-set of modelling, is given to ground the claim that logics are formalizations. Finally, a novel account of correctness, the COFE framework, is developed which allows the notions of logical monism, pluralism and nihilism to be more precisely formulated than they currently are in the discourse. (shrink)

We advance a theory of the representational role of Euclidean diagrams according to which they are samples of co-exact features. We contrast our theory with two other conceptions, the instantial conception and Macbeth’s iconic view, with respect to how well they accommodate three fundamental constraints on theories of the Euclidean diagrammatic practice— that Euclidean diagrams are used in proofs whose results are wholly general, that Euclidean diagrams indicate the co-exact features that the geometer is allowed to infer from them and (...) that Euclidean diagrams play the same role in both direct proofs and indirect proofs by reductio—and argue that our view is the one best suited to account for them. We conclude by illustrating the virtues of our conception of Euclidean diagrams as samples by means of an analysis of Saccheri’s quadrilateral. (shrink)

Mathematicians’ use of external representations, such as symbols and diagrams, constitutes an important focal point in current philosophical attempts to understand mathematical practice. In this paper, we add to this understanding by presenting and analyzing how research mathematicians use and interact with external representations. The empirical basis of the article consists of a qualitative interview study we conducted with active research mathematicians. In our analysis of the empirical material, we primarily used the empirically based frameworks provided by distributed cognition and (...) cognitive semantics as well as the broader theory of cognitive integration as an analytical lens. We conclude that research mathematicians engage in generative feedback loops with material representations, that they use representations to facilitate the use of experiences of handling the physical world as a resource in mathematical work, and that their use of representations is socially sanctioned and enabled. These results verify the validity of the cognitive frameworks used as the basis for our analysis, but also show the need for augmentation and revision. Especially, we conclude that the social and cultural context cannot be excluded from cognitive analysis of mathematicians’ use of external representations. Rather, representations are socially sanctioned and enabled in an enculturation process. (shrink)

This article focusses on the generality of the entities involved in a geometric proof of the kind found in ancient Greek treatises: it shows that the standard modern translation of Greek mathematical propositions falsifies crucial syntactical elements, and employs an incorrect conception of the denotative letters in a Greek geometric proof; epigraphic evidence is adduced to show that these denotative letters are ‘letter-labels’. On this basis, the article explores the consequences of seeing that a Greek mathematical proposition is fully general, (...) and the ontological commitments underlying the stylistic practice. (shrink)

El primer objetivo de este artículo es mostrar que explicaciones genuinamente geométricas/matemáticas e intrínsecamente diagramáticas de fenómenos físicos no solo son posibles en la práctica científica, sino que además comportan un potencial epistémico que sus contrapartes simbólico-verbales carecen. Como ejemplo representativo utilizaremos la metodología geométrica de John Wheeler (1963) para calcular cantidades físicas en una reacción nuclear. Como segundo objetivo pretendemos analizar, desde un marco inferencial, la garantía epistémica de este tipo de explicaciones en términos de dependencia sintáctica y semántica (...) del contenido lo inferido en las premisas, lo cual denominaremos criterio de validez inferencial (CVI). (shrink)

In line with Ken Manders’s seminal account of Euclid’s diagrammatic method in the “The Euclidean Diagram,” two proof systems with a diagrammatic syntax have been advanced as formalizations of the method FG and Eu. In a paper examining Eu, Nathaniel Miller, the creator of FG, has identified a variety of technical problems with the formal details of Eu. This response shows how the problems are remedied.

A number of examples of studies from the field ‘The Philosophy of Mathematical Practice’ (PMP) are given. To characterise this new field, three different strands are identified: an agent-based, a historical, and an epistemological PMP. These differ in how they understand ‘practice’ and which assumptions lie at the core of their investigations. In the last part a general framework, capturing some overall structure of the field, is proposed.

Descartes’ Rules for the direction of the mind presents us with a theory of knowledge in which imagination, considered as an “aid” for the intellect, plays a key role. This function of schematization, which strongly resembles key features of Proclus’ philosophy of mathematics, is in full accordance with Descartes’ mathematical practice in later works such as La Géométrie from 1637. Although due to its reliance on a form of geometric intuition, it may sound obsolete, I would like to show that (...) this has strong echoes in contemporary philosophy of mathematics, in particular in the trend of the so called “philosophy of mathematical practice”. Indeed Ken Manders’ study on the Euclidean practice, along with Reviel Netz’s historical studies on ancient Greek Geometry, indicate that mathematical imagination can play a central role in mathematical knowledge as bearing specific forms of inference. Moreover, this role can be formalized into sound logical systems. One question of general epistemology is thus to understand this mysterious role of the imagination in reasoning and to assess its relevance for other mathematical practices. Drawing from Edwin Hutchins’ study of “material anchors” in human reasoning, I would like to show that Descartes’ epistemology of mathematics may prove to be a helpful resource in the analysis of mathematical knowledge. (shrink)

I examine the passages where Aristotle maintains that intellectual activity employs φαντάσματα (images) and argue that he requires awareness of the relevant images. This, together with Aristotle’s claims about the universality of understanding, gives us reason to reject the interpretation of Michael Wedin and Victor Caston, on which φαντάσματα serve as the material basis for thinking. I develop a new interpretation by unpacking the comparison Aristotle makes to the role of diagrams in doing geometry. In theoretical understanding of mathematical and (...) natural beings, we usually need to employ appropriate φαντάσματα in order to grasp explanatory connections. Aristotle does not, however, commit himself to thinking that images are required for exercising all theoretical understanding. Understanding immaterial things, in particular, may not involve employing phantasmata. Thus the connection that Aristotle makes between images and understanding does not rule out the possibility that human intellectual activity could occur apart from the body. (shrink)

Proposition I.1 is, by far, the most popular example used to justify the thesis that many of Euclid’s geometric arguments are diagram-based. Many scholars have recently articulated this thesis in different ways and argued for it. My purpose is to reformulate it in a quite general way, by describing what I take to be the twofold role that diagrams play in Euclid’s plane geometry (EPG). Euclid’s arguments are object-dependent. They are about geometric objects. Hence, they cannot be diagram-based unless diagrams (...) are supposed to have an appropriate relation with these objects. I take this relation to be a quite peculiar sort of representation. Its peculiarity depends on the two following claims that I shall argue for: ( i ) The identity conditions of EPG objects are provided by the identity conditions of the diagrams that represent them; ( ii ) EPG objects inherit some properties and relations from these diagrams. (shrink)

The aim of this paper is to establish a phenomenological mathematical intuitionism that is based on fundamental phenomenological-epistemological principles. According to this intuitionism, mathematical intuitions are sui generis mental states, namely experiences that exhibit a distinctive phenomenal character. The focus is on two questions: what does it mean to undergo a mathematical intuition and what role do mathematical intuitions play in mathematical reasoning? While I crucially draw on Husserlian principles and adopt ideas we find in phenomenologically minded mathematicians such as (...) Hermann Weyl and Kurt Gödel, the overall objective is systematic in nature: to offer a plausible approach towards mathematics. (shrink)

This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection or (...) imaginative manipulation of mental models of mathematical phenomena. Proofs relying on diagrams can be rigorous if it is easy to draw a diagram that shares or otherwise indicates the structure of the mathematical object, the information thus displayed is not metrical and it is possible to put the inferences into systematic mathematical relation with other mathematical inferential practices. Proofs that appeal to mental models can be rigorous if the mental models can be externalised as diagrammatic practice that satisfies these three conditions. (shrink)

Until recently, leading work on the philosophy of thought experiments mistakenly credited Mach with coining the term. While Ørsted’s prior use has become more widely acknowledged, there remains a c...

The initial motivating question for this thesis is what the standard of rigour in modern mathematics amounts to: what makes a proof rigorous, or fail to be rigorous? How is this judged? A new account of rigour is put forward, aiming to go some way to answering these questions. Some benefits of the norm of rigour on this account are discussed. The account is contrasted with other remarks that have been made about mathematical proof and its workings, and is tested (...) and illustrated by considering a case study discussed in the literature. On the view put forward here one can obtain a manner of informal, rigorous mathematics founded on any of a variety of proof systems. The latter part of the thesis is concerned with the question of how we should decide which of these competing proof systems we should base our mathematics on: i.e., the question of which proof system we should take as a foundation for our mathematics. A novel answer to this question is proposed, in which the key property we should require of a proof system is that for as many different kinds of structures as possible, when the proof system allows a generalization about that kind of structure to be proved, the generalization actually holds of all real examples of that kind of structure which exist. This is the requirement of soundness of the proof system. It is argued that the best way to establish the soundness of a proof system may be by giving an interpretation of its axioms on which they are established as true. As preparation for this discussion, the thesis first investigates the logical and conceptual basis of various arithmetic concepts, with the results obtained used in the final discussion of soundness. (shrink)

Diagrams have played an important role throughout the entire history of differential equations. Geometrical intuition, visual thinking, experimentation on diagrams, conceptions of algorithms and instruments to construct these diagrams, heuristic proofs based on diagrams, have interacted with the development of analytical abstract theories. We aim to analyze these interactions during the two centuries the classical theory of differential equations was developed. They are intimately connected to the difficulties faced in defining what the solution of a differential equation is and in (...) describing the global behavior of such a solution. (shrink)

Modern formal accounts of the constructive nature of elementary geometry do not aim to capture the intuitive or concrete character of geometrical construction. In line with the general abstract approach of modern axiomatics, nothing is presumed of the objects that a geometric construction produces. This study explores the possibility of a formal account of geometric construction where the basic geometric objects are understood from the outset to possess certain spatial properties. The discussion is centered around Eu , a recently developed (...) formal system of proof (presented in Mumma (Synthese 175:255–287, 2010 )) within which Euclid’s diagrammatic proofs can be represented. (shrink)

I present a systematic interpretation of the foundational purpose of constructions in ancient Greek geometry. I argue that Greek geometers were committed to an operationalist foundational program, according to which all of mathematics—including its entire ontology and epistemology—is based entirely on concrete physical constructions. On this reading, key foundational aspects of Greek geometry are analogous to core tenets of 20th-century operationalist/positivist/constructivist/intuitionist philosophy of science and mathematics. Operationalism provides coherent answers to a range of traditional philosophical problems regarding classical mathematics, such (...) as the epistemic warrant and generality of diagrammatic reasoning, superposition, and the relation between constructivism and proof by contradiction. Alleged logical flaws in Euclid can be interpreted as sound operationalist reasoning. Operationalism also provides a compelling philosophical motivation for the otherwise inexplicable Greek obsession with cube duplication, angle trisection, and circle quadrature. Operationalism makes coherent sense of numerous specific choices made in this tradition, and suggests new interpretations of several solutions to these problems. In particular, I argue that: Archytas’s cube duplication was originally a single-motion machine; Diocles’s cissoid was originally traced by a linkage device; Greek conic section theory was thoroughly constructive, based on the conic compass; in a few cases, string-based constructions of conic sections were used instead; pointwise constructions of curves were rejected in foundational contexts by Greek mathematicians, with good reason. Operationalism enables us to view the classical geometrical tradition as a more unified and philosophically aware enterprise than has hitherto been recognised. (shrink)

In recent years, philosophical work directly concerned with the practice of mathematics has intensified, giving rise to a movement known as the philosophy of mathematical practice . In this paper we offer a survey of this movement aimed at mathematics educators. We first describe the core questions philosophers of mathematical practice investigate as well as the philosophical methods they use to tackle them. We then provide a selective overview of work in the philosophy of mathematical practice covering topics including the (...) distinction between formal and informal proofs, visualization and artefacts, mathematical explanation and understanding, value judgments, and mathematical design. We conclude with some remarks on the potential connections between the philosophy of mathematical practice and mathematics education. (shrink)

In this paper I concentrate on Euclidean diagrams, namely on those diagrams that are licensed by the rules of Euclid’s plane geometry. I shall overview some philosophical stances that have recently been proposed in philosophy of mathematics to account for the role of such diagrams in mathematics, and more particularly in Euclid’s Elements. Furthermore, I shall provide an original analysis of the epistemic role that Euclidean diagrams may have in empirical sciences, more specifically in physics. I shall claim that, although (...) the world we live in is not Euclidean, Euclidean diagrams permit to obtain knowledge of the world through a specific mechanism of inference I shall call inheritance. (shrink)

Euclidean diagrammatic reasoning refers to the diagrammatic inferential practice that originated in the geometrical proofs of Euclid’s Elements. A seminal philosophical analysis of this practice by Manders (‘The Euclidean diagram’, 2008) has revealed that a systematic method of reasoning underlies the use of diagrams in Euclid’s proofs, leading in turn to a logical analysis aiming to capture this method formally via proof systems. The central premise of this paper is that our understanding of Euclidean diagrammatic reasoning can be fruitfully advanced (...) by confronting these logical and philosophical analyses with the field of cognitive science. Surprisingly, central aspects of the philosophical and logical analyses resonate in very natural ways with research topics in mathematical cognition, spatial cognition and the psychology of reasoning. The paper develops these connections, concentrating on four issues: (1) the cognitive origins of Euclidean diagrammatic reasoning, (2) the cognitive representations of spatial relations in Euclidean diagrams, (3) the nature of the cognitive processes and cognitive representations involved in Euclidean diagrammatic reasoning seen as a form of visuospatial relational reasoning and (4) the complexity of Euclidean diagrammatic reasoning for the human cognitive system. For each of these issues, our analysis generates concrete experiment proposals, opening thereby the way for further empirical investigations. The paper is thus a prolegomenon to a research program on Euclidean diagrammatic reasoning at the crossroads of logic, philosophy and cognitive science. (shrink)

To make sense of large data sets, we often look for patterns in how data points are “shaped” in the space of possible measurement outcomes. The emerging field of topological data analysis offers a toolkit for formalizing the process of identifying such shapes. This article aims to discover why and how the resulting analysis should be understood as reflecting significant features of the systems that generated the data. I argue that a particular feature of TDA—its functoriality—is what enables TDA to (...) translate visual intuitions about structure in data into precise, computationally tractable descriptions of real-world systems. (shrink)

Mistaken reasons for thinking diagrammatic proofs aren't rigorous are explored. The main result is that a confusion between the contents of a proof procedure (what's expressed by the referential elements in a proof procedure) and the unarticulated mathematical aspects of a proof procedure (how that proof procedure is enabled) gives the impression that diagrammatic proofs are less rigorous than language proofs. An additional (and independent) factor is treating the impossibility of naturally generalizing a diagrammatic proof procedure as an indication of (...) lack of rigor. (shrink)

Published in 1891, Edmund Husserl's first book, Philosophie der Arithmetik, aimed to ‘prepare the scientific foundations for a future construction of that discipline’. His goals should seem reasonable to contemporary philosophers of mathematics: "…through patient investigation of details, to seek foundations, and to test noteworthy theories through painstaking criticism, separating the correct from the erroneous, in order, thus informed, to set in their place new ones which are, if possible, more adequately secured. 1"But the ensuing strategy for grounding mathematical knowledge (...) sounds strange to the modern ear. For Husserl cast his work as a sequence of ‘psychological and logical investigations’, providing a psychological analysis "…of the concepts multiplicity, unity, and number, insofar as they are given to use authentically and not through indirect symbolizations. "This emphasis on psychology is a reflection of Husserl's training. As a teenager studying in Leipzig, he attended the lectures of Wilhelm Wundt, a seminal figure in the field of experimental psychology. Wundt held that, via introspection, we can study and classify our inner experiences, in much the same way that scientists study the natural world. 2 People working in his laboratory were therefore trained in procedures for observing and reporting on their own thought processes, as a means of gathering scientific data regarding our cognitive faculties. Bridging the gap between psychology and epistemology, Wundt felt that the results of such inquiry could have normative consequences, since the principles of reasoning employed in the sciences not only have their origins in psychological processes, but, moreover, are justified by the fundamental role they play in thought. His two-volume work, Logik , thus combined empirical considerations with a Kantian emphasis on the way that knowledge depends on our cognitive faculties. 3In The Philosophy of …. (shrink)

This paper assumes the success of arguments against the view that informal mathematical proofs secure rational conviction in virtue of their relations with corresponding formal derivations. This assumption entails a need for an alternative account of the logic of informal mathematical proofs. Following examination of case studies by Manders, De Toffoli and Giardino, Leitgeb, Feferman and others, this paper proposes a framework for analysing those informal proofs that appeal to the perception or modification of diagrams or to the inspection or (...) imaginative manipulation of mental models of mathematical phenomena. Proofs relying on diagrams can be rigorous if it is easy to draw a diagram that shares or otherwise indicates the structure of the mathematical object, the information thus displayed is not metrical and it is possible to put the inferences into systematic mathematical relation with other mathematical inferential practices. Proofs that appeal to mental models can be rigorous if the mental models can be externalised as diagrammatic practice that satisfies these three conditions. (shrink)

The infinite regress of Carroll’s ‘What the Tortoise said to Achilles’ is interpreted as a problem in the epistemology of mathematical proof. An approach to the problem that is both diagrammatic and non-logical is presented with respect to a specific inference of elementary geometry.

We examine one of the well-known mathematical works of Abraham bar Ḥiyya: Ḥibbur ha-Meshiḥah ve-ha-Tishboret, written between 1116 and 1145, which is one of the first extant mathematical manuscripts in Hebrew. In the secondary literature about this work, two main theses have been presented: the first is that one Urtext exists; the second is that two recensions were written—a shorter, more practical one, and a longer, more scientific one. Critically comparing the eight known copies of the Ḥibbur, we show that (...) contrary to these two theses, one should adopt a fluid model of textual transmission for the various manuscripts of the Ḥibbur, because neither of these two theses can account fully for the changes among the various manuscripts. We hence offer to concentrate on the typology of the variations among the various manuscripts, dealing with macro-changes (such as omissions or additions of proofs, additional appendices or a reorganization of the text itself), and micro-changes (such as textual and pictorial variants). (shrink)

This paper investigates the following question: when can one reliably infer the existence of an intersection point from a diagram presenting crossing curves or lines? Two cases are considered, one from Euclid's geometry and the other from basic real analysis. I argue for the acceptability of such an inference in the geometric case but against in the analytic case. Though this question is somewhat specific, the investigation is intended to contribute to the more general question of the extent and limits (...) of reliable diagrammatic reasoning in mathematics. (shrink)

We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.

On March 10-12, 2014, Umeå University in Sweden will host a workshop on mathematical beauty and explanation. The goal of this workshop is explore the question of whether beauty and explanation are related in mathematics. The workshop will bring together top researchers from fields such as mathematics, philosophy, and mathematics education for which this topic is relevant. Many of these researchers have till now worked within their own discipline boundaries on related topics, but have not met or worked with each (...) other. We hope the workshop not only develops the programs of these established researchers, but also sparks interest in young researchers and encourages others to contribute to this specific question, or other related questions about the nature of mathematics. Registration is currently open, and will remain so until the capacity, of around 30 participants, is filled. (shrink)

In several articles, Mumma has presented a formal diagrammatic system Eu meant to give an account of one way in which Euclid's use of diagrams in the Elements could be formalized. However, largely because of the way in which it tries to limit case analysis, this system ends up being inconsistent, as shown here. Eu also suffers from several other problems: it is unable to prove several wide classes of correct geometric claims and contains a construction rule that is probably (...) computationally intractable and that may not even be decidable. (shrink)

In this paper, we focus on the development of geometric cognition. We argue that to understand how geometric cognition has been constituted, one must appreciate not only individual cognitive factors, such as phylogenetically ancient and ontogenetically early core cognitive systems, but also the social history of the spread and use of cognitive artifacts. In particular, we show that the development of Greek mathematics, enshrined in Euclid’s Elements, was driven by the use of two tightly intertwined cognitive artifacts: the use of (...) lettered diagrams; and the creation of linguistic formulae. Together, these artifacts formed the professional language of geometry. In this respect, the case of Greek geometry clearly shows that explanations of geometric reasoning have to go beyond the confines of methodological individualism to account for how the distributed practice of artifact use has stabilized over time. This practice, as we suggest, has also contributed heavily to the understanding of what mathematical proof is; classically, it has been assumed that proofs are not merely deductively correct but also remain invariant over various individuals sharing the same cognitive practice. Cognitive artifacts in Greek geometry constrained the repertoire of admissible inferential operations, which made these proofs inter-subjectively testable and compelling. By focusing on the cognitive operations on artifacts, we also stress that mental mechanisms that contribute to these operations are still poorly understood, in contrast to those mechanisms which drive symbolic logical inference. (shrink)

In what way does a mathematical proof depend on the notation used in its presentation? This paper examines this question by analysing the computational differences, in the sense of Larkin and Simon's ‘Why a diagram is (sometimes) worth 10,000 words’, between diagrammatic and sentential notations as a means for presenting geometric proofs. Wittgenstein takes up the question of mathematical notation and proof in Section III of Remarks on the Foundations of Mathematics. After discussing his observations on a proof's ‘characteristic visual (...) shape’ in Section III with respect to arithmetical proofs, the paper shows how the notion of a characteristic visual shape illuminates the special effectiveness of diagrammatic notation in geometry. (shrink)

Rav et Leitgeb défendent la thèse de l’autonomie des preuves informelles par rapport aux systèmes formels de preuve. Azzouni, au contraire développe une explication qui réduit les preuves informelles à un réseau de systèmes formels sous-jacents. L’objectif principal de cet article est de démontrer la possibilité d’une position tierce médiane mettant en avant une explication quasi formelle de la méthode de preuve dans les Éléments. L’explication est quasi formelle, plutôt que formelle, en ce qu’elle donne au contenu géométrique un rôle (...) irréductible dans les preuves d’Euclide en ce que ce rôle est sujet à des contraintes formelles. Les inférences qui sont basées sur concepts géométriques ont une occurrence à l’intérieur d’un cadre formel précisément défini.Rav and Leitgeb argue for the autonomy of informal proofs from formal systems of proof. In contrast, Azzouni develops an account which reduces informal proofs to a network of underlying formal systems. The general aim of this paper is to demonstrate the possibility of a third, middle position with a quasi-formal account of Euclid’s proof method in the Elements. The account is quasi-formal, rather than simply formal, in that it gives geometric content an irreducible role in Euclid’s proofs. It is quasi-formal, rather than simply informal, in that this role is subject to formal constraints. Inferences which are based on geometric concepts occur within a precisely defined formal framework. (shrink)