Origins and Varieties of Logicism On The Logico Philosophical Foundations of Mathematics 1st Edition Francesca Boccuni
Origins and Varieties of Logicism On The Logico Philosophical Foundations of Mathematics 1st Edition Francesca Boccuni
com
https://ebookmeta.com/product/origins-and-varieties-of-
logicism-on-the-logico-philosophical-foundations-of-
mathematics-1st-edition-francesca-boccuni/
OR CLICK HERE
DOWLOAD EBOOK
https://ebookmeta.com/product/philosophical-posthumanism-1st-edition-
francesca-ferrando/
ebookmeta.com
https://ebookmeta.com/product/the-foundations-of-mathematics-kenneth-
kunen/
ebookmeta.com
https://ebookmeta.com/product/historical-and-philosophical-
foundations-of-european-legal-culture-1st-edition-dawid-bunikowski/
ebookmeta.com
https://ebookmeta.com/product/discourses-on-the-edges-of-life-1st-
edition-vicent-salvador/
ebookmeta.com
Quantum and Blockchain for Modern Computing Systems Vision
and Advancements Quantum and Blockchain Technologies
Current Trends and Challenges Adarsh Kumar
https://ebookmeta.com/product/quantum-and-blockchain-for-modern-
computing-systems-vision-and-advancements-quantum-and-blockchain-
technologies-current-trends-and-challenges-adarsh-kumar/
ebookmeta.com
https://ebookmeta.com/product/the-psychoanalytic-study-of-
society-v-14-essays-in-honor-of-paul-parin-1st-edition-l-bryce-boyer-
editor/
ebookmeta.com
https://ebookmeta.com/product/kotlin-apprentice-third-edition-irina-
galata/
ebookmeta.com
https://ebookmeta.com/product/learning-at-speed-1st-edition-nelson-
sivalingam/
ebookmeta.com
War of the Kings New Kingdom Trilogy Book 3 1st Edition
Micky Carre
https://ebookmeta.com/product/war-of-the-kings-new-kingdom-trilogy-
book-3-1st-edition-micky-carre/
ebookmeta.com
Origins and Varieties of Logicism
Andrea Sereni is Associate Professor at the School for Advanced Studies IUSS
Pavia. He has published essays and books as well as edited special issues and
collections in the epistemology and philosophy of mathematics and logic.
Routledge Studies in the Philosophy of
Mathematics and Physics
Edited by Elaine Landry
University of California Davis, USA
and
Dean Rickles
University of Sydney, Australia
PART I
Origins 25
PART III
The Roads Ahead 267
The chapters collected in this volume, as well as the ideas behind it,
originated in two homonymous workshops we organized in 2015 and
2017: Origins and Varieties of Logicism (School for Advanced Studies
IUSS Pavia, March 16, 2015) and Origins and Varieties of Logicism
II—Further Explorations (Vita-Salute San Rafaele University, Milan,
February 20–21, 2017). The workshops ofered (splendid, to our eyes)
occasions to gather established and younger scholars in the philosophy
of mathematics working on several aspects of the logicist tradition and
to witness how lively the debate surrounding that tradition still is, even
beyond some regularly frequented quarters. We hope reading this volume
will convey part of the stimulating atmosphere of those two meetings.
Edited volumes are known to take time and efort, and having to cope
with the exhausting consequences the pandemic has caused globally in the
last year and a half could not but make things even harder on everyone
involved. We are most grateful to all the contributing authors, as well as
to Routledge, for their continued support and patience during the whole
editing process.
Neither the workshops nor the volume could have been possible without
participation and cooperation from institutions, authors, and reviewers.
First of all, we want to thank the School of Advanced Studies IUSS
Pavia, Vita-Salute San Rafaele University, joint IUSS/San Rafaele PhD
Program in Cognitive Neuroscience and Philosophy of Mind, San Raf-
faele PhD Program in Philosophy, NEtS (Neurocognition, Epistemology
and theoretical Syntax) Center at IUSS, and CRESA (Research Center
in Experimental and Applied Epistemology) at San Rafaele University
for sponsoring the workshops and making them possible, as well as the
then-Rector of IUSS, Michele Di Francesco, and the coordinator of the
San Rafaele PhD Program in Philosophy, Massimo Reichlin, for sup-
porting the two workshops, respectively. Finally, thanks to the Italian
Network for the Philosophy of Mathematics (FilMat) for granting its
auspices.
All participants in the workshops helped in providing fruitful discus-
sions and enhancing the ideas later to be published in this volume. Beyond
x Preface and Acknowledgments
the contributing authors to be found in these pages, we want to thank
other speakers, including Salvatore Florio, Eva Picardi, and Michael Pot-
ter, as well as all participating discussants: Massimiliano Carrara, Ciro
De Florio, Miriam Franchella, Alessandro Giordani, Daniele Molinini,
Francesco Orilia, and Claudio Ternullo. Marco Panza and Erich Reck
have been supportive of our project from the start, and we owe them for
many helpful suggestions.
The volume also includes chapters from authors who did not take part
in the workshops and were later reached for their expertise in areas that
were not originally covered. Some authors could not contribute in the end,
but we want nonetheless to thank them for their eforts: Salvatore Florio,
Stefan Rosky, and Matthias Schirn.
A number of colleagues have greatly helped in providing comments and
reviews of the collected chapters, and we are grateful for their assistance:
Bahram Assadian, Joan Bertran-San Millán, Philip Ebert, José Ferreirós,
Sebastien Gandon, Ansten Klev, Gabriele Lolli, Markus Pantsar, Matteo
Plebani, Gabriel Uzquiano, and Sean Walsh.
Our gratitude naturally goes to the editors of the Routledge series Stud-
ies in the Philosophy of Mathematics and Physics, Elaine Landry and
Dean Rickles, for considering our proposal; to two anonymous reviewers
for their helpful comments; to Andrew Weckenmann at Routledge for
helping us with the initial submission; and especially to Alexandra Sim-
mons for her continuous and valuable support (and, again, patience) in
all phases of the production process.
This volume is dedicated to two scholars who took active part in the
workshops but sadly are not with us anymore: Bob Hale and Eva Picardi.
Bob Hale greatly contributed (among many other things) to the study of
Frege’s philosophy of mathematics and language and to the development
of Scottish neo-logicism. His infuence in these areas cannot be overes-
timated. Bob sent us his chapter for this volume shortly before passing
away. Together with Jessica Leech, who was editing a collection of his
posthumous writings, we thought that his contribution should rightfully
appear in both volumes. It was originally published in Bob Hale and
Jessica Leech, Essence and Existence, Oxford University Press, Oxford,
pp. 240–255, and is reprinted here with Margaret Lovell Hale’s permis-
sion. We want to thank Jessica Leech and Margaret (Maggie) Hale for
their support in the reprint process. Bob was an inspiring thinker and an
exquisite person to talk with, not just about philosophy. His loss was a
shock to us, and to the entire scientifc community.
Eva Picardi was a renowned Frege (and Dummett) scholar who was
an illuminating and passionate teacher to (some of us and) many Italian
students. Eva profoundly infuenced many generations of philosophers by
contributing to the dissemination of Frege’s philosophy and more gener-
ally analytic philosophy in Italy. Above and beyond that, she was an
internationally esteemed thinker, as the vast scope of her publications
Preface and Acknowledgments xi
makes clear (some of her papers are now collected in The Selected Writ-
ings of Eva Picardi: From Wittgenstein to American Neo-Pragmatism, ed.
Annalisa Coliva, Bloomsbury, 2020; a second volume, Frege on Language,
Logic and Psychology, ed. Annalisa Coliva, is forthcoming for Oxford
University Press). We sorely miss her for her philosophical insights, her
professional passion, and her wit, both within and outside academia.
We hope the present volume will be a worthy homage to the legacy of
Bob and Eva.
Milan, Pavia
May 2021
Francesca Boccuni
Andrea Sereni
1 Origins and Varieties
of Logicism
An Overview
Francesca Boccuni and Andrea Sereni
WHAT IS LOGICISM?
The basic idea behind logicism in the philosophy of mathematics is dis-
armingly easy to state: mathematics is reducible to logic. Equally disarm-
ing, however, is the amount of subtleties, complexities, and variations that
exploring that basic idea entails.
Logicism, as it was originally introduced or as it is still perceived today, is
a foundational theory, and appeal to “reduction” is a pointer to its founda-
tional role. How foundation and reduction are to be conceived of, however,
is a vastly debated matter, combining issues in both the semantics, ontol-
ogy, epistemology, and formal reconstruction of mathematics. Ideally, one
may expect a foundation to roughly entail the following: unclear terms in
a disputed area of discourse are explained, via defnitions, on the basis of
clearer or more familiar primitives, thus yielding clarity to the disputed con-
cepts; such semantic reduction brings about an ontological reduction, for
objects apparently referred to in, or anyway featuring in the subject-matter
of, the target discourse are identifed with objects referred to in the basic
discourse, which are also taken to be more familiar or more easily charac-
terized; fnally, semantic and ontological reductions bring about epistemic
reduction: disputed objects are now shown to be more easily accessible, and
statements in the disputed discourse can be derived from statements in the
basic language expanded with suitable defnitions, thus inheriting part of the
certainty the basic statements enjoy. Following Quine (1969), we can call the
process of attaining clarity by reduction of obscure concepts to basic ones
a conceptual study and the process of attaining certainty by deduction of
disputed statements from basic ones a doctrinal study; to these, an ontologi-
cal and an epistemological study clearly follow suit. A logicist foundation
would then see in the language of mathematics (or some of its branches) the
target disputed discourse, in some sort of logical objects those with which
mathematical objects are to be identifed, and logical vocabulary as the basic
vocabulary with which, via defnitions, we can recover the originally obscure
concepts and objects, explain the content and truth-conditions of math-
ematical statements, and deduce such statements from purely logical ones.
DOI: 10.4324/9780429277894-1
2 Francesca Boccuni and Andrea Sereni
This idealized picture, however, is hostage to a number of diferent
variables. A standard presentation of logicism, mainly refecting the views
expounded by the German mathematician and philosopher Gottlob Frege,
would roughly deliver the following outline when limited to arithmetic.
Despite its undeniable usefulness in applications, which gives us an
indirect, inductive, and a posteriori warrant in its truth, arithmetic stands
in need of a much more robust justifcation. Such justifcation will guar-
antee a number of alleged properties of arithmetical statements: that they
are necessary, that they enjoy universal applicability and are not tied
to particular applications, that they do not assert anything of particular
material objects or their properties, that the reasons for holding them true
make no appeal to empirical evidence, and that they have a form of objec-
tivity that makes their truth independent of subjective human activities.
An adequate semantic analysis of arithmetical statements characterizes
numerical expressions as singular terms, whose semantic role is to denote
individual, self-subsistent objects. These objects can be identifed with
particular logical objects (the ontological study). Frege considered these
extensions of concepts, that is, loosely speaking, the sets of objects falling
under (sortal) concepts. The existence of such logical objects is established
by basic logical laws, delineating the essential vocabulary of our basic
logical language. Via such vocabulary, through appropriate defnitions,
we can defne the target arithmetical notions (the conceptual study): for
instance, a certain law will characterize extensions; via extensions we
can defne the notion of cardinal number; other logical defnitions will
introduce the notions of following-in-a-series and immediate successor
and allow defnitions of individual numbers, beginning with the number
0; together these defnitions will lead to defning in turn natural numbers
as those fnite cardinals that follow in the successor-series starting with
0. This will show how it is possible to derive all arithmetical truths from
basic logical truths and defnitions (the doctrinal study) once a proper
formal language is set and legitimate inference rules are specifed. Such
derivation will also show that whatever epistemic access we have to logi-
cal objects and laws will transmit to mathematical objects and statements
(the epistemological study). In an ideal scenario like the one just depicted,
this access will be purely a priori and will show arithmetical statements
to enjoy the same necessity and generality of logical statements: indeed,
arithmetical statements will just turn out to be a sub-class (or a notational
variant) of logical statements. Hence, they will be ipso facto provable by
logic and defnitions and thus analytic in Frege’s sense (cf. [GLA], §3).
Even without looking at the complexities such a picture requires when
placed in Frege’s overall mathematical, semantical, and philosophical set-
ting, it is easy to see from how many angles it can be attacked or simply
modifed.
To begin with, we need a clarifcation of what logic is, what its basic con-
cepts and laws are, and how we acquire knowledge of them. Traditionally,
Origins and Varieties of Logicism 3
logicism in the philosophy of mathematics has been developed within the
setting of second-order logic. But second-order logic has come under fre
from diferent charges, both formal—regarding, for instance, its incom-
pleteness entailed by Gödel’s 1931 theorems—and philosophical—such as
that leveled by Quine (1970), who suggested that second-order logic is not
logic but rather set theory in disguise. Switching to frst-order logic may
provide some reassurance but will prevent recovering not just, frst and
foremost, arithmetic in the way Frege envisaged but also larger parts of
mathematics—whereas ideally, logicism is meant to extend to all branches
of mathematics. One can then either try to defend second-order logic from
various accusations (Shapiro, 1991; Wright, 2007) or even resort to some
alternative interpretations—like those provided by plural logic (Boolos,
1984, 1985)—or even to non-classical logics (cf. e.g., Tennant, 1987).
Needless to say, the same concerns apply when one considers the variety
of accounts of logical validity that will have to underpin the inferences
to be allowed in a given formal system, as well as some of the principles
to be endorsed (think, for a case in point, about the Axiom of Choice or
various kinds of comprehension principles).
Even once such formal problems are tackled, many remain open. Logi-
cal (or, in diferent guises, set-theoretical) platonism, that is, the identifca-
tion of mathematical objects with logical objects, raises several challenges.
First of all, many would conceive of logical discourse as entirely topic
neutral, and this would boost skepticism against the idea that the sub-
ject-matter of logic involves sui generis objects and against the idea (see
Dummett 1973, ch. 4; Hale 1994, 1996) that numerical expressions are
genuine singular terms. One can thus either try to account for the logical
form of mathematical statements so that such expressions are interpreted
diferently—for example, as complex predicates (per some of Russell’s
views)—or even adopt a background conception of logic as conventional
in nature (as was the case for Carnap), with the side efect of threatening
not just platonism, as intended, but also the objectivity of mathematics.
More generally, the idea that the logical analysis of mathematical state-
ments is to mirror faithfully their surface-grammar may be questioned and
the identifcation of the grammatical and semantical roles of some math-
ematical expressions with those of singular terms jeopardized.1 Also, the
claim itself that the surface-grammar of those statements as it is adopted
by standard platonist views is the correct one can be disputed (cf. e.g.,
Hofweber, 2005; Moltmann, 2013a, b).
1 This, in turn, would also jeopardize the semantical and theoretical import of Frege’s
famous and controversial Context Principle (see Cariani, 2018; Dummett, 1995; Lin-
nebo, 2009b; Picardi, 2009, 2017; Resnik, 1967), as well as the particular interpretation
it receives in neo-logicists’ so-called Syntactic Priority Thesis (see Wright, 1983; Hale,
1987; MacBride, 2003).
4 Francesca Boccuni and Andrea Sereni
Even if one accommodates logical objects, metaphysical questions
about their nature come to the fore. The Fregean platonist view—at least
as standardly presented—which locates such objects in a third realm
additional to those of material objects and subjective representations and
describes them as self-subsistent, mind-independent, abstract (aspatial,
atemporal, acausal, possibly necessary existent) objects runs the risk of
begging for more answers than it provides (cf. Dummett, 1991, ch. 18;
Hale, 1988; Rosen, 2012). Qualms over our epistemic access to such
objects have abounded, raising the suspicion that the so-called Integration
Challenge (Peacocke, 1998) between semantics, ontology, and epistemol-
ogy is hard to attain in mathematics, as paradigmatically emphasized by
Benacerraf (1973).2
Concerns over the admissibility of abstract logical objects could be
assuaged if one were able to provide some intuitive, immediate source of
epistemic access to them, via clear, or unproblematic, or self-evident basic
concepts. This points to another cradle of problems: defnitions, which
are the backbone of the conceptual reduction.
For one thing, as history has painfully taught us, naïve notions can be
given apparently natural defnitions and still engender paradoxes; Frege’s
Basic Law V as a defnition of the (supposedly) logical notion of extension
or—equivalently—Cantor’s naïve notion of set or the notion of ordinal
number all posed hardly surmountable challenges in this regard. Consis-
tency clearly is a minimal requirement for a classical foundation of any
branch of mathematics; how to ensure it is a complex matter. Even the
discussion of where exactly the contradiction in Frege’s system should be
located—as emphasized by, among other things, debates on the cause of
such inconsistency (Boolos, 1993; Dummett, 1991, ch. 17, 1994), on the
tenability of impredicative vs. predicative defnitions (cf. e.g., Feferman,
2005), and on Russell’s Vicious Circle Principle (Chihara, 1973; Gödel,
1944; Jung, 1999)—opens up a range of diagnoses and solutions, includ-
ing the possibility of modifying Frege’s formal system enough to individu-
ate consistent sub-systems in which his own defnitions can be redeemed
(cf. e.g., Ferreira, 2018; Ferreira & Wehmeier, 2002; Heck, 1996).3
Even when consistency is safeguarded, however, the nature and import
of mathematical defnitions, and defnitions by abstraction in particular,
maintain center stage. The Euclidean ideal of self-evidence is not easy
to obtain, as the latter remains a highly problematic notion (see e.g.,
Jeshion, 2001, 2004; Shapiro, 2009). Nor it is uncontroversial, as many
logicists have maintained (see e.g., Hale & Wright, 2000), to claim that
2 For the vast discussion on Benacerraf’s challenge and its relevance for platonism, see, for
example, Field (1989), Introduction, Hale and Wright (2002), Liggins (2010), Linnebo
(2006), Panza and Sereni (2013).
3 For a survey, see Burgess (2005).
Origins and Varieties of Logicism 5
defnitions are able to aford us a priori mathematical knowledge. This
may lead to seeking alternative ways of characterizing basic mathematical
notions. One major example is given by the stipulation of sets of axioms,
possibly themselves conceived of as implicit defnitions of the primitive
terms occurring in them. While such a move is often associated with other
traditions, such as the one inaugurated by Hilbert in the context of the
development of the axiomatic method, it is well possible to merge logicist
claims with similar, axiomatic characterizations of mathematical notions.
If one also takes such characterizations to introduce not just individual
mathematical objects as standardly conceived but either mathematical
objects characterized by purely relational properties or even directly
abstract mathematical structures (those ideally described categorically by
given sets of axioms), a variety of logicism remarkably diferent from the
one sketched previously may ensue (such as the one arguably retrievable
in Dedekind [WSWSZ], despite the many possible interpretations of his
views).
More generally, understanding the role and import of defnitions one
way or another is tantamount to characterizing the sought-after founda-
tion in alternative ways. It is undeniable that defnitions in a given branch
of mathematics have a clear intra-theoretical and systematic function:
they allow locating a given theory in the overall architecture of math-
ematics by establishing reduction, or at least translation procedures, from
one theory to another (e.g., real analysis to arithmetic, arithmetic to set
theory, etc.). But equally undeniable is that the role defnitions play in the
logicist enterprise, however characterized, is also exquisitely epistemologi-
cal: they are meant to aford us a priori knowledge of basic mathematical
concepts and laws and to provide the grounds upon which the entirety
of the mathematical edifce is supposed to rest. Whether the structure of
mathematical knowledge should mirror some metaphysical architecture
of the mathematical universe is an open question,4 as is the question of
whether such knowledge, and thus the logicist target discourse, should be
confned to pure mathematics or rather duly take into account from the
start an explanation of its possible applications.5
6 As Grattan-Guinness (2000), p. 501, recalls, the word “Logistique” was frst adopted
by Couturat during the 1904 International Congress of Philosophy. It was later used
by Russell and others but also to cover views other than the one now usually intended.
The real difusion of the word is then mainly due to Carnap, who adopted it in his
Abriss der Logistik (1929) in order to refer to views such as those presented in Principia
Mathematica.
Origins and Varieties of Logicism 7
above all, some of the principles they had to assume—most notably, apart
from the Axiom of Reducibility and the Multiplicative Axiom, the Axiom
of Infnity, which was needed to grant the existence of as many classes as
required by the envisioned foundation—jeopardized the expected logicist
nature of their reconstruction.
Logicist ideas were not to be abandoned, nonetheless. Through the
works of Wittgenstein and Ramsey,7 they were inherited and espoused
by Carnap (who also attended Frege’s lectures in Jena between 1910 and
1914; see Carnap [FLL]) in the much-changed climate of Viennese neo-
positivism. Here logicism preserved some of its original traits but was
to encounter the needs of logical empiricism, the requirement to secure
knowledge of non-empirical statements within a verifcationist conception
of meaning, and a revised understanding of logic in the framework of
Carnap’s conventionalism.
After the substantial demise of logical empiricism, logicism ended up,
if not in a state of oblivion, at least in a mild hibernation. Even a cursory
look at Benacerraf and Putnam’s momentous collection (1964/1983)—
which can reasonably be taken as a blueprint of the major threads in the
debate in the philosophy of mathematics up to the sixties and then, with
the second edition, up to the early eighties of the past century—one imme-
diately realizes that the only positive logicist contributions are, indeed,
those by Frege (from [GLA]), Russell (from [IMP]), and Carnap ([LFM]).
Leaving aside the consideration it receives in the editors’ introduction,
logicism remains in the debate mainly as a term of opposition. In associa-
tion with Frege, it is objected to due to semantic concerns vis à vis struc-
turalism (Benacerraf, 1965) or for epistemological qualms concerning
platonism (Benacerraf, 1973); in association with Russell, it is mentioned
to emphasize the limits of the conception of mathematical logic underly-
ing Principia Mathematica (Gödel, 1944); in association with Carnap, it is
discussed within a broader charge of untenability of truth by convention
(Quine, 1964). No other positive logicist proposal occurs in the volume.8
From this perspective, it is ironic that the second edition of Benacerraf
and Putnam’s selected readings was published in the same year in which
Crispin Wright frst attempted to resuscitate Frege’s project (Wright,
1983). Neo-logicism—also known as Scottish neo-logicism, neo-Fregean-
ism, or abstractionism—as developed by Wright and Bob Hale (cf. Hale &
Wright, 2001) and sustained by formal results mainly due to George Boo-
los and Richard Heck (cf. Boolos, 1987a, and Heck, 1993; for a general
7 For an overview of the contributions by Wittgenstein and Ramsey on this score, see
Potter (2000), chs. 6, 8; Potter (2019), Parts III, IV.
8 It goes without saying, however, that since the early seventies, Frege’s ideas, includ-
ing those underlying his logicism, were to be considerably explored, disseminated, and
developed through the works of Michael Dummett.
8 Francesca Boccuni and Andrea Sereni
discussion, see Tennant, 2017, and for a survey Zalta, 2018)—was to
mark a new phase in the consideration of logicist ideas. The possibility
of reviving a logicist foundation of arithmetic—as weak as it was with
respect to Frege’s outright identifcation of arithmetical statements with
logical statements—by abandoning the ill-fated Basic Law V and resorting
to what is today known as Hume’s Principle as a suitable defnition of the
concept of cardinal (and hence fnite cardinal, or natural) numbers9 initi-
ated a logicist renaissance which resulted in an impressive wealth of new
lines of research and stands out as a major contribution in contemporary
times to the history and development of logicism.10
9 Both Basic Law V (BLV) and Hume’s Principle (HP) are instances of abstraction prin-
ciples, that is, principles of the form §φ=§ψ↔RE(φ, ψ), where § is an abstraction function
mapping the φs and ψs into a domain of entities of a possibly diferent sort, and RE is an
equivalence relation holding between the φs and ψs. BLV (in one of its readings) states
that: {F}={G}↔F≡G (the extension of the concept F is identical to the extension of the
concept G if F and G are equipollent, that is, the same elements fall under both of them);
HP states that #F=#G↔F≈G (the number of the concept F is identical to the number of
the concept G if F and G are equinumerous, that is, one has as many elements falling
under it as the other); another notable abstraction is the Direction Principle, which states
that: d(a)=d(b)↔a//b (the direction of line a is identical to the direction of line b if a and
b are parallel). The discussion on the role and import of abstraction principles, both in
traditional and contemporary varieties of logicist projects, can hardly be overestimated.
10 Beyond Hale’s and Wright’s own works, one can see the collections Cook (2007), Ebert
and Rossberg (2016a), and Heck (2011). On the same track, the new translation of
Frege’s Grundgesetze has opened new studies on Frege’s major work, such as Ebert and
Rossberg (2019) and Heck (2012).
Origins and Varieties of Logicism 9
open contrast with, the logicist tradition advocated varieties of logicism.
Most notable among these is Dedekind.11 Despite his role as the initiator,
or forefather, of mathematical structuralism, Dedekind explicitly qualifes
himself in logicist terms, and only uncompromising assumptions on what
logicism entails—like the anti-psychologistic and anti-creationistic ones
famously advanced by Russell in his objections—can prevent acknowl-
edging him such qualifcation. Assessing the origins of logicism without
considering Dedekind’s view would be at best partial.12
Second, even the most representative views of Frege and Russell
unfolded via a number of discussions and exchanges with philosophers
and mathematicians of the times. Appreciating their proposals and their
legacy in philosophy and mathematics cannot overlook Frege’s reactions
to Boole and Peano; the controversy between Frege and Hilbert on axioms
and defnitions; the unequal treatment Frege provided of mathematics and
geometry and his reaction to the development of non-Euclidean geom-
etries; the heated contrast between Frege and Husserl (basic references
on the previous issues are to be found in Frege’s own works, especially
[PMC] and [PW]); the philosophical connections that could be established
between Frege’s and Bolzano’s views, even beyond the shared convic-
tion in a rigorous and gapless presentation of mathematical theories (e.g.,
Chihara, 1999; Sundholm, 2000); Frege’s (and Russell’s) reception of the
mathematical advancements of their time as well as the development of
Cantorian set theory and, later, of axiomatic set theory;13 the comparison
between logicism and not only rival views such as those of Hilbert and
Brouwer but also stretching to critics such as Poincaré;14 and a closer
consideration of the role of Wittgenstein and Ramsey in conveying logicist
ideas to Carnap, as well as the reception of those ideas from other leading
fgures of logical empiricism.15
When it comes to the present day, moreover, that story should be com-
plemented by an impressive number of factors. To mention a few major
***
Origins and Varieties of Logicism 11
The present volume is motivated—as were the workshops behind it—by
four convictions.
The frst—quite unsurprisingly for anyone familiar with either the
philosophy of mathematics or Fregean exegesis itself—is that even in its
most paradigmatic version, that is, Frege’s, logicism still leaves many open
issues to be explored at both the exegetical, philosophical, and formal
levels.
The second is that a full appreciation of the value of logicism, and the
extent to which it can be pursued in one version or another, cannot but
be obtained by looking at a network of comparisons with both cognate
and rival views, for only this allows identifying its essential traits in an
unprejudiced manner, assessing the ways in which common tenets can be
diferently refned, and locating logicist views within a wider philosophi-
cal and mathematical context.
A third motivation is that logicism should not be seen, today less than
ever, as a monolithic standpoint. A richness in varieties of logicist views is
not only intrinsic to its early stages but has reverberated up to the present
day and still yields a plurality of paths that can be taken in reviving its
original suggestions or some reevaluation of them.
Finally, a last (but not least) motivation is the belief that logicism still
has a lot to say and many viable options to ofer and that only a careful
combination of historical, exegetical, mathematical, and philosophical
explorations can provide the proper setting within which its prospects
can be valued.
The themes running through the chapters collected here, to which we
now turn, are meant to exemplify and substantiate these guiding thoughts.
Part I: Origins
Any exhaustive discussion of logicism must commence by looking closely
at the authors with which the view, even possibly in diferent concurrent
varieties, originated. As is predictable, then, the volume opens with a
section devoted to the major historical fgures in this tradition. It will not
come as a surprise to fnd chapters on Frege and Russell in this section,
but there are two slightly more controversial features. One is the absence
of Carnap, or anyway of the conception(s) of logicism that pervaded
logical empiricism. Surely Carnap is often recalled—especially thanks to
some well-known views such as those presented in Carnap [LFM]—as an
infuential proponent of (some form of) logicism, but it is clear that his
views (like those of his fellow neo-positivists) were infuenced by a much
more variegated philosophical, scientifc, and cultural context than the
one in which Frege’s and Russell’s accounts originated (cf. Cofa, 1991).
For this reason, the reception and evolution of logicism in Carnap and
12 Francesca Boccuni and Andrea Sereni
logical empiricism are here considered as parts of a later development
and are treated in Part II of the volume. Equally controversial to some
may be to fnd Dedekind among early logicist thinkers. Some theoretical
aspects of Dedekind’s works were subjected to ferce objections by Frege
and (above all) Russell; also, the structuralist tradition Dedekind is often
thought to inaugurate stood, and still stands, in stark contrast with the
Fregean one. But it is undeniable that many of Dedekind’s remarks on
the relation between mathematics and logic are written in a spirit that
could easily be shared by Frege and Russell. As this has become more and
more appreciated in recent literature, we think it is rightful to fully count
Dedekind among early logicists.
Chapters in Part I unfold in an approximate chronological order, which
is also meant to refect conceptual developments. In considering Frege’s
logicist project, it is both natural and recommended to move from earlier
conceptions in Grundlagen to more mature evolutions in Grundgesetze.
To this aim, in her chapter “Frege on Caesar and Hume’s Principle”,
Patricia Blanchette opens the volume by discussing one of the crucial
issues of Frege’s project as exposed in Grundlagen, namely the reasons
Frege abandoned Hume’s Principle as a good defnition of the concept of
cardinal number capable of providing truth-conditions to a sufciently
wide array of arithmetical identity statements (an issue later to take cen-
tral stage in neo-logicist views, discussed in Part III). Despite a common
belief that those reasons are to be found in the so-called Caesar Problem,
Blanchette advances alternative readings of the relevant texts concluding
that the limitations imposed by such problem are in fact less pressing than
a broader impossibility of introducing object-names via abstraction prin-
ciples, as a retrospective analysis of Russell’s paradox allows appreciating.
A rather diferent conception of Frege’s realism, usually associated with
his logicism, then ensues.
Such refections naturally lead one to consider how Frege conceived
of truth and truth-values in providing a semantics for arithmetical lan-
guage. Robert May’s chapter “The Role of Truth” focuses directly on
this, especially on Frege’s conception of truth-values as objects. While
placing the most fundamental question for Frege not in the nature of
truth (given how truth-values can be stipulated to be appropriate but still
arbitrary value-ranges) but in the role truth plays in semantics and logic,
May investigates how the identifcation of truth-values with objects is
supposed to discharge the required roles. He does this by focusing both on
Frege’s characterization of his formal language as a referential language
(in [GGA], I.§§29–32) and on his identifcation of truth-values as 0-level
entities (in [GGA], I.§10). May considers how the role of truth is tied to
Frege’s conceptual hierarchy and ends up emphasizing a signifcant ten-
sion in Frege’s framework, brought about by the indefnability of truth, on
the one hand, and the necessity, on the other hand, of precisely identify-
ing truth-values as objects of some sort in order to provide an adequate
Origins and Varieties of Logicism 13
account of the language of logic. Such an identifcation overtly clashes
with Frege’s explicit rejection of creative defnitions, which nevertheless
are clearly playing a role in Frege’s stipulation that truth-values are value-
ranges of some kind.
Further related tensions, or gaps, in Frege’s systems emerge when one
considers the nature of value-ranges themselves. In his chapter “Anzahlen
and Werthferläufe. Are There Objects Other Than Value-Ranges in
Frege’s Universe? An Argument From Grundgesetze, §§I.34–40”, Marco
Panza explores Frege’s formal system in this regard, starting from the
widespread conception that such a system assigns invariant meanings to
its primitive functional constants and fxed quantifer domains and focus-
ing on the chain of defnitions leading to the defnition of Anzahlen in
Grundgesetze. Such invariance and fxity depend on how value-ranges are
conceived of, but Frege never explicitly clarifes their nature. Moreover, he
never explicitly rules out whether his system allows for objects diferent
from value-ranges. Lacking these clarifcations, the sought-for precision
for mathematical defnitions and theorems seems threatened.
Together, the frst three chapters depict an inherently nuanced account
of some of the most basic elements underlying Frege’s logicism: his con-
ception of defnitions and reference, his understanding of truth and truth-
values, and the role of logical (or other) objects in delivering (paradoxes
apart) a stable logicist foundation for arithmetic. One is not bound, how-
ever, to take all aspects of Frege’s philosophy on board in order to argue
for logicism. As Erich Reck shows in his chapter, “Dedekind’s Logicism:
A Reconsideration and Contextualization”, Dedekind should be rightfully
held to be a proponent of logicism. Even independently of Dedekind’s own
declarations on this score, his works clearly deliver a variety of logicism.
The chapter defends this reading against previous criticism and shows
how Dedekind’s logicism is deeply entrenched in the mathematical devel-
opments of the time. Finally, the chapter advances an interpretive and
methodological suggestion which is especially relevant for the purposes of
this volume: namely that we should give a sufciently general explanation
of what can count as logicism and avoid identifying its essential features
by bringing in specifc traits and philosophical assumptions relating to
only some historically major fgures like Frege and Russell.
A closer look at the latter is then needed to complete a survey on the
original varieties of logicism, and Kevin C. Klement provides one in his
chapter “Logical Form and the Development of Russell’s Logicism”. An
underlying theme in Fregean and Dedekindian conceptions of logicism
is the role individual abstract mathematical objects, if there are any, are
to play to sustain a logical analysis of mathematical statements and at
the same time provide such analysis with the expected general validity.
Russell, also in response to the paradoxes afecting set theory and math-
ematical logic, moved progressively towards a conception according to
which arithmetical statements are indeed not about objects at all but
14 Francesca Boccuni and Andrea Sereni
about “fragments of logical forms”. Surface syntax—contrary to a stan-
dard reading of Frege’s position—thus appears misleadingly to be about
objects. However, once unveiled, the proper logical form of mathematical
statements is able to guarantee the general validity expected of logical
claims. This reading helps both to individuate what is peculiar to Rus-
sell’s brand of logicism as opposed to other varieties and also to draw
comparisons with some prominent contemporary readings of defnitions
by abstraction, to be explored later in the volume.
16 See, for example, Boccuni and Panza (2021), Dummett (1991), Hale (2000b), Schirn
(2013), Shapiro (2000), Simons (1987), Snyder and Shapiro (2019), Wright (1983,
2000).
17 See, for example, Boolos (1987b, 1989), Cook (2003), Hale (2000a), Jané and Uzquiano
(2004), Shapiro (2003).
Origins and Varieties of Logicism 17
way around. In fact, a second way to look at this divide focuses on the
incommensurability of these two conceptions.18 Roy Cook’s “Logicism,
Separation, and Complement” takes this latter standpoint. Starting from
one of the traditional issues for (neo-)logicism, that is, the so-called Bad
Company Objection,19 Cook argues that any neo-logicist foundation
of set theory, when combined with the criteria formulated for solving
that objection, implies the axiom of complement, in contradiction with
ZFC’s axiom of separation. In this respect, a viable neo-logicist con-
ception of sets does not plainly overlap with the iterative conception
embodied in ZFC.
In “Principia Mathematica Redux”, Gregory Landini highlights the
structural nature of Whitehead and Russell’s type theory in Principia
Mathematica. This feature is not only somewhat opposed to Frege’s view
concerning the crucial role of logical objects in the reconstruction of arith-
metic but is also a rather signifcant contribution to the debate on (Hil-
bertian) structural axiomatic conceptions of mathematics versus Fregean
object-based approaches, also investigated in Hallett’s contribution to this
volume. A re-evaluation of Whitehead and Russell’s core conception in
Principia is therefore in order.
The renewal of the philosophical interest in Frege’s logicism, in particu-
lar as represented by its main successor, namely Scottish neo-logicism, and
in Dedekind’s seminal contribution to that view is no surprise anymore.
It is therefore only natural to bring the two together. Fiona Doherty’s
“The Ontology of Abstraction, From Neo-Fregean to Neo-Dedekindian
Logicism” investigates the sharp ontological divide between Frege and
neo-logicism. On the one hand, this divide leads neo-logicism to a thin
conception of mathematical objects, in opposition to Frege’s original
view; on the other, it prompts a reconsideration of Hale and Wright’s
neo-logicism, yielding a neo-Dedekindian form of logicism.
Last but not at all least, a relatively recent area of research has ques-
tioned the rather entrenched divide between logicism and psychologism.
Traditionally, those views are taken to contrast each other fercely—if only
on the basis of Frege’s and Russell’s scorn for the latter. Recently, though,
a revived attention on this divide due, among other things, to studies on
Frege’s arithmetic and ordinary arithmetic (cf. e.g., Heck, 2000), on the
one hand, and the development of numerical cognition, on the other,20
has brought to light that such an opposition is less radical than the tra-
ditional debate might have foreseen. Lieven Decock’s “Frege’s Theorem
18 To some extent, this view is also explored in Jané and Uzquiano (2004).
19 For a survey, see, for example, Ebert and Rossberg (2016b), Linnebo (2009a), Tennant
(2017).
20 For classic references, see Carey (2009) and Dehaene (2011); for some recent develop-
ments, see the essays in Bangu (2018).
18 Francesca Boccuni and Andrea Sereni
and Mathematical Cognition” takes stock of this debate by underscor-
ing important connections between a Fregean conception of cardinality
and results from developmental psychology and linguistic anthropology.
In this respect, both equinumerosity and the successor relation seem to
play independent roles in the development of number concepts. However,
methodological problems with cognitive explanations of the acquisition
of numerical concepts suggest adopting a form of apsychologism in the
analysis of such concepts as used in mathematical practice.
***
As these fnal remarks, and more generally those in the chapters of this
last Part, suggest, logicism is far from being a view of purely historical
interest. Revised interpretations, novel proposals, and unexpected connec-
tions between traditionally diferent stances all suggest that the prospects
for the study of logicism and its legacy are more open than ever and that
many roads lie ahead.
References
Bangu, S. (Ed.) (2018). Naturalizing Logico-Mathematical Knowledge:
Approaches From Psychology and Cognitive Science. New York and Abingdon:
Routledge.
Benacerraf, P. (1973). “Mathematical truth”. Journal of Philosophy 70(19), 661–
679. Reprinted in Benacerraf & Putnam (1964/1983), pp. 403–420. Unabridged
1968 edition published in F. Pataut (Ed.), Truth, Objects, Infnity: New Per-
spectives on the Philosophy of Paul Benacerraf, Springer, 2016, pp. 263–287.
Benacerraf, P. (1981). “Frege: The last logicist”. Midwest Studies in Philosophy
6(1), 17–36.
Benacerraf, P. (1965). “What numbers could not be”. The Philosophical Review
74(1), 47–73.
Benacerraf, P. & Putnam, H. (1964/1983). Philosophy of Mathematics, Selected
Readings. Cambridge: Cambridge University Press, 1st edition 1964, 2nd edi-
tion 1983.
Benis-Sinaceur, H., Panza, M. & Sandu G. (Eds.) (2015). Functions and General-
ity of Logic: Refections on Dedekind’s and Frege’s Logicisms. Berlin: Springer.
Blanchette, P. (2018). “The Frege-Hilbert controversy”. In E.N. Zalta (Ed.). The
Stanford Encyclopedia of Philosophy (Fall 2018 edition). Retrieved from
https://plato.stanford.edu/archives/fall2018/entries/frege-hilbert/.
Boccuni, F. (2013). “Plural logicism”. Erkenntnis 78(5), 1051–1067.
Boccuni, F. & Panza, M. (2021). “Frege’s theory of real numbers: A consistent
rendering”. Review of Symbolic Logic, 1–44.
Boolos, G. (1984). “To be is to be a value of a variable (or to be some values of
some variables)”. The Journal of Philosophy 81(8), 430–449.
Boolos, G. (1985). “Nominalist platonism”. Philosophical Review 94(3),
327–344.
Origins and Varieties of Logicism 19
Boolos, G. (1987a). “Saving Frege from contradiction”. Proceedings of the Aris-
totelian Society 87, 137–151.
Boolos, G. (1987b). “The consistency of Frege’s Foundations of Arithmetic”. In
J. Thomson (Ed.). On Being and Saying: Essays in Honor of Richard Cart-
wright (pp. 3–20). Cambridge, MA: MIT Press.
Boolos, G. (1989). “Iteration again”. Philosophical Topics 17(2), 5–21.
Boolos, G. (1993). “Whence the contradiction?”. Aristotelian Society Supplemen-
tary Volume 67, 211–233.
Burgess, J.P. (2005). Fixing Frege. Princeton: Princeton University Press.
Carey, S. (2009), The Origin of Concepts. Oxford: Oxford University Press.
Cariani, F. (2018). “A context principle for the twenty-frst century”. In A. Coliva,
P. Leonardi & S. Moruzzi (Eds.). Eva Picardi on Language, Analysis and His-
tory (pp. 183–203). Basingstoke, UK: Palgrave Macmillan.
Chihara, C. (1973). Ontology and the Vicious Circle Principle. Ithaca, NY: Cor-
nell University Press.
Chihara, C. (1999). “Frege’s and Bolzano’s rationalist conceptions of arithmetic”.
In Sinaceur H. (Ed.). Mathématique et logique chez Bolzano. Special issue of
Revue d’histoire des sciences 52(3–4), 343–361.
Cofa, A. (1991). The Semantic Tradition from Kant to Carnap: To the Vienna
Station. Cambridge: Cambridge University Press.
Cook, R. (2003). “Iteration one more time”. Notre Dame Journal of Formal
Logic 44(2), 63–92.
Cook, R. (Ed.) (2007). The Arché Papers on the Mathematics of Abstraction.
Dordrecht: Springer.
Dehaene, S. (2011). The Number Sense: How the Mind Creates Mathematics.
Oxford: Oxford University Press.
Demopoulos, W. (1994). “Frege and the rigorization of analysis”. Journal of
Philosophical Logic 23(3), 225–245.
Demopoulos, W. & Clark, P. (2005). “The logicism of Frege, Dedekind, and Rus-
sell”. In S. Shapiro (Ed.). The Oxford Handbook of Philosophy of Mathematics
and Logic (pp. 166–202). Oxford: Oxford University Press.
Detlefsen, M. (1992). “Poincaré against the logicians”. Synthese 90, 349–378.
Detlefsen, M. (2011). “Dedekind against intuition: Rigor, scope, and the motives
of his logicism”. In C. Cellucci et al. (Eds.). Logic and Knowledge (pp. 205–
217). Cambridge: Cambridge Scholars Publishing.
Donaldson, T. (2016). “The (metaphysical) foundations of arithmetic?”. Noûs
51(2), 775–801.
Dummett, M. (1973). Frege: Philosophy of Language. London: Duckworth; 2nd
edition 1981.
Dummett, M. (1991). Frege: Philosophy of Mathematics. Cambridge, MA: Har-
vard University Press.
Dummett, M. (1994). “Chairman’s address: Basic Law V”. Proceedings of the
Aristotelian Society 94, 243–251.
Dummett, M. (1995). “The context principle: Centre of Frege’s philosophy”. In
I. Max & W. Stelzner (Eds.). Logik und Mathematik: Frege-Kolloquium Jena
1993 (pp. 3–19). Berlin: de Gruyter.
Ebert, P.A. & Rossberg, M. (Eds.) (2016a). Abstractionism: Essays in Philosophy
of Mathematics. Oxford: Oxford University Press.
20 Francesca Boccuni and Andrea Sereni
Ebert, P.A. & Rossberg, M. (2016b). “Introduction to abstractionism”. In
Ebert & Rossberg (Eds.) (2016a) (pp. 3–33).
Ebert, P.A. & Rossberg, M. (Eds.) (2019). Essays on Frege’s Basic Laws of Arith-
metic. Oxford: Oxford University Press.
Feferman, S. (2005). “Predicativity”. In S. Shapiro (Ed.). Oxford Handbook of
Philosophy of Mathematics and Logic (pp. 590–624). Oxford: Oxford Univer-
sity Press.
Ferreira, F. (2018). “Zigzag and Fregean arithmetic”. In H. Tahiri (Ed.). The
Philosophers and Mathematics: Logic, Epistemology, and the Unity of Science
(Vol. 43, pp. 81–100). Dordrecht: Springer.
Ferreira, F. & Wehmeier, K. (2002). “On the consistency of the Δ11-CA fragment
of Frege’s Grundgesetze”. Journal of Philosophical Logic 31, 301–311.
Ferreirós, J. (2007). Labyrinth of Thought. A History of Set Theory and Its Role
in Modern Mathematics. Basel & Boston: Birkhäuser Verlag (2nd Edition; 1st
Edition Science Networks – Historical Studies, Vol. 23, 1999).
Ferreirós, J. (2009). “Hilbert, logicism, and mathematical existence”. Synthese
170(1), 33–70.
Ferreirós, J. (forthcoming). “On Dedekind’s logicism”. In A. Arana & C. Alvarez (Eds.).
Analytic Philosophy and the Foundations of Mathematics. London: Palgrave.
Field, H. (1989). Realism, Mathematics, and Modality. Oxford: Basil Blackwell.
Giaquinto, M. (2002). The Search for Certainty: A Philosophical Account of
Foundations of Mathematics. Oxford: Oxford University Press.
Gödel, K. (1944). “Russell’s mathematical logic”. In P. Schilpp (Ed.). The Philoso-
phy of Bertrand Russell (Library of Living Philosophers) (pp. 123–153). New
York: Tudor.
Grattan-Guinness, I. (2000). The Search for Mathematical Roots: Logics, Set
Theories and the Foundations of Mathematics from Cantor Through Russell
and Goedel. Princeton: Princeton University Press.
Hale, B. (1988). Abstract Objects. Oxford: Blackwell.
Hale, B. (1994). “Singular terms (2)”. In B. McGuinness & G. Oliveri (Eds.). The
Philosophy of Michael Dummett (pp. 17–44). Dordrecht, Boston & London:
Kluwer. Reprinted in Hale & Wright (2001), Essay 2.
Hale, B. (1996). “Singular terms (1)”. In M. Schirn (Ed.). Frege: Importance and
Legacy (pp. 438–457). Berlin & New York: Walter de Gruyter. Reprinted in
Hale & Wright (2001), Essay 1.
Hale, B. (2000a). “Abstraction and set theory”. Notre Dame Journal of Formal
Logic 41(4), 379–398.
Hale, B. (2000b). “Reals by abstraction”. Philosophia Mathematica 8(2), 100–123.
Hale, B. (2002). “Real numbers, quantities, and measurement”. Philosophia
Mathematica 10(3), 304–323.
Hale, B. (2016). “Defnitions of numbers and their applications”. In Ebert &
Rossberg (2016) (pp. 332–347).
Hale, B. & Wright, C. (2000). “Implicit defnitions and the a priori”. In P. Bog-
hossian & C. Peacocke (Eds.). New Essays on the A Priori (pp. 286–319).
Oxford: Oxford University Press. Reprinted in Hale & Wright (2001), Essay 5.
Hale, B. & Wright, C. (2001). The Reason’s Proper Study: Essays Towards a
Neo-Fregean Philosophy of Mathematics. Oxford: Clarendon Press.
Hale, B. & Wright, C. (2002). “Benacerraf’s dilemma revisited”. European Jour-
nal of Philosophy 10(1), 101–129.
Origins and Varieties of Logicism 21
Hallett, M. (1984). Cantorian Set Theory and Limitation of Size. Oxford: Clar-
endon Press.
Heck, R.K. (1993). “The development of arithmetic in Frege’s Grundgesetze der
Arithmetik”. Journal of Symbolic Logic 58, 579–601 (originally published
under the name “Richard G. Heck, Jr”).
Heck, R.K. (1996). “The consistency of predicative fragments of Frege’s Grund-
gesetze der Arithmetik”. History and Philosophy of Logic 17(1), 209–220
(originally published under the name “Richard G. Heck, Jr”).
Heck, R.K. (2000). “Cardinality, counting, and equinumerosity”. Notre Dame
Journal of Formal Logic 41(3), 187–209 (originally published under the name
“Richard G. Heck, Jr”).
Heck, R.K. (2011). Frege’s Theorem. Oxford: Oxford University Press (originally
published under the name “Richard G. Heck, Jr”).
Heck, R.K. (2012). Reading Frege’s Grundgesetze. Oxford: Oxford University
Press (originally published under the name “Richard G. Heck, Jr”).
Heck, R.K. (2018). “Logicism, ontology, and the epistemology of second-order
logic”. In I. Fred-Rivera & J. Leach (Eds.). Being Necessary: Themes of Ontol-
ogy and Modality From the Work of Bob Hale (pp. 140–169). Oxford: Oxford
University Press.
Hellman, G. & Shapiro, S. (2018). Mathematical Structuralism. Cambridge:
Cambridge University Press.
Hofweber, T. (2005). “Number determiners, numbers, and arithmetic”. Philo-
sophical Review 114(2), 179–225.
Jané, I. & Uzquiano, G. (2004). “Well- and non-well founded Fregean exten-
sions”. Journal of Philosophical Logic 33(5), 437–465.
Jeshion, R. (2001). “Frege’s notions of self-evidence”. Mind 110(440), 937–976.
Jeshion, R. (2004). “Frege: Evidence for self-evidence”. Mind 113(449), 131–138.
Jung, D. (1999). “Russell, presupposition, and the vicious-circle principle”. Notre
Dame Journal of Formal Logic 40(1), 55–80.
Klev, A. (2017). “Dedekind’s logicism”. Philosophia Mathematica 25, 341–368.
Liggins, D. (2010). “Epistemological objections to platonism”. Philosophy Com-
pass 5(1), 67–77.
Lindström, S., Palmgren, E., Segerberg, K. & Stoltenberg-Hansen, V. (Eds.)
(2009). Logicism, Intuitionism, and Formalism: What Has Become of Them?
Dordrecht: Springer.
Linnebo, Ø. (2006). “Epistemological challenges to mathematical platonism”.
Philosophical Studies 129(3), 545–574.
Linnebo, Ø. (Ed.) (2009a). “The bad company problem”. Synthese special issue
170(3).
Linnebo, Ø. (2009b). “Frege’s Context Principle and reference to natural num-
bers”. In Lindström, Palmgren, Segerberg & Stoltenberg-Hansen (2009)
(pp. 47–68).
Linnebo, Ø. (2018). Thin Objects. Oxford: Oxford University Press.
MacBride, F. (2003). “Speaking with shadows: A study of neo-logicism”. British
Journal for the Philosophy of Science 54(1), 103–163.
MacFarlane, J. (2002). “Frege, Kant, and the logic in logicism”. Philosophical
Review 111(1), 25–65.
Mancosu, P. (Ed.) (1998). From Brouwer to Hilbert: The Debate on the Founda-
tions of Mathematics in the 1920s. Oxford: Oxford University Press.
22 Francesca Boccuni and Andrea Sereni
Mancosu, P. (2016). Abstraction and Infnity. Oxford: Oxford University Press.
Moltmann, F. (2013a). “Reference to numbers in natural language”. Philosophi-
cal Studies 162(3), 499–536.
Moltmann, F. (2013b). Abstract Objects and the Semantics of Natural Language.
Oxford: Oxford University Press.
Panza, M. & Sereni, A. (2013). Plato’s Problem. An Introduction to Mathemati-
cal Platonism. Basingstoke: Palgrave Macmillan.
Panza, M. & Sereni, A. (2019). “Frege’s Constraint and the nature of Frege’s
foundational program”. Review of Symbolic Logic 12, 97–143.
Peacocke, C. (1998). Being Known. Oxford: Oxford University Press.
Picardi, E. (2009). “Wittgenstein and Frege on proper names and the Context Princi-
ple”. In P. Frascolla, D. Marconi & A. Voltolini (Eds.). Wittgenstein, Mind, Mean-
ing and Metaphilosophy (pp. 167–188). Basingstoke, UK: Palgrave Macmillan.
Picardi, E. (2017). “Michael Dummett’s interpretation of Frege’s Context Prin-
ciple. Some refections”. In M. Frauchinger (Ed.). Justifcation, Understanding,
Truth, and Reality (pp. 29–62). Berlin: De Gruyter.
Potter, M. (2000). The Reason’s Nearest Kin. Oxford: Oxford University Press.
Potter, M. (2019). The Rise of Analytic Philosophy, 1879–1930. From Frege to
Ramsey. New York and Abingdon: Routledge.
Quine, W.V.O. (1964). “Truth by convention”. In P. Benacerraf & H. Putnam
(Eds.). Philosophy of Mathematics: Selected Readings (pp. 329–354). Cam-
bridge: Cambridge University Press.
Quine, W.V.O. (1969). “Epistemology naturalized”. In Ontological Relativity
and Other Essays. New York: Columbia University Press.
Quine, W.V.O. (1970). Philosophy of Logic. Cambridge, MA: Harvard University
Press, 2nd edition 1986.
Rayo, A. (2013). The Construction of Logical Space. Oxford: Oxford University Press.
Reck, E. (2013a). “Frege or Dedekind? Towards a reevalaution of their legacies”. In
The Historical Turn in Analytic Philosophy. Basingstoke: Palgrave-Macmillan.
Reck, E. (2013b). “Frege, Dedekind, and the origins of logicism”. History and
Philosophy of Logic 34, 242–265.
Reck, E. (2019). “The logic in Dedekind’s logicism”. In S. Lapointe (Ed.). Logic
From Kant to Russell: Laying the Foundations for Analytic Philosophy
(pp. 171–188). London: Routledge.
Reck, E. (2020). “Dedekind’s contributions to the foundations of mathematics”.
In E.N. Zalta (Ed.). The Stanford Encyclopedia of Philosophy (Winter 2020
edition). Retrieved from https://plato.stanford.edu/archives/win2020/entries/
dedekind-foundations/.
Reck, E. & Schiemer, G. (Eds.) (2020). The Prehistory of Mathematical Structur-
alism. Oxford: Oxford University Press.
Resnik, M. (1967). “The context principle in Frege’s philosophy”. Philosophy
and Phenomenological Research 27, 356–365.
Rosen, G. (2010). “Metaphysical dependence: Grounding and reduction”. In B.
Hale & A. Hofmann (Eds.). Modality: Metaphysics, Logic, and Epistemology
(pp. 109–136). Oxford: Oxford University Press.
Rosen, G. (2012). “Abstract objects”. In E.N. Zalta (Ed.). The Stanford Encyclo-
pedia of Philosophy. Retrieved from https://plato.stanford.edu/archives/
spr2020/entries/abstract-objects/.
Schirn, M. (2013). “Frege’s approach to the foundations of analysis (1874–
1903)”. History and Philosophy of Logic 34(3), 266–292.
Origins and Varieties of Logicism 23
Schwartzkopf, R. (2011). “Numbers as ontologically dependent objects—Hume’s
Principle revisited”. Grazer Philosophische Studien 82, 353–373.
Sereni, A. (2019). “On the philosophical signifcance of Frege’s Constraint”. Phi-
losophia Mathematica 27 (2), 244–275.
Shapiro, S. (1991). Foundations Without Foundationalism: A Case for Second-
Order Logic. Oxford: Oxford University Press.
Shapiro, S. (2000). “Frege meets Dedekind: A neologicist treatment of real analy-
sis”. Notre Dame Journal of Formal Logic 41, 335–364.
Shapiro, S. (2003). “Prolegomenon to any future neo-logicist set theory: Abstrac-
tion and indefnite extensibility”. British Journal for the Philosophy of Science
54(1), 59–91.
Shapiro, S. (2009). “We hold these truths to be self-evident: But what do we mean
by that?”. Review of Symbolic Logic 2(1), 175–207.
Shapiro, S. & Weir, A. (2000). “Neo-logicist logic is not epistemically innocent”.
Philosophia Mathematica 8 (2), 160–189.
Simons, P. (1987). “Frege’s theory of real numbers”. History and Philosophy of
Logic 8, 25–44.
Snyder, E., Samuels, R. & Shapiro, S. (2018). “Neologicism, Frege’s Constraint,
and the Frege-Heck condition”. Noûs. https://doi.org/10.1111/nous.12249.
Snyder, E. & Shapiro, S. (2019). “Frege on the real numbers”. In Ebert & Ross-
berg (2019) (pp. 343–383).
Sundholm, G. (2000). “When and why, did Frege read Bolzano?”. In LOGICA
Yearbook 1999 (pp. 164–174). Prague: Filosofa.
Tennant, N. (1987). Anti-Realism and Logic: Truth as Eternal. Clarendon Library
of Logic and Philosophy. Oxford: Oxford University Press, June.
Tennant, N. (2017). “Logicism and neologicism”. In E.N. Zalta (Ed.). The Stan-
ford Encyclopedia of Philosophy (Winter 2017 edition). Retrieved from https://
plato.stanford.edu/archives/win2017/entries/logicism/.
Wilson, M. (2010). “Frege’s mathematical setting”. In T. Ricketts & M. Potter
(Eds.). The Cambridge Companion to Frege (pp. 379–412). Cambridge: Cam-
bridge University Press.
Wright, C. (1983). Frege’s Conception of Numbers as Objects. Aberdeen: Aber-
deen University Press.
Wright, C. (2000). “Neo-Fregean foundations for real analysis: Some refections
on Frege’s Constraint”. Notre Dame Journal of Formal Logic 41, 317–334.
Wright, C. (2007). “On quantifying into predicate position: Steps towards a
new(tralist) perspective”. In M. Leng, A. Paseau & M. Potter (Eds.). Mathe-
matical Knowledge (pp. 150–174). Oxford: Oxford University Press.
Wright, C. (2016). “Abstraction and epistemic entitlement: On the epistemologi-
cal status of Hume’s Principle”. In Ebert, P.A. & Rossberg, M. (Eds.) (2016a).
Abstractionism: Essays in Philosophy of Mathematics (pp. 161–202). Oxford:
Oxford University Press.
Zalta, E.N. (1999). “Natural numbers and natural cardinals as abstract objects:
A partial reconstruction of Frege’s Grundgesetze in object theory”. Journal of
Philosophical Logic 28(6), 619–660.
Zalta, E.N. (2018). “Frege’s Theorem and foundations for arithmetic”. In E.N. Zalta
(Ed.). The Stanford Encyclopedia of Philosophy (Winter 2018 edition). Retrieved
from https://plato.stanford.edu/archives/win2018/entries/frege-theorem.
********
24 Francesca Boccuni and Andrea Sereni
Selected Primary References
[LFM] Carnap, R. (1983). “The logicist foundation of mathematics”. In P. Bena-
cerraf & H. Putnam (Eds.). Philosophy of Mathematics: Selected Readings (2nd
edition, pp. 41–52). Cambridge: Cambridge University Press.
[FLL] Carnap, R. (2004). Frege’s Lectures on Logic: Carnap’s Student Notes,
1910–1914. Translated and ed. with introductory essay by Erich H. Reck &
Steve Awodey; based on the German text, edited with introduction and annota-
tions by Gottfried Gabriel. Chicago, IL: Open Court, 2004.
[WSWSZ] Dedekind, R. (1888). Was sind und was sollen die Zahlen?, Braun-
schweig: Vieweg (originally published as a separate booklet); reprinted in Dede-
kind (1930–32), Vol. 3, pp. 335–391, in Dedekind (1965), pp. III–XI and 1–47,
and in Dedekind (2017), pp. 53–109; English trans., (Dedekind 1901c) and
(revised) Dedekind (1995).
[Beg] Frege, G. (1879). Begrifsschrift. Eine der arithmetischen nachgebildete
Formelsprache des reinen Denkens. L. Nebert, Halle, 1879. Translated as Con-
cept Script, a Formal Language of Pure Thought Modelled Upon That of Arith-
metic, by S. Bauer-Mengelberg in J. van Heijenoort (Ed.). From Frege to Gödel:
A Source Book in Mathematical Logic, 1879–1931. Cambridge, MA: Harvard
University Press, 1967.
[GLA] Frege, G. (1884). Die Grundlagen der Arithmetik. Eine logisch mathe-
matische Untersuchung über den Begrif der Zahl. Wilhelm Koebner, Breslau,
1884. The Foundations of Arithmetic. Translated by J.L. Austin. Oxford: Basil
Blackwell, 1950.
[GGA] Frege, G. (1893/1903). Grundgesetze der Arithmetik. Begrifsschriftlich
abgeleitet. Hermann Pohle, Jena, 1893/1903. Basic Laws of Arithmetic.
Derived Using Concept-Script. Translated and edited by Philip A. Ebert &
Marcus Rossberg. Oxford: Oxford University Press, 2013.
[PW] Frege, G. (1979). Posthumous Writings. Translated by Peter Long & Roger
White, with the assistance of Raymond Hargreaves. Chicago: University of
Chicago Press.
[PMC] Frege, G. (1980). Philosophical and Mathematical Correspondence. Gott-
fried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert
Veraart, Brian McGuinness, & Hans Kaal (Eds.). Oxford: Blackwell
Publishers.
[PoM] Russell, B. (1903). The Principles of Mathematics. Cambridge: Cambridge
University Press.
[IMP] Russell, B. (1919). Introduction to Mathematical Philosophy. London:
Allen & Unwin.
[PM] Russell, B. & Whitehead, A.N. (1910–1913). Principia Mathematica, 3
Vols. Cambridge: Cambridge University Press.
Part I
Origins
2 Frege on Caesar and
Hume’s Principle
Patricia Blanchette
1. Introduction
Frege’s reaction to Russell’s Paradox was, in the end, to abandon his
logicist project. That he did so without seriously considering a now
widely discussed alternative, the alternative of grounding arithmetic
in pure logic together with Hume’s Principle, is signifcant. Clearly
there is something in such a grounding that Frege took to be incom-
patible with either his view of the nature of logic or of arithmetic, or
his view of acceptable ways to pursue a reduction of one to the other.
The purpose of this chapter is to investigate what, exactly, Frege took
the difculty to be, and what we can learn from this about his view
of the nature of mathematics and of logic. I will be concerned to argue
that there are some important difculties with what might be called
the “standard” answer to these questions, an answer according to
which the central difculty with the Hume’s Principle strategy is to be
found in the so-called “Caesar passages” of Grundlagen. The alterna-
tive answer ofered here involves a diferent account of the importance
of the Caesar passages and a revisionary, though I think better sup-
ported, account of Frege’s view of the role of identity-statements in the
reduction. Finally, I’ll suggest that the alternative reading attributes to
Frege a more plausible view of mathematical discourse than does the
standard reading.
2. Background
Frege’s attempt to prove the fundamental truths of arithmetic from purely
logical principles involved a crucial appeal to the extensions of concepts.
Both the pre-formal account in Grundlagen and the formal account in
Grundgesetze employ a term-forming operator whose output is a collec-
tion of singular terms intended to refer to extensions, and a principle of
DOI: 10.4324/9780429277894-3
Exploring the Variety of Random
Documents with Different Content
Darstellerinnen befanden sich Toëtele, Lolle, Loautele und noch zwei
Mädchen, Va und Vau, Verwandte Sangapolutele's von außerhalb.
Der Tanz bewegte sich zunächst in dem gewöhnlichen Rahmen,
und nach Verlauf einer Stunde benutzten die anwesenden Aeltern
der Tänzerinnen eine Pause, um sich zurückzuziehen, indem
Sangapolutele mir verdolmetschen ließ, daß die Mädchen beauftragt
seien, mir nun noch einen Tanz vorzuführen, bei welchem nach der
Samoa-Sitte deren Aeltern nicht zugegen sein dürften. Einer seiner
Leute indeß, einer der von mir bei Beschreibung des Talolo als
Narren bezeichneten Männer, sei beauftragt, das Ganze zu leiten,
und dieser trat dann auch vor, um sich neben den Tänzerinnen
aufzustellen. Nachdem die betreffenden Aeltern sich entfernt hatten,
nahm der Tanz seinen Fortgang und zwar zunächst in der
gewöhnlichen Art; dann trat Va, welche mit einem kleinen
enganliegenden Zott-Lava-lava bekleidet war, vor und führte stehend
in gefälligen zierlichen Bewegungen einige hübsche Figuren aus.
Danach trat Vau, eine hohe, schlanke, wol eben erst voll entwickelte
jugendliche Gestalt mit etwas verängstigtem Gesicht vor. Sie trug nur
ein leichtes Kattun-Lava-lava und begann ihren Tanz mit ähnlichen
Bewegungen wie Va, ihr Gesichtsausdruck wurde wieder natürlicher,
ein angenehmer Zug umspielte das unschöne Gesicht, und als sie
erst ihre Sicherheit wiedergewonnen hatte, blieb sie plötzlich mit
emporgehobenen leicht gebogenen Armen vor uns stehen. Der Narr
trat an sie heran, doch sie entschlüpfte ihm wieder mit einer
reizenden, eleganten Bewegung, bis sie von neuem in der
vorangegebenen Stellung stand und der Narr gleichzeitig an ihrem
Lava-lava nestelte; dann drehte sie sich langsam einmal um sich
selbst und stand wieder in derselben Haltung vor mir, während der
Narr mit dem Lava-lava zur Seite trat. Noch einige Drehungen und
Wendungen, dann erwachte sie scheinbar aus einem Traume und
verschwand draußen in der Dunkelheit ohne wieder zurückzukehren.
Ihr folgte Loautele mit einer ähnlichen Vorführung, die damit
endigte, daß das Mädchen mich vor ihrem Verschwinden plötzlich
einmal heiß an sich preßte.
Es war inzwischen sehr spät geworden und Zeit zum Aufbruch.
Ich verließ daher das Land und zwar mit der befriedigenden
Gewißheit, einen samoanischen Originaltanz gesehen zu haben,
welcher von der unschönen Nachahmung, die uns bei meinem
ersten Besuch hier in Apia mit dem bezahlten Tanz vorgeführt
worden war, doch sehr wesentlich abstach und zwar sowol durch die
ruhige, gemessene und im Vergleich zu der Nachahmung immerhin
geräuschlose Handlung, wie auch durch die edlern Formen, in
welchen das Ganze geboten wurde.
Wir bestiegen Bill's Kanu wieder und ich freute mich auf die
schöne Fahrt bis zu seinem Hause, da der volle Mond, welcher jetzt
hoch am Himmel stand, den Hafen wunderbar schön beleuchtete.
Niedrige Dünung lief über das Wasser und gab unserm Fahrzeug
leichte wiegende Bewegungen. Da bemerkte Bill's Diener Tom,
welcher das Kanu allein ruderte, daß an dem Ausleger etwas nicht in
Ordnung sei, ehe er aber noch den Fehler feststellen konnte, löste
sich der Baum bei einer etwas stärkern Bewegung des Fahrzeugs
auch schon von seinen Haltern, das Kanu kenterte und wir lagen
sämmtlich im Wasser. Ich tauche wieder an die Oberfläche auf und
greife zuerst nach Uhr und Cigarrentasche, um diese, in einer Hand
sie hoch über das Wasser haltend, gegen den verderblichen Einfluß
des Seewassers zu sichern. Dann schaue ich mich um und sehe eins
des lächerlichsten Bilder, welche mir je vor die Augen gekommen
sind. Dicht bei mir sind die Köpfe von Bill und Sa, der erstere seine
von mir als Geschenk erhaltene schöne Meerschaumpfeife als
Werthvollstes und die letztere meinen Regenschirm über Wasser
haltend. Frau Bill's Kopf sehe ich nur einen Augenblick, dann, wie bei
einem Tümmler, ihren weißen Rücken (sie trug ein weißes Kleid),
einen Augenblick ihre zappelnden Füße und sie ist wieder
verschwunden; halb auf das gekenterte weiße Kanu geklettert, müht
der schwarze Tom sich ab, dasselbe auf den Kiel zurückzubringen.
Dann erscheint der Kopf von Frau Bill wieder, welche ängstlich nach
mir fragt und nachdem sie mich entdeckt hat noch einmal
verschwindet, worauf sie, als sie zum dritten mal auftaucht, ihre
Schuhe als ihr Werthvollstes hoch über Wasser hält, die sie sich auf
dem Meeresgrund ausgezogen hatte. Die gute Seele hatte mich bei
ihrem ersten Auftauchen nicht gesehen, weil sie durch einen
schweren Schlag, welchen sie von dem einen Halter des Auslegers
auf den Kopf erhalten hatte, halb betäubt war, dachte daher
zunächst nur an meine Rettung und tauchte wieder unter, um mich
auf dem Grund zu suchen. Das Lächerlichste war nun, daß von
unsern sämmtlichen Sachen nur mein Regenschirm trocken
geblieben war, welchen Sa bei der Katastrophe gleich gefaßt hatte
und mit dem sie so platt aufs Wasser gesprungen war, daß der hoch
gehaltene Schirm nicht mit eintauchte. Andererseits hatte des
Schicksals Tücke es gewollt, daß gerade am Tage vorher meine
zweite Uhr, welche ich bei Ausflügen immer zu mir steckte, stehen
geblieben war und ich heute meine gute Uhr mitnehmen mußte,
welche natürlich so viel Seewasser geschluckt hatte, daß sie für den
Rest der Reise unbrauchbar ist. Um das Kanu wieder in Ordnung zu
bringen, schleppten wir es schwimmend an den Strand, und es muß
ein wunderbares Bild gewesen sein, wie wir um das Kanu vertheilt
mit der einen Hand dieses angefaßt und mit der andern unsere
Kleinodien hoch haltend, in dem schönen Mondschein mit kräftigen
Schwimmstößen dem Strande zusteuerten. Dort angelangt machte
ich den Vorschlag, den Rest des Weges auf dem Lande
zurückzulegen, welchem die Frauen und Tom sich nur mit
Widerstreben fügten, weil sie sich vor dem Geist eines kürzlich auf
der Albatros-Insel beerdigten Unteroffiziers von unserm Schiff, der
an den Folgen eines in Auckland erhaltenen Fiebers gestorben war,
fürchteten. Das Kanu wurde auf den Strand gezogen, um am
nächsten Morgen erst wieder in Ordnung gebracht zu werden, und
bald war ich bei meinem Boot und an Bord.
Am 15. d. M. morgens verließ ich Saluafata, um über Savai'i
wieder nach Apia zurückzukehren, weil bisher noch keins unserer
Schiffe diese Insel angelaufen hatte.
Da der Häuptling Mulitalo, welcher in Safune zu Hause ist, mich
zu sich eingeladen und ich ihm vorher schon versprochen hatte, ihn
von Saluafata aus mitzunehmen und in seinem Hafen abzusetzen, so
wählte ich diesen Platz.
Sangapolutele, welcher auch in dieser Zeit nach Safune wollte,
folgte ebenfalls meiner Einladung, für die Dauer der Ueberfahrt mein
Gast zu sein, und Bill ging als Lootse und Dolmetscher mit.
Sangapolutele, welchem ich am Abend vorher einen schönen
Revolver als Andenken geschenkt hatte, brachte mir bei dieser
Gelegenheit noch verschiedene Geschenke mit, unter welchen sich
auch eine besonders große Kawawurzel befand, weil er glaubte, daß
ich dieses Geschenk auch würdigen würde. Er hat allerdings darin
recht, daß ich, wie ich früher auch schon angedeutet habe, das
aromatische, leichtbittere Getränk, mit dem beißenden Geschmack
auf der Zunge und dem leichten Brennen im Magen, schätzen
gelernt habe, wie denn auch zu einem behaglichen Abendbesuch am
Lande ein Kawatrunk mit gehörte. Erst wenn meine braunen
Freundinnen mit der Bowle uns gegenübersaßen und das Getränk
zurecht machten, zog ein gewisser häuslicher Friede in die Hütte ein,
welchem sich eine außerordentlich wohlthuende Erschlaffung der
Beine zugesellte, sobald man erst einige Becher Kawa getrunken
hatte. Die Wirkung auf den menschlichen Organismus besteht in
einer leichten, angenehm schmerzhaften Lähmung der Beinmuskeln,
wobei man etwa dieselben Empfindungen hat, als wenn man nach
einem ungewohnten Ritt oder anstrengenden Marsch im Bett die
schmerzenden Glieder streckt. Es thut ja weh, aber so angenehm
weh, daß man sich absichtlich immer wieder den leichten Schmerz
durch erneutes Strecken bereitet. Magen und Kopf werden nicht in
Mitleidenschaft gezogen, auch bleiben keinerlei Beschwerden zurück,
wenn der Beinrausch nach ein bis zwei Stunden wieder verflogen ist.
An dieser Stelle will ich auch, ehe ich von Sangapolutele
Abschied nehme, noch kurz erzählen, wie der Häuptling Recht
spricht.
Es war einem Matrosen von uns auf dem Schiffe eine kleine
hölzerne Tabackspfeife gestohlen worden und der Verdacht der
Thäterschaft auf einen bestimmten Samoaner gefallen. Ich schickte
den Bestohlenen mit einem Unteroffizier und einem Dolmetscher an
Land zu Sangapolutele, welcher sich gleich bereit zeigte, den Fall zu
untersuchen. Der Mann war bald ausfindig gemacht, die Pfeife
wurde bei ihm gefunden und er gestand ohne weiteres den
Diebstahl ein. Ein Faustschlag Sangapolutele's zwischen die Augen
des Diebes, sodaß er betäubt zusammenbrach, war der erste Theil
der Strafe, und nachmittags kam der Dieb von einem Häuptling
geführt an Bord, um dem Matrosen, welcher seine Pfeife gleich am
Vormittag zurückerhalten hatte, als Entschädigung ein mittelgroßes
Schwein zu bringen. Hiermit aber nicht genug, war er auch noch für
den Zeitraum von vier Wochen aus Saluafata verbannt worden, wie
der Häuptling mir mitzutheilen beauftragt war.
Im Laufe des Nachmittags des 15. wurde in Safune geankert
und ich versprach Mulitalo, ehe er an Land ging, für den folgenden
Tag und die anschließende Nacht sein Gast zu sein. Dieser Tag
brachte mir eine solche Fülle interessanter und zum Theil neuer
Eindrücke, daß ich dem braven Mulitalo für seine Einladung und
Gastfreundschaft aufrichtig dankbar bin.
Als ich vormittags an Land kam, mußte ich zunächst einen
Rundgang durch die drei Districte von Safune machen, um die
Häuptlinge zu besuchen. Die Stadt setzt sich nämlich aus drei
voneinander unabhängigen Plätzen zusammen, über welche Mulitalo
als Haupt des bedeutendsten aber doch eine gewisse Oberhoheit
ausübt. Savai'i sucht nun einen gewissen Stolz darin, an den alten
Gebräuchen festzuhalten, und es ist auch die einzige Insel, welche
den alten für die Schrift angenommenen Dialekt noch rein spricht,
dessen Hauptmerkmal darin besteht, daß er kein „k“ kennt, während
die andern Inseln in der gewöhnlichen Umgangssprache kein „t“
gebrauchen, sondern dafür „k“ setzen. So heißt z. B. „Guten Tag“ in
Savai'i und in der Schriftsprache talófa, bei den andern Samoanern
kalófa; „ich danke“ fafatéi bezw. fafakéi. Die alte Samoa-Sitte
verlangt nun auch, daß der Fremde nicht von selbst einen Besuch
macht, sondern sich dazu auffordern läßt, wenn er an dem
betreffenden Hause, wohin er möchte, vorbeigeht. So durfte auch
ich nicht zu den Häuptlingen, welche mich erwartend und von ihren
Familien umgeben in ihrem Faletele saßen, herantreten, sondern
mußte gleichgültig thuend meines Weges ziehen, bis ich angerufen
wurde. Als wir nun in die Nähe einer solchen Hütte kamen, trat ein
Mann mit Rednerstock und Fliegenwedel an den Dachrand vor,
musterte uns eine Weile und dann erst rief er uns mit lauter Stimme
an. Wir mußten stehen bleiben, Fragen und Antworten wechselten
miteinander ab, und als mein Dolmetscher zufriedenstellende
Antwort gegeben hatte, wurde ich als Gast bewillkommnet, trat zur
Hütte heran, während der Häuptling mir entgegenkam, und nahm
unter den Anwesenden Platz, nachdem ich mit allen die Hand
geschüttelt hatte. Darauf wurde mir als Erstes ein großer gekochter
Fisch einer gewissen mir unbekannten Art vorgesetzt, worin die
höchste Begrüßungsauszeichnung eines Fremden liegen soll, aber
natürlich nur statthaben kann, wenn der Besuch vorher angemeldet
ist, da die Fische nicht jeden Augenblick zu haben sind. Nachdem wir
von dem Fisch gegessen hatten, wurde Kawa getrunken, und nach
etwa einstündigem Aufenthalt zog ich weiter, um dasselbe bei dem
nächsten Häuptling durchzumachen. Bei Mulitalo angelangt, wurden
keine Umstände gemacht, er empfing mich mit seiner stattlichen
Frau und zwei auffallend hübschen, elegant gewachsenen Töchtern
von sehr heller Hautfarbe, die eine 19, die andere 17 Jahre alt, an
der Thür seines großen, stark europäisirten Hauses und führte mich
in sein Schlafzimmer, welches er mir abgetreten hatte. Neben einem
breiten Bett mit Mosquitonetz fand ich noch einen Tisch mit zwei
Stühlen und, was zunächst für mich das Beste war, ein Waschbecken
mit einer Kanne frischen Quellwassers vor.
Nachdem ich mich frisch gekleidet hatte, setzten wir uns zum
Essen an einen leidlich gut gedeckten Tisch. Waren Teller, Löffel,
Messer und Gabel auch sehr einfach und etwas zusammengewürfelt,
so waren sie doch da und sauber. Erst gab es Suppe und zwar eine,
nach deren Genuß ich mich in spätern Jahren wol noch manches mal
sehnen werde. Es war eigentlich nur zu dünnem Brei gekochtes
Fleisch, zur Hälfte vom Schwein, zur andern Hälfte aus Tauben
bestehend und mit mancherlei Gewürzen so schmackhaft gemacht,
daß ich mir einen zweiten Teller voll geben ließ und nachher auf die
andern Genüsse, welche in Tauben- und Schweinefleisch, Brotfrucht
und Taro bestanden, verzichtete.
Nachmittags fand ein Talolo statt, welcher in seinen
Grundzügen, was auch von der Kleidung gilt, dasselbe war wie in
Saluafata und nur durch örtliche Verhältnisse bedingte
Abweichungen zeigte. Denn während dort die Leute sich auf engen
Waldwegen zum Festplatz begeben mußten und erst auf diesem sich
sammeln konnten, steht ihnen hier eine lange breite Straße zur
Verfügung, auf welcher der Zug sich in geschlossener, imposanter
und malerischer Masse fortbewegen kann.
In weiter Ferne ertönt Getöse, eine hin- und herwogende Masse
tritt vor den im Hintergrund liegenden Häusern in die Erscheinung.
Ein Menschenstrom füllt die ganze Breite der Straße aus und wächst
in der Tiefe immer mehr an. Das Getöse verwandelt sich in
rhythmischen Gesang, einzelne Figuren lösen sich von dem Ganzen
ab und erscheinen als Vortrab; die seitlichen sind dunkel, die in der
Mitte hell; die schwarzen springen und tanzen, die hellen tänzeln
und einige von ihnen bewegen sich wie Berauschte. Auch aus der
Masse treten nun Figuren hervor, geputzte festesfreudige Menschen,
welche nebeneinandergehend etwas zu tragen scheinen. Die
Schwarzen sind jetzt deutlich zu erkennen, es sind die Buschmänner;
die Hellen sind Mädchen, von denen die meisten eine feine Matte
oder ein blendend weißes Zott-Lava-lava umhaben, die scheinbar
Berauschten aber von den Hüften bis zu den Knöcheln mit vielen
feinen Matten behängt sind, welche ihnen ein vornehmes Ansehen
geben. Diese sind die Vortänzerinnen, sie sind nicht berauscht, ihre
Bewegungen sehen auch nicht mehr so aus, im Gegentheil, mit
graziösen Armbewegungen laufen sie, jedenfalls mit ganz schnellen
kleinen Schritten, hin und her und sind in ihrer ganzen Erscheinung
geradezu bezaubernd. Der Zug ist bei uns angelangt, der Vortrab
schwenkt zur Seite ab, die Träger der Geschenke nahen sich mir in
geschlossener Linie und legen erschreckend große Massen von
Nahrungsmitteln, darunter viele lebende Schweine, vor mir nieder.
Die Leute treten wieder zurück, alle setzen sich im Halbkreis auf den
Boden, der Redner tritt vor, begrüßt mich und dann vertheilt sich das
Volk wieder, nachdem ihm noch unter der Hand mitgetheilt ist, daß
ich den Leuten die Geschenke überlasse und sie dieselben wieder
abholen können, sobald wir uns zurückgezogen haben.
Am Abend versammelten wir uns in einem großen Hause, wo
Tänze nach einem sehr reichen Programm zur Darstellung kamen,
unter welchen sich auch Männertänze befanden, die ich bisher noch
nicht gesehen hatte. Erst erschien eine Gruppe von Mädchen, dann
eine zweite und eine dritte, welche alle die auch schon in Saluafata
gesehenen Tänze in der Sitzstellung ausführten, aber doch in ihrem
exacten Zusammenwirken und durch einzelne Feinheiten zeigten,
daß der Tanz hier auf Savai'i mehr noch als eine edle Kunst
angesehen und geübt wird. Angenehm fiel hier auch auf, daß hinter
den tanzenden Mädchen kein anderes Publikum stand, welches doch
immer störend wirkt. Als vierte Gruppe traten drei Mädchen auf,
welche eigenartig in ihrem Anzug jedenfalls Waldgeister vorstellen
wollten. Sie waren ganz in frisches Laub gekleidet und wichen in
ihren Bewegungen vollständig von dem Gewohnten ab. Die in der
Mitte sitzende kleine Häuptlingstochter, ein Mädchen von 14 oder 15
Jahren, welche ich früher schon in Apia auf unserm Schiffe gesehen
hatte, schien die Erfinderin dieser neuen Figur zu sein, da sie mit
einer außerordentlichen Sicherheit den Tanz leitete. Alle
Bewegungen waren schnell und voll Feuer und bannten durch ihr
fortwährend wechselndes Spiel das Auge des Zuschauers. Eigentlich
hätten, wie mir gesagt wurde, diese Mädchen als Halsschmuck auf
Savai'i vorkommende lebende rothe Schlangen haben müssen, doch
hatten sie in der Kürze der Zeit keine mehr fangen können. Auf diese
Gruppentänze folgten Einzeltänze junger Häuptlinge. Der Anzug
derselben bestand eigentlich nur in ihrer Tätowirung und einer
kleinen Schürze aus rothbraunen Blättern. Als Schmuck dienten
Blumen oder ein grüner Kranz im Haar, ein Stirnband aus den früher
genannten kleinen Muscheln oder aus Flittergold, ein Band um jeden
Oberarm und unterhalb der Knie. Der Tanz, welcher in sitzender
Stellung beginnt und stehend endet, wo dann noch zwei Männer
hinzutreten, um das Bild abzurunden, gewährte mir großen Genuß.
Die kraftvollen, jugendlich schönen Gestalten, der eigenartige Putz in
Verbindung mit der Hautfarbe und der reichen Tätowirung, das Spiel
der Muskeln und die lebendigen schönen Bewegungen vereinten sich
zu einem sehenswerthen Ganzen.
Den Schluß bildeten Einzeltänze von drei Mädchen, die in
Darstellung und Kleidung wieder ganz Neues boten. Namentlich die
Kleidung war etwas so Vollendetes an reizendem Geschmack und mit
so einfachen Mitteln hergestellt, daß ich sie näher beschreiben muß.
Die Tänzerinnen waren die beiden Töchter von Mulitalo, sowie
ein Mädchen, welches einmal bei unsern frühern Aufenthalten in
Apia unser Schiff besucht hatte, dann aber wieder spurlos
verschwand, ohne daß es uns gelingen wollte, ihren Verbleib
ausfindig zu machen. Daß wir nach ihr forschten, findet seine
Erklärung in ihrer Erscheinung, welche so auffallend ist, daß jeder
von unsern Herren sie gesehen hatte und die Bezeichnung „Königin
der Nacht“, welche einer ihr gab, als zutreffend von allen
angenommen wurde. Von mittelgroßem zierlichen Körperbau und
tiefdunkler Hautfarbe, trug sie langes, bis auf die Hüften
herunterhängendes schwarzes Haar und hatte zwei Augen im Kopfe,
welche wie blitzende Sterne aus dem dunkeln Gesicht
hervorleuchteten. Diese beherrschten auch in Verbindung mit den
schönen Zähnen das keineswegs ideal geschnittene Gesicht so
vollkommen, daß man nur sie sah und kaum den Blick von dem
strahlenden Leben, welches von ihnen ausströmte, abwenden
konnte.
Die jüngere Tochter Mulitalo's, eine Bajaderengestalt mit
schmalen Hüften, kleinem Kopf und sonst edlen schlanken
Körperformen, trat zuerst auf. Ihre Stirn umschloß ein schmales
rothes Atlasband, das hinten geknüpft war und dessen lange Enden
bis zu den Kniekehlen herunterreichten. Eine fest umgelegte Kette
von erbsengroßen weißen Glasperlen umfaßte den schlanken Hals,
und unter dieser Perlenkette lag eine von gleich großen rothen
Beeren, welche sich hinten kreuzte, auf den halben Schultern wieder
nach vorn kam und im Bogen bis auf die halbe Brust
herunterreichte. Als Lava-lava diente ein sehr kurzer, aus einem
schneeigen Handtuch gefertigter Schurz, welcher den Körper nur
hinten bedeckte und vorn offen war, die Lücke vorn wurde durch
eine kleine Schürze von rothbraunen schmalen Blättern ausgefüllt,
welche in der Mitte lang, an den Seiten kurz waren und hinten in
derselben Anordnung als Gürtel über den weißen Schurz fielen. Arme
und Beine blieben ohne Schmuck. Der Tanz beschränkte sich auf
leichte, mit vornehmer Ruhe ausgeführte Bewegungen und diente
zweifellos nur dazu, die Schönheit der Formen zur Darstellung zu
bringen.
Als zweite erschien die ältere Tochter, eine üppigere, aber auch
durchaus feingegliederte Gestalt. Sie trug ein weißes Tuch um die
Stirn geschlungen, aus dessen Mitte das eigene Haar kappenartig
hervorstand; eine dünne Blumen- und Beerenkette umschloß den
Hals und als Lava-lava diente hinten ein aus bunten kleinen Lappen
zusammengeflicktes Stück Zeug mit darunter liegendem kleinen
weißen Unterröckchen, vorn der kleine Blätterschurz. Der Tanz war
ähnlich wie der vorhergegangene.
Während bei diesen beiden Mädchen die Kleidung andeutete,
daß sie sich für den Zweck geputzt hatten, ihre Bewegungen
vornehm ruhige waren, stellte die Königin der Nacht die
unverfälschte Natur dar. Als Schmuck nur ihr langes, vorn etwas
aufgethürmtes und im Nacken lose zusammengebundenes Haar, als
Lava-lava hinten eine kleine feine Matte und vorn den kleinen
Blätterschurz, welche eben nur den Mittelkörper bedecken; in ihren
Bewegungen wild und leidenschaftlich, aber immer decent.
Als die Königin der Nacht auftrat, kam die jüngste Tochter
Mulitalo's, welche auf der andern Seite ihres neben mir sitzenden
Vaters gesessen hatte, zu mir und raunte mir, jedenfalls im Auftrage
ihres Vaters, auf die Tänzerin deutend mit einigen englischen Worten
etwas zu. Also auf dieses Mädchen, welches unserm ganzen Schiff
die Köpfe verdreht hatte, war die Wahl gefallen. Ich war indeß gut,
lehnte nach Beendigung der Festlichkeit jede weitere Unterhaltung
ab und fand in Mulitalo's Bett erquickenden Schlaf. Am nächsten
Morgen sprach Mulitalo mir seinen warmen Dank aus.
Gestern Morgen gaben wir den Samoanern noch ein Kriegsspiel
nach europäischer Art und heute Morgen verließ ich Safune wieder.
Mit der Schilderung samoanischer Art und samoanischen Lebens bin
ich nun zu Ende. Meine Absicht war, ein Bild der merkwürdigen
Vermischung von Sitte und Natürlichkeit, althergebrachten Formen
und Formlosigkeit, Familienleben und Freiheit der einzelnen
Mitglieder, der Tugenden und Fehler dieser Naturmenschen zu
geben. Ob es mir gelungen ist, muß der Leser ermessen.
Fregatte „Bismarck“.
8. Juni 1879.
Jetzt, wo wir der Heimat wieder ein gutes Stück näher gerückt
sind und mit vollen Segeln der afrikanischen Küste zueilen, will ich in
Kürze die letzte Zeit hier zusammenfassen, denn viel von Batavia zu
erzählen vermag ich nicht, da berufenere Federn hierüber schon so
erschöpfend berichtet haben, daß ich schwerlich etwas Neues
bringen könnte.
Am 5. Juli vormittags langten wir auf der Rhede von Batavia an,
wo man vor dem Mastenwald der dort liegenden Schiffe kaum etwas
anderes sieht, weil die niedrige sumpfige Küste so wenig
Anziehendes bietet, daß man den Anblick des regen Verkehrs auf
dem Wasser demjenigen auf dem Lande vorzieht. Unser Consul, ein
Herr S., welcher mir sehr bald seinen Besuch machte, nahm mich
gleich als seinen Gast mit an Land und wir fuhren in seinem Wagen
nach der weiter im Innern hoch und gesund gelegenen Stadt
Batavia. Die in großen Gärten liegenden palastartigen Gebäude, die
breiten Straßen und schönen großen Plätze, die Fülle von hohen
mächtigen Bäumen und Pflanzen aller Art, die Verschwendung an
Marmor, welcher vielfach als Baumaterial benutzt ist, die vielen
eleganten Equipagen, die kostbaren Toiletten der Damen und die
buntfarbige Tracht der männlichen Eingeborenen, welche, da für
jede Handleistung ein besonderer Diener vorhanden ist, in den
Häusern scharenweise als solche auftreten, versehen den Fremdling
in ein wahres Märchenland.
Herr S. unterhält, trotzdem er als Junggeselle allein lebt, der
dortigen Sitte gemäß einen nach unsern Begriffen fürstlichen
Haushalt. Ich habe acht Diener gesehen und glaube, daß in dem
großen Häusercomplex noch einmal so viele, welche für mich
unsichtbar geblieben sind, und zwar theilweise mit ihren Familien
wirkten. Als Wohnung war mir ein ganzer Seitenpavillon mit Ausgang
in einen herrlichen Garten zugewiesen, und zu meiner persönlichen
Bedienung hatte ich allein zwei Diener, welche, mich auf Schritt und
Tritt mit ihren Augen verfolgend, jederzeit zur Stelle waren, wenn ich
irgend einer Dienstleistung bedurfte.
Eine ähnliche Gastfreundschaft fanden auch unsere übrigen
Offiziere bei andern deutschen Herren.
Ein von dem Consul unserm Schiff zu Ehren gegebenes Fest
versammelte die ganze deutsche Colonie in den gastlichen Räumen,
wo auch der Gecko ohne Scheu vor uns seinen eigenthümlichen Ruf
hören ließ und an den Wänden und der Decke des Saals nach
schädlichen Insekten etc. jagte, während wir tafelten.
Daß Herr S. mit mir auch einen Ausflug nach Buitenzorg, der
Residenz des holländischen Generalgouverneurs und beliebter
Erfrischungsaufenthalt der europäischen Familien machte, versteht
sich eigentlich von selbst. Wir fuhren nachmittags mit der Eisenbahn
dorthin, wobei mir als das Merkwürdigste am Wege die hier
wachsenden lebenden Telegraphenstangen gezeigt wurden. Da man
der Termiten und anderer unnützer Insekten wegen keine Stangen
aus todtem Holz verwenden konnte, wählte man hierzu lebende
Bäume, nachdem man eine hierfür geeignete Art gefunden zu haben
glaubte. Diese Bäume haben aber doch ein so unerwartet rasches
Wachsthum gezeigt, die Glocken für die Drähte sind schon so hoch
gewandert, daß die letztern jetzt zu kurz werden, reißen und somit
fortgesetzter Reparaturen bedürfen.
In Buitenzorg fand ich einen luxuriösen Platz, schöne Häuser,
große Parkanlagen und Gärten, elegante Hotels und unter den vielen
fröhlichen Menschen auch manchen siechen Soldaten, da die im
Colonialdienst erkrankten Mannschaften von dem Staat zu ihrer
Erholung dorthin geschickt werden. Zwischen den vorwiegend
europäischen Häusern liegen auch einige javanische, in denen
eingeborene Fürsten mit ihrem Hofstaat leben und in deren einem
am Abend meiner Anwesenheit in Buitenzorg ein als Musik
bezeichneter fürchterlicher Lärm bis spät in die Nacht hinein verübt
wurde.
Am nächsten Morgen mit Tagesanbruch bestiegen wir einen
kleinen zweisitzigen, mit vier kleinen Pferden bespannten Wagen,
um weiter in die Berge zu fahren und einen berühmten Badeplatz zu
besuchen. Der Kutscher des Gefährts hatte merkwürdigerweise nur
die beiden Stangenpferde im Zügel, die beiden vordern Thiere waren
ohne jede Lenkvorrichtung eingeschirrt. Zwei eingeborene Läufer mit
kurzer Peitsche in der Hand standen, ebenso wie bei den städtischen
Wagen, auf dem hinten angebrachten Fußbret, mit einer Hand sich
am Wagen festhaltend und mit nach außen geneigtem Oberkörper
die vor uns liegende Straße beobachtend. Die Hauptaufgabe dieser
Läufer scheint die zu sein, die vordern Pferde zu lenken, weil auf den
guten Straßen keine Hindernisse eintreten, welche ihre Thätigkeit
sonst in Anspruch nehmen könnten. Sobald wir im Wagen saßen,
nahmen auf Zuruf des Kutschers die feurigen Thiere einen
fliegenden Trab auf und behielten diese Gangart scheinbar ohne
Anstrengung auch auf der bald ziemlich steil ansteigenden Straße
dauernd bei. Staunenswerther als dies war es aber, wenn bei
Wegebiegungen oder Straßenkreuzungen unsere beiden Läufer von
dem Fußbret absprangen, den schnellen Lauf der Thiere überholend
an uns vorbeiflogen, die vorgespannten Pferde, sie am Gebiß
fassend, auf den richtigen Weg leiteten und dann wieder leicht auf
das Fußbret sprangen, ohne durch schneller gehenden Athem zu
verrathen, daß der Lauf ihnen eine Anstrengung verursacht hätte.
Und als noch staunenswerther möchte ich es bezeichnen, als bei
einer javanischen Hütte ein kleines, kaum 7 Jahre altes Mädchen uns
folgte und mit ihren bloßen Füßchen neben dem Wagen herlaufend,
gleichen Schritt mit uns hielt und lachenden Gesichts ihr guán, guán
(Herr, Herr) rief, um eine Gabe zu erbetteln. Manche mich
interessirende Gestalt begegnete uns, stolze Javanesen oder
Sundanesen, welche eigentlich nur ihre Waffen spazieren trugen; mit
dem Hüfttuch bekleidete, sonst nackte Tagelöhner, welche kunstvoll
gebundene Fruchtpyramiden zu Markte in die Stadt trugen und von
denen mehr wie einer sich von seiner ärmlich gekleideten Frau
begleiten ließ, um bei dieser Gelegenheit die in ihren Ohrläppchen
sitzenden, oft einen Werth von nahezu 1000 Gulden darstellenden
Brillanten zur Schau zu stellen. Der geradezu krankhafte Trieb des
Javanesen nach dem Besitz von Diamanten soll ihn allein dazu
bringen, auf den Plantagen der Europäer so lange zu arbeiten, bis er
sich diesen Wunsch erfüllen kann, worauf er sich dann an dem
Besitz in der Weise erfreut, daß er die Steine seiner Frau anhängt,
wodurch er sie immer vor Augen hat. Auch durch Dörfer, malerisch
zwischen üppigem Laub gelegene Niederlassungen, kamen wir, wo
die Frauen der wohlhabendern Klasse in den saubern offenen Hütten
am Webstuhl saßen, denn sie weben den Hausbedarf an Stoffen sich
selbst.
An unserm eigentlichen Ziele angelangt, fanden wir einen
dunkeln, geheimnißvollen, kühlen Hain, in welchem unter hohen
Bäumen ein großes gemauertes Becken liegt, das von einer frischen
Waldquelle gespeist wird. Eine Hütte zum Aus- und Ankleiden
befindet sich an dem Rande des Beckens, eine steile steinerne, mit
Moos überzogene Treppe führt zum Wasserspiegel, wo man unter
den rauschenden Kronen altehrwürdiger Bäume im Waldesdunkel
und umgeben von Waldesstille ein erfrischendes, fast kaltes
Schwimmbad findet. Als wir beim Verlassen des Bades einigen