Table Of ContentMetaphor and Mathematics
A Thesis Submitted to the
College of Graduate Studies and Research
in Partial Fulfilment of the Requirements
for the degree of Doctor of Philosophy
in the Unit of Interdisciplinary Studies
University of Saskatchewan
Saskatoon
By
Derek Lawrence Lindsay Postnikoff
c Derek Lawrence Lindsay Postnikoff, April 2014. All rights
(cid:13)
reserved.
Permission to Use
Inpresenting thisthesis inpartialfulfilment oftherequirements foraPostgraduatedegree
from the University of Saskatchewan, I agree that the Libraries of this University may make
it freely available for inspection. I further agree that permission for copying of this thesis in
any manner, in whole or in part, for scholarly purposes may be granted by the professor or
professors who supervised my thesis work or, intheir absence, by theHead ofthe Department
or the Dean of the College in which my thesis work was done. It is understood that any
copying or publication or use of this thesis or parts thereof for financial gain shall not be
allowed without my written permission. It is also understood that due recognition shall be
given to me and to the University of Saskatchewan in any scholarly use which may be made
of any material in my thesis.
Requests for permission to copy or to make other use of material in this thesis in whole
or part should be addressed to:
Dean
College of Graduate Studies and Research
University of Saskatchewan
107 Administration Place
Saskatoon, Saskatchewan S7N 5A2
Canada
i
Abstract
Traditionally, mathematics and metaphor have been thought of as disparate: the for-
mer rigorous, objective, universal, eternal, and fundamental; the latter imprecise, deriva-
tive, nearly — if not patently — false, and therefore of merely aesthetic value, at best. A
growing amount of contemporary scholarship argues that both of these characterizations are
flawed. This dissertation shows that there are important connexions between mathematics
and metaphor that benefit our understanding of both. A historically structured overview of
traditional theories of metaphor reveals it to be a notion that is complicated, controversial,
and inadequately understood; this motivates a non-traditional approach. Paradigmatically
shifting thelocusofmetaphor fromthelinguistic totheconceptual —asGeorgeLakoff, Mark
Johnson, and many other contemporary metaphor scholars do — overcomes problems plagu-
ing traditional theories and promisingly advances our understanding of both metaphor and
of concepts. It is argued that conceptual metaphor plays a key role in explaining how mathe-
matics is grounded, and simultaneously provides a mechanism for reconciling and integrating
the strengths of traditional theories of mathematics usually understood as mutually incom-
patible. Conversely, it is shown that metaphor can be usefully and consistently understood
in terms of mathematics. However, instead of developing a rigorous mathematical model
of metaphor, the unorthodox approach of applying mathematical concepts metaphorically is
defended.
ii
Acknowledgements
The support I have received from my community of colleagues, family, and friends over
the course of this decade-long project has seemed non-compact — that is, without limit.
Many individuals deserve recognition for a variety of important contributions. My supervi-
sor, Dr. Sarah Hoffman, has been unwaveringly encouraging; this document owes much to
her scholarly guidance and her generosity. I also owe a debt of gratitude to my advisory com-
mittee: Dr. Eric Dayton, Dr. Karl Pfeifer, Dr. Murray Bremner, Dr. Florence Glanfield, and
Dr. Emer O’Hagan. They provided many insightful suggestions, willingly took on the many
responsibilities associated with advising an interdisciplinary student, and were patiently sup-
portive when personal crises slowed my progress. Thanks also to my external examiner, Dr.
Brent Davis, for his useful and flattering comments.
In addition to my committee, I wish to thank three individuals for contributing to the
content ofmy dissertation: Dr. JohnPorter (who provided invaluable assistance withAncient
Greek); Dr. Ulrich Teucher (who introduced me to the work of Cornelia Mu¨ller); and Ian
MacDonald (who suggested I read Jesse Prinz). I would also like to thank my peers and col-
leagues in the Philosophy Department for valuable discussions and camaraderie, particularly
Aaron, both Wills, Leslie, Sean, Scotia, Kevin, Mark, Diana, Jeff, Ian, and Dexter.
A very sincere thank you to the support staff of the university — custodians, secretaries,
heating-plant employees, librarians, and so on — whose efforts to maintain our institution go
unnoticed far too often. Your work is appreciated! In particular, thanks to Della Nykyforak,
Debbie Parker, Susan Mason, and Alison Kraft for their immense help in navigating the
administrative aspects of my program.
This research was funded in part by various scholarships awarded by the University of
Saskatchewan; byemployment opportunitiesgivenbythePhilosophyDepartment, St. Peter’s
College, the Mathematics and Statistics Help Centre (Holly Fraser), The Ring Lord (Jon and
BerniceDaniels), andDABWelding (DaveBodnarchuk); andby subsidies fromthetaxpayers
of Canada. I am supremely grateful for these financial contributions.
Finally, this document would not exist without the emotional, financial, and intellectual
support of my family: thank you all!
iii
To Thora, point of my compass, patiently steadfast and
wholeheartedly supportive while I ran in academic circles.
iv
Contents
Permission to Use i
Abstract ii
Acknowledgements iii
Contents v
List of Abbreviations vi
1 Introduction 1
2 A Philosophical History of Metaphor 7
2.1 Ancient Greece . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 Early Modern and Modern Philosophy . . . . . . . . . . . . . . . . . . . . . 23
2.3 Twentieth Century . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3 Conceptual Metaphor 56
3.1 Theories of Concepts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.2 Conceptual Metaphor Theory . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.3 Criticisms and Objections . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
4 Mathematics is Metaphorical 120
4.1 Traditional Theories of Mathematics . . . . . . . . . . . . . . . . . . . . . . 122
4.2 Conceptual Metaphor Theory and Embodied Mathematics . . . . . . . . . . 133
4.3 Yablo’s Mathematical Figuralism . . . . . . . . . . . . . . . . . . . . . . . . 157
4.4 Conceptual Metaphor Theory and the Philosophy of Mathematics . . . . . . 164
5 Metaphor is Mathematical 183
5.1 Computational Linguistics . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184
5.2 Mathematical Metametaphors . . . . . . . . . . . . . . . . . . . . . . . . . . 190
6 Conclusion 204
References 208
v
List of Abbreviations
BCE Before the Common Era
CE Common Era
CMT Conceptual Metaphor Theory
OED Oxford English Dictionary
UP University Press
vi
Chapter 1
Introduction
Mathematics is the classification and study of all possible patterns.
Pattern is here used...in a very wide sense, to cover almost
any kind of regularity that can be recognized by the mind.1
— W.W. Sawyer
What cognitive capabilities underlie our fundamental human achievements?
Although a complete answer remains elusive, one basic component is a special
kind of symbolic activity — the ability to pick out patterns, to identify
recurrences of these patterns despite variation in the elements that compose
them, to form concepts that abstract and reify these patterns, and to express
these concepts in language. Analogy, in its most general sense, is this ability to
think about relational patterns. As Douglas Hofstadter argues...
analogy lies at the core of human cognition.2
— Holyoak, Gentner, and Kokinov
In the Western tradition, mathematics and metaphor have long been thought of as in-
habiting opposite ends of the intellectual spectrum. Mathematics is generally considered the
paradigm case of rigor and objectivity. Mathematical theorems supported by valid proofs
seem to express truths that are exact, eternal, and evident. The precision and certainty
afforded by mathematical techniques underpin the extraordinary success of the quantitative
sciences. Even though many people find the practice of mathematics difficult and unenjoy-
able, most nonetheless acknowledge the contribution mathematics makes to the flourishing
of our species. Metaphor is generally not regarded so highly. At best, tradition regards it as
a convenient linguistic device for communicating subjective experiences (as in poetry) and as
a temporary measure when precise, literal language does not yet exist. At worst, metaphor
1W.W. Sawyer, Prelude to Mathematics (Harmondsworth, Middlesex: Penguin, 1955), 12; emphasis his.
2KeithHolyoak,DedreGentner,andBoichoKokinov,“Introduction: ThePlaceofAnalogyinCognition,”
The Analogical Mind: Perspectives from Cognitive Science,Ed. Gentner,Holyoak,andKokinov(Cambridge:
MIT Press, 2001), 2.
1
is considered an unnecessary and avoidable figurative impediment to clear communication,
a mere step away from outright prevarication. Thus, metaphor has often been conceived as
antithetical to but also disparate from mathematics.
There are a variety of reasons to question this traditional view. For one, mathematics
and metaphor do not seem as disparate as suggested above. In my decades of experience
as a mathematics student, educator, and researcher, I have observed the use of metaphor
and analogy at every level of mathematical practice, from young novices learning to add to
conference presentations by Fields Medallists. Three specific examples will help substanti-
ate this observation. First, when children are first learning addition their teachers draw a
comparison between the addition of numbers and the act of combining collections of physical
objects. Second, in order to help students understand the somewhat difficult notion of a
mathematical function, teachers and professors often describe functions metaphorically as
machines that take in numerical inputs and perform various manipulations and operations
upon them to yield numerical outputs. Third, some mathematicians (myself included) use
analogy in trying to understand multidimensional spaces by way of their experiences of the
three spatial dimensions they inhabit. For example, the vertices of the two-dimensional ge-
ometric object known as the Penrose tiling are sometimes understood as projections of a
five-dimensional cubic lattice in a similar way to how three-dimensional objects project two-
dimensional shadows.3 These examples are not isolated instances; many more mathematical
metaphors reveal themselves once one starts looking out for them.
Anotherquestionableaspectofthetraditionalviewisitssuspicionofandhostilitytowards
metaphor. Historically, several authors have spoken out against this traditional dismissive-
ness, claiming that metaphor hasbeen significantly undervalued andmischaracterized. These
scholars argue that metaphor should be embraced as a fundamental and pervasive part of hu-
man experience, not seen merely as an obfuscating derivative of literal language that should
be avoided whenever possible. The advances and increased interest in language scholarship
that occurred over the past century have correspondingly generated a substantial literature
on metaphor, much of which views metaphor in a more positive light than earlier works.
3N.G. de Bruijn, “Algebraic theory of Penrose’s non-periodic tilings of the plane I,” Indagationes Mathe-
maticae 84.1 (1981): 40.
2
Some contemporary authors even claim that metaphor is conceptual in nature and therefore
frequently precedes literal language rather than being derived from it. If metaphor is a basic
cognitive mechanism that helps structure our conceptual system then it is plausible that
metaphor could play a constitutive role in our understanding of mathematics. Even if one
rejects the idea that metaphor is conceptual, it seems that metaphor is a more complex,
legitimate, and widespread phenomenon than was previously suspected.
While scholarship of the last century generally improved metaphor’s reputation, it simul-
taneously brought mathematics down to earth a little. Mathematics was revered since the
time of the Ancient Greeks as the closest we flawed, mortal humans could come to knowing
objective Truth. The dramatic mathematical advances of the nineteenth century revealed
that mathematics is more varied, expansive, and complicated than was previously thought.
Inparticular, the discovery ofnon-Euclidean geometries calledinto question the long-heldbe-
lief that mathematical axioms are uniquely self-evident. These developments, among others,
brought about a foundational crisis in mathematics at the end of the 1800s that prompted
philosophers and mathematicians to search for a way to ground and unify an increasingly
abstract and voluminous discipline. While a variety of popular foundational theories have
been defended, all of them are controversial in some way and there is no consensus; thus, over
a century later, the foundational crisis still lacks definitive resolution. What seems clear is
that mathematical results such as the non-Euclidean geometries and G¨odel’s incompleteness
theorems have shown that mathematics is less certain and absolute than was once believed.
If mathematics and metaphor are not antipodal then the question remains of how they
are related to each other. This dissertation argues that important connexions exist between
mathematics and metaphor, and that exploring and developing these connexions improves
our understanding of both topics. On the one hand, metaphor and analogy seem to comprise
a fundamental mode of human reasoning. This is particularly evident when one considers
that we frequently learn by understanding the unknown in terms of the known. Insofar
as metaphorical reasoning is basic and ubiquitous, one expects it would play some role in
mathematics. Conversely, the modeling capabilities of mathematics are justifiably renowned;
it thus seems reasonable that one could, to at least some extent, mathematically model
metaphor. Both of these approaches are considered below, though more emphasis is placed
3
Description:the strengths of traditional theories of mathematics usually understood as mutually incom- administrative aspects of my program. Myriad examples of metaphor abound in ancient poetry, and one not need look further than definition: A simile is a comparison between one thing and another that