Professional Documents
Culture Documents
Hintikka - Mind, Meaning and Mathematics - Husserl, Frege PDF
Hintikka - Mind, Meaning and Mathematics - Husserl, Frege PDF
Hintikka - Mind, Meaning and Mathematics - Husserl, Frege PDF
SYNTHESE LffiRARY
STUDIES IN EPISTEMOLOGY,
Managing Editor:
Editors:
VOLUME 237
MIND, MEANING
AND MATHEMATICS
Essays on the Philosophical Views
of Busserl and Frege
Edited by
LEILA HAAPARANTA
Department of Philosophy, University of Helsinki
ACKNOWLEDGEMENTS vii
INTRODUCTION ix
Part I
Part II
Part III
v
ACKNOWLEDGEMENTS
The Editor
vii
LEILA HAAPARANTA
INTRODUCTION
That the so called analytic tradition and continental philosophy have started
a dialogue, indeed a very fruitful one, does not count as news any longer.
However, things which many of us now take for granted were far from being
obvious in the fifties, perhaps partly because in those days analytic philoso-
phy was in full bloom and was not willing to view itself as a historically
conditioned tradition. Another reason was that continental philosophy did not
want to acknowledge the permanent value of analytic clarity but saw it only
historically as an outgrowth of logical positivism.
However, there were a number of brave scholars who took the decisive
step and introduced phenomenology to analytic philosophers. What this step
required was the simple realization that Husserl and Frege took part in a
discussion which was going on in the late nineteenth and the early twentieth
century and that they were on speaking terms, in spite of differences in
opinion and polemic argumentation which is a sign of a living academic
community.
Now that the analytic tradition has become interested in its historical
roots, the relations between Husserl's and Frege's views have become a
particularly important point of interest. Husser! has been and can be consi-
dered via Frege's philosophy, but Frege can also be considered in terms of
Husserl's philosophy of logic; we may even say that Husserl serves to give
a deeper philosophical content to the themes discussed by Frege. It can be
seen from the present collection of articles that the emphasis is moving
towards Husserl, who is adopting a central role in the philosophy of logic
and mathematics as well as in the philosophy of mind and cognitive science.
This collection brings together both work done by those who have long
participated in the discussion on Hussert's and Frege's philosophical views
and who are still active in it, and the contributions by philosophers who have
come to the field later, either continuing or challenging the interpretational
lines introduced by the pioneers. The title of the volume Mind, Meaning and
Mathematics is meant to cover the main themes discussed in the essays.
ix
x INTRODUCTION
The first part of the book contains the English translation, made by
Claire Ortiz Hill, of Dagfinn Fellesdal's early classic on Husserl and Frege,
which is an extremely clear and perceptive discussion of the potential influ-
ences of Frege on Husser\. His early thesis from the year 1958 deals with
Husserl's development between 1891 and 1900. Fellesdal argues that Frege
may have played a significant role in the change in Husserl's development
and in Husserl's new conception of a series of central philosophical prob-
lems. He also suggests that phenomenology must have been conceived of
between 1894 and 1896. The analogy between Husserl's and Frege's theories
of meaning is mentioned in his work. However, as is well known, the
comparison between sense and reference and noema and object was devel-
oped by Dagfinn Fellesdal later in another classical article on Husserl's
notion of noema, which was originally published in The Journal of Philoso-
phy in 1969.
In his early thesis, Fellesdal presents and discusses Husserl's antipsy-
chologistic arguments. The second part of the book opens with a paper on the
same theme. Martin Kusch, in his paper on Husserl's antipsychologism,
gives a detailed presentation of the reception of those arguments in the
German philosophical community in the beginning of the twentieth century.
A great number of less known philosophers are introduced and new historical
facts revealed in Kusch's contribution.
In his paper 'The Philosophy of Arithmetic: Frege and Husserl', Richard
Tieszen seeks to compare Frege's and Husserl's ideas on arithmetic and
stresses the importance of this kind of project, as Husserl's ideas are largely
unknown to many people working in the analytic tradition. He argues that
"Husserl's post-psychologistic transcendental view of arithmetic is still a live
option in the philosophy of mathematics, unlike Frege's logicism". He also
claims that it is superior to Frege's later views. However, Tieszen also notes
that Frege's arguments against views like Husserl's should not be ignored,
either. He further points at some of the connections between phenomenology
and constructivism in logic and mathematics. Tieszen sees Husserl's specific
value in that Husserl stresses the role of informal rigor and critical analysis
along with the technical work done by mathematicians.
In her paper 'Husserl and Frege on Substitutivity', Claire Hill studies
Frege's views on substitutivity and identity in the Foundations of Arithmetic
in connection with Husserl's objections to them. She establishes links be-
tween these issues and Frege's reasons for abandoning his logical work in the
INTRODUCTION xi
wake of Russell's paradox and discusses Russell's efforts to find solutions for
paradoxes connected with Frege's logic. Hill also discusses Husserl's compe-
tency to confront issues in Frege's logic and suggests that the study of
Husserl's philosophy could provide clues as to the significance of Russell's
paradox for logic and epistemology.
In his paper on Husserl's 'Logic of Truth', J.N. Mohanty focusses on
Husserl's Formal and Transcendental Logic (1929) and discusses Husserl's
third stratum of formal logic, which Husserl labels as logic of truth. Hus-
serl's distinction between pure logical grammar, logic of consequence and
logic of truth has been widely recognized, and, as Mohanty remarks, it may
have influenced the development of logic in the twentieth century. However,
the very idea of logic of truth and the essence of the distinction between logic
of consequence and logic of truth are neglected themes in the literature. In
his paper, Mohanty discusses various suggestions for interpreting Husserl's
logic of truth. He also shows how Kant's distinction between formal and
transcendental logic anticipates Husserl's distinction between the second and
the third stratum of formal logic.
While the second part concentrates on the philosophical problems of
mathematics and logic and on Husserl's and Frege's historical surroundings
from the point of view of these problems, the third part of the collection
brings together articles which primarily deal with the problems of mind and
meaning. In his paper 'Husserl's Theory of Meaning and Reference', Barry
Smith discusses the contribution of Central European thought to the early
development of analytic philosophy. His first concern is Frege's and Hus-
serl's strategies in relation to the problems of psychologism. As Husserl and
Frege both argued that thoughts are external to the mind, they had to find a
way of connecting thoughts to our empirical activities of thinking and
reasoning. Frege's solution was that language does the job of a mediator,
with no explanation on how it does it, while Husserl takes it to be the case
that our mental acts themselves effect the link to meanings. Smith argues
against Dummett that the expression and the sense which animates it are not
conceived by Husserl as separate but that in Husserl's view act moments and
language moments constitute a single entity. He claims that in the Logical
Investigations Husserl was able to argue for a non-psycho logistic conception
of thought and yet preserve the tie between meaning-entities and cognitive
activities.
xii INTRODUCTION
PREFACE
One might almost say that it is only inconsistency that keeps psy-
chologism alive: to think it out to the end is already to have given
it up, unless extreme empiricism affords a striking example of how
so very much stronger ingrained prejudices can be than the most
certain testimony of insight. (LI, 111)
At the same time, Husserl presented his first, as yet not completely
worked out, ideas for a new philosophical method, phenomenology,
which he hoped would be able to realize the dream of all philosophers of
a presuppositionless philosophy.4 Although phenomenology evolved so
much after the Logical Investigations that some scholars 5 consider Ideai
(1913) to be Husserl's first phenomenological work, phenomenology
must have been conceived between 1891 and 1900, between the publica-
tion of the Philosophy of Arithmetic, where phenomenology is generally
not referred to,7 and the publication of the Logical Investigations, where
Husserl was consciously trying to develop what he called the phenom-
enological method. s That this accords with Husserl's own view of his
development comes out clearly in the foreword to the second edition of
the Logical Investigations where he characterizes this work as a "break-
through". (LI, 43)
Husserl gives two reasons for this breakthrough:
HUSSERL AND FREGE 5
Beth is not the only one who thinks that Husserl did not fully realize
the depth of Frege's objections. Without mentioning Frege, John Wild
writes in an article on Husserl's critique of psychologism:
Farber is the only one of the scholars cited to have examined the
relationship between Husserl and Frege more closely.23 Farber's analysis
is very good in many respects, but rather incomplete, and his presenta-
tion of Frege's views is inaccurate in some respects.24
Besides Farber, only Andrew Osborn has studied Husserl's rela-
tionship to Frege closely. Osborn's study,2s which is written for the
general public, devotes only a few pages to this topic. It is merely a
summary of Frege's review of the Philosophy of Arithmetic in simpler
form.
The situation then is that while Husserl's relationship to a series of
thinkers with whom he came into direct or indirect contact, as for
example Brentano, Bolzano, Horbiger and Kiilpe, has been investigated
to some extent,26 no one has devoted a thorough study to his relationship
to Frege, although the remarks cited show a need for more clarity.
Frege's point of view) have had for the origins of phenomenology (Le.
Husser!'s philosophical development during the years 1891-1900)?
We wish to focus on the significance we are especially confident
Frege may have had, and so we wish to base our study on the following
"causal law: ,,32
"That a philosopher encounters great difficulties integrating into his
philosophy propositions in whose truth he has a great deal of confidence,
that while working on these difficulties he becomes acquainted with
arguments which show that these difficulties can be surmounted if and
only if he changes his fundamental philosophical position, and that
furthermore this fundamental position has made a good part of the
reasoning grounding his philosophy inconsistent,
and that he accepts the arguments
is sufficient
that he changes his fundamental philosophical position accordingly
so that in his opinion neither the arguments, nor the reasoning upon
which he may base his new philosophy are any longer affected by
them."
This "causal law" meets the requirement we place on a causal law
in "Kausale Relationen" for it to be used to instill confidence that one
event may have had significance for another event.
Our study will accordingly show that the origins of phenomenology,
or events "entering into" this event, meet all the criteria stated in the
consequence of the "causal law". It will show that the event of Husser!'s
becoming acquainted with Frege's position, or one or more events
"entering into" this, meets all the criteria stated in one or more proposi-
tions of the antecedent of the "causal law", and that the remaining
propositions in the antecedent are true.
Because Husserl is the philosopher who has in this case changed his
fundamental philosophical position, and since the changes which interest
us here are those we have called "the origin of phenomenology", that is,
the changes mentioned in the preface having taken place between the
Philosophy of Arithmetic (1891) and the Logical Investigations (1900) the
first of the three propositions in the antecedent of the causal law is in
this case equivalent to the proposition: "Prior to 1900 Husser! encoun-
tered great difficulties while working to integrate into his philosophy
propositions in whose truth he had a great deal of confidence. " We have
12 DAGFINN F0LLESDAL
already shown in the preface that this statement is true: when Husserl
was stating the reasons for his philosophical breakthrough, he recounted
that he had encountered great difficulties while working on the Philoso-
phy of Arithmetic when he tried to integrate the proposition: "Mathe-
matics and all science in general are objective" into his philosophy.33
The second of the three propositions in the antecedent of the "causal
law" is in this instance equivalent to the proposition: "While attempting
to integrate the proposition: 'Mathematics and all science in general are
objective' into his philosophy, Husserl became acquainted with argu-
ments which showed that the difficulties he was encountering could be
surmounted if and only if he changed his fundamental philosophical
position, and that furthermore this fundamental position had made a
good part of the reasoning grounding his philosophy inconsistent." The
central portion of this study consists of an examination of the relevant
arguments of Frege's with which Husserl became acquainted, and in an
analysis of the changes in Husserl's philosophical position after he had
become acquainted with those arguments.
Through this analysis we wish to try to show that the following
proposition, which is in this instance equivalent to the consequent of the
"causal law", is true: "After becoming acquainted with Frege's argu-
ments Husserl changed his fundamental philosophical position so that in
his opinion the arguments and the reasoning upon which he based his
new philosophy were no longer affected by them".
The changes meeting the criteria stated here are what we mean by
"the significance Frege may have had for the origins of phenomenolo-
gy".34
Husserl's new philosophy is presented in the Logical Investigations,
and while developing it he would therefore have been able to take into
consideration all Frege's arguments he had become acquainted with up
until then. Before beginning our analysis we must, then, answer the
question: "Which of Frege's arguments was Husserl acquainted with
prior to 19OO?"
If we can begin with the assumption that Frege's arguments were
always adequately expressed in his writings, this question can best be
answered by first finding out which of Frege's writings Husserl knew.
Were this inquiry to show that particular writings of Frege were un-
known to Husserl, we would then need to find out whether prior to the
HUSSERL AND FREGE 13
presentation of his new philosophy Husserl had any other access (for
example, through letters and conversation) to the arguments presented by
Frege in those writings.
We are, however, especially interested in those of Frege's argu-
ments to which Husserl had access while he was still engaged in integrat-
ing the proposition: "Mathematics and all science in general are objec-
tive" into his original philosophy.
In order to be able to find out what arguments were involved, we
still have to answer one preliminary question: "When did the decisive
change in Husserl's development happen?" In conformity with our
"causal law", we will be specifically interested in those of Frege's
arguments that HusserI had direct access to before this decisive change,
while he was still struggling to preserve his fundamental psychologistic
position.
So our study actually consists in answering these two preliminary
questions, and in systematically comparing Frege's arguments and the
changes that took place in HusserI's philosophical views between the
Philosophy of Arithmetic and the Logical Investigations.
Now only one proposition in the antecedent of the causal law
remains, the third and final one which in our case is equivalent with the
proposition: "HusserI accepts Frege's arguments".
That Husserl did this, and that this final proposition in the antece-
dent is true, seems to follow from the note already cited from the
Logical Investigations, where Husserl says:
ANALYSIS
For logic, since concepts, judgments and all other logical operations
themselves belong together in that distinguished group. In particular,
I think I may be permitted to say that no theory of judgment can do
justice to the facts which is not grounded in a deeper study of the
descriptive and genetic relationships of intuitions and representa-
tions. 43
will be discussed point by point and this should show the extent to which
the points criticized are changed in the Logical Investigations.
Frege begins his review with a brief summary of the first parts of
Husserl's book. The summary sets out in very clear terms what Frege
finds at times lacking in Husser!. He finds two points in the exposition
needlessly unclear: the relationship between "multiplicity" and "num-
ber", and the distinction between a "relation of difference" and a "col-
lective relation".
1. "Multiplicity" - "Number"
Hence, if anyone loves a paradox, he can really say, and say with
strict truth if he will allow for the ambiguity, that the element which
makes up the life of phenomenology as of all eidetical science is
"fiction", that fiction is the source whence the knowledge of "eter-
nal truths" draws its sustenance. (ID § 70)
3. "Number" - "Concept"
4. "Presentation"
And in the article "On Sense and Reference", Frege not only intro-
duces well-defined and very significant distinctions between "signs",
"sense", and "meaning", but also declares that "the meaning and sense
of a sign are to be distinguished from the associated presentation" (GB,
59). At the same time he points out that "one need have no scruples in
speaking simply of the sense, whereas in the case of a presentation one
22 DAGFINN F0LLESDAL
must, strictly speaking, add whom it belongs to and at what time" (GB,
90).
Frege is succinct: "If number were a presentation, then arithmetic
would be psychology. But arithmetic is no more psychology than, say,
astronomy is". (FA, § 27)
When in his exhaustive discussion of psychologism in the Prolego-
mena Husserl so often and so forcefully stresses the gap between "sci-
ences of the ideal and sciences of the real", and says there is a funda-
mental difference between the "psychological connection among presen-
tations, judgments, insights, surmises, questions, etc." and the "logical
connection, i.e. the specific connection of the theoretical Ideas .... " (LI,
185-86), one is inclined to think that he is in complete agreement with
Frege. But, while Frege only very seldom uses the word "presentation",
one encounters it rather often in Husserl's writings, and it plays a very
important role in his fifth logical investigation, "On Intentional Expe-
riences and their Contents". In fact, it plays such an important role that
he finds it necessary to devote an expanded chapter to studying the many
ambiguities of the words "presentation" and "content of a presentation".
This already leads us to suspect that Husserl and Frege may not
agree that the word 'presentation' is to be kept outside the domain of
pure logic.
In fact, much in Husserl's phenomenology appears to indicate that
Beth was right to state that "Husserl never completely succeeded in
assimilating Frege's theories" .46 While Frege says in his criticism of
psychologism:
Frege states that when we say that a logical proposition, for example
the principle of identity, cannot be rejected because that would go
entirely against our nature and would make all thought impossible, we
are not talking about what is true, but about what we take to be true, and
we are no long moving within the realm of pure logic. For this reason
he does not try to "demonstrate" the objective nature of logic.
HusserI also concentrates on the inconsistency of psychologistic
logicians. He first shows that some of the common arguments against
psychologism are irrelevant,49 and afterwards presents the arguments he
finds decisive. He agrees with Frege that an objective and absolute logic
cannot be grounded empirically and statistically, and that for this reason
one must distinguish between "true" and "being taken for true", between
"ideal laws" and "real laws". HusserI believes that psychologism in all
its various forms is based on a kind of relativism (LI, 145 -46). In a
critical analysis he tries to show the logical untenability of such a rela-
tivism and therefore the absolute nature of logic.
26 DAGFINN F0LLESDAL
1. If the same proposition can be true for one group, for example the
human species, and false for another, then the proposition is both
true and false at the same time, and this conflicts with the meaning
HUSSERL AND FREGE 27
6. Definition
"reference" of the words. Frege refers to his article "On Sense and
Reference" where he clarified the relationship between what he calls a
"sign", its "sense" and its "reference", and showed the far-reaching
logical consequences of this tri-partite distinction, among these being the
fact that concepts cannot be alike in the genuine sense of the word, but
concepts having the same extension can be called alike.
Much in the Logical Investigations reminds one of Frege's views on
concepts and definitions. Thus in the investigation entitled "Expression
and Meaning", HusserI introduces a tri-partite distinction between
"expression", "meaning" and "object" (LI, 287) reminiscent of Frege's
distinction in "On Sense and Reference". That Frege was basically
dealing with the same tri-partite distinction only comes out in a brief
comment (LI, 292) stating that Frege's terms 'sense' and 'meaning' are
so laden with ambiguities that HusserI does not find it advisable to diffe-
rentiate between them.
All doubt as to the importance 'of definitions is dissipated in the
Logical Investigations where definitions are considered as indications of
the objective meaning of the expressions defined (LI, 324). Thus con-
cepts become "ideal unities of meaning" classifiable with propositions
which can be true or false. Propositions are accordingly not based upon
mental acts, "acts of presentation or of taking something to be true", but
upon other propositions or upon concepts. (LI, 324)
His contempt for the structural relation between concepts is replaced
by a fervent belief in the significance of a "pure theory of meaning
forms" which constitutes a part of pure logic, and is a prerequisite for
logic as "pure theory of validity" (LI, 525 - 26). This theory of forms
deals with, the "mere possibility of judgments, as judgments" (FTL, 50),
thus with problems of the same kind as those Frege treated in the last
part of "On Sense and Reference" (GB, 63 ft).
HusserI, however, remains firm in his conviction that for concepts
and their definitions the intension, not the extension, is the main thing.
He points out that when we define a concept our intention is not directed
toward the particular objects which fall under the concept, but toward
the unity of meaning referred to, and from this he concludes that:
32 DAGFINN F0LLESDAL
7. "Equality"
We simply say that any contents are equal to one another when
precisely those properties (internal or external) which form the focus
of interest are equal. (PA, 108)
The reason Frege has so little to say about the normative character
of logic in his review of the Philosophy of Arithmetic is probably that the
work was more mathematico-psychological than logical. In the Logical
Investigations HusserI is no longer mainly concerned with mathematics,
but rather with problems of pure logic. The normative character of logic
is one of these problems. In contrast to Frege, HusserI finds that the
normative character of logic cannot be a decisive argument against
psychologism. A psychological logician can reply: "a necessary use of
the understanding is none the less a use of the understanding, and
belongs, with the understanding itself, to psychology" (LI, 92). If one
believes that what is essential to the ideality of logic is its normativity,
one walks right into the trap of psychologism because "the fundamental
sense of ideality, which puts an unbridgeable gulf between ideal and
real, is thereby lost". (LI, 217)
Characteristic of a normative discipline is its "basic norm", the
"definition" of what is to be deemed "good" (LI, 85). Each normative
discipline presupposes a theoretical discipline which investigates the
interconnections of the knowledge content without the valuation (LI, 86
ff.). In order to shed light on the relationship between logic and psychol-
HUSSERL AND FREGE 35
Husserl and Frege both take as their points of departure the fact that
logical laws are ideal in nature, that they are " .. .ideal unities ... re-
maining untouched by the flux of subjective presentations and
thoughts ... " (LI, 321) (Cf. BL, xvi). When, despite this, they ascribed
completely different significance to the normative character of logic, the
reason is that Frege not only believed that "any law asserting what is,
can be conceived as prescribing that one ought to think in conformity
with it" (BL, xv), but in addition he was of the opinion that the laws
"which prescribe universally the way in which one ought to think if one
is to think at all" were ideal in nature, so that it was not necessary to
distinguish between the ideal and the normative. Husserl's arguments
appear, however, to indicate that this distinction must be maintained.
CONCLUSION
partially taken on a somewhat different meaning than the one they had in
his first work. They, along with a series of other central concepts like
"multiplicity" and "number", have been freed of the subjectivity and
imprecision Frege criticized so vigorously in his review.
Husserl's views on concepts and definitions have changed entirely,
but nonetheless still differ from those of Frege. Among other things, in
the Logical Investigations Husserl accords far greater importance to the
intension of concepts than Frege does.
Husserl distinctly differs from Frege in his views on the normative
nature of logic. By clearly severing the theoretical from the normative
sciences, he seems here to have come further than Frege.
Most important is, however, the marked difference between the
arguments both thinkers use against psychologism.
While Frege finds it impossible to prove the untenability of pure
relativism, Husserl believes that this is possible. Both believe that logic
can only take us from one proposition to another, and that we use
unproven preliminary suppositions or axioms in order to avoid circular-
ity or infinite regress (LI, 176 -77) (BL, xvii). The disagreement,
however, comes in Frege's regarding any such foundation as being
"taken for being true", whereas Husserl holds with self-evident certainty
that any foundation given us through self-evidence is objective.
This difference marks all their arguments against psychologism.
While Frege is content to criticize inconsistent psychologism, Husserl
finds any form of psychologism or relativism untenable. We see, how-
ever, that all Husserl's arguments make an appeal to self-evidence.
And so this study of Frege's significance for the origins of phe-
nomenology leads to an appreciation of Husserl's concept of self-evi-
dence.
When Husserl maintains that self-evident propositions are objectively
valid, Frege must see this as a confusion of "being true" and "being
taken to be true", and as psychologism in disguise.
For his part, Husserl must feel that in maintaining that the basic
propositions of logic are only "taken to be true" Frege ends up in pure
relativism.
For both, then, the views of the other must appear to be a kind of
psychologism.
38 DAGFINN F0LLESDAL
University of Oslo
42 DAGFINN F0LLESDAL
NOTES
42 LI, pp. 262 -63. See also Edmund Husserl: "Bericht fiber deut-
sche Schriften zur Logik in den Jahren 1895 -99", Archiv fUr systemati-
sche Philosophie, IX Band (1903), pp. 397-400, and his "Philosophie
als strenge Wissenschaft", Logos, Band I (1910-11), p. 319.
43 Husserl, "Psychologische ... ", p. 187.
44 The appropriateness of Frege's definition is apparent, among
other things, in that the brilliant creator of set theory Cantor defined
cardinal numbers in a similar way. In 1902 Russell identified the car-
dinal number M with the set of all sets equivalent to M in precisely the
same way as Frege, and von Neumann used a modified form of Frege's
definition in 1928.
45 BL pp. ix -x; See also Wilma Papst, Gottlob Frege als Phi-
losoph, Dissertation Berlin, pp. 22-23.
46 See preface.
47 Edmund Husserl, Formal and Transcendental Logic, The Hague:
Martinus Nijhoff, 1969, p. 87.
48 This is not an original statement. Jacob Klein said as much in the
article "Phenomenology and the History of Science", Philosophical
Essays in Memory of Edmund Husserl, ed. Marvin Farber, Cambridge,
MA: Harvard University Press, 1940, p. 146: "Now Husserl's radical
criticism of psychologism implies anything but a simple opposition
between neverchanging "abstract" principles and everchanging "empiri-
cal" things."
49 He rejects, among other things, one of the arguments Frege used,
namely the normative character of logic. This is dealt with later on in
this study.
50 Werner Illemann shows this in Die vorphl1nomenologische Phi-
losophie Edmund Husserls und ihre Bedeutung fUr die phllnomenologi-
sche, Dissertation, Leipzig, 1932, p. 41 f.
51 This "cogito" is one of Husserl's many points of contact with
Descartes. Not without reason did Husserl entitle his first French work
Meditations Cartesiennes.
52 For example in "Philosophie als strenge Wissenschaft", Logos,
Bd. I (1910-11), p. 295.
53 Arne Nress, "Husserl on the Apodictic Evidence of Ideal Laws",
Theoria XX (1954), p. 63.
HUSSERL AND FREGE 47
NORMATIVE ANTIPSYCHOLOGISM,
AND LOGIC AS A NORMATIVE DISCIPLINE
(a) An a ought to be fJ
(b) 'Y is the constitutive content of the value predicate "good" (as
defined for all a by some "basic norm")
... Husserl proposes that the acceptability of (a) depends on the truth of
the non-normative sentence (c):
(a) If you want to ride a horse well, you ought to be able to control
it, sit tight, etc .
(b) Riding a horse well is possible only if one is able to control the
horse, sit tight, etc.
the relation between (a') and (b') on the relation between (a) and (b)
"would be to practice moral philosophy in a Socratic fashion, i.e. it
would imply a one-sided intellectualistic interpretation of the concept of
value. Instead, the categorical demand that tells the warrior to be coura-
geous is a demand that comes from his consciousness of duty, and it is
the fulfilment of this demand which makes the value predicate 'good'
applicable" (242).
Kroner thinks that the case of logic is similar to the case of morals.
The highest logical norm is something like (a") ...
(b") It is part of the concept of the good reasoner that she thinks
what is true.
And this analysis of the most basic logical norm also applies to all other
logical norms (1909: 242). Thus, for instance, the non-normative sen-
tence (b"') ...
(a"') Every reasoner ought to think what is true, and thus, amongst
other things, she ought to abide by the Principle of Non-Contra-
diction.
" ... our logician pretends that a normative sentence can be turned into a
theoretical sentence by means of a simple transformation. 'An A ought
to be B' he reformulates as 'only an A which is B has the attribute C';
and then he claims that the resulting sentence is purely theoretical and
contains no normative element. That is really a curious slight of hand!
The conjurer shows us an empty hat, shakes it and then - to our aston-
ishment - pulls a few piglets or a bouquet of roses out of the hat. Does
not the credulous audience realise that the normative element has simply
slid from the 'ought' of the first sentence into the 'C' of the second?"
(1903: 13) Schultz regards Husserl's pure logic as "a stillbirth": "No
really, that would be a sad theoretical discipline that ran alongside the
rule-giving discipline [i.e. normative logic] as if it was its shadow. The
latter would say, for instance, 'deduce according to mode X', and the
first would echo: 'the mode X is correct here'. On such meals the newly
born pure logic will not be able to nourish itself!" (1903: 14).
The distinction between real laws and ideal laws was criticised in
very general terms by Paul Natorp (1901: 282) and Dimitri Michalt-
schew (1909: 83). Other critics went into much greater detail. Several
commentators maintained that (A) is a petitio principii (Heim 1902: 27;
Heymans 1905: 32-33; Lapp 1913: 53; Schlick 1910: 409, 1918: 128).
Schlick puts the objection most succinctly: "One sees immediately that
one might with equal right infer the opposite [of Husserl's (A)]: since
logical structures, inferences, judgements and concepts undoubtedly
result from psychological processes, we are entitled to infer from the
existence of logical rules that there are perfectly exact psychological laws
as well. ... The proponent of 'absolute' logic cannot defend his position
simply by claiming that all psychological laws are vague; for this
amounts to a petitio principii" (Schlick 1910: 409). Schlick rejects the
vagueness assumption even for those psychological laws that are not
(also) logical: " ... all processes in nature and mind occur according to
laws, and these laws are without exceptions just like the rules of formal
logic. The laws are not inexact, our knowledge of them is insufficient -
this is a huge difference" (1918: 128).
Some of Husserl's critics also discard (B), i.e. they reprove Husserl
for claiming that laws of nature are probable and known by induction,
whereas laws of logic are outside the realm of probability and known a
priori. As concerns laws of nature, Moritz Schlick (1910) and Willy
Moog (1919) object that not all laws of nature are merely probable.
Schlick makes this point by accusing Husserl once again of a petitio
principii: "He who regards logical principles as exact laws of thought
[and thus as laws of nature] will of course deny that all laws of nature
are merely probably valid ... " (1910: 410). Moog holds that Husserl's
view of laws of nature is wrong even in the case of the physical sci-
ences: "There certainly are psychological and physical laws which have
only an approximate validity. However, in the case of a law of nature
like the law of gravity, it is inadequate to speak of a mere probability of
its validity" (1919: 10). Moreover, Moog feels that Husserl "confuses
the material content of laws of nature with their meaning and sense.
58 MARTIN KUSCH
Even though a law of nature relates to the empirical world, has empirical
content, and is discovered empirically, a law of nature nevertheless does
not have to be merely empirical. It can contain an a priori core, ... "
(Moog 1919: 13).
Husserl's characterisation of logical laws as known a priori met with
even more opposition. According to Gerardus Heymans, all epistemolo-
gy can say, for the time being, with respect to a logical law like the
Principle of Non-Contradiction is that "probably all human beings reject
contradiction" (1905: 66). Our knowledge of logical laws is more
probable than our knowledge of other psychological laws only "because
we experiment, throughout our life, daily and every hour, with these
elementary relations between phenomena of consciousness" (1905: 33).
Wilhelm Jerusalem is ready to admit that we are more sure of the
truth of mathematical and logical laws than we are convinced of the truth
of physical and biological laws. Nevertheless, Jerusalem remains un-
willing to treat mathematical and logical laws as known a priori. Mathe-
matical and logical laws seem more reliable because they "are derived
from judgements whose truth has always proven itself". Moreover,
Jerusalem suggests that "psychologicists" like himself will proceed on
the hypothesis that laws of logic are laws of nature: "That we are part of
nature and that our mental development happens according to laws of
nature, this for us is no dogma but a rule of method. And we follow this
rule as long as it proves itself fruitful. We infer: No law of nature is
known a priori. Logical laws are laws of nature. Logical laws are not
known a priori. - Husserl reasons completely differently. His syllogism
goes as follows: No law of nature can be known a priori. Logical laws
can be known a priori. Logical laws are no laws of nature. - But his
minor premise is, for Husserl, not a rule of method but an arbitrarily
posited dogma. He does not allow anyone to question this dogma"
(1905: 103).
In the context of their objections to Husserl's conception of logical
laws as laws that are known a priori, some authors also explained their
own views on how our knowledge of logical laws is to be characterised.
These authors tried to characterise this knowledge as being neither
inductive nor a priori.
Julius Schultz suggests that we start out in logic by following the
example of geometry and construct different logical formal systems
PSYCHOLOGISM 59
almost arbitrarily. The starting point might be different axioms that have
on occasion been regarded as necessary. However, in a second step, we
have to make a choice between different systems: "And it is here that
facts of experience will be decisive. Firstly, the 'true' logic will have to
be based upon the general constitution of the human species; and second-
ly, it had better be necessary for existing sciences. In this way logical
sentences are not deduced from these facts (that would indeed be
absurd). Instead, we test the arbitrarily constructed tables of the a priori
with the help of those facts. Only in this sense do psychology and the
critique of science justify logic; and a justification in this sense does not
lead to any inner contradiction" (1903: 29).
Ernst Durr (1903), Hans Cornelius (1906), Leonard Nelson (1908),
Wilhelm Schuppe (1901) and Christoph Sigwart (1904) all agree, pace
Husserl, that our knowledge of logical laws is not a priori. According to
Nelson, Husserl's denial that logical laws can be discovered and justified
by psychology is based on an oversight. Only a psychological study of
the human mind can show that the logical basic laws are the conditions
of the possibility of our experience. Husserl overlooks that this proof
does not deduce logical laws from psychological laws (1908: 170).
Sigwart claims that only the psychological analysis of our self-conscious-
ness can lead to the discovery of logical necessity: "If contradictions did
not appear as factually impossible in our real, concrete train of thought,
how could we ever come to deem them impossible?" (1904: 24). And
Schuppe and Durr deny that the distinction between a priori knowledge
and inductive knowledge is exhaustive: "The received opposition be-
tween empirical and a priori knowledge is rather unclear .... That there
is salty stuff is something no-one can deduce a priori; it is knowledge
based on experience. But this knowledge is not gained inductively; it is
simply found .... The objects of logic, even though they are not found
in sense perception, are similar. They owe their being-known to the
reflection of thinking upon itself.... And insofar as this coming-to-know
[of logical determinations] is based upon finding something within the
given, this coming-to-know can be called an experience" (1901: 14; cf.
Durr 1903: 543; similarly Cornelius 1906: 406).
As concerns (C), Schlick (1910) challenges Husserl's claim that laws
of logic do not imply the existence of matters of fact. Schlick maintains
that psychological acts of judgement and logical sentences are inter-
60 MARTIN KUSCH
twined, such that the logical sentence and its truth "can never be found
independently of the act of judgement; the logical sentence is included in
the latter and results from it via abstraction .... the logical sentence has
its place only in the mental experience and does not exist outside of it in
any sense. The two cannot be separated; the judgement as logical struc-
ture, as 'ideal meaning' ... comes to be, once one abstracts, within the
real experience of judging, from all individual and temporal elements.
And even though one can abstract from all individual-psychological
factors, one cannot abstract from the psychological in general. In other
words, one cannot understand logical sentences as structures without
psychological qUality. Pace Husser!, logical sentences imply the exist-
ence of experiences of judging. For if we take away, from any chosen
judgement, everything which is psychological, we only remain with the
matter of fact that the judgement expresses and upon which it is based"
(1910: 405; cf. Eisler 1907: 18).
Finally, I need to introduce two authors that censure Husser! for
setting the ideal laws of logic too sharply apart from the real laws of
human psychology. Joseph Geyser misses in the Prolegomena an ex-
planation of "how it comes to be that the soul's actual creation of
thought processes leads, in general, to results that conform to the logical
laws and norms .... there is no alternative to the explanation that some-
how the logical realm gains causal influence upon thought processes.
Insofar as Husser! completely rejects any such causal influence, there
remains a lacuna in his argument against the psychologicists ... " (1916:
226). Melchior Palagyi finds Husser!'s assumption that the wor!d of facts
is governed by the principle of causality absurd. As Palagyi sees it, the
principle of causality is itself an ideal law. And thus Palagyi can argue
that Husser! is confused about the whole distinction between real and
ideal laws: "In Husser! 's conceptualisation, both kinds of laws blend into
one another in such a way that one cannot take seriously the alleged
unbridgeable difference between the two. But how then does Husser!
differ from the 'psychologicists' whose unforgivable mistake is supposed
to be their inability to distinguish correctly between real and ideal laws?"
(1902: 46).
PSYCHOLOGISM 61
mistake here, and one cannot accuse him of having missed the tauto-
logical character of his formulation. This is because Spencer himself
continues (... ): 'the antithesis of positive and negative being, indeed,
merely an expression of this experience'. The meaning of Spencer's
formulation as a whole is not tautological; only the sentence that Husser!
quotes and reproves is tautological" (1910: 408).
FALLACIES AS COUNTEREXAMPLES TO
PSYCHOLOGICAL INTERPRETATIONS OF LOGICAL LAWS
In his reply, Heymans challenges Husser!'s claim that fallacies are de-
viations from the laws of syllogistics. As Heymans sees it, someone who
does not derive the right conclusion from given premisses is confused
about the meaning of the major, middle or minor terms, not lacking
knowledge of the inference schemes. In the case of fallacies the causes
of the deviation from the laws of syllogistics are "as it were, prior to the
thought processes. The premisses are not the right ones, or are not
clearly grasped or wrongly understood; but a principal difference in laws
of thought [between laws of thought in the cases of correct and incorrect
inferring] cannot be claimed to exist" (1905: 69)
Essentially the same reply is suggested also by Julius Schultz: " ...
PSYCHOLOGISM 63
the laws of thought do not lose their power over our brains when the
common fallacies occur; fallacies are due to mistakes of memory or
comprehension, they are due to mistakes that distort the meaning of the
premises" (1903: 26-27).
Before turning to the critics' response to the second premise and the
conclusion of this argument, it is worth mentioning that several authors
also question the first premise.
Doubts about Husserl's charge that relativism and scepticism are
self-refuting doctrines were first expressed by Paul Natorp (1901). In his
review of the Prolegomena Natorp hints at the possibility that Husserl's
arguments against relativism and scepticism are guilty of a petitio: "[For
Husserl] scepticism is ... absurd. (But perhaps only for those who want
strictly valid theories at all costs. The sceptic might say that he too
wants such theories, but that he feels that they are an impossible ideal
... ). Husserl then studies scepticism and sceptical relativism in its
individualistic form; he claims that 'as soon as this position is formu-
lated, it is already refuted' - at least for those who understand the
objectivity of logic. (But this is precisely what the sceptic denies.)"
(1901: 274).
More detailed criticisms of Husserl's - and Rickert's (1892, 1904)
- "refutations" of scepticism and relativism were provided by H. Asch-
kenasy (1909), Hans Kleinpeter (1913: 45-46), Hugo Renner (1902,
1905: 4-5), and Julius Schultz (1903).
For example, Aschkenasy (1909) contests Husserl's claim (LU §36)
according to which the notion of a mind which does not abide by (our)
64 MARTIN KUSCH
true for all times, i.e. even prior to its discovery and regardless of
whether it is ever formulated by any intellect (LU §38).
Sigwart (1904) responds by accusing Husserl of conflating truth with
reality: "In the original sense of the terms, only assertions or opinions
can be true or false. And assertions or opinions necessarily presuppose
thinking subjects who entertain the opinions or utter the assertions. To
postulate 'sentences' as independent essences is sheer mythology. Insofar
as Husserl speaks of 'contradictory facts' that cannot both be true, he
conflates 'true' and 'real'. And thus Husserllapses into the same concep-
tual confusion that the German Criminal Code is guilty of when it speaks
of ... 'pretence of false facts' .... Only an opinion, a report about a fact,
can be false. But a fact is simply there oo. When no judgements have
been made, then there is nothing of which 'true' or 'false' could be
predicated. Of course, the planets did move, already long before New-
ton, in a way that conforms to the law of gravity. However, before
Newton formulated his theory (oo.) no true sentence about these move-
ments existed within human knowledge. After Newton formulated the
law of gravity as a sentence, this sentence became, due to its content,
true for the past as well" (1904: 23).
Sigwart's critical footnote was expanded into a long article by his
student Hans Maier (1914). Suffice it here to add only that Maier
distinguishes between two senses in which 'true' and 'false' can be
predicated of judgements. Prior to Newton, the law of gravity was
merely hypothetically, or possibly true, i.e. it would have been true had
it been pronounced. But "only those judgements can be called categori-
cally true which actually figure in acts of judging". Put differently, for
Maier truth is a relation between a "transcendently given" fact, on the
one hand, and a judgement figuring within an act of judging, on the
other hand. And thus it makes no sense to speak of truth when one
relatum is absent (1914: 324). (cf. Schultz 1903: 25; 1907: 34-35).
Schlick (1910) follows Sigwart and accuses Husserl of a conflation
between 'truth' and 'reality' (403). However, Schlick goes further than
Sigwart by seeking an explanation for Husserl's alleged conflation: "The
mistake of the independence theory is based upon a fallacious distinction
between ideas and objects of ideas. In the case of concrete ideas, say
ideas of [physical] objects that I can [literally] grasp, this distinction
makes sense; after all, I distinguish between the book lying in front of
PSYCHOLOGISM 67
me on the table, and my idea of that book. But, in the case of abstract
ideas, object and content coincide, i.e. the object of the idea is nowhere
to be found, except within that very idea. And thus logical sentences and
acts of judging are absolutely inseparable" (1910: 407).
Husserl's distinction between the act and content of judgements was
attacked by other critics as well. Wilhelm Jerusalem (1905) introduces
his objection in the context of a defence of species relativism. Jerusalem
focuses especially on Husserl's claim that "the same content of a judge-
ment cannot be true for one species and false for another". Jerusalem
replies: "If the two species in question are totally differently organised,
or 'constituted', then there are no contents of judgements that are
identical for both. For some purposes one can distinguish between the
act and content of a judgement, by reflecting on, or attending to, one or
another of the two. But the act and the content cannot be separated in
such a way that the one could remain constant while the other is chang-
ed. The act and the content of a judgement penetrate each other com-
pletely and every change in the act leads to a change in the content. ...
Thus it is not absurd to restrict truth to human knowledge; what is
absurd is rather to speak of identical contents of judgements in the case
of differently organised species" (1905: 104).
The earliest objector to the act-content distinction was Melchior
Pahigyi (1902). Pahigyi concerns himself foremost with constructing
examples where a strict division between the act and the content of a
judgement would be impossible: " ... let us study the combination of the
sentences 'I am thinking now that I am thinking now'. In this case I
reflect on my thinking with an act of thinking. How can it be possible to
abstract from my thinking - when my thinking is the content of my
thinking? I feel justified to claim that in such a sentence abstracting from
the thinking person and her thought is impossible precisely because that
from which we are asked to abstract, forms the content of the sentence.
And thus I have shown that Bolzano's and Husserl's demand that we
should think the content of a judgement independently of the thinking act
of a person cannot be fulfilled in such cases" (1902: 28-29).
With Palagyi originates a further line of attack against Husserl's
independence theory of truth. According to this criticism, the indepen-
dence theory of truth leads to relativism, scepticism and agnosticism (cf.
Michaltschew (1909: 93) and Lapp (1913: 42-64». Palagyi is especially
68 MARTIN KUSCH
upset about Husserl's claim (directed against both Erdmann and Sigwart)
that there could be species that are mistaken about everything: "But how
could we then exclude the possibility that we humans are such a species
... 1 We see where the pursuit of Bolzano's ideas leads us. Husserl takes
Bolzano's mistaken thought of 'truths-as-such' dead-seriously and thus he
ends up in an incredible scepticism" (1902: 61).
Yet another objection to truths-as-such was suggested by Karl Heim
(1902: 8) and taken up by Michaltschew (1909: 397). Heim attacks the
notion of possibility that is invoked when Husserl speaks of truths-as-
such as "ideal possibilities". Husserl allows for truths that might never
be known, i.e. he allows for possibilities that will never become actual.
However, for Heim there simply are no such possibilities: "[Husserl's]
epistemology is correct only if it is logically justified to speak of mere
possibilities that can never become actualities .... [But] it is senseless to
speak of mere possibilities that will never be actual" (1902: 8).
Husserl's equation of psychologism with species relativism was
directed mainly against Sigwart and Erdmann. I started this section with
Sigwart's reply, but Erdmann's response still has to be reported.
In Erdmann's case Husserl goes to even greater lengths in order to
unmask what he regards as fatal flaws and inconsistencies. The central
issue for Husserl is Erdmann's claim that logical laws are merely hypo-
thetically necessary, i.e. that logical laws are necessary only for mem-
bers of the human species up until the present. (§40).
Husserl's list of objections to this theory is long. The three main
objections are the following (LU §40).
First, if logical laws were, as Erdmann assumes, real, natural,
psychological laws, then we should, pace Erdmann, be able to imagine
alternative logics. After all, we can always imagine alternatives to
empirical laws.
Second, Erdmann believes that our thinking could change so radi-
cally that our present logical laws would no longer be valid. This belief
is absurd. Only psychological, empirical laws are variable and have
exceptions, but logical laws are invariant and without exception. Erd-
mann's theory allows for a future race of logical Ubermenschen with a
partially or completely new logic. But these Ubermenschen could only be
counted as mad by the standards of us "logically ordinary folks".
Third, the proponent of anthropologism cannot defend his relativistic
PSYCHOLOGISM 69
stance by pointing out that our evidence for the uniqueness of logic is,
inevitably, our apodictic self-evidence. If we give up the belief in
apodictic self-evidence, never mind whether it is qualified as "ours" or
not, we end up in absolute scepticism and then all of Erdmann's theory
goes by the board as well.
In a footnote to the second edition of his Logische Elementarlehre
(1907), Erdmann opines that a detailed discussion of Husserl's views
would be fruitless insofar as his own and Husserl's views are too far
apart (1907: 533). However, Erdmann's argument for the hypothetical
necessity of logic in the second edition differs slightly from the argument
in the first edition. In an additional, new paragraph Erdmann links his
thesis to theological concerns, on the one hand, and to a critique of
rational psychology, on the other hand: "We are unable to prove that the
logical basic laws of our thinking ... are the conditions and norms of all
possible thinking. Thus we have to allow for the real possibility of a
thinking that differs from ours. This concession has to be made, first of
all, because science is not meant to exclude the religious convictions of
religious consciousness ... [Le. science has no right to infer with the
belief that God may have a different logic]. Secondly, this concession
also has to be made insofar as ... it is no more than an empirical expe-
rience that we think and an empirical experience of how we think. This
experience is not changed by the fact that we are indeed bound to the
conditions of our thinking, and that our valid thinking has to submit to
the logical norms that we formulate. We are not even able to claim that
our thinking will always he bound to these conditions and norms, for we
have no right to assume that our thinking will be eternal. The days of
the human species on earth are numbered too ... We could proclaim our
thought invariable only if we were able to directly grasp the essence of
our soul as an independent, invariable substance - in the way assumed
by a rational psychology - and if we could deduce the invariability of
our thinking. But this we are unable to do as long as we hold on to the
idea that psychology can determine the stock and connections of psycho-
logical life-processes only via observation - like any other science of
facts. Finally, our thinking has developed out of less complicated forms
of mental representation, and thus we have no right to rule out further
development towards higher complexity of thought, a development that
calls for different norms. Be it added, however, ... that we have no
70 MARTIN KUSCH
reason to expect such further development ... But here we are concerned
not with probability but with possibility" (1907: 531-32)
To conclude this presentation of criticisms to Husser! 's independence
theory of truth, it remains to be mentioned that there were also some
philosophers who, by and large, agreed with Husser!'s views but felt that
these views could be argued for more precisely. Both Max Frischeisen-
Kohler (1912: 15-17) and Richard Honigswald (1914: 80-83) fall into
this category. (Cf. also Koppelmann 19l3: 10 - 17 .)
SELF-EVIDENCE
pages later we read, as if to confirm the ear!ier claim: 'If we were not
allowed to trust self-evidence any more, how could we make, and
reasonably defend, any assertions at all?' But this obviously amounts to
nothing else than a flight into the theory of self-evidence! It is beyond
doubt that in these quoted sentences Husser! advocates 'the real theory
of self-evidence', a theory that he himself rejects with the following
drastic words: 'One feels inclined to ask what the authority of that
feeling [of self-evidence] is based upon, how that feeling can guarantee
the truth of a judgement, how it can 'mark a statement with the stamp of
truth', 'announce' its truth, ... ' Nothing can hide the fact that our author
here contradicts himself, not even the appeal to his distinction between
ideal possibility of self-evidence relating to 'sentences' and real self-
evidence relating to acts of judging. After all, in this context we are
dealing with factual, real knowledge of the truth, i.e. with real, psycho-
logical self-evidence. In fact it is only this real self-evidence that exists
... " (1910: 415).
THOUGHT-ECONOMICS
Sigwart, and Wundt, all denied the charge at least for their own position
(Cornelius (1906: 401-2, 1916: 48-49), Erdmann (1907: 32), Hotler
(1905: 323), Lipps (1903: 78), Mach (1904: 593-94), Meinong (1902:
197, 1907: 143), Sigwart (1904: 23), Wundt (1910». The second group
consists of writers that Husserl yoked to psychologism indirectly. On the
one hand, Husserl wrote in his "Preface" that his antipsychologism
became possible only once he had distanced himself from the doctrines
of his teachers (1900: 7); thus Husserl's teachers, Brentano and Stumpf,
as well as their followers, e.g. Hotler, Meinong and Marty were all tied
to the positions that Husserl rejected. Moreover, even prior to Husserl's
Logische Untersuchungen, the standard account of contemporary phi-
losophy in turn of the century Germany, Part Three of Heinze-Ueber-
weg's Grundriss der Geschichte der Philosophie, had already presented
the Brentano School under the heading "psychologism" (1897: 274-76).
Small wonder, therefore, that all of these philosophers felt the need to
stress that they had nothing to do with the relativistic psychologism that
Husserl attacked (Brentano (1911: 179-81), Hotler (1905: 323); Mei-
nong (1902: 197), Stumpf (1907: 33». On the other hand, Husserl had
suggested that much of Neokantian philosophy amounts to a psycholo-
gism in disguise. Husserl never explained this link in detail but wrote
that "transcendental psychology too is psychology" (1900: 102). Neo-
kantian philosophers were obviously angered by this remark. This much
can be seen from the fact that both Natorp and Rickert quote this sen-
tence, reject the accusation, and go on to turn the charge of psycholo-
gism around, i.e. turn it against Husserl himself (Natorp (1901: 280);
Rickert (1909: 222, 227».
Secondly, in turning the charge of psychologism (and relativistic
scepticism) against Husserl himself, Natorp and Rickert did not stand
alone. Indeed the accusation was made by almost twenty authors between
1901 and 1920 (Busse (1903), Cornelius (1906), Eisler (1907), Heim
(1902), Jerusalem (1905), Kleinpeter (1913), Kroner (1909), Lapp
(1913), Maier (1908), Meinong (1913), Michaltschew (1909), Moog
(1919), Natorp (1901), Nelson (1908), Palagyi (1902), Rickert (1909),
Sigwart (1904), Stumpf (1906), Wundt (1910». However, different
authors disagreed over the question what Husserl's psychologism (or
relativistic scepticism) consisted of. A first group regarded Husserl as a
psychologicist because Husserl supposedly based his pure logic upon the
76 MARTIN KUSCH
Perhaps the easiest way to summarise the various criticisms of, and
accusations against, Husserl's attack on psychologism is to present the
most significant criticisms in the form of a table (Figure 1). As this table
makes clear enough, all ingredients of Husserl's case against psycholo-
gism were questioned repeatedly, and by many different authors. Espe-
cially Husserl's distinction between ideal and real laws, his independence
theory of truth and his theory of self-evidence attracted the attention of
his critics. It is also striking that almost every second author who
commented critically on Husserl's arguments charged Husserl with the
very psychologism Husserl had allegedly refuted. And finally, while all
of the accused pleaded not guilty to the charge of psychologism, only
one author, Wilhelm Jerusalem was willing to accept "psychologism" as
a label for his own views.
University of Edinburgh
78 MARTIN KUSCH
OBJECTIONS
e
"
~
"...e
....
..,"
)
~
CRITICS
, I
PSYCHOLOGISM 79
REFERENCES
Rickert, H.: 1904, Der Gegenstand der Erkenntnis. Ein Beitrag zur
Problem der philosophischen Transcendenz, 2. verb. u. erw. Aufl.,
Mohr, Tiibingen.
Rickert, H.: 1909, 'Zwei Wege der Erkenntnistheorie. Transcendental-
pscyhologie und Transcendentallogik', Kantstudien 14, 169-228.
Salagoff, L.: 1911, 'Vom Begriff des Geltens in der modernen Logik',
Zeitschrift jar Philosophie und philosophische Kritik 143, 145 -90.
Schlick, M.: 1910, 'Das Wesen der Wahrheit nach der modernen Lo-
gik', Vierteljahrsschriftjar wissenschaftliche Philosophie und Sozio-
logie 34, 386-477.
Schlick, M.: 1918, Allgemeine Erkenntnislehre, Springer, Berlin.
Schultz, J.: 1903, 'Ueber die Fundamente der formalen Logik', Viertel-
jahrsschrift jar wissenschaftliche Philosophie und Soziologie 27, 1-
37.
Schuppe, W.: 1878, Erkenntnistheoretische Logik, Weber, Bonn.
Schuppe, W.: 1901, 'Zum Psychologismus und zum Normcharakter der
Logik. Eine Erganzung zu Husserl's 'Logischen Untersuchungen'.',
Archiv jar Philosophie VII, 1-22.
Sigwart, C.: 1904, Logik, vierte, durchgesehene Auflage, besorgt von
H. Maier, Mohr, Tiibingen, 1921. (Sigwart's reply to Husserl can
already be found in the 1904 edition.)
Stumpf, C.: 1907, Zur Einteilung der Wissenschaften; Aus den Abhand-
lungen der kongl. Preuss. Akademie der Wissenschaften vom Jahre
1906, Verlag der kongl. Akademie der Wissenschaften, Berlin.
Ueberweg, F.: 1897, Grundriss der Geschichte der Philosophie, Teil 3,
8. Auflage, neu bearb. u. hrsg. von M. Heinze, Mittler und Sohn,
Berlin.
Uphues, G.: 1903, Zur Krisis der Logik. Eine Auseinandersetzung mit
Dr. Melchior Paldgyi, Schwetschke & Sohn, Berlin.
Vol kelt, J.: 1918, Gewissheit und Wahrheit. Untersuchung der Geltungs-
jragen als Grundlegung der Erkenntnistheorie, Beck, Miinchen.
Windelband, W.: 1884, Prtlludien, Mohr, Freiburg i. Br.
Wundt, W.: 1910, 'Psychologismus und Logizismus', in Kleine Schrij-
ten, 1. Bd., Engelmann, Leipzig, pp. 511-634.
Wundt, W.: 1920, Erlebtes und Erkanntes, Kroner, Leipzig.
Wundt, W.: 188011883, Logik. Eine Untersuchung der Prinzipien der
Erkenntnis und der Methoden wissenschaftlicher Forschung, 2
PSYCHOLOGISM 83
The work of Frege and Husserl on logic and mathematics might, from
a modern perspective, be compared under three main headings: mathe-
matical logic, philosophical logic, and the foundations of mathematics.
Under the first heading there is little room for comparison. Frege
surpassed nearly everyone in the history of logic, to say nothing of
Husserl, in his technical achievements and discoveries. Husserl contrib-
uted virtually no technical work to the development of mathematical
logic. Under the second heading, however, there is a great deal of room
for comparison. Many of the issues raised by Frege and Husserl involv-
ing language, meaning, reference, judgment, platonism about logic, and
other matters are still actively debated in research in philosophical logic.
While there is some overlap between the three areas, the grounds for
comparison are different again in the foundations of mathematics. Frege
had a technical program in mind for the foundations of mathematics in
his logicism and, as we know from the Grundlagen der Arithmetik, it
was a program shaped by certain philosophical ideas. The program was
formulated so precisely in the Grundgesetze der Arithmetik that it could
be seen to fail. That is, it was possible to derive a contradiction from the
basic laws of arithmetic as these had been formulated by Frege, and
subsequent attempts to repair the damage led to developments that were
farther and farther removed from Frege's effort to clearly and decisively
derive the principles of number from logic. Very late in his career, but
still several years before GOdel established the incompleteness theorems
for Principia Mathematica, Frege came to abandon his logicism com-
pletely and to develop some work based on his new 'geometrical' ideas
about arithmetic.
Husserl was far less interested than Frege in technical work in logic
and foundations. While many of his ideas lend themselves to mathemati-
85
L. Haaparanta (ed.), Mind, Meaning and Mathematics, 85-112.
© 1994 Kluwer Academic Publishers.
86 RICHARD TIESZEN
cal development, Husserl himself did not pursue the details. As a phi-
losopher, he cautioned against the 'blind' or uncritical development of
formal work. In the Logische Untersuchungen (LU), for example, he
says that mathematicians are primarily technicians and as such they tend
to lose sight of the meaning or essence of their theories, and of the
concepts and laws that are the conditions for their theories (Husser!
1900-01, pp. 243-245). On the other hand, he says that philosophers
overstep their bounds when they fail to recognize that the only scientif-
ically legitimate development of mathematics requires technical work. In
LU and other writings Husserl argued that while the philosopher's
critique of knowledge and the mathematician's technical work require a
fundamental division of labor, they are nonetheless mutually complemen-
tary scientific activities.
Not surprisingly, Husser!'s strongest contributions are to be found
in the philosophy of mathematics. I shall in fact argue that, in its general
outline, Husser!'s post-psychologistic, transcendental view of arithmetic
is still a live option in the philosophy of mathematics, unlike Frege's
logicism. It is also superior to Frege's late views on arithmetic in several
important respects. I hope to show, in the process, that we still have
something to learn by comparing and analyzing the ideas of Frege and
Husser! on arithmetic, all the more so because Husserl's ideas are still
largely unknown to many people in the analytic tradition of philosophy.
In spite of the fact that his logicist program failed, Frege contributed
many important arguments on foundations and he raised many interesting
objections to views like Husser!'s. The tension from some of these
objections has not yet dissipated and I shall remark on them at different
points in the paper.
Logic for Frege is, in the first instance, truth-functional. It is not con-
cerned with (Fregean) thoughts or senses as such, but with thoughts
insofar as they are true. As Mohanty has pointed out, Frege agrees with
Husserl that the extension of a concept presupposes the intension of a
concept, but he also takes the concept itself to be the reference of a
THE PHILOSOPHY OF ARITHMETIC: FREGE AND HUSSERL 93
After attempting for a while to repair the damage done to his logicism
by Russell's discovery ofthe paradox in 1902, Frege turned his attention
to other matters. When he returned to the foundations of arithmetic near
the end of his life he came to the conclusion that he had started from
THE PHILOSOPHY OF ARITHMETIC: FREGE AND HUSSERL 95
quite stable across times, places and persons, just as other parts of our
experience have stabilized. So even if we have not brought the meaning
of the concept of number to full clarity we can still say that numbers are
'objects' in the sense that they are identities through the multiplicities of
our own cognitive acts and processes. If this were not so the science of
mathematics as we know it would not be possible.
The sense of the 'abstractness' of numbers is derived from several
facts. Numbers could not be objects (identities) of sensation because
objects of sensation occur and change in space and time. They could not
be mental in nature because what is mental occurs and changes in time.
One could expand on these claims equally well using either Fregean or
Husserlian arguments. Numbers are also identities that 'transcend'
consciousness in the sense that there are indefinitely many things we do
not know about them at a given time, on the analogy with our knowl-
edge of perceptual objects, but at the same time we can extend our
knowledge of them by solving open problems, devising new methods,
and so on. They transcend conciousness in the same way that physical
objects do. And, similarly, we cannot will them to be anything we like,
nor can we will anything to be true of them. They are mind-independent.
On the object side of his analysis Husserl can therefore claim to be a
kind of realist about numbers. Numbers are not our own ideas. At the
same time he is also a kind of idealist on the subjective side of his
analysis because he has a constitutional account of our awareness and
knowledge of numbers and a critical perspective on classical meta-
physical realism.
Let us now focus on what the constitutional account of the aware-
ness and knowledge of numbers looks like. How is knowledge of these
ideal objects possible? To understand how the awareness and knowledge
of any kind of object is possible we must realize, Husserl argues, that
various forms of consciousness, like believing and knowing, are inten-
tional. So numbers, as ideal objects, must be understood as the objects
of acts that are intentional. Intentional acts are directed to objects by way
of their contents or 'noemata'. We can think of the contents associated
with acts as the meanings or senses under which we think of the objects.
So in the parlance of recent work on cognition and meaning, Husserl
wants to provide a theory of content (specific to arithmetic) in which the
origins of arithmetic content are taken to lie in more primitive, percep-
100 RICHARD TIESZEN
tual 'founding' acts and contents, where the idea is to determine the a
priori cognitive structures and processes that make arithmetic content
possible. So it is argued, for example, that 'founded' acts of abstraction
from and reflection on such underlying, founding acts and contents are
an a priori condition for the possibility of arithmetic content, and hence
for the awareness of number. To understand or to clarify the sense of the
concept of number, therefore, is not (or not only) to find an explicit,
reductive definition of number in some other mathematical theory. It is
rather to provide, among other things, a genetic account of the a priori
conditions for the possibility of arithmetic knowledge.
Husserl argues that the sense of the concept of number has its origin
in acts of collecting, counting and comparing (Le., placing objects into
1-to-1 correspondence). Note that these are acts that are appropriate to
number and not, prima Jacie, to geometry. Insofar as we are aware of
numbers in these acts the acts must involve a kind of abstraction from
and reflection on our most primitive perceptual experiences with every-
day objects. They are 'founded' acts in the sense that they presuppose
the existence of more straightforward perceptual acts. The latter kinds of
acts could exist if there were no arithmetic, but the genesis of arithmetic
presupposes such straightforward acts (see Tieszen 1989). This is what
Husserl has in mind when, in the passage quoted above, he speaks of the
"attempt to go back to the spontaneous activites of collecting and count-
ing, in which collections ("sums", "sets") and cardinal numbers are
given in the manner characteristic of something that is being generated
originally, and thereby to gain clarity respecting the proper, the authen-
tic, sense of the concepts fundamental to the theory of sets and the
theory of cardinal numbers", and when he adds that he seeks to make
""categorial objectivities" of the first level and of higher levels (sets and
cardinals of a higher ordinal level) understandable on the basis of the
"constituting" intentional activities ... "
In fact, a condition for the possibility of all of our higher, theoreti-
cal or scientific modes of cognition is that there be a hierarchy of acts,
contents and intended objects. This means that at various levels in the
hierarchy we have acts directed toward objects by way of their contents.
In the growth of knowledge over time these contents may either be
corrected through further experience or not. The constitution of content
in founded and founding acts is a function of the interplay over time
THE PHILOSOPHY OF ARITHMETIC: FREGE AND HUSSERL 101
From this brief sketch we already obtain a very different picture of the
foundations of arithmetic from the one presented in Frege's logicism. To
fill out the picture in relation to Frege we need to keep in mind the role
that intuition plays in Husserl's conception of arithmetical knowledge.
Intuition is understood in terms of the 'fulfillment' of empty act-con-
tents. Our act-contents are fulfilled when we are not merely directed
toward objects in our thinking but when we actually experience the
objects in sequences of acts in time, for it is experience that gives us
evidence for the objects. Some of our act-contents can be fulfilled or
verified in intuition and some cannot. We might say that act-contents
without intuitions are empty, but intuitions without act-contents are
blind.
Husserl's distinction between empty and fulfilled act-contents (or
intentions) is closely related to Frege's distinction between thoughts
(contents) and judgments. As early as the BegrijJsschrift Frege had
drawn a distinction between 'content' and 'jUdgment' strokes in his
formal notation. A proposition set out with the content stroke (as in
- A) is supposed to lack the assertoric force of the same proposition set
out with a judgment stroke ( ~ A). Drawing a parallel with Husserl,
David Bell has argued that the shift from a content to a judgment stroke
also marks a different kind of subject matter (Bell 1990). The content
stroke is to simply indicate what Frege later calls a thought, devoid of
any assertoric force, which parallels Husserl's idea of the content or
sense of an act. The shift from judgment to content can be eludicated by
way of Frege's idea that in intensional contexts a sentence no longer
expresses a judgment or possesses assertoric force, and no longer refers
THE PHILOSOPHY OF ARITHMETIC: FREGE AND HUSSERL 103
to any object or property in the natural world, but rather that it refers to
a sense. Its reference is now the sense that it expressed before it was
embedded in an intensional context.
What little Frege has to say about the concept of knowledge is
explicated by way of the distinction between thoughts and judgments. As
late as (Frege 1924-25c) the view is put succinctly:
Of course Frege's account of grasping a thought, and the role that such
grasping is supposed to play in securing reference or knowledge, differs
from Husserl's view (see, e.g., Dummett 1991d). On Husserl's view it
is not necessary that the thought itself be an object of an act of con-
sciousness in order for us to refer to either ordinary perceptual objects
or to objects like numbers, although it is possible to reflect on the
thought. The path to an object does not require a detour through a
different object of consciousness.
Now a critical problem for Frege is this: how, and under what
conditions, is it possible to proceed, epistemically, from thought (or
content) to judgment in the case where the thought is about numbers, or
other mathematical objects? Frege says that a source of knowledge is
what justifies the recognition of a truth. But on what grounds can the
recognition of a truth about numbers be justified? Husserl's views on
founding and founded acts and contents, and on the role of intuition in
knowledge, are meant to answer precisely these questions. HusserI
defines the concept of intuition in terms of fulfillment of (empty) act-
contents and argues that a condition for the possibility of knowledge is
that there be intuitions of objects at different levels in the hierarchy of
acts, contents and intended objects. Husserl thus argues that there is
intuition of abstract or 'ideal' objects like numbers, although this intui-
tion will of course be a form of founded intuition (Tieszen 1989). It is
built up from our straightforward perceptual forms of intuition in acts of
104 RICHARD TIESZEN
Let us now fill in a little more of the detail about the foundations of
arithmetic on Husserl's view. Husserl says that what justifies holding a
proposition about numbers to be true is the evidence provided by (found-
ed) intuition. As we said above, what is given in intuition may be
corrected or refined in subsequent intuition. The evidence provided by
intuition comes in different degrees and types: adequate, apodictic, a
priori, clear and distinct. Husserl would agree with Frege that our
arithmetical knowledge is a priori, and that at least a core of arithmetical
statements must be understood as necessary (or apodictic) truths. Hus-
serl's position implies that our evidence for large numbers and for
general statements about numbers is inadequate, in the sense that we
cannot actually complete the processes of counting, collecting, or com-
paring in these cases. Husserl's position also implies that we have not
yet brought to full clarity and distinctness our understanding of the sense
of the concept of number. In fact, perfect clarity and distinctness, and
perfect adequation, are really ideals that we can only approach in our
knowledge. So while arithmetic has a 'foundation' in intuition for
Husserl it can be argued that this does not commit us to being absolutists
or 'foundationalists' about arithmetic in any objectionable sense.
We have been saying, with Frege, that a source of knowledge is
what justifies recognition of a truth, and we add that a founded form of
intuition is a necessary condition for mathematical knowledge. We have
many arithmetic intentions but not all of these are fulfilled. Husserl's
idea of "recognition of a truth" involves evidence of truth, or what he
calls "truth within its horizons", whereas for Frege there is just an
absolutized or idealized conception of truth, as it were, shorn of any
relationship to a knowing subject. Consider, for example, the judgment
that A v -,A (i.e., I-- A v -,A). How do we recognize the thought to
be true in this case? We do not find a satisfactory answer to this question
in Frege's work. Husserl, on the other hand, points out that this judg-
ment involves a rather substantial idealization (Husserl 1929, pp. 193-
194):
CONCLUSION
NOTE
1 I would like to thank Bill Tait for some helpful critical comments
on my views about Frege and Husser!.
REFERENCES
113
L. Haaparanta (ed.), Mind, Meaning and Mathematics, 113-140.
© 1994 Kluwer Academic Publishers.
114 CLAIRE ORTIZ HILL
SUBSTITUTIVITY IN FREGE'S
FOUNDATIONS OF ARlmMETIC
"Now, it is actually the case that in universal substitutability all the laws
of identity are contained", wrote Frege in § 65 of Foundations. And in
the brief summary of his views Frege offers in the last pages of that
book, he repeats this conviction that: " ... a certain condition has to be
satisfied, namely that it must be possible in every judgement to substitute
without loss of truth the right-hand side of our putative identity for the
left side. Now at the outset, and until we bring in further definitions, we
do not know of any other assertion concerning either side of such an
identity except the one, that they are identical. We had only to show,
therefore, that the substitution is possible in an identity." (§ 107) It is
evident from this that substitutivity was destined to play a very central
role in Frege's theories, so it is very important to examine the arguments
of Foundations so as to understand exactly how substitutivity operated in
Frege's philosophy of arithmetic.
Frege's Foundations of Arithmetic is divided into five parts, the first
three of which are largely devoted to the refutation of views of number
which Frege opposes. In part four he outlines his own theory and in part
five he summarizes the results of his work. Frege begins outlining his
own theories by affirming that numbers are independent objects (§ 55)
which figure as such in identity statements like '1 + 1 =2'. Though in
everyday discourse numbers are often used as adjectives rather than as
nouns, in arithmetic, he argues, their independent status is apparent at
every turn and any apparence to the contrary "can always be got
around", for example by rewriting the statement 'Jupiter has four
moons' as 'the number of Jupiter's moons is four'. In the new version,
Frege argues, the word 'is' is not the copula, but the 'is' of identity and
means "is identical with" or "is the same as". "So", he concludes, " ...
what we have is an identity, stating that the expression 'the number of
Jupiter's moons' signifies the same object as the word 'four"'. Using the
same reasoning he concludes that Columbus is identical with the discov-
erer of America for "it is the same man that we call Columbus and the
discoverer of America" (§ 57). (Note that Frege here, as always, quite
perspicuously distinguishes between words and objects. In his identity
HUSSERL AND FREGE ON SUBSTITUTIVITY 119
the one thing, that it coincides with the direction of some other line. We
should thus have to show only that substitution was possible in an
identity of this one type, or in judgement-contents containing such
identities as constituent elements." (§ 65)
In these examples he has transformed statements about objects which
are equal under a certain description into statements expressing complete
identity. By erasing the difference between identity and equality he in
fact is arguing that being the same in anyone way is equivalent to being
the same in all ways. While conceivably one could use this principle to
stipulate substitution conditions for symbols, very few objects could
satisfy its conditions and, outside of strictly mathematical contexts where
differences between equality and identity seem not to apply in the same
way as they do elsewhere, many of the inferences that could be made by
appealing to such a principle would lead to evidently false and absurd
conclusions.
Frege himself acknowledged that left unmodified this procedure was
liable to produce nonsensical conclusions, or be sterile and unproductive.
For him, the source of the nonsense lay the fact that, as he himself
points out, his definition provides no way of deciding whether, for
example, England is or is not the same as the direction of the Earth's
axis. Though he is certain that no one would be inclined to confuse
England with the direction of the Earth's axis this, he acknowledges,
would not be owing to his definition which, he notes, "says nothing as
to whether the proposition 'the direction of a is identical with q' should
be affirmed or denied except for the one case where q is given in the
form of 'the direction of b'" (§ 66).
As it stood, the definition was unproductive, according to him,
because were we "to adopt this way out, we should have to be presup-
posing that an object can only be given in one single way ... All identi-
ties would then amount simply to this, that whatever is given to us in the
same way is to be reckoned as the same ... We could not, in fact, draw
from it any conclusion which was not the same as one of our prem-
isses." Surely, he concludes identities play such an important role in so
many fields "because we are able to recognize something as the same
again even although it is given in a different way." (§ 67; also § 107)
Seeing that he could not by these methods alone "obtain any concept
of direction with sharp limits to its application, nor therefore, for the
HUSSERL AND FREGE ON SUBSTITUTIVITY 121
HUSSERL'S CRITICISMS
be so foolish as to say, that all men are created identical. (It should be
noted that HusserI's remarks never concern the identity or equality of
signs, but only the equality or identity of objects and the properties that
might be predicated of them.)
According to dictionaries, two things are identical when they are the
same in every way. They are equal when they are the same under a
specific description, as given in a particular way. The difference between
equality and identity would then be the difference between sharing any
given property or properties, or having all properties in common.
Husserl's point is that if x were to have even one property that y does
not have, then though they may be equal in one or in many respects,
they are not identical and there will be statements in which substitution
will fail, and so affect the truth value of statements made referring to
them, or the outcome of one's inquiries regarding them.
In another argument, Husserl alludes to the problems that arise when
one begins examining the grounds for determining the equality of two
objects (pp. 108 -09). One can declare two simple, unanalyzed objects
equal without much further ado, he notes. But there is a certain ambi-
guity in ordinary language with regard to complex objects. If two objects
are the same, then it follows that they must have all their properties in
common. But the inverse does not seem to hold. Sometimes two objects
have their properties in common and we still do not say that they are the
same.
At first sight, Husserl's point may seem illogical for it seems that he
is saying that x and y could be different without there being any discern-
ible difference between them. Before condemning his analysis outright,
however, it should be noted that, tangling with problems surrounding
extensionality, identity and classes, Bertrand Russell was moved to make
the same observations. Writing in Introduction to Mathematical Phi-
losophy on classes and problems connected with Leibniz's law of the
identity of indiscernibles he argued that it was just "as it were, an
accident, a fact about ... this higgedly-piggedly job-lot of a world in
which chance has imprisoned us" that no two particulars were precisely
the same and he hypothesized that "there might quite well, as a matter
of abstract logical possibility, be two things which had exactly the same
predicates. ,,50 He also wrote in Principia Mathematica that: "It is plain
that if x and yare identical, and ¢x is true, then ¢y is true ... the
HUSSERL AND FREGE ON SUBSTITUTIVITY 123
statement must hold for any function. But we cannot say conversely: 'If,
with all values of <b, <bx implies <by, then x and yare identical'; ... we
cannot without the help of an axiom be sure that x and y are identical if
they have the same predicates. Leibniz's 'identity of indiscernibles'
supplied this axiom ... 51
We may in fact, Husserl continues his argument, declare the same
objects to be equal in one case and different in another (pp. 108 -09).
He offered the following example to illustrate his point: two straight
lines may in one case be said to be equal because they have the same
length, but might otherwise be deemed unequal because to be equal two
segments of a line must be parallel and have the same direction. Husserl
tries to overcome the ambiguity involved by concluding that two objects
are to be considered equal if they share the specific properties which
constitute the main focus of interest of the investigation and these
properties are the same.
An example will help illustrate Husserl's point. A few years ago a
Jerusalem courtroom found a retired Ohio autoworker named John
Demjanjuk guilty of being Ivan the Terrible, the murderer of hundreds
of thousands of Jews. Throughout his fourteen month trial, Demjanjuk
had insisted that he was a victim of mistaken identity. For the Jerusalem
courtroom that condemned him to death the only thing that mattered
involved determining whether or not he was the same man who had
operated gas chambers at Treblinka during World War II, any of the
innumerably many other things that could be truthfully predicated of him
were beside the point. Their reasoning was of the form: F(x), and ifF(y)
then x == y. Killing hundreds of thousands of Jews was true of Ivan the
Terrible and if the same were true of John Demjanjuk, then he would be
Ivan the Terrible - and liable to hanging.
Numerous other examples can be found to illustrate the differences
between equality and identity. For instance, is a person in an irreversible
coma following an accident who is entirely dependent on machines to
sustain her bodily functions identical to the person she was before the
accident took place? Think of the innumerable things that could be have
been predicated of her before which are no longer true, and the truly
macabre propositions that could result from substitution rules which do
not take sufficient account of the difference between equality and identi-
ty. Certainly her family would never have entertained the thought of
124 CLAIRE ORTIZ HILL
depriving her of the minimum means necessary to support her life before
she was in the coma. And don't differences between equality and identity
figure in many other dilemmas actually faced in medical practice today.
Surely, some of the very real moral issues involved in abortion rights
turn on whether a fetus is in all essential respects the same as the person
that will develop from it if the pregnancy is not terminated. Such con-
texts make it hard to dismiss differences between equality and identity as
being merely linguistic or psychological.
In another argument Husserl sides with those who hold that charac-
teristics, properties, attributes and concepts are not liable to the same
identity conditions as objects are, so that talk of them cannot for him be
reducible to talk of the objects they are about (pp. 134 - 35). He argues
that Leibniz's definition turns the real state of affairs upside down (pp.
104-05). Assuming that, against all odds, one manages to find objects
satisfying the conditions it sets down, then by what right can one replace
one with the other in certain true propositions or all? The only precise
answer, he replies, would be the identity or equality of the referents.
However, here Husserl comes up against the same difficulty that Frege
himself would encounter when confronted with Russell's paradox more
than a decade later (see § 5 of this text). Though characteristics which
are the same form propositions which are the same, Husserl wrote,
having equivalent propositions does not mean that the characteristics
figuring in those propositions are the same. In other words, though two
propositions may be formally equivalent by virtue of the fact that what
is asserted of the reference in them is the same, from the fact that two
propositions have the same reference it cannot be concluded that what
has been asserted of their referent is the same. In Introduction to Mathe-
matical Philosophy, Russell would give a reason for the problem Husserl
perceived: "For many purposes, a class and a defining characteristic of
it are practically interchangeable. The vital difference between the two
consists in the fact that there is only one class having a given set of
members, whereas there are always many different characteristics by
which a given class may be defined. ,,52
Husserl is making several interrelated, but different points which
shed light on Frege's and Russell's difficulties. Quine's proposition that
'all bachelors are unmarried men,53 provides a happy, relatively unprob-
lematic example of equal properties coinciding in extension and so
HUSSERL AND FREGE ON SUBSTITUTIVITY 125
concede that everyone who has a beating heart has at least one kidney
and vice versa, who would think of undergoing a heart or kidney trans-
plant or operation with a surgeon who believed that having a heart and
having a kidney was the same thing? We cannot conclude from (x) F(x)
= G(x) that F 55 G.
Husser! further notes that arguing that two objects are equal because
they are interchangeable obviously misses the point (p. 104). In a case
like John Demjanjuk's, this requirement would in fact have quite disturb-
ing consequences. For instance, appealing to it one might reason that if
John Demjanjuk could take Ivan the Terrible's place at the gallows, then
John Demjanjuk and Ivan the Terrible were the same man. Obviously if,
as Demjanjuk claimed, he was not Ivan the Terrible, but rather a victim
of mistaken identity, such a conclusion would constitute a very grave
miscarriage of justice. It would also be quite unthinkable to write off the
differences between being the retired Ohio autoworker and the sadistic
concentration camp guard as being merely linguistic or psychological.
There is, in fact, no way of determining whether two things are
interchangeable which does not presume knowledge of their identity,
Husser! concluded (p. 105). If substitutivity is to serve as the criterion
of identity, then establishing the identity of two things implies that one
has already established their interchangeability, but this would imply
undertaking innumerably many acts in which what is predicated of one
object is established as being the same as what is predicated of the other
object and establishing this would require once again establishing that the
same things can be predicated of each one of these pairs and so on.
Michael Dummett makes the same point when he writes that:
showing that the Morning Star and the Evening Star are one and the
same celestial body. 55
Let the letters 'q,' and 'Vt' stand in for concept-words (nomina
appellativa). Then we designate subordination in sentences of the
form 'If something is a q" then it is a Vt'. In sentences of the form
'If something is a q" then it is a Vt and if something is a Vt then it is
a q,' we designate mutual subordination, a second level relation
which has strong affinities with the first level relation of equality
(identity) ... And this compels us ineluctably to transform a sentence
in which mutual subordination is asserted of concepts into a sentence
expressing an equality. . .. Admittedly, to construe mutual sub-
ordination simply as equality is forbidden ... Only in the case of
objects can there be a question of equality (identity). And so the said
transformation can only occur by concepts being correlated with
HUSSERL AND FREGE ON SUBSTITUTIVITY 129
concept a' ... Because of the definite article, this expression appears
to designate an object; but there is no object for which this phrase
could be a linguistically appropriate designation. From this has
arisen the paradoxes of set theory which have dealt the death blow
to set theory itself. 68
concluded, c does not stand simply for Scott, nor for anything else76
because
No one outside a logic-book ever wishes to say that 'x is x', and yet
assertions of identity are often made in such forms as 'Scott was the
author of Waverley' ... The meaning of such propositions cannot be
stated without the notion of identity, although they are not simply
statements that Scott is identical with another term, the author of
Waverley ... The shortest statement of 'Scott is the author of Waver-
ley' seems to be 'Scott wrote Waverley; and it is always true of y
that if y wrote Waverley, y is identical with Scott'.n
... you find that all the formal properties that you desire of classes,
all their formal uses in mathematics, can be obtained without sup-
posing for a moment that there are such things as classes, without
supposing, that is to say, that a proposition in which symbolically a
class occurs, does in fact contain a constituent corresponding to that
symbol, and when rightly analysed that symbol will disappear, in
the same sort of way as descriptions disappear when the propositions
are rightly analysed in which they occur. 79
enthusiastic terms of its role in resolving his logical problems, and the
paradoxes in particular. so He once claimed that his success in his 1905
article 'On Denoting' was the source of all his subsequent progress. As
a consequence of his new theory of denoting, he said, he found at last
that substitution would work, and all went swimmingly.81 This new
theory, he claimed, afforded a "clean shaven picture of reality" and
"swept away a host of otherwise insoluble problems". It did not, how-
ever, sweep away all the problems and in spite of Russell's enthusiastic
appraisals and the acclaim it has received, even Russell recognized that
additional measures were needed82 to guarantee that the unwanted
whiskers wouldn't come back. So Russell marshalled the theory of types
and the axiom of reducibility into his barbershop to try to finish the job.
However, even as he expounded the theory of types, Russell rea-
lized that it only solved some of "the paradoxes for the sake of which"
it was "invented" and something more would be necessary to solve the
other contradictions. 83 In 1917 he would go so far as to concede that" ...
the theory of types emphatically does not belong to the finished and
certain part of our subject: much of the theory is still inchoate, confused
and obscure. "84
From the axiom of reducibility all the usual properties of identity
and classes would follow. Two formally equivalent functions would
determine the same class and, conversely, two functions which determine
the same class would be formally equivalent. Without it or some equiva-
lent axiom "many of the proofs of Principia become fallacious" Russell
believed and "we should be compelled to regard identity as indefi-
nable. "85
Frege had introduced classes into his logical system to uphold the
theory of substitutivity and identity his work on the foundations of
arithmetic called for. Russell's paradox finally convinced him that this
was an ill-fated move and he gave up. Russell devised a way of analyz-
ing away classes and descriptions and proposed the very problematic
axiom of reducibility to mandate the properties of identity, classes and
substitutivity the logic of Principia seemed to need. Neither he nor Frege
ever felt they had ever solved the substitutivity problem.
134 CLAIRE ORTIZ HILL
CONCLUDING REMARKS
The chief objective of this paper has been to show Husserl's ability to
evaluate Frege's logical work and pinpoint genuine problems in his
reasoning. I have also tried to show that, independently of whether or
not one is persuaded of the gravity of the problems with extensionality
discussed here, Frege himself ultimately concluded that such problems
were serious enough to sink his logic, and that in trying to free Frege's
work from paradox, Russell felt obliged to come to terms with these
same problems. A closer look at the Husserl- Frege relationship, in fact,
reveals that the two men clashed swords on many more matters than
have yet been discussed in the literature and that their ideas overlapped
on many issues which still figure importantly in philosophical discussions
today. Of course, the arguments of this paper but raise deeper questions
regarding Russell's theory of definite descriptions and how Husserl's
philosophy might deal with the questions raised. Naturally these are
matters calling for in depth study extending well beyond the limits of
this paper and I have tried to begin to answer them elsewhere. 86 I WOUld,
however, like to make one more remark concerning them.
In his now classic article on Russell's mathematical logic87 Kurt
GOdel complained about Principia Mathematica's lack of formal preci-
sion in the foundations and the fact that in it Russell omits certain
syntactical considerations even in cases where they are necessary for the
cogency of the proofs. In particular, he cites Russell's treatment of
incomplete symbols, which he complains are introduced, not by explicit
definitions, but by rules describing how to translate sentences containing
them into sentences not containing them. The matter is especially doubt-
ful, he notes, for the rule of substitution and it is chiefly this rule which
would have to be proved. 88
As an example of Russell's analysis of basic logical concepts, GOdel
examines Russell's treatment of the definite article 'the' in connection
with problems about what descriptive phrases signify (in deference to
Frege, Godel uses signify and signification in the place of Russell's
denote and denotation). Godel agrees with Russell that the apparently
obvious answer that the description 'the author of Waverley' signifies
Walter Scott leads to unexpected difficulties. For, GOdel reasons, if one
admits an axiom of extensionality according to which the signification of
HUSSERL AND FREGE ON SUBSTITUTIVITY 135
Paris, FRANCE
NOTES
Modern Times, Oxford University Press, New York, vol. 3, pp. 950-
56, 960-66, 972 on Weierstrass and Bolzano.
13 Schuhmann: 1977, pp. 7, 11; Willard: 1984, pp. 3-4,21-22;
Andrew Osborn: 1934, The Philosophy of E. Husserl in its Development
to his First Conception of Phenomenology in the Logical Investigations,
International Press, New York, p. 12.
14 McAlister, Linda: 1976, The Philosophy of Franz Brentano,
Duckworth, London, p. 49.
15 Osborn: 1934, p. 18.
16 McAlister: 1976, pp. 45, 53.
17 Osborn: 1934, p. 21.
HUSSERL AND FREGE ON SUBSTITUTIVITY 137
18 Ibid., p. 17.
19Dummett: 1981b, pp. 72-73,496-97; Dummett: 1981a, p. 683.
20 Bertrand Russell: 1975, My Philosophical Development, Allen and
Unwin, p. 100. See my discussions of this in chapters 5 (§ 1) and 7 in
Hill: 1991.
21 Osborn: 1934, p. 29; Willard: 1984, pp. 32-34.
22 Frege: 1980, pp. 171-72; Frege's letter to Marty pp. 99-102
may have actually been addressed to Stumpf; see p. 99.
23 Schuhmann: 1977, p. 18; Frege: 1980, p. 64.
24 Adolf Fraenkel: 1930, 'Georg Cantor', lahresbericht der deut-
schen Mathematiker Vereinigung, 39, pp. 221, 253n., 257.
25 Edmund Husserl: 1975, Introduction to the Logical Investigations:
A draft of a Preface to the Logical Investigations (1913), M. Nijhoff,
The Hague, p. 37 and notes. Comparing the English edition with other
editions one discovers the typographical error.
26 Jean Cavailles: 1962, Philosophie Mathematique, Hermann, Paris,
p. 182 in reference to the Fraenkel biography cited in note 24.
27 Roger Schmit: 1981, Husserls Philosophie der Mathematik,
Bouvier, Bonn, pp. 40-48; 58-62; Lothar Eley: 1970, 'Einleitung des
Herausgebers', Philosophie der Arithmetik, M. Nijhoff, The Hague, pp.
XXIII-XXV.
28Dummett: 1981a, p. 630.
29 Dummett: 1981b, p. 21.
30 Bertrand Russell: 1963, Mysticism and Logic, Allen & Unwin, p.
52; and Bertrand Russell: 1903, Principles of Mathematics , Norton, New
York, p. xviii.
31 Bertrand Russell: 1964, Principia Mathematica, Cambridge
University Press, Cambridge, p. viii.
32 Russell: 1903, §§ 100, 344, 500; Frege: 1980, pp. 133, 147.
33 Russell: 1903, § 149.
34 Ibid., § 107.
35 Ibid., § 249.
36 Schuhmann: 1977, p. 13.
37 Frege: 1980, pp. 6-7, 52, 170; Gottlob Frege: 1989, 'Gottlob
Frege: Briefe an Ludwig Wittgenstein', Grazer philosophische Studien,
33/34, pp. 11, 14.
138 CLAIRE ORTIZ HILL
I. PRELIMINARY CONSIDERATIONS
141
L. Haaparanta (ed.), Mind, Meaning and Mathematics, 141-160.
© 1994 Kluwer Academic Publishers.
142 J.N. MOHANTY
III
none other than, and cannot be more than, a model of the pure logic of
non-contradiction, in which the variables of the system are assigned
objects (individuals and properties) in the world, so that to each model
there corresponds one possible world. In this case, the logic of truth
would be none other than a possible world semantics. Finally, (iv)
Husserl's logic of truth is, and should be, none other than a phenomeno-
logical theory of cognition in its striving after truth, and therefore,
identical with a phenomenological theory of knowledge.
A preliminary look at these alternatives shows that (ii) and (iv)
cannot yield a formal theory of some sort, and yet Husserl does regard
his logic of truth to be a stratum within formal (apophantic) logic. A
general (if not formal) theory of material conditions of truth is open to
the Kantian sort of skepticism. If these material conditions, in Kant's
sense, are the a priori intuitions of space and time and belong to tran-
scendental aesthetics, Kant keeps them apart from, and outside of the
purview of transcendental logic. Husser!, it would seem, would include
something he calls "transcendental aesthetic" within his transcendental
logic. 16 A theory of the material conditions of truth would fall within
Husserl's transcendental logic. But such a material truth logic cannot be
a mere extension or deepening of formal truth logic. It has to be a
critique and foundation of the latter. 17
If (iv) were what Husserl intended by his logic of truth, then the
Sixth Logical Investigation would be as close an approximation to it as
anything he has ever given. But the Sixth Investigation cannot be said to
be a formal theory in any case.
So only the alternatives (i) and (iii) remain open. Husser! has not
worked out (i), but there are indications in the Logical Investigations of
what it may look like. It would have to contain such theorems as:
promising, and has been as such worked out with far greater success
than (i). Commenting on the role of truth in contemporary logic, Kripke
writes:
Following this remark, one could surmise that even if Husserl did not
explicitly make the distinction between syntax and semantics, his distinc-
tion between logic of consequence and logic of truth may be construed
as capturing part of that distinction. Within a system of formal logic,
validity may be defined syntactically as derivability (from the axioms of
the systems and in accordance with the rules of inference of the system)
and semantically as true in all interpretations of the uninterpreted sys-
tem. The former would yield the notion of theoremhood, the latter the
notion of logical truth. 21 The idea of 'logical truth', explicated as 'being
true in all possible worlds or models', entails the idea of 'truth' (empiri-
cal truths being propositions which are true in some models, false in
others). Tarski correctly points out that 'provability in a formalized
deductive system' cannot be the same as 'being true' in the ordinary
sense of that expression, because in its ordinary usage a true sentence
must conform to the principle of excluded middle, which is not valid in
the domain of provable sentences. 22
Now, in order to be able to decide whether Husserl's concept of
truth logic is indeed any of these two (Le. a formal theory of evidence
or a model theory), we need to take into account only three things
Husserl says at some length in connection with truth logic. These con-
cern, first, the concept of evidence pertaining to this stratum of logic;
secondly, the precise formulation of the fundamental principles in this
stratum; and, finally, a distinction between syntax and semantics that
Husserl draws (a distinction which may indeed be very different from
that to be found in more recent logic).
HUSSERL'S 'LOGIC OF TRUTH' 147
IV
First, as to 'evidence': although this essay is not meant for going into
the details regarding the three different sorts of evidence that Husserl
distinguishes corresponding to the three strata of formal logic, it will
perhaps help us to interpret his concept of truth logic if we can under-
stand this theory of evidence. Put succinctly, the theory consists in the
following correlations:
For the purpose of the first stratum of formal logic, i.e. for what
Husserl calls the theory of pure forms, the p's and q's remain unana-
lyzed. In this sense, they are vague judgments. The theory develops the
laws determining possible operations on them. The theory of syllogism
as a theory of judgment-complexes belongs also to this theory of pure
forms.2 3 Theory of syllogism, however, is first-order predicate logic,
and so analyzes the p's and q's to such forms as (x)Fx, Fa, (3x)Fx. Now
Husserl might say, even these explicated judgments are still vague
unities of meaning. What more is needed in order to detect a contradic-
tion in p.-p or a consistency between (3x)Fx and (3x)-Fx?
The question I am raising may be reformulated thus: why does
Husserl claim that a logic of non-contradiction requires more than such
explication? The very point of formal logic, one may argue, is that by
inspecting the sheer form of a judgement i.e. without explicitly perform-
ing the judgment in Husserl's sense, one can decide whether the judg-
ment under consideration is consistent or not. To determine "whether
judgment-members included in a whole judgment ... are compatible with
one another, or contradict one another" ,24 or "to seek out systematically
the eidetic laws that govern just the analytic included ness and excluded-
ness"25, requires some way of perspicuously analyzing the form of a
given 'material' judgment. Such analysis requires 'understanding' the
meaning of the judgment. If this is what is meant by 'explicit perform-
ance', then Husserl's thesis is likely to be uncontroversial. But if Husserl
is asserting the thesis that in order to determine the abovementioned
analytic features one must posit the subject term, then affirm or deny the
predicate term of it (in steps, depending upon the complexity of the
subject and/or of the predicate terms), one is certainly requiring too
much of the formal logician. Perhaps one is requiring precisely that
psychological process to be undertaken, which the formal logician's tools
of formalism are meant to succeed in making avoidable. Husserl perhaps
wants to say that for this level of formal logic, a judgment which was in
the first level an unanalyzed whole be subjected to step-by-step analysis,
which would make its internal structure distinct. To this rather uncontro-
versial thesis, he would add that such step-by-step analysis (which the
formal logician in any case carries out purely symbolically) it must, in
principle, be possible to correlate a step-by-step actual thought process
of 'constituting', 'bringing into being', or 'bringing into originary
150 J.N. MOHANTY
v
Husserl held that the same logical principles - such as the principle of
non-contradiction - receive quite different formulations in the upper two
strata of logic. 28 In the logic of non-contradiction, they are to be formu-
lated without using the concepts of truth and falsity. Thus, the principle
of non-contradiction may be formulated thus:
Of two contradictory propositions p and non-p, not both can be
given in distinct evidence; or, both cannot have ideal 'mathematical
existence' .
Since it is not at once clear why both the propositions 'There are
transfinite numbers' and 'There are no transfinite numbers' cannot be
said to express distinct unities of meaning, one may restate the principle
thus:
A proposition in which two contradictory propositions are conjoined
is not possible as a distinct unity of meaning, i.e. as a proposition
proper. 29
In the logic of truth, the principle receives the familiar formulation:
not both p and non-p can be true. If one is true, the other is false. Not
both can be brought to the evidence of clarity.
The two formulations are said by Husserl of be analogues. 30
In the above formulation of the principle in the logic of non-contra-
diction, the idea of 'mathematical existence' is left unclear. The idea of
existence is connected, in Husserl's mind, with the idea of 'properly
effectible' Y That unity of sense exists, which can be properly consti-
tuted in step-by-step thinking.
The account I have proposed regarding the proper domains of the
three strata of logic removes one possible objection against the two
formulations given above of the logical principles. The objection may be
raised that in both formulations we should still be talking of the same p
and the same q. In the one case, we are assured that they are unities of
sense, in the other that they are true or false. In that case, their domains
HUSSERL'S 'LOGIC OF TRUTH' 153
VI
which, as the same, one can further shape categorically into more
and more new formulations. At each level they have their manner of
evident identifiability; ... (FutL, p. 185)
Further:
What 1 have said, 1 have said; I can at any time become certain of
the identity of my judicial meanings or opinions, my convictions,
after a pause in my thinking activity, and become certain of them, in
insight, as an abiding and always available possession. (FutL, p.
186)
The formal logician does not worry about this problem, for he deals with
variables such as p's and q's, and even when he posits constants such as
A and B, F and G, they are other letters. The assumption is that the
identifiability of these letters by their shapes is all that matters. But what
replace these letters (if they are variables) and what the letters (if they
are constants) name, are 'material' judgments, 'material' objects, 'mate-
rial' predicates, and the identifiability of these is the presupposition
Husserl has in mind. There may be a voluntaristic decision "This is what
1 mean, from now on this is what 1 shall mean". But one takes for
granted that when you return to it in course of a chain of thinking (or
proof, derivation, etc.) it must actually be the same. (Compare the
question of identifiability and re-identifiability of perceptual objects.)
Connected with these is the further presupposition that "I can always
return to it, do it again and again", that a proof can always be reiterated,
that certain infinite processes can always be gone through (by adding
'and so forth'), e.g., "Given a cardinal number a, one can always form
a+ 1". Furthermore, when one says, as when the so-called principle of
identity holds, that if A is true, it is true once and for all; or when one
should be able to say, when 1 hold that a certain proposition is true, that
is not my possession but everyone can entertain it - one makes claims
to validity for all times ('once for all') of for all possible subjects ('for
everyone'), presupposing thereby that "everyone is in perfect harmony
with everyone else". Husserl calls all these 'idealizing presuppositions',
for as a matter of fact, one just cannot carry out these processes always
and endlessly.
HUSSERL'S 'LOGIC OF TRUTH' 155
We all know very well how few judgments anyone can in fact
legitimate intuitively, even with the best efforts; and yet it is sup-
posed to be a matter of a priori insight that there can be no non-
evident judgments that do not "in themselves" admit of being made
evident in either a positive or negative evidence. 34
ontology, "must not assert facts of any sort, nor any de facto world, in
its theories. "36
Various remarks of Husserl as well as his thesis regarding "definite
manifold" (which is defined in terms of 'decidability') suggest, when
taken out of the context of his overall project, that Husserl - in clear
conflict with the GtJdelsatz of which he even in the late thirties does not
evince any awareness - accepted the validity of the principle of ex-
cluded middle and of the decidability claim as well as of a purely
axiomatic understanding of mathematics. However, this is not quite so.
I would here venture the suggestion that Husserl's philosophy of logic
and mathematics clearly passed through three stages, the first two of
which, but not the third, are clearly noted in the literature. Husserl
began (i) with an operational, computational, conception of mathematics,
(ii) then rejected it in favor of an axiomatic understanding of both
mathematics and logic in the middle nineties, but (iii) subsequently -
while retaining that axiomatic interpretation with regard to formal logic,
developed an intuitionist-constructionist theory of transcendental logic.
What he did not do was to make his concept offormallogic intuitionist-
constructivist, but critiqued formal logic (as he understood it) from the
stance of a constructivist transcendental logic.
VII
} ...--.
1. pure logical grammar
Analytic { 2. logic of non-contradiction
Formal
Formal Logic Ontology
3. logic of truth
.,I
4. synthetic 'material' logic
.,I
5. transcendental aesthetics (a
part of transcendental logic,
contrary to Kant's plan)
Temple University
NOTES
REFERENCES
PSYCHOLOGISM
For Frege an expression simply has a sense; one who uses it does
not need to bear its sense in mind throughout the process of employ-
ing it. (Dummett 1988, p. 18)
HUSSERL'S THEORY OF MEANING AND REFERENCE 165
OBJECTIVE REFERENCE
For Frege, then, the problem of the intentionality of acts does not arise:
directedness is achieved not by acts directly but only via language (sense
or meaning), and every use of language simply has its sense. The
problem of intentionality is replaced by the problem of grasping senses,
a problem which Frege noticed in passing but in the solution of which he
was hardly interested. For the author of Psychology from an Empirical
Standpoint, too, the problem of intentionality does not arise, since every
act simply has its immanent object, and Brentano is not concerned with
the question as to what these immanent objects might correspond to in
the world. In the thought of Meinong, similarly, the problem of inten-
tional directedness is trivialised, since Meinong denies that there are
non-veridical acts in the strict sense of acts lacking objects tout court.
Every act is simply and automatically guaranteed an object of appro-
priate type, though of course the problem still arises of establishing
which objects exist and which do not.
It seems that it was Husserl who first tackled the problem of inten-
tional directedness in a non-trivial way, employing to this end the theory
of part, whole and unity that is set forth in his third Logical Investiga-
tion, together with the theory of 'empty' and 'fulfilled' intentions sketch-
ed in Investigation I. Husserl's theory is interesting above all because,
unlike standard mereologies, it concerns itself not simply with relations
between parts and their circumcluding wholes, but also with the different
sorts of relations which can obtain among the parts within a whole. The
most important such relation, for our present purposes, is that of depen-
dence, which holds between one part and another when the former
cannot as a matter of necessity exist except in a whole in which it is
bound up with the latter .12 Such dependence, illustrated for example in
the relation between a colour and its extension, or between the consti-
tuent pitch, timbre and loudness of a tone, may be either reciprocal or
one-sided. The same entity may in addition stand in dependence-relations
HUSSERL'S THEORY OF MEANING AND REFERENCE 169
1. acts which have objects both at the level of act parts and at the
level of act whole (veridical fulfilled intentions), for example
170 BARRY SMITH
normal perceptions;
2. acts which have objects only on the first level (non-veridical
fulfilled intentions), for example hallucinations;
3. acts which have objects only on the second level (veridical
empty intentions), for example a case of thinking abstractedly
about the tallest Finnish spy;
4. acts which have no objects at all (non-veridical empty inten-
tions), for example a case of thinking abstractedly about the
golden mountain.
and indeed to any and every entity which instantiates the form in ques-
tion.
We might summarise Husser!'s view of meaning as follows: certain
mental acts (above all acts of language use) are amenable to (abstract)
divisions which yield parts - called 'contents' - which, in virtue of the
ideal species which they instantiate, are subject to necessary laws (analo-
gous to the geometrical laws which hold of shapes). These include the
laws of logic, which are necessary laws which govern real events of
thinking and inferring, just as geometrical laws govern real spatial
forms. (Husser! is by this means able to avoid one central pitfall of
psychologism.l7) And they include also laws amounting to the equivalent
of logical well-formedness rules applicable to (corresponding) parts of
mental acts.
Because it is certain content-species which are identified by Husser!
as the meanings of our linguistic expressions, it comes as no surprise
that it is through reflections on language that we can most easily come
to an understanding of what contents in general are. This epistemologi-
cal-heuristic fact should not, however, sanction the conclusion that
contents are such as to depend for their existence on language use. On
the contrary, Husser! holds that language is possible only because of the
brute fact that our acts and their contents (a) rest on secured access to
sensible differences in reality (via the low-grade intentionality mentioned
above), and (b) manifest a range of different sorts of similarity relations,
both as between one occasion and another and also as between one
subject and another.
Meanings are as it were ranged 'above' the acts which instantiate
them. This instantiation comes about willy nilly, in reflection of what-
ever the relevant individual contents of the acts themselves might be.
The meanings are for their part entirely inert: it is not the meaning
(something ideal, a mere universal, a practical nothing), but the act itself
that is responsible for its object-directedness. For Husser!, therefore (to
coin a phrase), an expression simply has a meaning; one who uses it
does not need to bear this meaning in mind throughout the process of
employing it. Meanings do nonetheless play an important role in the
theory. Thus they serve to provide an objective subject-matter for the
science of logic, and they allow us to explain the possibility of using
language for interpersonal communication as consisting in the fact that
HUSSERL'S THEORY OF MEANING AND REFERENCE 173
the acts involved in language use on the parts of different subjects can
share identical (meaning) species. From Husserl's perspective the
existence of a qualitative and structural similarity of acts of different
subjects was indeed a necessary presupposition of the fact that language
originated at all. In addition however the phenomenon of language
creates new possibilities of qualitative and structural similarity by
providing a common architecture of complex act- or content-wholes that
is exploited equally by all those who have mastered the language in
question. In this respect it is important to bear in mind again the fact that
content (which is to say object-directedness) can remain invariant even
across wide differences e.g. in the sensory fulfilment of our acts.
for the expression and the sense which animates it are not conceived by
Husserl as separate and distinct, but as one 'concrete phenomenon'
within which different sides (dependent parts or moments) can be distin-
guished at best only abstractly (like North and South poles of a magnet).
The expression animated by sense is an entity of a special sort, a hybrid
of sui generis linguistic and psychological constituents, neither of which
can exist except as bound up with the other in a whole of just this sort.2°
What Husserl actually means in the passage quoted can now more
properly be elucidated as follows. The 'physical phenomenon' is an
utterance, a certain concrete phenomenon which we can conceive,
abstractly, as a complex of articulated sound. To say that this utterance
is 'animated by sense' is to affirm however that it is a merely dependent
moment of a larger whole in which it is bound up with certain other
moments which can be conceived abstractly as having the nature of acts
or act parts. A concrete phenomenon of language use is not a mere heap
or sum of separate parts. Rather, the utterance as animated and the
animating act components are each such as to exist only as bound up
with the other in the framework of a single whole: the dependence in
question is reciprocal. Hence there can be no question of a chunk of
language as it were sitting around waiting to be animated by acts in this
way or that, along the lines which Dummett fears. Act moments and
language moments are rather such as to constitute a single entity; they
are triggered by the same external events, they rest on identical under-
lying dispositions, and a similar developmental story is to be told in
relation to each (we learn meanings as we learn to speak). The act
moments do however at least in this sense have the upper hand, that it is
through them that consciousness is channelled, and therefore also, in
Husserl's eyes, connection to our other acts and to external reality.
Recall that the immanent content of an act is that dependent part of
the act in virtue of which it is directed towards this or that object. The
meaning of 'white', for example, is that species to which belong acts
which are directed toward the quality white (as this is given in experi-
ence). Not every act directed to this quality belongs to the species which
is the relevant meaning however. The acts instantiating this species are
rather only those which are structured by a corresponding and comple-
mentary language-component in the way just indicated. Each linguistic
meaning is accordingly a special sort of dependent species (a species of
HUSSERL'S THEORY OF MEANING AND REFERENCE 175
dependent part), in the sense that any instantiating act must stand in the
correct sort of reciprocal dependence relation with the language which
articulates it. If, for present purposes, we can be allowed to take Frege's
theory of unsaturatedness purely in its mereological aspect, then it is as
if Husserl has generalised and refined this theory in such a way as to
allow not merely one-sided but also mutual unsaturatedness, and in such
a way as to allow unsaturatedness relations to embrace termini drawn
from a much wider range. Above all, Husserl goes beyond Frege in
allowing entities of one sort to be saturated by entities of other, some-
times quite different sorts, as for example when animating acts are
saturated by the linguistic components which articulate them (so that we
might refer here to something like a transcategorial saturation). More-
over, just as acts and act parts can be divided into dependent and inde-
pendent (the former being able to exist only in a context which includes
the latter), so the corresponding meanings (species) are divided into
syncategorematic and categorematic (and the various possible com-
binations thereof which arise through concatenation).21 And because acts
and language here constitute one single concrete phenomenon, the part-
whole and dependence relations on the side of the acts will be mirrored
in similar relations among the corresponding units of language. It is this
which makes it possible for us to express complex meanings by means of
sentences.
INDEXICALITY
Suppose I look up into the sky and say, 'That blackbird is flying high.'
What is the mental act which gives meaning to this utterance? Not the
perceptual act, for this may vary constantly in such a way as to exhibit
continuous qualitative differences which are irrelevant to the meaning of
the given statement. The perceptual act has the wrong kind of articula-
tion for the purposes in hand. It can even vanish altogether and my
statement will still be meaningful. Husserl argues, therefore, that the act
involved here must be of a different kind, an act which is not affected by
changes of these sorts. This act is similar in form to an act of judgment.
But it manifests an important difference when compared to judgments of
the more usual (non-indexical) sort. For where the latter are, when taken
in specie, sufficient of themselves to supply a full meaning for the
corresponding sentence, the act under consideration here is in this
respect incomplete. It has, as it were, the mere torso of a meaning and
depends upon the (past or present) perceptual act to supply, as Husserl
puts it in his customary Aristotelian language, 'determinateness of
objective reference, and thereby its lowest difference.' (1970, II, p. 683)
Once again, Husserl is working with a theory of wholes and parts and of
what we might call 'integrity of structure' whose range of application is
wider than that of Frege's theory of unsaturatedness: thus he allows that
the linguistic act that is here incomplete as far as meaning is concerned
- as if someone were to utter 'This rose is white' in a completely
flowerless room - may come to be saturated or made complete by acts
of other sorts, in this case by acts of perception.
CONCLUSION
Husserl's first theory of meaning sees meanings as ranged above the act-
parts which are their instances. A Frege-type theory, sees meaning-
entities as falling between the act (or some equivalent) and the object (if
any) to which the act is referred. It is in this way that it gives rise to the
linkage problem and so also to the metaphor of 'grasping'. Of course
this is not to argue that Frege held that we generally grasp thoughts as
objects,2s Thoughts serve rather as the means by which we come to be
HUSSERL'S THEORY OF MEANING AND REFERENCE 179
S. U. N. Y., Buffalo
NOTES
REFERENCES
Bell, D.A. and N. Cooper (eds.): 1990, The Analytic Tradition. Mean-
ing, Thought and Knowledge, Blackwell, Oxford.
Brentano, F.: 1973, Psychology from an Empirical Standpoint, Rout-
182 BARRY SMITH
kind of subjectivity.
Husserl inherited notions like GegensUindlichkeit, gegensttlndliche
Beziehung, and Richtung auf ein Objekt from Brentano. And like Bren-
tano, he used them as essential elements in a phenomenological analysis
of intentional mental acts and states. In the Logical Investigations,
moreover, Husserl sets out clearly the methodological constraints within
which such a phenomenological analysis must take place. Negatively, the
investigation must be free of all "metaphysical, scientific, and psycho-
logical presuppositions." (And here, as we shall see, it is important to
note that "the question as to the existence and nature of 'the external
world' is a metaphysical question" (LV p. 26; Up. 264».14 More posi-
tively, a phenomenological investigation must be based exclusively on
"experiences that are intuitively seizable and analysable." In other
words, "Proceeding in a purely intuitive fashion, it analyses and de-
scribes in their essential generality ... the experiences of presentation,
judgement and knowledge." (LV p. 7; Up. 249, my italics).
At this point, then, we are entitled to conclude: given the broad
methodological constraints within which he was working, and given the
provenance of the notions he employed, it is an open question whether
Husserl did, or could, mean by 'Gegenstand', 'Gegensttlndlichkeit', and
'Richtung aUf ein Objekt' anything resembling what is meant by the
terms 'object', 'objectivity' or 'reference' within the Fregean tradition.
Pure logic ... must in the end likewise rest upon psychology. (LV p.
23; LI p. 261)
PRELIMINARY REMARKS ON
'RICHTUNG AUF EINEN GEGENSTAND'
Wherever a word has one meaning, it also names one object. (LU p.
53; Up. 288)
... intentional relation to an object [can be] achieved ... even though
the object does not exist at all, and is perhaps incapable of exist-
ence. (LU p. 386; U p. 558)
PHENOMENOLOGY
The previous section provided some grounds for denying that reference
and gegensttlndliche Beziehung are identical, or even similar, notions.
This as yet tells us little, however, about the nature of the latter concept,
or about Husserl's philosophical motivation in preferring it to the more
straightforward Fregean alternative. Accordingly the aim of the present
section is to sketch the overall philosophical constraints within which
alone Husserl's key concepts can function as tools of phenomenological
analysis. We need at this point an account of the methodological and
doctrinal commitments constitutive of the discipline that in the Logical
Investigations he calls 'descriptive psychology' or 'phenomenology'.
When these commitments are made explicit, I shall suggest, it becomes
clear not merely that Husserl did not share Frege's notions of reference,
truth, existence, sense, or objectivity, but that he could not possibly have
196 DAVID BELL
done so.
The philosophical programme that Husserl attempted to implement
in the Logical Investigations has as its final goal the explanation of how
logical knowledge and understanding are possible. Accordingly, he
investigates the various conditions that must be fulfilled if this possibility
is indeed to be rendered intelligible. Amongst the conditions whose
nature he analyses are the following: that we can entertain meaningful
thoughts and make meaningful judgements; that language is capable of
expressing our thoughts and judgements; that our thoughts and judge-
ments can be rational; that we can have objective knowledge that is a
priori and universal, as well as objective knowledge that is a posteriori
and particular, and so on.
In this series of investigations Husserl imposes upon himself a set of
methodological restrictions, the purpose of which is twofold: (i) to
prevent the very questions he is addressing from being begged at the
outset, by the importation of assumptions that would vitiate the explana-
tory power of his results, and (ii) to secure the grounded ness of those
results, that is, to avoid merely dogmatic, unwarranted assertions. Goal
(i) is to be achieved by making the investigations 'presuppositionless':
implementation of the programme, in other words, requires that no
appeal be made either to empirical, scientific truths (whether of physics,
psychology, or mere common sense), or to metaphysical principles and
assumptions. 21 In this connection Husserl believes, rightly, that to
assume that there exists an external, independent world containing
objects such that we can refer to them, perceive them, or have objective
knowledge of them, would immediately render the entire investigation
worthless. (Cf. LV p. 401; Ll p. 569.) In an analysis of the very possi-
bility of objective knowledge and rational thought, such an assumption
must be, as Husserl would later say, 'bracketed'. Goal (ii) is to be
realized by allowing only claims for which we are in possession of good
evidence. Given the methodological restrictions concerning 'presupposi-
tionlessness', however, the very notion of 'good evidence' itself becomes
problematic; for the requirement of presuppositionlessness ultimately
outlaws any reliance on irreducibly transitive evidential structures -
structures, that is, in which one thing is evidence for something else. At
any particular point within such a transitive evidential structure, that
which is invoked as evidence must be 'presupposed'. Of course it can
REFERENCE, EXPERIENCE, AND INTENTIONALITY 197
(A) The intentional object as such.24 In Husserl's hands this phrase is not
intended to designate an ontological category: there are no such things as
'meant-objects-as-meant'or'objects-in-the-way-in-which-they-are-intend-
ed'. As Michael Dummett has suggested, phrases such as these belong
to an irreducibly intensional mode of speaking which is used to charac-
terize the nature of our thoughts, perceptions, and other mental acts. 25
The intentional object as it is intended in a given act is not itself an act,
neither is it a real content or moment of an act; it is not an irreal or
abstract Meaning or universal; and it is not a mind-independent entity in
the external world. As Husserl says, there is simply no such thing, 'it
does not exist at all':
I use the expressions 'the victor of Jena' and 'the vanquished at Water-
loo'. We therefore need a phenomenologically acceptable analysis of the
notion of an intentional object tout court, an intentional object, that is,
considered in isolation from any particular mode of presentation that
might be used to characterize it on a given occasion.
Now Frege's thoroughly realist solution to this problem is familiar:,
he invokes the (extensional) identity of the (real) object to which both
expressions refer in virtue of the (objectively) different (mind-indepen-
dent) senses they respectively employ. Not one of these notions is
available within a genuinely phenomenological framework. Husserl
must, therefore, furnish a radically different account of what is meant by
an intentional object simpliciter, and of how it is that two acts with
distinct 'objects-as-intended' may nevertheless have one and the same
'object-intended' .
Husserl provides what is, in effect, the only solution open to him.
Phenomenologically, for the intentional object of two acts with different
matters to be the same intentional object is for it to be intended as the
same: the only notion of identity to which Husserl can appeal is that of
intentional (Le. intensional) identityP For two differently presented
objects to be one and the same intentional object, according to Husserl,
it is necessary that there be performed what he calls 'a synthesis of
identification' :
Talk of that which is identical [in two different acts] does not refer
to any entity beyond presentation and judgement, but rather to a
synthesis of identification, in which the presentations participate in
virtue of their [intrinsic] nature. 28
sense both require precisely the notion of a Ding an sich that must
remain illegitimate within a phenomenological enquiry.
When used in its proper, literal sense, the term 'transcendent' means
simply: not immanent. It therefore follows trivially from Husserl's basic
premise that an intentional object is a transcendent object. In the Logical
Investigations, 'transcendent' just means 'intentional,;32 and Husserl is
very clear that all metaphysical contamination of the notion of a tran-
scendent object - for instance, by incorporation of reference to 'extra-
conscious self-existence' - must be rigourously excluded. 33 For an
experience to have a transcendent object is merely for it to have an
intentional object, that is, for it to have the intrinsic property of Gegen-
stl1ndlichkeit. And this notion of a transcendent object comes without any
existential, metaphysical, or naturalistic commitments - as indeed it
must if it is to be phenomenologically permissible.
POSSIBLE COUNTER-EVIDENCE
These two errors have the same origin. They both stem from an illegiti-
mate, indeed unintelligible distinction between, on the one hand, an
intentional, immanent object, and on the other hand, a transcendent,
mind-independent object. Husserl believes, with some justification, that
this distinction is phenomenologically impermissible. His alternative
206 DAVID BELL
conception requires him to deny not only that intentional objects are
immanent, but also that transcendent objects are mind-independent. I
leave the last word to Husserl, whose profound anti-realism led him to
say (ironically, in the very passage so often quoted as evidence of his
Fregean realism), that as a result of his analyses:
We must come to see ... the general need for a constitution of the
objects of presentation for and in consciousness, within conscious-
ness's own inner being ... [and] that all relation to an object is
contained within the phenomenological essence of consciousness in
itself, and can in principle be contained in nothing else, even when
such a relation points to some 'transcendent' matter. (LU pp. 438-
9; U pp. 594-5, my italics).
Sheffield University
NOTES
ON INTERPRETING HUSSERL
In spite of their debate, Dreyfus and McIntyre share one view of Husserl
which cannot be taken for granted. What I am going to do in this paper
is to present and to challenge their common assumption. Before intro-
214 LEILA HAAP ARANT A
ON HUSSERL'S PHENOMENOLOGY
has been translated by 'the suspension of the thesis' in the earlier transla-
tion, and by 'the annulment of positing' in the new translation. Other
expressions by means of which Husserl characterizes the change of an
attitude include Einklammerung of objects, that is, the parenthesizing of
objects, and Urteilsenthaltung, that is, refraining from spatio-temporal
judgements, which speak about the existence of objects (Husserl, 1950,
pp.64-66).
It is not easy to grasp the full meaning of Husserl's Aujhebung. The
natural attitude, which is our attitude to the world in everyday life and
in natural and social sciences and in the humanities, posits concrete
objects and values as present to us and as being on hand (vorhanden).
This positing is precisely the thesis of the natural attitude. Even if
Husserl turns away from the natural attitude, he does not put forward the
antithesis. That would amount to denying or genuinely doubting what the
natural attitude posits. Husserl's Aujhebung shows affinity with Hegel's
Aujhebung, as it neither preserves the thesis nor denies it like the antith-
esis. It is a step into a different framework or into a new point of view,
from which the earlier problem, which requires a yes- or no-answer to
the question concerning the existence of objects and values, seems to
disappear. In Husserl's view, the new framework is the phenomenologi-
cal attitude. Husserl thus seems to think that the radically transcendental
attitude itself which the phenomenological attitude is meant to be is an
overcoming of an apparent contradiction. However, the true problem for
us is that we so easily slip back to the natural attitude, precisely because
it is natural. The only fairly easy way of understanding what the phe-
nomenological attitude is is to describe what is is not.
The change of an attitude presupposes what Husserl calls phe-
nomenological reductions or Ausschaltungen (ibid., pp. 136-149).
Natural and social sciences and the humanities as sciences of matters of
fact (Tatsachenwissenschaften) are excluded, because they presuppose the
natural attitude, and such material eidetic doctrines as geometry and
cultural sciences are also left out. What are also excluded are the tran-
scendence of God and the forms of calculus, because, as a purely
descriptive science, phenomenology dispenses with the tools of proof and
deduction. But phenomenology, like all sciences, needs the concepts and
the basic laws of logic, which are thus not excluded. What is primarily
preserved is pure consciousness (reines Bewusstsein), which is the stream
INTENTIONALITY AND THE THEORY OF MIND 217
to intuition, there were lines of thought which preserved them and even
tried to clarify the various meanings of the word 'intuition'. Those were
the traditions which emphasized the iconic nature of all thinking and rea-
soning. Peirce was a representative of this line of thought, but Frege
must also have relied on the same view, as his conceptual notation so
much appeals to our visual intuition. This is quite compatible with the
fact that he wished to get rid of references to intuition in logical and
hence also mathematical reasoning. No doubt, clarifications of the very
concept of intuition were badly needed. In his early thought, Charles
Peirce paid attention to the ambiguity of the word 'intuition' and
remarked that "it is plainly one thing to have an intuition and another to
know intuitively that it is an intuition" (W 2, pp. 193 -194). When
Frege tried to fix the meaning of the word, he started with Kant's usage,
according to which intuitions are individual representations (Kant, 1923,
pp. 92-93; Frege, GLA, § 12). However, this is not to say that Frege
approved of Kant's way of using that term. Nor is it to say that Kant did
not give other meanings for the word 'intuition'. Frege's explicit state-
ments witness that Frege did not think highly of intuitions. Unlike him,
Charles Peirce in his later thought praised Kant for realizing the fact that
in drawing consequences the mathematician uses constructions or dia-
grams (CP, 3.560). He even claimed that the whole of inference consists
in the observation of icons which are mental creations (CP, 7.557).
Peirce paid special attention to Euclid's Elements, which he saw as a
model of reasoning. In his Monist article (1908), he distinguished
between corollarial and theorematic reasoning and stressed the use of
figures in both types (CP, 4.616). In his view, theorematic reasoning
was characterized by the use of auxiliary constructions, but constructions
are needed in the ekthesis of both kinds of reasoning.
As we saw above, the geometrical model plays an important role in
Husserl's phenomenological studies in the Ideen. However, some fea-
tures in Husserl's doctrine of noesis and noema can be traced back to his
distinction between meaning-intention and meaning-fulfilment, which is
introduced in the Logische Untersuchungen. It is interesting to see how
the concept of intuition adopts various roles in Husserl's early theory
and how these different roles pave the way for the comparison between
geometry and phenomenology which is emphasized in the Ideen. In the
Logische Untersuchungen and in the Ideen Husserl has at least three
224 LEILA HAAP ARANT A
ways of using the word 'intuition', which are intuition as an act, intui-
tion as an individual and intuition as a method. What follows is not the
whole story of Husserl's concept of intuition. It merely seeks to illu-
minate the aspect of that concept which connects the role of the geomet-
rical model in the Logische Untersuchungen with its role in the Ideen.
In the first investigation of the second volume of the Logische
Untersuchungen, Husserl states that it is essential for an expression to
mean something, hence, to be related to what is objective; however, if
an expression functions significantly but lacks an intuition which gives
its object, its relation to an object is unrealized (LU II, A 37 -38/Bl
37 -38). Husserl distinguishes between meaning-intentions, or meaning-
conferring acts, and meaning-fulfilling acts which serve to realize the
relation of an expression to something objective. Meaning-fulfilling acts
do not seem to be essential to the expression, but they merely serve to
fulfil, confirm or illustrate the expression, hence, to actualize its relation
to its object.
It is already in the Logische Untersuchungen that Husserl compares
his own phenomenological studies with geometry. On the basis of what
Husserl tells us it seems that geometrical concepts correspond to the
meaning-intentions of expressions and that geometrical illustrations
correspond to meaning-fulfilments in intuition (LU II, A 65/Bl 65).
Husserl does not appear to lay much stress on the role of illustrations in
geometry. However, he admits that sensuous pictures function in a
phenomenologically graspable and describable manner; they are aids of
understanding (ibid.). Husserl thinks that both expressions and geometri-
cal concepts can function without illustrative intuition (LU II, A 66/Bl
66). Still, he asks why we employ corresponding intuitions at all in
order to know conceptual truths, which are truths known through an
analysis of meanings (LU II, A 711Bl 71). He answers that we construct
corresponding intuitions in order to see what the expressions really mean
(ibid.). He even states that all self-evidence of judgement presupposes
meanings that are intuitively fulfilled (LU II, A 72/Bl 72). Hence, what
Husserl comes to suggest is that an analysis of the meanings of words
is not merely analysis of meaning-intentions. What is also needed are
meaning-fulfilments which serve to realize the intentions. He concludes
that "analysis is not ... concerned with empty thought-intentions, but
with the objects and forms by which they are fulfilled" (ibid.).
INTENTIONALITY AND THE THEORY OF MIND 225
INTUITIONS AS CONSTRUCTIONS
were close to the actual work of geometers. Knorr notes that Plato's
philosophy gave rise to an opposite view, according to which theorems
were the proper objects of geometry, as they were taken to be eternal
and unchanging verities (Knorr, 1986, p. 351). Theorems had being
absolutely, they were not constructed. Constructing geometrical figures
seemed to be a lower activity typical of human beings, who are close to
what can be perceived through the senses.
In contemporary theories of constructions, including constructive
semantics, the key idea has been that problems are taken to be concep-
tually primary, and the proofs of logical and mathematical theorems are
considered via the model given by geometrical problems. Tieszen (1989)
has tied this kind of approach to Husserl's distinction between the
meaning-intentions and the meaning-fulfilments of expressions, that is,
between meaning-intentions and intuitions. He has developed a theory of
mathematical intuition on the basis of Husserl's distinction. Even if
Tieszen is committed to a version of mediator-theory in his interpretation
of Husserl, his approach is related to the geometrical model, particularly
to geometrical problem-solving. He supports the view ascribed by Sund-
holm to Heyting, according to which "the meaning of a proposition is
explained in terms of what constructions have to be carried out in order
to prove the proposition" (Sundholm, 1983, p. 160).
It is easy to understand that problems are tasks of a certain kind. In
the contemporary theories of constructions propositions are also consid-
ered to be tasks, namely, tasks of carrying out proofs. As Sundholm puts
it, the proposition itself is not a theorem, but every theorem is of the
form: "A proposition has been proved" (ibid., p. 161). Hence, to carry
out a proof is to construct a theorem. A given logical or mathematical
proposition expresses a meaning-intention, that is, it expresses an inten-
tion towards a proof construction (ibid., p. 152). Sundholm points out
that Heyting already noticed the connection between propositions and
problems; propositions pose problems which are solved by carrying out
constructions (ibid., pp. 157 -159). Hence, in Husserl's terms, if logical
or mathematical propositions express meaning-intentions, to fulfil them
is to produce intuitions, which mean constructions or proofs for those
propositions.
This very idea comes up in constructive semantics for logical
constants, in which logical constants are defined in terms of construc-
INTENTIONALITY AND THE THEORY OF MIND 227
tions. The construction conditions give the meanings for the logical
vocabulary of propositional and predicate calculus. For example, a
construction for S & T consists of a construction for S and a construc-
tion for T (fieszen, 1989, pp. 84-85). As Sundholm points out, the
word 'construction' is ambiguous. It can mean at least (a) the process of
construction, (b) the object obtained as the result of a process of con-
struction, and (c) the construction-process as an object rather than as
something 'dynamic' (Sundholm, 1983, p. 164).
Where does the difference between my interpretational model and
the described model lie? No doubt there are important similarities.
However, as Husserl does not propose a theory of inference, that is, as
he is interested in making worlds and in describing them phenomenologi-
cally, his theory is directly connected with geometrical problems rather
than with geometrical theorems. We might say that Tieszen's view of
mathematical intuition is a development or an extension of Husserl's
phenomenology considered via the geometrical model. What Tieszen as
well as intuitionistic logicians and mathematicians add to the discussion
is their interest in proofs and theorems, hence, the problem of the
justification of inferential steps and the justification of the end-states of
the processes of construction.
tions (Tichy, 1988, pp. 4-5 and p. 11). Tichy argues that Frege wavers
between these two views in his logic and that this hesitation explains a
great deal of the inconsistencies that can be found in his logical theory
(ibid.).
Tichfs view concerns all expressions which have function-names as
their parts. Hence, for example, the expression 'the author of Waverley'
contains the function-name 'the author of x', which remains in the value
of the function 'the author of Waverley' together with the argument
'Waverley'. Tichy remarks that Frege's confusion consists in that he
does not realize the difference between two operations; it is one thing to
apply a mapping to an argument and another thing to form the composi-
tion of the two (Tichy, 1988, p. 99). As Tichy points out, when we
apply a mapping to an argument, we get an object in which the mapping
and the argument are lost. However, this is not what happens in Frege's
logic. Therefore, Tichy concludes that Frege's examples are examples of
forming compositions of functions and their arguments. What we get
when we form compositions are constructions in which both the mapping
and the argument are preserved. Tichy argues that Frege's notion of
functional saturation is problematic, since in that concept the two views
are conflated; Frege regards the saturation as the value of a function at
an argument, but simultaneously he wants that the result contains both
the function and the argument (ibid.). However, rather than worrying
about the possible inconsistences in Frege's thought, we may pay atten-
tion to certain interesting features which come up in his concept of
function. It is interesting in itself that the expressions of Frege's concep-
tual notation both name what is produced by construction and preserve
the traces of the process of constructing.
The mediator-theory, already described above, relies on the idea that
both Frege's Sinne and Husserl's noemas are like rules or functions in
the modern sense, that is, given a linguistic expression or a mental act,
they pick out a reference or an object which does not contain traces of
any construction process. The rules simply serve to pick out an object in
the world. On the contrary, the geometrical model takes it to be the case
that Husserl's noemas are the very objects which a phenomenologist is
interested in, and these phenomenological objects are not formal rules or
mappings but they are more like values of functions, which preserve the
traces of the process of construction. Hence, according to the mediator-
INTENTIONALITY AND THE THEORY OF MIND 229
theory, the noemas are like mappings, whereas according to the geomet-
rical model, noemas are like values of functions in the old sense describ-
ed by Tichy, as they preserve the traces of the construction process.
What, then, could make Husserl's theory in the Ideen a computa-
tional theory of representations? The claim that Husserl anticipates Fodor
and the classical AI presupposes the kind of interpretation of the concept
of noema which Dreyfus outlines. According to Dreyfus, the noema is
a hierarchy of rules. First, reference is provided by predicate-senses
which are claimed to correspond to Fregean Sinne. Second, predicate-
senses are determined by a rule, and thus a description of the object
picked out is provided. Third, there are higher-order rules which deter-
mine what the other predicates are that can be applied to the object so
that it still remains the same object (Dreyfus, 1982, pp. 7 - 8). What
makes Husserl a proponent of the computational theory of mind under
Dreyfus's construal is the fact that noemas are taken to be purely formal
structures and that the predicate-senses are assumed to pick out and
describe the object on the basis of their shapes alone (ibid., p. 10).
I do not want to claim that Dreyfus's interpretation does not fit in
with important parts of Husserl's texts. What I want to claim, however,
is that there are equally significant parts of the textual material which
come to sound quite odd if we translate them into Dreyfus's terminolo-
gy. However, there is a way of presenting Dreyfus's theory which shows
where the difference between his and McIntyre's, on the one hand, and
my construal, on the other, lies. If we assume, as I have done, that
Husserl regards noemas as finished constructions which refer backwards
to the process of constructing by showing traces of that process, then we
may say that noemas show how they are constructed because both the
function and the argument, meaning both the character of the act and
logical forms together with hyletic material, are preserved in the finished
construction. Dreyfus assumes that noemas are like mappings or func-
tions in the sense which Tichy would regard as modern. On my con-
strual, noemas are like results of geometrical constructing activities and
these constructings are like computations or functions in the old sense of
the term 'function' as described by Tichy. It seems that the difference
between Dreyfus's and my approach comes from the fact that Dreyfus is
committed to the mediator-theory of noemas also represented by
McIntyre. If the case is as I have argued, that noemas are full-fledged
230 LEILA HAAP ARANTA
University of Helsinki
NOTES
REFERENCES
to Frege, is the relationship between the mental act and the Thought? In
answering this question the first thing to say is that the Sinn (concept,
Thought) is somehow before the mind, that the mind is aware of it,
'grasps' it. It stands over against and is present to (gegenUbersteht; CP
377) the mind. The 'grasping' ifassen) of a Thought-sense is what Frege
calls 'thinking' (das Denken). It presupposes 'a special mental capacity,
the power of thinking' (CP 368), and is what occurs, for example, in the
posing of a question. (CP 355 - 356) It is the first level of aboutness,
ofness or 'intentionality' - though he does not use this term - found in
the act/object complex according to Frege, and upon which any further
extension of consciousness or referring depends. He says that "The
metaphors that underlie the expressions we use when we speak of
grasping a thought, of conceiving, laying hold of, seizing, understanding
... put the matter in essentially the right perspective." (PW 1375 , cf. CP
368-369) But it is here no matter of judgment, for "We can think
without making a judgment. " (PW 34) "Inwardly to recognize something
as true is to make a judgement. " (PW 2)
'Thinking' is, as Bertrand Russell and others around the turn of the
century used to say, merely a matter of 'entertaining' a proposition.
"The thought does not belong with the contents of the thinker's con-
sciousness," Frege holds, but "there must be something in his conscious-
ness that is aimed at the thought." (" etwas aUf den Gedanken hinzieien, "
CP 369) However, the thought-sense is not private, for "everyone who
grasps it encounters it in the same way, as the same thought." (PW 133)
The 'aiming at' is the thinking, the 'grasp.' "The grasp of a thought
presupposes someone who grasps it, who thinks. He is the owner of the
thinking, not of the thought." (CP 369; cf 383) Every thought, true or
false, "is eternal and independent of being thought by anyone and of the
psychological makeup of anyone thinking it." (PW 174;cf. CP 377-
378) And if it is true, it" ... is true independently of our recognizing it as
such .... " (PW 2)
Now Frege confesses, in some of his notes published posthumously,
that the nature of this 'aiming' at the sense involved in an act of cogni-
tion is mysterious. Discussing the law of gravitation as a case of a
thought-sense, he is making the point that we do not create the law by
thinking it, since it holds true indifferently of whatever comes and goes
in human minds. Then he introduces the objection: "But still the grasp-
240 DALLAS WILLARD
contents of the thinker's consciousness" (CP 369), and also does not
depend upon consciousness, as we have seen. But on the other hand the
act of consciousness certainly does depend on the Thought as one of its
necessary conditions. No Thought, no act - or, for that matter, no
sentence as a meaningful linguistic unit.
It is this fact that leads Frege - in the last paragraphs of his paper,
'Der Gedanke,' and following an established usage in German philoso-
phy in his times - to treat the Thought as capable of being a real factor
in the course of the natural world, and hence as 'actual' (wirklich). Now
this is a view which can easily be misunderstood today. Currie points
out: For Frege "the mind grasps a Thought; on this view the state of
mind is altered by its contact with a thought, and this is supposed to
show that the thought acts upon the mind." He interprets this as saying
that the Thought itself played a "role in bringing about that mental
event," and, strangely, holds it to derive from Frege's concern to show
that "thinking is not just a psychological process.,,7 But the Wirklichkeit
of an object in Frege's historical context does not require that it act upon
or bring about things or events in the manner of the efficient cause. It is
enough that it be a condition of them.
The Thought clearly is, for Frege, a condition, though not a cause
of the act of thought - which then in turn may be a cause of events and
things in the world of actuality. The airplanes and skyscrapers we have
depend for their existence upon certain persons having had certain
Thoughts. Yet, while "Thoughts are not wholly unactual...their actuality
is quite different from the actuality of things. And their action is brought
about by a performance of the thinker; without this they would be
inactive .... and they are not wholly unactual even then, at least if they
could be grasped and so brought into action." (CP 371-372) Here we
see Frege, driven by the intuitions of genius, assigning comparative
degrees (more or less 'actual') in a progression the possibility and nature
of which remains in the dark. Similarly above, where he wants to locate
the 'grasping' of the thought at the 'very confines' of the mental. - As
opposed to what? And precisely how opposed? He introduces certain
factors into the act/object nexus to solve problems that obsess him, but
he has no general ontology in terms of which those very factors can be
made sense of.
What, unlike Currie's concerns with causation, remains genuinely
242 DALLAS WILLARD
sense that is had. Yet is is very difficult to see how Frege can avoid
doing just that.
2. Now we turn to an aspect of the 'focal triad' which unfortunately
has received far less critical attention than the foregoing matters, but
around which an equal or even greater obscurity nonetheless reigns.
Because of the obscurity that prevails here we shall place a critical thesis
at the front of our remarks and then see how it might be sustained. The
thesis is that Frege has no account at all of the relation between an act
(or sign) and its object, object as that which is referred to or denoted.
'Bedeutung' (or 'reference') of course receives a lot of attention both
from Frege and his commentators. But it, like 'father,' is a relative
term. That is, whatever is a Bedeutung is so because it stands in a
certain relationship to something else: an act for which it is the object,
a designation for which it is the designated. Its nature and function as
Bedeutung cannot illuminate the relationship from which that very nature
and function derive. The verb 'bedeuten' is Frege's usual term for the
relationship which qualifies its relatum for the status of Bedeutung. It is
this relationship, I hold, for which Frege has no account at all and about
which, I suspect, he remains rather fundamentally confused.
The struggle over the translation of 'Bedeutung' is itself suggestive
of the problem that lies in Frege's presentations. Joan Weiner mentions
'denotation,' 'reference,' 'meaning,' and 'significance' as translations of
it, and dismisses the first three as carrying "a great deal of late twen-
tieth-century philosophical baggage" which, she holds, forms no part of
Frege's views. (p. 102; cf. 127 -129) Her choice is to revert to speaking
of 'content' ('Inhalt') - which Frege began with, as she recognizes, but
which he himself deserted in favor of Sinn and Bedeutung precisely
because in late nineteenth-century German (and British) philosophy it
had become unusable through manifold equivocations. She also decides
just to use 'Bedeutung' itself as if it were an English word, hoping to
develop its meaning from her interpretation of what Frege is attempting
to do in his analyses of arithmetic and logic. She, like Bell, back-pedals
furiously from the obviously ontological weight of the term in Frege,
intending to provide an epistemic interpretation of it. (pp. 128-129)
More on this later. But for now we note that the problem with terms like
'reference,' 'meaning,' and 'denotation,' is not - at least not just - the
alien philosophical baggage they import into Frege's thought, but that
THE INTEGRITY OF THE MENTAL ACT 245
are not about or directed upon them. And if they did 'refer', that would
still leave us the task of analyzing the relation of acts and signs to the
objects which they intend or denote, for the act or term certainly is not,
on Frege's view, a property of the object which is its reference.
This leaves us in the following situation. 'Grasping' a sense does not
itself constitute referring to an object. We might, as frequently is the
case in theoretical work, have no interest beyond the concepts or
thoughts concerned. What we do more than 'grasp' a sense in order to
refer to an object - how we deal with or use the sense to arrive at the
Bedeutung - remains completely unclarified (really, I think, undealt
with) in Frege's account of the act/object nexus.
We should note also, from the quotation above (CP 159) and else-
where in Frege's writings, that the grasping of a sense does not guaran-
tee a reference. That is, it does not guarantee that one exists. This is
standard fare, for we often wish to be able to work with concepts with
empty extensions, or without regard to whatever extension they mayor
may not have. But Black's translation quoted - "In grasping a sense,
one is not certainly assured of meaning anything" - once again catches
us up in the play of relation/relatum ambiguity. The Germans reads,
"Dadurch also, dass man einen Sinn auffasst, hat man noch nicht mit
Sicherheit eine Bedeutung," which says that the grasping of a sense does
not guarantee a reference. That is, it does not guarantee the existence of
an object falling under the concept-sense. But Black translates the
sentence in terms of 'meaning something,' which clearly suggests the
verb 'bedeuten' and the relation or process of referring instead of
'Bedeutung.' I suspect he correctly takes Frege's view to be that if there
is no object there is no referring, just as, certainly, if there is no refer-
ring there is no reference. In short, the possibility of 'intentional inexist-
ence' is lacking here as well as with the mere grasping of a sense, noted
above. Perhaps the deeper indication is that Frege was never able to
capture the authentic phenomenon of intentionality, which permits
consciousness of what does not exist, as it displays itself in the ordinary
bearing of the mind upon its 'objects'. This lack may lie at the root of
his problems with the act/object nexus.
Summarizing, then, I am suggesting that Frege's interpretation of
the relation between a sense and the act (mind) which grasps it is inco-
herent, for the reasons cited, and that in his assumed relation of refer-
THE INTEGRITY OF THE MENTAL ACT 249
ring, which alone qualifies entities for the status of Bedeutungen, there
are further obscurities in how the sense is functioning, or in how the
mental grasp is 'using' it to refer to an object. These matters require
clearing up in any satisfactory account of what the structure is that
brings mind and object together in the peculiar way characteristic of
consciousness. I do not think this is the sum total of his problems in
adapting his focal triad to the act/object nexus. Indeed, the entire issue
of how specific acts emerge from and fit into the flow of a conscious and
significantly rational existence - the 'noetic' structure required in actual
knowing by actual persons - remains totally untouched by his analyses.
Thus the transition from 1 to 5 is definitively interrupted at its very first
move, from the person to the particular act of consciousness. But enough
has been said to establish that his focal triad may be as much an imposi-
tion upon objective consciousness as an illumination of it.
Now why would Frege fall into such difficulties? I think it is a
result his way of working on the projects dearest to him. It just is no
part of his project to understand the mental act and how it comprehends
its objects on the one hand and is comprehended in the life of the
working mind on the other. Rather, he is concerned with certain specific
issues that arise out of his technical interests as a mathematician: the
nature of number, the method, epistemic status and ontological commit-
ments of logic and mathematics, and the analysis of identity statements,
being chief among them. He deals with his three basic units of knowl-
edge and language only insofar as deemed necessary to solve his special
problems. Then he lets them drop without concern for whether and how
they might fit into a systematic account of what knowing amounts to.
But consciousness or knowledge after all has a substance of its own.
It is a specific type of 'thing', differing from all that is not knowledge.
The focal triad is not a theory of knowledge, and Frege never intended
it to be. But it nevertheless must be capable of fitting into an adequate
account of knowledge. He surely assumed that this was possible, but for
reasons given above I think it is not - at least as it stands in his writ-
ings. Ironically, it was precisely his failure or inability to take subjec-
tivity seriously that undermined his aim of securing the objectivity of
knowledge. He was so focussed upon the independence of 'cognitive
content' that he failed to develop any account of how such content comes
together with or 'in' a mental act to form consciousness or cognition of
250 DALLAS WILLARD
etc. can "be identified independently of the language with which they are
associated." (p. 111) Frege took that to be obvious, but Wittgenstein is
now supposed to have shown that identification of entities in an 'inward'
realm, apart from the language in which they might be named, described
or expressed, would have to work without standards of correctness and
hence could never be wrong. Hence could never be right, which seems
absurd. The very heart of Frege's theory is accordingly dismissed as
"his crude associationism and faculty psychology" (Bell p. 112), and for
his theory is substituted a theory about language and language func-
tioning that, regardless of all good intentions, simply contradicts it.
In both Bell and Weiner this opens the way for a theory of Bedeut-
ung in which, as Bell says, it becomes "a property which an expression
must possess if that expression is to be truth-valuable .... " (p. 42) Or, as
Weiner says, Bedeutung amounts to nothing more than "a requirement
that our linguistic terms be precise." (p. 130, but see 128 -130) Now of
course everyone is free to develop their own theory of linguistic mean-
ing, and Frege certainly had his, which was a very important part of his
philosophy. But not every theory of it is his theory, and his Sinn and
Bedeutung distinction covers much more than linguistic 'meaning'.
The second thing to be said can and must be said more briefly. The
jury is still out, to say the least, on whether or not any philosophically
significant degree of objectivity or realism can be salvaged within the
relativization of identity and existence to language in the manner of a
Wittgenstein, Quine or others. Of course I understand the general
assumption today that nothing else could be possible. But to be consis-
tent, this approach to identity and existence must also be applied to the
elements of language themselves - the terms and expressions of various
types that make it up, the rules, etc. - to which all identities and
entities were supposed to be relativized. A regress obviously threatens,
for the view is that what is (treated as) the same depends in general upon
samenesses - of criteria, rules, expressions - in the domain of lan-
guage. But these too must depend upon our ways of talking about them,
unless identities and entities in language are to be arbitrarily exempted
from requirements imposed on everything else. However this problem is
seldom even recognized, much less resolved. I have elsewhere discussed
such issues in more detail,12 and will only mention them here. They are
serious enough, however, to prevent me from thinking that we do Frege
252 DALLAS WILLARD
sense of what might be done with important problems that are far from
solution still.
NOTES
Ajdukiewicz, K. 181
Aristotle 44, 166, 179
Aschkenasy, H. 63,64, 79
Austin, J.L. 232
Cantor, G. 46,114-117,137,138
Carnap, R. 222, 245
Cavailles, J. 137
Chisholm, R. 145, 159, 160, 252
Church, A. 43, 113, 136
Coffa, J.A. 179, 182, 222, 231
Cooper, N. 179, 206
Cornelius, H. 59,74-76,79
Cottingham, J. 207
Couturat, L. 113
Currie, G. 240, 241, 261
263
264 INDEX OF NAMES
Dahl, O. 44
Dedekind, R. 94, 108, 115, 116
Derrida, J. 252
Descartes, R. 46,186,207,212
Dreyfus, H.L. 206,207, 211-214,227, 229, 230
Drummond, J.1. 214,231, 262
Dubs, A. 79
Dummett, M. 91,101,103,110,114,115,126,136,137,139,163-
167, 173, 174, 177-182,199,206,209
Diirr, E. 59, 79
Haack, S. 159
Haaparanta, L. 230-232,261
Hacker, P.M.S. 242,261
Hall, H. 231
Harney, M.J. 206
Hartshorne, C. 233
Heath, T.L. 218, 231
Heffernan, G. 142, 158, 160
Hegel, G.W.F. 216
Heidegger, M. 79, 80
Heim, K. 57, 68, 71, 75, 76, 80
Heinrich, W. 42
Heinze, M. 75, 82
Heinlimaa, S. 231
Heymans, G. 57, 58, 62, 80
Heyting, A. 225, 226, 232
Hilbert, D. 86, 96, 106, 116
Hildebrand, F. 42
Hill, C.O. 3, 42, 136, 137, 140
Hofler, A. 74, 75, 80
Honingswald, R. 70, 80
Horbiger 8
Illemann, W. 42, 46
Ishiguro, H. 136
Kant, I. 24, 89, 97, 142-145, 150, 157, 159, 160, 186, 187, 207,
219, 222, 223, 232, 240, 255
Kemp Smith, N. 232
Kern, I. 159
Kersten, F. 220, 232
Kilmister, C.W. 138, 139
Klein, J. 46
Kleinpeter, H. 63, 71, 73, 75, 76, 80
266 INDEX OF NAMES
Kline, M. 136
Kloesel,1.W. 233
Knorr, W.R. 218,225, 226, 233
Kolmogoroff, A. 225,233
Koppelmann, W. 70, 80
Kreisel, G. 108, 112, 225, 233
Kripke, S. 146
Kroner, R. 53-55, 75, 76, 80
Kusch, M. 230, 232
Kiilpe, W. 8
Kung, G. 195, 208
Kunne, W. 181, 182
Kynast, R. 38, 39, 40, 47
Mach, R. 73-75,81
Maier, H. 55, 66, 75, 76, 81
Mantyranta, H. 231
Marbach, E. 159
Martin-LOf, P. 104, 112, 225, 233
Marty, A. 75, 137, 258
Mc Alister, L. 136
McCormick, P. 208
McDowell, J. 159, 160
McGuinness, B. 208, 261
McIntyre, R. 180, 183, 206, 211, 213, 214, 229, 230, 233
Meinong, A. 74-76,81, 164, 167, 168
Michaltschew, D. 57,67, 68, 75, 76, 81
MilI,1.S. 19, 89, 108
INDEX OF NAMES 267
Nagel, R. 233
Nress, A. 3, 38, 39, 40, 46
Natorp, P. 6,57,63, 70, 75, 76, 81
Nelson, L. 59, 75, 76, 81
Neumann, 1. von 46
Newton, I. 66
Niiniluoto, I. 230-232
Reimer, W. 47
Reinach, A. 181, 182
Renner, H. 63, 81
Renouvier, C. 207
268 INDEX OF NAMES
Salagoff, L. 82
Schelling, F. 71
Schlick, M. 57,59, 61, 66, 72, 82
Schmit, R. 137
SchrOder, E. 6, 14, 43
Schuhmann, K. 136 -138
Schultz,1. 55, 56, 58, 62, 63, 65, 66, 71, 72, 76, 82
Schuppe, W. 55, 59, 82
Sellars, W. 252,261
Shepherdson, J.c. 233
Sigwart, C. 59, 65, 66, 68, 75, 76, 82
Simons, P. 179, 183
Smith, B. 179, 182
Smith, D.W. 177, 180, 183, 206, 213, 214, 233
Smith, J .-C. 233
Sokolowski, R. 142, 159, 160
Spencer, H. 61, 62
Spinoza, B. 186, 246
Stoothhoff, R. 207
Stumpf, C. 75, 76, 82, 114, 115, 117, 137
Sundholm, G. 225 - 227, 233
Suppes, P. 233
Tait, B. 110
Tarski, A. 146, 159, 160, 181, 233
Tichy, P. 227 - 229, 233
Tieszen, R. 91, 100, 103, 104, 112,225-227,233
Twardowski, K. 164, 167, 181
INDEX OF NAMES 269
Zermelo, E. 116
Ziehen, T. 70, 76, 83
INDEX OF SUBJECTS
abstraction 17, 18, 60, 67, 89,97, 98, 101, 106, 142, 143, 191, 213;
see act.
act 17, 23, 98, 100, 166, 167, 171, 172, 174, 175, 178, 179, 195, 198,
217, 219, 221, 230, 236, 238-242, 244, 248, 249, 252, 254, 255,
257, 259, 260; bodily 219; -content distinction 67; 'founded' 100;
founding 93,98, 100, 103; higher-level 170; idealizing 155; linguis-
tic 176,259; mental 20,31, 101, 165, 169, 176, 189, 190-192,
199, 228, 235, 237 -239, 243, 246, 250, 253, 256, 259; objecti-
fying 170, 180; of abstraction 101, 104; of assertion 176, 177; of
collecting, counting and comparing 100, 104; of consciousness 166,
211,217,219,241,249,250,260; of judgement 60,67,176,238;
of judging 61, 66, 67, 147, 256; of presentation 31; of reflection
104; of representing 256; of thinking 67, 164; perceptual 100, 176;
sequences of 102, 104.
actuality, actual 21, 68, 204, 241.
agnosticism 68.
analysis 149, 191, 224; conceptual 252, 254; geometrical 218; mathe-
matical 114; method of 9,217, 218, 221, 225, 231; paradox of 91.
analyticity, analytic 5, 8, 9, 89, 91, 95, 96, 101, 114, 117, 141, 149,
157; analytic tradition of philosophy 86, 114, 163, 164.
anthropologism 25, 69.
a priori 58, 59, 74, 95, 100, 101, 108, 105, 143, 155,222; see knowl-
edge.
arithmetic, arithmetical 5, 19,20,21,25, 85, 86-89,94-97,99, 100,
104, 105, 107, 115, 116, 118, 127, 227, 228, 244; formal arith-
metic 45; philosophical analysis of arithmetic 93; philosophy of
arithmetic 85, 100, 93, 94, 97, 109, 113, 118; transcendental view
of arithmetic 86; see foundations, fulfillment, genesis, intuition,
knowledge, reasoning.
artificial intelligence 211, 229.
assertoric force 102.
270
INDEX OF SUBJECTS 271
ekthesis 223.
emotion, emotional 180, 219.
empiricism, empirical 25, 56, 58, 69, 101, 106, 114, 143, 144, 146,
164, 191,215,217,222; anti-empiricism 109,236,252; see induc-
tion, justification, law.
epistemology, epistemological 51, 58, 64, 68, 72, 77, 91, 113, 135,
172, 190, 254, 261.
equality, equal 16, 29-32, 119-123, 126, 128, 129, 138.
evidence, evident 106, 142, 144-147, 150, 152, 197; clarity of evi-
dence 150, 151; gradations of evidence 107; sorts of evidence 142;
theory of evidence 145, 146; see judgement.
existential generalization 93.
extension 16, 30, 31, 88,92, 117, 121, 125, 129,253; of the concept of
number 92,93, 253.
extensionality, extensional 88, 92, 122, 127, 134, 135, 201.
extensional ism 109.
judgement, judging 15, 21, 25, 27, 31, 37, 60, 65, 66, 70, 85, 102-
104, 106, 120, 142, 147 -151, 170, 176, 189,220-222,230,231,
235, 237, 238, 250, 256; compound judgement 148; content of a
judgement 67; evident judgement 70, 72, 150; theory of judgement
15; see act.
judgement stroke 102.
justification 59, 71, 87, 103 -105, 107; empirical 87, 96; see logic.
274 INDEX OF SUBJECTS
knowledge 17, 58, 59, 71, 93, 97, 99, 103, 104, 106, 108, 142-144,
180, 189, 190, 236-238, 249, 255; a priori 56-59, 96; apodictic
37,39; arithmetic 97,98, 101, 102, 105, 107, 109, 143; concept of
103; critique of 86; general theory of 9; human 66, 67, 73; induc-
tive 59; logical 196; mathematical 105; objective 196; of ideal
objects 97; of logical laws 58; of psychological laws 58; perceptual
101; source of 95 -97, 103, 104.
language 85, 87,95, 146, 164, 165, 172, 181, 193, 243.
law 35, 76, 86; biological 58, 93; causal 8, 10-13, 35, 39, 43, 44;
empirical 68; geometrical 172; logical/of logic 24,33,34,54,56-
60, 62, 64, 68, 69, 73, 76, 88, 92, 128, 129, 172, 216, 253, 254;
of gravity 66; of nature 33, 57, 58; of psychology 21; of syllogistics
62; of the excluded middle 106, 155; of thought 62; of truth 33; of
understanding 143; physical 57, 58; psychological 56, 57, 59, 62,
68, 89, 254; semantic 155; see knowledge.
Leibniz's law/principle 113, 119, 122, 123, 126, 127, 130.
logic, logics, logical 4, 5, 14, 15, 21-26, 28, 31, 33, 34, 36, 37, 39,
43, 51-53, 55-61, 64, 65, 67 -70, 72, 73, 77, 85, 87 -93, 95,
99,104,107,108,113-117,127,128,130,133,135,141-144,
146,147,149-153,155-158,163,164,172,173,181,190-192,
217, 219, 222, 227, 228, 230, 242; apophantic logic 145, 155-
157; consequence logic 141, 142, 144, 146; constructivist views of
logic 106; epistemic logic 143; formal logic of non-contradiction
141, 145, 147 -153, 156, 157; formal logic of truth 141-147, 151,
153, 155 -158; history of logic 85; justifications of logic 73; logic
of oblique contexts 93; logical necessity 59; mathematical logic 35,
85, 134; normative character of logic 33 - 35; philosophical basis of
logic 89; philosophical foundations of logic 36; philosophical logic
85; philosophy of logic 156; psychological logic 21, 24, 30, 34;
pure logic 17, 22, 31, 34, 56, 74, 76, 93, 190, 191, 256; transcen-
dental logic 142-145, 153, 156, 157; truth logic 142, 145, 146,
147, 150, 157; see law, object, knowledge.
logicism, logicist 6, 71, 76, 85, 86, 89, 93, 94, 97, 102, 107, 108.
magnitude 20.
mathematics, mathematical 6, 11, 12, 33, 77, 85-87, 89, 92-94,96,
98, 100, 106, 108, 109, 114-116, 156; formal mathematics 157;
INDEX OF SUBJECTS 275
object 17,22,23,30,31,67,88,101-103,122,128,129,145,166,
167, 186, 189, 194, 198, 204, 211, 214, 222, 242, 263; abstract
98, 104; everyday 100; external 166, 167, 178, 214; concrete 216;
general 22; immanent 166, 168; intended 100; intentional 198, 199,
201, 203-206, 209, 258; logical 98; material 154; mental 98; of
ideas 66; of logic 59; of possible sensory perception 17; of sensation
99; of sense perception 98; particular 31; perceptual 103, 154;
physical 95, 98, 99; real 17; see knowledge.
objectivity, objective 4, 11, 12, 17, 20, 21-25, 30, 36, 89, 90, 101,
144, 186, 188, 189, 196, 204, 242, 249, 251, 256.
oblique context 88, 93.
276 INDEX OF SUBJECTS
realism 109, 251; anti- 198, 206, 238; classical metaphysical 99; con-
ceptual 31; epistemological 236, 252; Fregean 206; mathematical
86,97;
reality, real 18, 25, 27, 31, 34, 56, 57, 60, 66, 143, 174, 179, 195,
198, 202.
reasoning 28, 88, 164, 223; arithmetical 107; corollarial 223; theo-
rematic 223.
reference, referent (Bedeutung) 85, 88, 92, 93, 103, 114, 163, 166,
167,177-179,185,186,189,192-196,198,203,204,214,228,
229,235-238,244,247,248,250-252,256,257,259,260.
referring 180, 245, 248, 256, 257.
reflection 59, 100.
relativism 25-29,37,40,63-65,67,68, 70, 76.
Russell's paradox 94, 113 -115, 124, 127 -129, 133, 135.
validity, valid 26, 28, 31, 37, 57, 69, 71, 73, 74, 93.
value 54, 55, 216; concept of 55.
106. K. Kosik, Dialectics of the Concrete. A Study on Problems of Man and World.
[Boston Studies in the Philosophy of Science, Vol. LII] 1976
ISBN 90-277-0761-8; Pb 90-277-0764-2
107. N. Goodman, The Structure of Appearance. 3rd ed. with an Introduction by G.
Hellman. [Boston Studies in the Philosophy of Science, Vol. LIII] 1977
ISBN 90-277-0773-1; Pb 90-277-0774-X
108. K. Ajdukiewicz, The Scientific World-Perspective and Other Essays, 1931-1963.
Translated from Polish. Edited and with an Introduction by J. Giedymin. 1978
ISBN 90-277-0527-5
109. R. L. Causey, Unity of Science. 1977 ISBN 90-277-0779-0
110. R. E. Grandy, Advanced Logic for Applications. 1977 ISBN 90-277-0781-2
Ill. R. P. McArthur, Tense Logic. 1976 ISBN 90-277-0697-2
112. L. Lindahl, Position and Change. A Study in Law and Logic. Translated from
Swedish by P. Needham. 1977 ISBN 90-277-0787-1
113. R. Tuomela, Dispositions. 1978 ISBN 90-277-081O-X
114. H. A. Simon, Models of Discovery and Other Topics in the Methods of Science.
[Boston Studies in the Philosophy of Science, Vol. LIV] 1977
ISBN 90-277-0812-6; Pb 90-277-0858-4
115. R. D. Rosenkrantz, Inference, Method and Decision. Towards a Bayesian
Philosophy of Science. 1977 ISBN 90-277-0817-7; Pb 90-277-0818-5
116. R. Tuomela, Human Action and Its Explanation. A Study on the Philosophical
Foundations of Psychology. 1977 ISBN 90-277-0824-X
117. M. Lazerowitz, The Language of Philosophy. Freud and Wittgenstein. [Boston
Studies in the Philosophy of Science, Vol. LV] 1977
ISBN 90-277-0826-6; Pb 90-277-0862-2
118. Not published
119. J. Pelc (ed.), Semiotics in Poland, 1894-1969. Translated from Polish. 1979
ISBN 90-277-0811-8
120. I. Porn, Action Theory and Social Science. Some Formal Models. 1977
ISBN 90-277-0846-0
121. J. Margolis, Persons and Mind. The Prospects of Nonreductive Materialism. [Boston
Studies in the Philosophy of Science, Vol. LVII] 1977
ISBN 90-277-0854-1; Pb 90-277-0863-0
122. J. Hintikka, I. Niiniluoto, and E. Saarinen (eds.), Essays on Mathematical and
Philosophical Logic. 1979 ISBN 90-277-0879-7
123. T. A. F. Kuipers, Studies in Inductive Probability and Rational Expectation. 1978
ISBN 90-277-0882-7
124. E. Saarinen, R. Hilpinen, I. Niiniluoto and M. P. Hintikka (eds.), Essays in Honour
of laakko Hintikka on the Occasion of His 50th Birthday. 1979
ISBN 90-277-0916-5
125. G. Radnitzky and G. Andersson (eds.), Progress and Rationality in Science. [Boston
Studies in the Philosophy of Science, Vol. LVIII] 1978
ISBN 90-277-0921-1; Pb 90-277-0922-X
126. P. Mittelstaedt, Quantum Logic. 1978 ISBN 90-277-0925-4
127. K. A. Bowen, Model Theory for Modal Logic. Kripke Models for Modal Predicate
Calculi. 1979 ISBN 90-277-0929-7
128. H. A. Bursen, Dismantling the Memory Machine. A Philosophical Investigation of
Machine Theories of Memory. 1978 ISBN 90-277-0933-5
SYNTHESE LIBRARY
149. E. Agazzi (ed.), Modern Logic -A Survey. Historical, Philosophical, and Mathemati-
cal Aspects of Modem Logic and Its Applications. 1981 ISBN 90-277-1137-2
150. A. F. Parker-Rhodes, The Theory of Indistinguishables. A Search for Explanatory
Principles below the Level of Physics. 1981 ISBN 90-277-1214-X
151. J. C. Pitt, Pictures, Images, and Conceptual Change. An Analysis of Wilfrid Sellars'
Philosophy of Science. 1981 ISBN 90-277-1276-X; Pb 90-277-1277-8
152. R. Hilpinen (ed.), New Studies in Deontic Logic. Norms, Actions, and the Founda-
tions of Ethics. 1981 ISBN 90-277-1278-6; Pb 90-277-1346-4
153. C. Dilworth, Scientific Progress. A Study Concerning the Nature of the Relation
between Successive Scientific Theories. 2nd, rev. and augmented ed., 1986. 3rd rev.
ed.,1994
ISBN 0-7923-2487-0; Pallas Pb 0-7923-2488-9
154. D. Woodruff Smith and R. McIntyre, Husserl and Intentionality. A Study of Mind,
Meaning, and Language. 1982 ISBN 90-277-1392-8; Pb 90-277-1730-3
155. R. 1. Nelson, The Logic of Mind. 2nd. ed., 1989
ISBN 90-277-2819-4; Pb 90-277-2822-4
156. J. F. A. K. van Benthem, The Logic of Time. A Model-Theoretic Investigation into
the Varieties of Temporal Ontology, and Temporal Discourse. 1983; 2nd ed., 1991
ISBN 0-7923-1081-0
157. R. Swinburne (ed.), Space, Time and Causality. 1983 ISBN 90-277-1437-1
158. E. T. Jaynes, Papers on Probability, Statistics and Statistical Physics. Ed. by R. D.
Rozenkrantz. 1983 ISBN 90-277-1448-7; Pb (1989) 0-7923-0213-3
159. T. Chapman, Time: A Philosophical Analysis. 1982 ISBN 90-277-1465-7
160. E. N. Zalta, Abstract Objects. An Introduction to Axiomatic Metaphysics. 1983
ISBN 90-277-1474-6
161. S. Harding and M. B. Hintikka (eds.), Discovering Reality. Feminist Perspectives on
Epistemology, Metaphysics, Methodology, and Philosophy of Science. 1983
ISBN 90-277-1496-7; Pb 90-277-1538-6
162. M. A. Stewart (ed.), Law, Morality and Rights. 1983 ISBN 90-277-1519-X
163. D. Mayr and G. Siissmann (eds.), Space, Time, and Mechanics. Basic Structures of a
Physical Theory. 1983 ISBN 90-277-1525-4
164. D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic. Vol. I:
Elements of Classical Logic. 1983 ISBN 90-277-1542-4
165. D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic. Vol. II:
Extensions of Classical Logic. 1984 ISBN 90-277-1604-8
166. D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic. Vol. III:
Alternative to Classical Logic. 1986 ISBN 90-277-1605-6
167. D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic. Vol. IV:
Topics in the Philosophy of Language. 1989 ISBN 90-277-1606-4
168. A. 1. I. Jones, Communication and Meaning. An Essay in Applied Modal Logic.
1983 ISBN 90-277-1543-2
169. M. Fitting, ProofMethodsfor Modal and Intuitionistic Logics. 1983
ISBN 90-277-1573-4
170. J. Margolis, Culture and Cultural Entities. Toward a New Unity of Science. 1984
ISBN 90-277-1574-2
171. R. Tuomela, A Theory of Social Action. 1984 ISBN 90-277-1703-6
172. J. J. E. Gracia, E. Rabossi, E. Villanueva and M. Dascal (eds.), Philosophical
Analysis in Latin America. 1984 ISBN 90-277-1749-4
173. P. Ziff, Epistemic Analysis. A Coherence Theory of Knowledge. 1984
SYNTHESE LIBRARY
ISBN 90-277-1751-7
174. P. Ziff, Antiaesthetics. An Appreciation of the Cow with the Subtile Nose. 1984
ISBN 90-277-1773-7
175. W. Balzer, D. A. Pearce, and H.-J. Schmidt (eds.), Reduction in Science. Structure,
Examples, Philosophical Problems. 1984 ISBN 90-277-1811-3
176. A. Peczenik, L. Lindahl and B. van Roermund (eds.), Theory of Legal Science.
Proceedings of the Conference on Legal Theory and Philosophy of Science (Lund,
Sweden, December 1983).1984 ISBN 90-277-1834-2
177. I. Niiniluoto, Is Science Progressive? 1984 ISBN 90-277-1835-0
178. B. K. Matilal and J. L. Shaw (eds.), Analytical Philosophy in Comparative
Perspective. Exploratory Essays in Current Theories and Classical Indian Theories
of Meaning and Reference. 1985 ISBN 90-277-1870-9
179. P. Kroes, Time: Its Structure and Role in Physical Theories. 1985
ISBN 90-277-1894-6
180. J. H. Fetzer, Sociobiology and Epistemology. 1985
ISBN 90-277-2005-3; Pb 90-277-2006-1
181. L. Haaparanta and J. Hintikka (eds.), Frege Synthesized. Essays on the Philosophical
and Foundational Work of Gottlob Frege. 1986 ISBN 90-277-2126-2
182. M. Detlefsen, Hilbert's Program. An Essay on Mathematical Instrumentalism. 1986
ISBN 90-277-2151-3
183. J. L. Golden and 1. 1. Pilotta (eds.), Practical Reasoning in Human Affairs. Studies
in Honor of Chaim Perelman. 1986 ISBN 90-277-2255-2
184. H. Zandvoort, Models of Scientific Development and the Case of Nuclear Magnetic
Resonance. 1986 ISBN 90-277-2351-6
185. I. Niiniluoto, Truthlikeness. 1987 ISBN 90-277-2354-0
186. W. Balzer, C. U. Moulines and J. D. Sneed, An Architectonic for Science. The
Structuralist Program. 1987 ISBN 90-277-2403-2
187. D. Pearce, Roads to Commensurability. 1987 ISBN 90-277-2414-8
188. L. M. Vaina (ed.), Matters of Intelligence. Conceptual Structures in Cognitive Neuro-
science. 1987 ISBN 90-277-2460-1
189. H. Siegel, Relativism Refuted. A Critique of Contemporary Epistemological
Relativism. 1987 ISBN 90-277-2469-5
190. W. Callebaut and R. Pinxten, Evolutionary Epistemology. A Multiparadigm
Program, with a Complete Evolutionary Epistemology Bibliograph. 1987
ISBN 90-277-2582-9
191. 1. Kmita, Problems in Historical Epistemology. 1988 ISBN 90-277-2199-8
192. J. H. Fetzer (ed.), Probability and Causality. Essays in Honor of Wesley C. Salmon,
with an Annotated Bibliography. 1988 ISBN 90-277-2607-8; Pb 1-5560-8052-2
193. A. Donovan, L. Laudan and R. Laudan (eds.), Scrutinizing Science. Empirical
Studies of Scientific Change. 1988 ISBN 90-277-2608-6
194. H.R. Otto and J.A. Tuedio (eds.), Perspectives on Mind. 1988
ISBN 90-277-2640-X
195. D. Batens and J.P. van Bendegem (eds.), Theory and Experiment. Recent Insights
and New Perspectives on Their Relation. 1988 ISBN 90-277-2645-0
196. J. Osterberg, Self and Others. A Study of Ethical Egoism. 1988
ISBN 90-277-2648-5
197. D.H. Helman (ed.), Analogical Reasoning. Perspectives of Artificial Intelligence,
Cognitive Science, and Philosophy. 1988 ISBN 90-277-2711-2
SYNTHESE LIBRARY
223. A. Garda de la Sienra, The Logical Foundations of the Marxian Theory of Value.
1992 ISBN 0-7923-1778-5
224. D.S. Shwayder, Statement and Referent. An Inquiry into the Foundations of our
Conceptual Order. 1992 ISBN 0-7923-1803-X
225. M. Rosen, Problems of the Hegelian Dialectic. Dialectic Reconstructed as a Logic
of Human Reality. 1993 ISBN 0-7923-2047-6
226. P. Suppes, Models and Methods in the Philosophy of Science: Selected Essays. 1993
ISBN 0-7923-2211-8
227. R. M. Dancy (ed.), Kant and Critique: New Essays in Honor ofW. H. Werkmeister.
1993 ISBN 0-7923-2244-4
228. J. Wolenski (ed.), Philosophical Logic in Poland. 1993 ISBN 0-7923-2293-2
229. M. De Rijke (ed.), Diamonds and Defaults. Studies in Pure and Applied Intensional
Logic. 1993 ISBN 0-7923-2342-4
230. B.K. Matilal and A. Chakrabarti (eds.), Knowing from Words. Western and Indian
Philosophical Analysis of Understanding and Testimony. 1994
ISBN 0-7923-2345-9
231. S.A. Kleiner, The Logic of Discovery. A Theory of the Rationality of Scientific
Research. 1993 ISBN 0-7923-2371-8
232. R. Festa, Optimum Inductive Methods. A Study in Inductive Probability, Bayesian
Statistics, and Verisimilitude. 1993 ISBN 0-7923-2460-9
233. P. Humphreys (ed.), Patrick Suppes: Scientific Philosopher. Volume 1. Probability,
Probabilistic Causality, Learning and Action Theory. 1994 (forthcoming)
ISBN .0-7923-2552-4; Set 0-7923-2554-0
234. P. Humphreys (ed.), Patrick Suppes: Scientific Philosopher. Volume 2. Philosophy
of Physics, Theory Structure, Measurement Theory, Philosophy of Language and
Logic. 1994 (forthcoming) ISBN 0-7923-2553-2; Set 0-7923-2554-0
235. P. Ehrlich (ed.), Real Numbers, Generalizations of the Reals, and Theories of
Continua. 1994 (forthcoming) ISBN 0-7923-2689-X
236. D. Prawitz and D. Westerstahl (eds.), Logic and Philosophy of Science in Uppsala.
Papers from the 9th International Congress of Logic, Methodology, and Philosophy
of Science. 1994 ISBN 0-7923-2702-0
237. L. Haaparanta (ed.), Mind, Meaning and Mathematics. Essays on the Philosophical
Views of Husser! and Frege. 1994 ISBN 0-7923-2703-9