(Bloomsbury Studies in Philosophy) Delbert Reed-Origins of Analytic Philosophy - Kant and Frege-Bloomsbury Academic (2008)
(Bloomsbury Studies in Philosophy) Delbert Reed-Origins of Analytic Philosophy - Kant and Frege-Bloomsbury Academic (2008)
(Bloomsbury Studies in Philosophy) Delbert Reed-Origins of Analytic Philosophy - Kant and Frege-Bloomsbury Academic (2008)
Delbert Reed
continuum
Continuum Logo
80 Maiden Lane
Suite 704
New York
NY 10038
www.continuumbooks.com
Delbert Reed 2007
All rights reserved. No part of this publication may be reproduced or transmitted in any form
or by any means, electronic or mechanical, including photocopying, recording, or any
information storage or retrieval system, without prior permission in writing from the
publishers.
British Library Cataloguing-in-Publication Data
A catalogue record for this book is available from the British Library.
ISBN-10: HB: 0-8264-9337-8
ISBN-13: HB: 978-0-8264-9337-8
Library of Congress Cataloging-in-Publication Data
Reed, Delbert, 1940Origins of Analytic Philosophy: Kant and Frege / Delbert Reed.
p. cm.
ISBN 978-0-8264-9337-8
1. Analysis (Philosophy) 2. Kant, Immanuel, 1725-1804. 3. Frege, Gottlob,
1848-1925. I. Title.
B808.5.R423 2008
146'.4 dc22
2007020441
Contents
Acknowledgements
ix
Abbreviations
xi
Introduction
23
33
67
89
123
125
139
157
172
183
Bibliograpahy
195
Index
199
Acknowaledgements
Acknowledgements
The two men whose writings have most shaped my view of Frege have
been Tyler Burge and Michael Dummett. This is particularly true of the
writings of Tyler Burge. I have had the fortune to correspond briefly with
Professor Burge through e-mail while writing my dissertation and to
discuss Frege with him on two different occasions when he visited the
University of Minnesota to read a paper.
Closer to home I would like to thank Norm Dahl and Stephen Donaho
for recent discussions on the topic of my book along with reassurances that
the project I was engaged in was worth pursuing. I would also like to
thank the members of my dissertation committee, Betty Belfiore, Joe
Owens, Mischa Penn and John Wallace, with special thanks to my adviser
Sandra Peterson. I thank Geoffrey Hellman and the members of a seminar
on the philosophy of mathematics whom Geoffrey taught in the early
1990s for feedback on a paper on Frege's context principle that I presented
to the seminar. I would also like to thank members of the Greek Reading
Group, Jim Dankert, Heidi Lee, Mike Tiffany, Pete Wahlstrom and
especially Bob Skovbroten for philosophical feedback and moral support. I
owe a special thanks to Bill Magdalene whose unsparing philosophical
feedback and keen editorial eye has helped make this a clearer more
coherent work than it otherwise would have been. I thank Jim Feiser, a
series editor for Continuum, for originally suggesting that I write this book,
as well as the other editors at Continuum for their assistance and patience.
Finally, I thank my wife Betsy who endured yet another round of
dissertation widowhood with the same patience and good nature as she
endured the first.
Note on translations: I have used the translation of Kemp-Smith with one
central exception: I have followed the translation of the Critique by Guyer
and Wood and have translated the word 'Erkenntnis' and its cognates asaaaaa
'cognition' instead of'knowledge'. I have used two different translations of
Kant's logic. The translation by Hartmann and Schwartz is labelled
'Logic'] that by Young is labelled 'Jdsche Logic'.
The author is grateful to the following publishers for permission to quote
from copyrighted material:
Blackwell Publishing and Northwestern University Press for Gottlob
Frege, Foundations of Arithmetic, 1968.
Oxford University Press for Gottlob Frege, Conceptual Notation and Related
Articles, 1972.
Abbreviations
Bdf
BAL
CCL
CCK
CN
CP
EP
FA
FPL
FPM
GB
L
NE
PE
PMC
PPL
PW
Frege, Be griffsschraaaaaaaaaaaa
Gottlob Frege, Basic Laws of Arithmetic: Exposition of the System.
Nicholas Jolley (eel.), The Cambridge Companion to Leibniz.
Paul Guyer, (eel.),AA
Gottlob Frege, Conceptual Notation and Related Articles.
Gottlob Frege, Collected Papers on Mathematics, Logic and
Philosophy.
APaul Edwards (ed.), The EAncyclop
Gottlob Frege, Foundations of Arithmetic.
Michael Dummett, Frege: Philosophy of Language.
Michael Dummett, Frege: Philosophy of Mathematics.
Gottlob Frege, Translations from the Philosophical Writings of
Gottlob Frege.
Gottfried L
Gottfried Leibniz, New Essays on Human Understanding.
Gottfried Leibniz, Philosophical Essays.
Gottlob Frege, Philosophical Mathematical Corre
Gottfried Leibniz, Philosophical Papers and Letters.
Gottlob Frege, Posthumous Writings.
Introduction
Introduction
confronts a central tenet of Kant's critical philosophy: the claim that all
knowledge is grounded in synthetic a priori judgements.
With the development of his new logical language, Frege believed that
he had the means to expand the scope and power of conceptual thought
beyond the limits imposed by Kant's critical philosophy. In particular he
believed that the understanding could acquire knowledge of objects such
as numbers, which transcend the conditions of space and time. In this
respect, Frege was returning to a conception of the power and scope of
pure reason similar to the views of Gottfried Leibniz (16461716), and
Christian Wolff (16791754). Leibniz was a German philosopher,
mathematician, logician, scientist and historian. He is credited, along
with Isaac Newton, with developing the calculus. A gifted logician,
Leibniz prefigured many of the developments in algebraic logic made by
the British mathematician and logician George Boole (181564) over a
century and a half after Leibniz's death. Leibniz also made significant
advances in modal logic, laying the groundwork for modern possible world
semantics.
Wolff was an influential German rationalist philosopher and proponent
of Enlightenment thought. He was a mathematician by training and
developed an interest in philosophy because he believed it needed more
precise and rigorous foundations. Influenced by Leibniz, with whom he
carried on a 12-year correspondence, Wolff developed a rigorous
philosophical system modelled after the method of mathematics. Beginning
with a few simple self-evident axioms, he sought to build a philosophical
system by deriving ever more complex propositions from these axioms
using strict rules of inference based upoAn principles of pure reason.
Both of these precursors to Kant believed that knowledge could be
advanced solely through the employment of conceptual reasoning.
However, Leibniz and Wolff, like Kant, adhered to a traditional
conception of logic. And this logic had limited applicability to the
propositions of arithmetic. While Leibniz worked hard to develop a logical
language that could be used to justify the truth of mathematical
propositions, he met with limited success, primarily due to his adherence
to the traditional subject and predicate form of judgement. While he
recognized that arithmetical propositions are intrinsically relational he was
unable successfully to reduce such propositions to the categorical
propositions of traditional logic, a necessary step, in his eyes, to the
ultimate justification of the truth of any proposition.
Introduction
Introduction
concepts, and call in the aid of the intuition which corresponds to one of
them, our five fingers, for instance, or, as Segner does in his Arithmetic,
five points, adding to the concept of 7 unit by unit, the five given in
intuition. For starting with the number 7, and for the concept of 5
calling in the aid of the fingers of my hand as intuition, I now add one
by one to the number 7 the units which I previously took together to
form the number 5, and with the aid of that figure [the hand] see the
number 12 come into being. That 5 should be added to 7, I have indeed
already thought in the concept of a sum = 7 + 5, but not that this sum
is equivalent to the number 12. Arithmetical propositions are therefore
always synthetic. This is still more evident if we take larger numbers.
For it is obvious that, however we might turn and twist our concepts,
we could never, by the mere analysis of them, and without the aid of
intuition, discover [the number that] is the sum. (B156)
For Kant, the truth of an analytic judgement can be justified solely from
the definition of its constituent concepts and through its reduction to the
principle of contradiction. In denying that the proposition 7 + 5 = 12 is
analytic Kant is breaking with the views of his rationalist predecessors.
Before looking at this passage in more detail it will help to examine briefly
the views of one of Kant's contemporaries concerning the relationship
between logic and mathematics.
According to Moses Mendelssohn (172986), in his prize-winning essay
on the question of the relationship between philosophy and mathematics
Introduction
I shall give yet another example to show how the mind uses, upon
occasion of accidents which are in subjects, to fancy to itself something
answerable to those accidents out of the subjects. The ratio or proportion
between two lines L and M may be conceived in three ways: as a ratio of
the greater L to the lesser M, as a ratio of the lesser M to the greater L,
and, lastly, as something abstracted from both, that is, the ratio between
L and M without considering which is the antecedent or which the
consequent, which the subject and which the object... In the first way of
considering them, L the greater, in the second, M the lesser, is the subject
of that accident which philosophers call 'relation'. But which of them will
be the subject in the third way of considering them? It cannot be said
that both of them, L and M together, are the subject of such an accident;
for, if so, we should have an accident in two subjects, with one leg in one
and the other in the other, which is contrary to the notion of accidents.
Therefore we must say that this relation, in this third way of considering
it, is indeed out of the subjects, but being neither a substance nor an
accident, it must be a mere ideal thing, the consideration of which is
nevertheless useful. (Mates 1986, 210-11)
An accident is in a subject when it directly inheres in it. An accident is out
of a subject when it does not directly inhere in it. The accident of being a
philosopher is something that inheres in Socrates. Now the relational
proposition that Socrates is a greater philosopher than Antisthenes can be
reduced to a categorical proposition in which the name 'Socrates'
designates a subject and the predicate 'is a greater philosopher than
Antisthenes' designates an accident. The proposition can also be reduced
to the categorical proposition that Antisthenes is a lesser philosopher than
Socrates, where the name 'Antisthenes' designates a subject and the
predicate 'is a lesser philosopher than Socrates' designates an accident. In
the proposition that Socrates is a greater philosopher than Antisthenes,
'Antisthenes' does not designate a subject but a component of the accident,
X is a greater philosopher than Antisthenes', that is attributed to the subject
Socrates. In the proposition that Antisthenes is a lesser philosopher than
Socrates the cases are reversed. In the case of a relation that abstracts from
both subjects, it does not have a leg in either subject. And since an
accident, of which a relation is a species, exists only in so far as it inheres in
a subject, such a relation is only ideal. For an accident to exist it must
inhere in some subject. If a relation inheres in neither of the subjects that it
relates to, then it does not exist. Instead, as Leibniz says in the above
quoted passage, 'it must be a mere ideal thing'.
10
Introduction
11
comments that 'After Frege and Russell succeeded in clarifying the logic of
relations, a metaphysical prejudice against relations could certainly derive
no comfort from their earlier logical obscurity, and so this metaphysical
argument could hardly be persuasive today' (Guyer 1987, 352). According
to Guyer, then, a central component in Kant's argument for transcendental
idealism rests on Kant's lack of an adequate logic of relations. The third part
of this book will seek to clarify why Kant believed that the ideality of
relations entails the ideality of space and time and how that view shaped his
philosophy of mathematics. For the moment, the point to keep in mind is
that for Kant the fact that arithmetical equations are relations that cannot
be reduced to the categorical propositions of traditional logic is an
important reason why arithmetic is a synthetic and not an analytic science.
Thus, the reason why we cannot justify the truth of 7 + 5 = 12
analytically is because the relational structure of such an equation cannot
be adequately captured by the logic available to Kant. For example, the
first step in determining the truth of a mathematical proposition
analytically would be to reduce the mathematical proposition to a
categorical proposition. Thus, if one were to attempt to reduce 7 + 5 = 12
to a categorical judgement the most natural move would be to treat 7 + 5
as the subject concept, the equal sign as the copula and 12 as the predicate
concept. But it is unclear how such a reduction could be accomplished
with the resources available through traditional logic.
One problem is this: In traditional logic, the concept of humanity falls
under the concept of animality because animal is a genus of the species
human. However, the concept of 12 is surely not the genus of the concept of 7
+ 5. For if the concept of 7 + 5 is a species of the concept of 12, then so is 6
+ 6 or 20 8. But then the concept of 12 would have an infinite number of
species. As Kant explains in a letter to his former student Johann Schultz:
I can form a concept of one and the same quantity by means of many
different additions and subtractions; (notice that both of these processes
are syntheses, however.) Objectively, the concepts I form are identical (as
in every equation). But subjectively, depending on the type of
combination that I think, in order to arrive at that concept, they are
very different. So that at any rate my judgement goes beyond the concept
I get from the synthesis, in that the judgement substitutes another
concept (simpler and more appropriate to the construction) in place of
the first concept, though it determines the same object. Thus I can arrive
at a single determination of a quantity by means of 3 + 5, or 12 4, or 2
X 4, or 23, namely 8. But my thought '3 + 5' did not include the
12
Introduction
13
concept of the number 7, say, and using some kind of sensible object as the
mark of number count from 7 to 12. To count or calculate, according to
Kant, we must step outside of our concepts of the numbers and employ
intuition, either through counting our fingers or calculating with symbols,
in order to arrive at the concept of one number from the concept of
another. Because knowledge of arithmetical equations cannot be achieved
through the analysis of the concepts that make up the equations,
arithmetic cannot be an analytic a priori science. Because the truths of
arithmetic follow with necessity and strict universality, arithmetic is an a
priori science. However, because the truth of arithmetical propositions
cannot be justified solely through an analysis of the concepts that make it
up, the understanding must turn to synthesis, in particular the
construction of concepts in intuition, to justify the truths of arithmetic.
Frege
One of the central aims of Frege's two great early works, the BegriffsschriftAA
(1879) and the Foundations of Arithmetic (Foundations] (1884) was to refute
Kant's claim that arithmetic is a synthetic a priori science and establish the
probability that arithmetic was an a priori analytic science. He then set out
in his two-volume Grundgesetze der Arithmetik (1893, 1903) (Basic Laws of
Arithmetic (Basic Laws]) to offer a formal proof that all of the theorems of
arithmetic can be derived solely from logical laws and all of the concepts of
arithmetic can be given purely logical definitions.
In the Begriffsschrift Frege had something at his disposal that Kant did not,
namely a theory of relations that was not tied to the traditional conception of
judgement as a relationship between a subject (concept), a predicate
(concept) and a copula that binds them together. In short, what Frege had
and Kant lacked was a polyadic logic with a quantifier/variable notation that
could account for the relational and multi-general structure of arithmetical
propositions. This gave Frege's concept script the power to account for the
logical structure of general arithmetical propositions, such as every number
has some number as a successor. As Michael Friedman explains:
A central difference between monadic and polyadic logic is that the
latter can generate an infinity of objects while the former cannot . . .
Hence, monadic logic cannot serve as the basis of a serious
mathematical theory, for any theory aiming to describe an infinity of
objects. (Friedman 1992, 59)
14
Frege explicates his new logical language in the B egriffsschr ift and showsA
how it can be used to give a purely logical definition of following in a series.
He developed his concept script in order to give a more detailed analysis of
the concepts of arithmetic and to 'provide a deeper foundation for its
theorems' (CN 107). He continues this project in the Foundations, where he
gives an informal exposition of his project of grounding the truths of
arithmetic in the laws of logic and defining arithmetical concepts in terms
of logical concepts. Here he rejects Kant's claim that arithmetic is a
synthetic a priori science and argues that arithmetic rests solely upon
analytic a priori principles. Where Kant's account of the sequence of
numbers presupposes the pure intuition of time, Frege accounts for the
sequence of numbers using mathematical induction: a purely logical
operation. Where Kant accounts for our ability to grasp the individual
numbers in terms of the schematism of the categories of quantity, Frege
accounts for our ability to grasp numbers by invoking the context
principle: a word gets its meaning only in the context of a proposition.
Where Kant thinks that logic is a purely formal science with no content of
its own, Frege thinks that, while logic provides the forms of judgement that
the judgements of all other sciences must adhere to, the derivation of truths
from the basic laws of logic can lead to fruitful discoveries that can only be
explained by attributing both form and content to the laws of logic.
The context principle is invoked to explain how a number term can
mean something even though numbers are not ideas and are not accessible
through intuition or sense perception. For if words acquire their meaning
only within the context of a sentence, then the way to determine what
number words mean is to define the sense (establish the truth conditions)
of a proposition in which a numerical expression occurs. That is, if we can
establish the truth conditions of a numerical identity, since, by the context
principle, the meaning of the parts of a proposition is determined by the
meaning of the whole proposition, then we can determine the meaning of
the numerical expressions by determining whether the proposition they are
contained within is true.
Frege invokes the context principle in the Foundations in an attempt to
give a contextual definition of number such that the number of Fs is the
same as the number of Gs if and only if there are just as many Fs as Gs
( (Nx:Fx = Nx:Gx) = (Fx Gx)), where '', signifies that the concepts F
and G are equinumerous, i.e. that there are just as many Fs as there are Gs.
Such a definition consists solely of second-level concepts. That is, the
definition contains only concepts (functions) whose arguments are other
concepts. No proper names are deployed in such a definition and hence
Introduction
15
16
Frege tried for a while to avoid the dire consequences of the paradox, but
was ultimately unsuccessful. In a short, posthumously published paper
entitled 'Numbers and Arithmetic' (1924/5), written near the end of his
life, Frege acknowledges that Kant was correct to invoke intuition to
account for the conceptual content of an arithmetical judgement. 'The
more I have thought the matter over', he says, 'the more convinced I have
become that arithmetic and geometry have developed on the same basis
a geometrical one in fact so that mathematics in its entirety is really
geometry. Only on this view does mathematics present itself as completely
homogeneous in nature. Counting, which arose psychologically out of the
demands of business life, has led the learned astray' (PW277). In another
paper, written around the same time, entitled 'A New Attempt at a
Foundation for Arithmetic', he says:
I have had to abandon the view that arithmetic does not need to appeal
to intuition either in its proofs, understanding by intuition the
geometrical source of knowledge, that is, the source from which flow
the axioms of geometry. (PW 278)
And on the next page he explains:
Since probably on its own the logical source of knowledge cannot yield
numbers either, we will appeal to the geometrical source of knowledge.
This is significant because it means that arithmetic and geometry, and
hence the whole of mathematics flows from one and the same source of
knowledge - that is the geometrical one. (PW 279)
Frege explains that '[i]f one wished to restrict oneself to the real numbers,
one could take these to be ratios of intervals on a line, in which the
intervals are to be regarded as oriented, and so with a distinction between
a starting point and an end point' (PW 279). If one wishes to explain
complex numbers, however, then such an approach won't work. He then
begins a brief and incomplete sketch of how to explain complex numbers in
terms of ratios of intervals on a plane.
So ends Frege's last known written remarks on a project that dominated
his scholarly career: the attempt to rid the science of arithmetic of any
dependence upon intuition and establish it upon purely logical foundations.
Virtually all of Frege's major accomplishments (the invention of the first
modern logical calculus, the functional analysis of concepts, the context and
compositionality principles, the sense/reference distinction) were spin-offs
Introduction
17
from this project. The project started with the rejection of Kant's claim that
arithmetic is an a priori synthetic science, and hence grounded in intuition,
and ended, after the blow of Russell's paradox, with Frege's acknowledgement that intuition is a necessary component to any attempt to establish
the foundations of arithmetic. However, his death in 1925 prevented him
from developing this new conception of arithmetic any further.
18
Next I shall examine the relations between the judgements of quantity and
the categories of quantity before considering Kant's definition of number as
a schema of the categories of quantity. Here special emphasis will be placed
on the role that time plays in such a schema.
The focus of Part 3 will be on Frege's criticism in the Foundations of
Kant's claim that arithmetic is a synthetic a priori science and with Frege's
claim that with his new logic, he can expand the scope of analytic
judgements to include the truths of arithmetic. Before looking at Frege's
criticism, however, Kant's distinction between analytic and synthetic
judgements will be examined along with Leibniz's definition of truth in
terms of concept-containment, which Kant rejects as too narrow. Because
the predicate concept of a synthetic judgement is not contained in the
subject concept, its truth cannot be justified in terms of conceptcontainment. From there I shall explore Frege's criticism of Kant's notion
of intuition and analytic judgements. Particular emphasis will be paid to
Frege's arguments for the possibility of fruitful analytic definitions and to
his logical definition of following in a series, which serves as an example of
such a possibility. This allows Frege to capture the iterative nature of
numbers without invoking the intuition of time, and thus to reject Kant's
claim that the apprehension of numbers requires the intuition of time.
In his book Frege: Philosophy of Language, Michael Dummett claims that
Frege replaced 'the Cartesian thesis that epistemology is the foundation of
philosophy' (FPL 667) with the thesis that philosophy of language is the
foundation of philosophy. According to Dummett:
Descartes made the question 'What do we know, and what justifies our
claim to this knowledge?' the starting-point of all philosophy: and,
despite the conflicting views of the various schools, it was accepted as
the starting-point for more than two centuries . . . Frege's basic
achievement lay in the fact that he totally ignored the Cartesian
tradition, and was able, posthumously, to impose his different
perspective on other philosophers of the analytic tradition. (FPL 666-7)
For Frege, according to Dummett, the first task in any philosophical
enquiry is the analysis of meanings. For, 'until we have first achieved a
satisfactory analysis of the meanings of the relevant expressions, we cannot
so much as raise questions of justification and of truth' (FPL 667). It was
Frege, according to Dummett, who first recognized this and showed that
the theory of meaning 'is the foundation of all philosophy, and not
epistemology as Descartes misled us to believe' (FPL 669). In so doing
Introduction
19
20
Notes
13
14
15
16
17
18
19
20
21
22
23
24
Part 1
Kant's Logic
24
Kant's Logic
25
26
On Kant's conception of logic, then, the normative force of logic lies in its a
priori origins in the mind. The logical forms of judgement are forms of
mental activity such that the proper use of a specific logical form
guarantees its successful use. Thus the successful application of the rule of
modus ponens, say, depends upon the proper use of the hypothetical form of
judgement in the activity of drawing an inference. The necessity of logical
inference lies not in some normative constraint imposed upon the mind
from the outside but in the proper use of the basic a priori mental faculties
explicated by Kant in his Table of Judgements.
Kant's Logic
27
28
Kant's Logic
29
body and one of the various concepts that make up the concept of a body.
(1), then, gives a mentalistic account of the unity of a judgement. To have
a representation of a judgement, the subject must be conscious that various
representations fall under a higher representation. (2) gives a logical
account of the unity of a judgement. A judgement forms a unity when
various representations fall under a single concept. Kant treats these two
characterizations as equivalent. Since a concept is a product of the
understanding, the unity of the various concepts that make up a
judgement corresponds to the unity of consciousness of the various
representations that make up a judgement.
On this account of the unity of a judgement there appears to be no
significant difference between a judgement and a complex concept. The
complex concept of a body as an entity that is extended, impenetrable,
etc., is something that can be unified in one act of consciousness. Similarly,
the concepts of extension, impenetrability, etc., can be unified under the
concept of a body. It is only when Kant turns to a discussion of the matter
and form of a judgement that the nature of a judgement is shown to be
different from the nature of a complex concept.
According to Kant, the matter of a judgement is expressed by the
subject and the predicate while its form is expressed by the copula (see
Blomberg Logic [Kant 1992], 274, 221). In a pre-critical essay entitled, 'The
Mistaken Subtilty of the Four Syllogistic Figures', Kant defines a
judgement as 'the comparison of a thing with some mark. The thing itself
is the subject, the mark is the predicate. The comparison is expressed by
the copula 'is' . . . which when used alone indicates that the predicate is a
mark of the subject' (quoted from Hanna 1990, 340-1). For Kant, a
judgement is a comparison between a thing (subject) and an attribute
(predicate). A judgement results when a predicate is connected to a subject
by the copula.
In the Logic Kant says:
Matter and form belong to every judgment as essential constituents of it.
The matter of the judgment consists in the given representations that are
combined in the unity of consciousness in the judgment, the form in theA
determination of the way that the various representations belong, as
such, to one consciousness. (Ja'sche Logic 18, 598)
If we combine these passages we get the following account. The matter of a
judgement consists of the representations signified by the subject and
predicate of the sentence that expresses the judgement. These representations
30
Kant's Logic
31
thing contradicts also the thing itself (Jdsche Logic 63, 61718). All
hypothetical inferences rest upon the principle that the grounded follows
from the ground and the negation of the ground follows from the negation
of the grounded (see Jdsche Logic 76, 623).
All categorical inferences are syllogisms. As Kant explains in the
Critique:
In every syllogism I first think a rule (the major premiss) through the
understanding. Secondly, I subsume something known under the
condition of the rule by means of judgment (the minor premiss).
Finally, what is thereby known I determine through the predicate of the
rule, and so a priori through reason (the conclusion). The relation,
therefore, which the major premiss, as the rule, represents between
what is known and its condition is the ground of the different kinds of
syllogism. (A304/B360-1)
All syllogisms contain three essential elements: a rule, a condition and a
conclusion. The first element is a rule of the understanding or the major
premise of the inference. The second element is the minor premise or
condition. Finally, the conclusion is drawn by subsuming the subject
concept of the minor premise under the predicate concept of the major
premise. Take the syllogism:
All humans are mortal.
All philosophers are human.
Therefore, all philosophers are mortal.
The rule that all humans are mortal together with the condition that all
philosophers are human implies the conclusion that all philosophers are
mortal.
A hypothetical judgement consists of a relationship between two
judgements, a ground and a consequence. In a hypothetical inference the
conclusion is inferred either from the ground to the consequence, in the
case of modus ponens, or from the negation of the consequence to the
negation of the ground, in the case of modus tollens. As Kant explains: 'The
hypothetical inference of reason is one where the major propositio is a conditioned
proposition. Modus ponens infers from the ground to the consequence. Modus
tollens from the consequence to the ground' (Dohna-Wundlacken Logic [Kant
1992] 508). Take the following example of modus ponens.
32
Frege's Logic
34
Frege's Logic
35
36
Frege's Logic
37
38
expand the analytic power of logic beyond the scope of traditional logic.
Take the sentence 'Socrates is wise.' We can symbolize it, using the
subject/predicate form of judgement, as S is P, where '' stands for Socrates
and 'P' stands for wisdom. We can symbolize it, using the function/
argument form of judgement, as G(a), where 'G" stands for wisdom and V
stands for Socrates.
Now take the sentence 'Alexander is greater than Philip.' Using the
subject/predicate form of judgement we would again symbolize it as S is P,
where '$' stands for Alexander and 6P' stands for the concept of being
greater than Philip. However, using modern logical symbolism in place of
Frege's symbolism, we can symbolize the sentence as G(a,b) where theaaaaa
function 'G" stands for the relationship x is greater than y and the
arguments 'a' and 'b' stand respectively for Alexander and Philip. Frege's
function/argument form of judgement is able to account for the relational
structure of the sentence in a way that the traditional subject/predicate
form cannot.
Frege then introduces the conditional A B, if A then B, as his basic
form of inference. He defines it as affirmed unless the antecedent is
affirmed and the consequent is denied. (In later works Frege replaced the
terms 'affirmed' and 'denied' with 'true' and 'false'.) Frege's claim can be
illustrated using the method of truth-tables.
Table 2.1
Truth-table
A -> B
T
T
F
F
T
F
T
T
F
T
Frege's Logic
39
Philip and Aristotle is greater than Alexander, then Aristotle is greater than
Philip.' as '((G(ab) & G(ca)) -> G(cb))\ where V stands for Aristotle.
Frege then introduces the universal quantifier 6(x)\ 'all', 'every'. With
the help of the negation sign the existential quantifier 6(3x)\ 'some xy can
be defined as ' (x) F(x)\ 'it is not the case that every x does not fall
under the concept F.3 Take the sentence 'Romeo loves Juliet.' We can
symbolize this as 6L(rj)\ where 'L' stands for the concept of love, V for
Romeo and 'j' for Juliet. If we replace V with the variable V we obtain
the open sentence 'L(xj)' and if we replace 'j' with the variable 'j' we
obtain the open sentence 6(Lxy)\ If we attach the universal quantifier (y)
to this open sentence we obtain the open sentence '(y) (Lxy)\ If we attach
the universal quantifier (x) we get the closed sentence 6(x)(y) (Lxy)\
'Everyone loves everyone.' If we replace '(y)' with the existential
quantifier '(3y)' we get the sentence 6(x)(3y) F(xy)\ 'Everyone loves
someone.' If, instead we replace '(x)' with '(^x)' we get the sentence '(^x)
(y) (Lxy)\ 'Someone loves everyone.' Traditional logic was unable to
analyse the relational structure and multiple generality expressed by such
sentences. Frege's conceptual notation could. With these logical advances
Frege set out to explore how far logic could go in explaining the concepts,
definitions and truths of arithmetic. However, before this logical enterprise
was carried out more philosophical groundwork was required.
(a + b)c = ac + be
The other kind consists of such symbols as + , , ^/, 0, 1, 2;5 each of which
has its own specific meaning' (Bgf 111). Frege, then, makes a fundamental
distinction in his conceptual notation between variables and constants.
The distinction is made upon the basis of whether the symbol in question
represents a number or a function left undetermined, or whether it 'has its
40
own specific meaning'. While the letters in '(a + b)c = ac + be' are
specific in so far as they represent numbers in general, as opposed to people
in general or fish in general, they are indeterminate in so far as they do not
refer to any specific numbers. A paraphrase of the sentence would go
something like this: 'Adding any number a to any number b and
multiplying by any number c yields the same results as multiplying a and b,
b and c and adding the resulting two sums.' In contrast, symbols such as
' +', '', '2' refer to a determinate number or function. As he explains a few
lines later:
I ... divide all the symbols I employ into those which one can take to signify
various things and those which have a completely fixed sense. The first are the
letters, and these are to serve mainly for the expression of generality. But we
must insist that a letter, for all its indeterminateness, should retain
throughout the same context the meaning which we first gave it. (CN 111)
According to Frege, a symbol is determinate if it has its 'own specific
meaning' and if it possesses a 'completely fixed sense'. Presumably, a specific
numeral like '2' has its own specific meaning because there is one and only
one specific object, the number 2, that it refers to. Presumably, a term has a
completely fixed sense when whatever it refers to remains the same
throughout all of the sentences that it is contained within. Variables are
letters that can be taken 'to signify various things' and which represent either
a number or a function left undetermined. They are used 'for the expression
of generality'. If the variables 'a' and 'b' are said to range over the natural
numbers, say, then the letter 'a' can signify various things depending upon
the value it is assigned. Thus whatever meaning it does have is determined
not through its designating a determinate object but by ranging over a class
of objects. It is not one particular positive integer that gives the variable its
significance but the class of positive integers that it is said to range over.
What must always be kept in mind, Frege warns, is that while there is
no determinate positive number that the variable signifies, whatever
course of values 'a' is said to range over must remain the same in whatever
sentence of a proof it is contained within, 'a' cannot range over the positive
numbers when contained in one sentence of a proof and the negative
numbers when contained in another sentence of the same proof. For a
proof to be cogent, the symbols used in its construction must maintain the
same meaning in every instance that they are used.
Later in his career, Frege rejected the explanation of variables as
signifying various things depending upon the context of use. In the
Frege's Logic
41
(ii) Judgements
In sections 2, 3 and 4 of the Begriffsschrift Frege introduces his new
conception of judgement. He begins, in section 2, with the introduction of
the judgement-stroke:
A judgement will always be expressed with the aid of the symbol '|-'
which stands to the left of the symbol or combination of symbols giving
the content of the judgement. If we omit the small vertical stroke at the
left of end of the horizontal one, then the judgement is to be
transformed into a mere combination of ideas of which the writer does
not state whether or not he acknowledges its truth. (CN 111)
Frege says if we take '|-A' to designate the judgement: 'Opposite magnetic
poles attract each other', then 'A' would designate the circumstance that
42
opposite magnetic poles attract each other. This should not be understood
as the expression of a judgement, 'but should simply evoke in the reader
the idea of the reciprocal attraction of opposite magnetic poles, perhaps,
say, in order to derive some conclusions from it and with these test the
correctness of the thought' (CN 112). To attach a symbol to the
judgement-stroke ' -A', is to assert that the judgement expressed by the
symbol is true. To place the horizontal stroke by itself in front of the
judgement, 'A' is to entertain the possibility that the judgement might be
true. Frege suggests that the relationship between the horizontal stroke
and a proposition can be paraphrased, 'by means of the words
"circumstance that" or "the proposition that"' (CN 112). One can take
the thought expressed by a proposition as a mere combination of ideas
whose truth is not acknowledged or one can assert that the judgement is
true. In both cases it is the same content that is being considered.
Frege then makes a distinction between 'assertable and unassertable
contents'. A sentence expresses assertable content if it has a truth-value.
Only sentences expressing assertable content can form a judgement when
attached to the assertion symbol. So, on the one hand, there is assertable
content expressed by sentences. On the other hand, there is unassertable
content, expressed by words or phrases out of which sentences are
composed. The truth of the same assertable content can be merely
entertained or it can be asserted.
The two parts of Frege's judgement-stroke show similarities to the
distinction between assertoric and problematic judgements in Kant. To
understand Kant's distinction between assertoric and problematic
judgements it will help to start with an examination of his 'Table of
Judgements'. According to Kant,
all judgments are functions of unity among our representations; instead
of an immediate representation, a higher representation, which
comprises the immediate representation and various others, is used in
knowing the object, and thereby much possible knowledge is collected
into one. Now we can reduce all acts of the understanding to judgments,
and the understanding may therefore be represented as a faculty of
judgment. For, as stated above, the understanding is a faculty of thought.
Thought is cognition by means of concepts. But concepts as predicates
of possible judgments, relate to some representation of a not yet
determined object. (A69/B94)
A judgement is a function that unifies the immediate representation
Frege's Logic
43
44
Frege's Logic
45
46
Frege's Logic
47
48
Frege3 s Logic
49
without a truth-value into a unified whole, a judgement, with a truthvalue. However, unlike the copula, which is placed between subject and the
predicate in a judgement of traditional logic, the content-stroke does not
appear between the function and the argument but in front of the
judgemental content. In later writings Frege offers a different explanation
of the content-stroke. Thus in 'Boole's Logical Calculus and the ConceptScript', an essay written shortly after the publication of the Begriffsschrift,
Frege says that, '[t]he content-stroke is horizontal, it is always prefixed to
the expression of a content of possible judgement' (PW 11). Here Frege does
not say that the role of content-stroke is to tie symbols into a whole but to
signify that what follows the content-stroke is the content of a possible
judgement. This signifies an important difference. For the latter explanation gives no role to the content-stroke in unifying the symbols into a whole
judgement. As he explains in a later article 'Negation' (published in 1919),
a common mistake about the content of a judgement is
the view that the judging subject sets up the connexion or order of the
parts in the act of judging and thereby brings the judgment into
existence. Here the act of grasping a thought and the acknowledgment
of its truth are not kept separate . . . But even the act of grasping a
thought is not a production of the thought, is not an act of setting its
parts in order; for the thought was already true, and so was already
there with its parts in order, before it was grasped. (GB 1267)
Here Frege stands in sharp contrast to Kant who believed that it was an
act of the understanding that combines concepts into a judgement. As
Kant explains in the Critique:
all combination be we conscious of it or not, be it a combination of the
manifold of intuition, empirical or non-empirical, or of various concepts
- is an act of the understanding. To this act the general title 'synthesis'
may be assigned, as indicating that we cannot represent to ourselves
anything as combined in the object which we have not ourselves
previously combined, and that of all representations combination is the
only one which cannot be given through objects. Being an act of the selfactivity of the subject, it cannot be executed save by the subject itself.
(B130)
All combination, whether of intuitions or concepts, is an act of the
understanding. A judgement is an act of the understanding that combines
50
concepts and/or intuitions into a unity that can be judged to be either true
or false. Unlike Kant and the logical tradition that considered an act of
judgement as an essential condition for the unity of a judgement, Frege
believed that the unity of a thought is not a product of an act of
judgement. Thoughts already exist as wholes that are grasped by an act
of judgement. As D. Greimann explains:
To judge is, therefore, not to unite ideas, but to acknowledge something
which is already united as true. In particular, the basic cognitive
operation is, for Frege, not 'to say something of something' (TI KATA
TINOS), but to judge something as true. (Griemann 2000, 220)
For Frege, judgement is not an act of saying something about something
but an act of judging that something is true. Later in his career, after he
had drawn his famous distinction between the sense and the reference of an
expression, Frege introduced thoughts as the senses of sentences, with truth
or falsehood being their reference. As he explains in 'Thoughts' (1919):
We are not owners of thoughts as we are owners of our ideas. We do not
have a thought as we have, say, a sense-impression, but we also do not
see a thought as we see, say, a star. So it is advisable to choose a special
expression; the word 'grasp' suggests itself for the purpose. To the
grasping of thoughts there must then correspond a special mental
capacity, the power of thinking. In thinking we do not produce
thoughts, we grasp them. For what I have called thoughts stand in the
closest connection with truth. What I acknowledge as true, I judge to be
true quite apart from my acknowledging its truth or even thinking
about it. That someone thinks it has nothing to do with the truth of a
thought. (CP 368)
Frege's new conception of judgement requires a new conception of how a
judgement is understood as well as a new conception of the relationship
between the content of a judgement and the judging subject. Judgement is
no longer seen as an act of affirming or denying a predicate of a subject but
of grasping a thought.
Whereas the activity of the understanding plays an essential role in
Kant's account of the unity of judgements, Frege seeks to avoid any kind of
psychological explanation, or for that matter an epistemological explanation, of the unity of a judgement. A judgement forms a unity because
concepts are unsaturated and objects are not. The unity of a judgement,
Frege's Logic
51
for Frege, can be likened to two pieces in a puzzle that together form a
larger whole. On such an account there is no need to invoke the
synthesizing power of the mind to explain the unity of a judgement. More
will be said on this topic later.
(Hi)
Conceptual content
52
Frege's Logic
53
54
course, Frege had not yet made his famous distinction between the cognitive
significance (sense) and truth-value (reference) of a sentence. Conceptual
content accounts both for the cognitive significance of an expression as well as
the inferential role the expression plays in any sentences it is contained within.
So when he comes to the problem of accounting for the difference of cognitive
value between 6a = a' and 6a = b' (where 6a = b' is true), he sees his only
option as claiming that identity is a relationship between symbols. Since 6a =
rf and '<2 = b' have the same truth-value, and thus play the same inferential
role in whatever proofs they are contained in, they must have the same
cognitive significance. Therefore sentences expressing identity cannot be
described as a relation between objects. Frege concludes that the only
alternative is that identity is a relation between words.
Frege turns to a rather obscure geometrical example to explain his
point. The gist of the example is that a point on a circle can be determined
in two different ways either as the point of the intersection of line A and
line B or 'directly through intuition' (CN 125, replacing 'perception' with
Frege's Logic
55
the same content of a judgement, then there can be two different names
that correspond to the two different modes of determination. So the fact
that the same content can have two different names need not be just a
linguistic feature about the use of two different symbols, but shows
something much more important: that there are different ways in which
the same conceptual content can be determined. And since these different
modes of determination can differ in cognitive significance, this makes the
identity of the content synthetic in Kant's sense of the term.
56
Frege's Logic
57
The concept symbolized by 'the number 20' and the concept symbolized
by 'every positive integer' are not of the same logical type.8 'The number
20' is a proper name with a determinate meaning, namely the number 20,
whereas 'every positive integer' does not name a determinate object but
ranges over a class of objects, namely the positive integers.
In section 10 Frege introduces the notion of a function with more than
one argument place: F(a,b). At the end of the section he observes, 'that the
concept of a function in analysis, which I have in general followed, is far
more restricted than the one developed here' (CN 129). Later in 'Function
and Concept', Frege, following the implications of this expanded conception
of a function, characterizes a concept as a function whose value is a truthvalue and characterizes an argument as an object. This completes his turn
away from the traditional conception of a judgement as consisting of a
subject concept combined with a predicate concept by a copula.
In section 11 Frege introduces the universal quantifier. If we let 'a'
represent 'the number 20' and 'F9 the predicate 'can be represented as the
sum of four squares', then (1) can be represented by 'F(a)'. (1) simply
claims that a determinate object possesses a specific property. To represent
(2) adequately, however, is not as simple a task. What (2) says is that if
something is a positive integer, then it is the sum of four squares, or to put it
in modern notation: 6(x) (Px Fx)\ where 6P' represents the predicate 'is a
positive integer'. While 'the number 20' has a significance independently of
its role in a sentence the same cannot be said of 'every positive integer',
which is represented by a quantifier or second-level concept which 'yields no
independent idea' outside the context of the sentence in which it is used.
There is not one specific positive integer that V is said to designate; instead
it is said to range over the class of positive integers.
58
Universal
Particular
Singular
KANT:
FREGE:
All S is P
(x) F(x)
Some S is P
(3x) F(x)
This S is P
F(a)
Quality:
Affirmative
Negative
Infinite
KANT:
S is-not P
-F(a)
S is non-P
FREGE:
SisP
F(a)
Relation:
Categorical
Hypothetical
Disjunctive
KANT:
FREGE:
Sis P
F(a)
If A then
A -> B
A or B
A vB
Modality:
Problematic
Assertoric
Apodeictic
KANT:
S possibly is P
S actually is P
S necessarily is P
FREGE:
-F(a)
\-F(a)
Frege's Logic
59
60
identical to b if and only if for every property F, a has F if and only if, b
has F\
Frege observes that the traditional distinction between universal and
particular judgements (he does not mention singular judgements) is not a
distinction between the judgements but between contents of judgments.
While the tradition speaks of a particular or universal judgment, Frege
insists that '[t]hey should say, "a judgement with universal content", "a
judgment with a particular content" ' (CN 114). A judgment is universal
or particular regardless of whether or not it is asserted. 'These properties',
he explains, 'belong to the content even when it is put forth, not as a
judgment, but as an [unasserted] proposition' (CN 114). With his
introduction of the judgement-stroke, and the replacement of the
subject/predicate distinction with the function/argument distinction, Frege
is able to isolate the conceptual content of a judgement from its
assertability conditions. This enables him to attach quantifiers to the
content of a judgement regardless of whether the content is asserted or not.
Similarly negation is attached to the content of the judgement, not the
asserted judgement. There is no need for an explicit distinction between an
affirmative and a negative form of judgement. A negative judgement
results when a negation-stroke is attached to the content of an affirmative
judgement (Frege does not mention infinite judgements).
Frege then says that the 'distinction between categorical, hypothetical,
and disjunctive judgments appears to me to have only grammatical
significance [ftn. The reason for this will be brought out by the whole of
this work]' (CN 114). Because the categorical form of judgement is
grounded in the subject/predicate distinction it can sometimes fail properly
to account for the logical form of a judgement. Thus the move from subject
and predicate to function and argument enables Frege to account for
relational expressions such as 'Alexander is greater than Philip', (G(ab)}.
As shown above, such expressions are impervious to analysis on the
traditional subject/predicate conception of judgement. Not only does the
categorical form of judgement fail properly to account for the logical form
of some judgements, in other cases it attributes a difference in logical form
where the difference is not logically significant. As Frege observed earlier
in a discussion of conceptual content, the difference between the active and
passive voice of a judgement has no effect on its conceptual content even
though the roles of the subject and predicate are reversed in the two types
of judgement.
According to Frege, the difference between an apodeictic judgement
and an assertoric judgement is that the former 'suggests the existence of
Frege's Logic
61
general judgments from which the proposition can be inferred, while the
assertoric lacks such an indication' (CN 114). Frege concludes that to call a
proposition necessary is merely to give 'a hint about my grounds for
judgment' (CN 114). But this is just a psychological attitude that I have
toward a judgement and thus does not affect its conceptual content. Thus
the apodeictic form of judgement, together with the concept of necessity, is
dismissed as logically insignificant, while the problematic and assertoric
forms are incorporated into the judgement-stroke to signal the difference
between the entertainment of a judgement and its assertion.
Another key difference between Kant and Frege is the order of
exposition of their respective Logics. Kant follows the order of traditional
logical texts, starting with an explication of concepts, moving to judgement
and then to inferences. In his exposition of concepts Kant distinguishes
between their form (generality) and their matter (content). The form of a
concept is a subjective faculty of the understanding. The matter is its
objective content supplied ultimately through intuition. The goal of logic
is not to determine the source of a concept but how a given concept can be
produced from already formed concepts. Concepts are formed from other
concepts through a threefold process of comparison, reflection and
abstraction through which a representation common to several objects
arises. Lower concepts (species) fall under higher concepts (genus).
Concepts are related to each other in terms of co-ordination and
subordination.
A judgement is the unity of consciousness of various representations or
the relationship between various representations in so far as they constitute
a concept. The matter or content of a judgement is the set of concepts and
intuitions designated by the subject and predicate expressions. The form of
a judgement is signified by the copula, which binds the predicate concept
to the subject concept. The copula also signifies the manner in which the
predicate concept belongs to the subject concept (e.g. it affirms or denies
that the predicate concept belongs to the predicate concept). For Kant,
both the conceptual content and the unity of a judgement are products of
mental acts of judging. A judgement is the recognition that a subject
concept and a predicate concept are related in such a way as to form a
unity.
Finally, Kant distinguishes three different kinds of inference. They
correspond to the three moments under the heading of relation in his
Table of Judgements. The categorical form of judgement involves a
relationship between a subject and the marks that inhere in it (S is P). The
categorical form of inference is the syllogism has three essential parts: a
62
major premise (All animals are mortal), a minor premise (all humans are
animals) and a conclusion (therefore all humans are mortal). The
hypothetical form of judgement concerns the ground of dependence of
one cognition upon another (If A then B}. The hypothetical form of
inference is modus ponens (If A then B, A, therefore B}. Finally the
disjunctive form of judgement concerns the 'combination of parts in a
whole (logical division)' (A or B) (Jdsche Logic 60, 616). The disjunctive
form of inference is defined in terms of the hypothetical form of inference
and falsehood: 'if A is false, then B is true' or 'if B is false, then A is true'.
Frege does not follow the traditional order of exposition of logical
textbooks. He does not, in other words, begin with concepts, move on to
judgements and then to inferences. Instead, he begins with the
introduction of a distinction between two kinds of symbols: constants
('2', ' + ') with a fixed determinate sense and letters ('a', 'b') with an
indeterminate sense. He then moves immediately to a discussion of the
judgement distinguishing the assertability conditions of a judgement from
its content. He then introduces his notion of the conceptual content of
a judgement, and shows how it differs from the subject/predicate form of
judgement. Finally, he completes his discussion of judgement by
contrasting his conception of judgement with the Kantian Table of
Judgements. He then moves to a discussion of inference, defining the
conditional, If P, then Q? truth functionally, and then introducing his basic
rule of inference: modus ponens (A > B, A therefore B ). From there he
introduces his negation-stroke and defines conjunction and disjunction in
terms of negation and the conditional. He then moves to a discussion of
identity of content, giving a provisional solution to the puzzle about
informative identity statements in terms of different modes of determination. He invokes Kant's distinction between analytic (uninformative) and
synthetic (informative) judgements in the course of the solution. It is only
near the end of the 'Definition of the Symbols', the second to last major
heading, that he introduces what he will later use to characterize concepts:
his notion of a function. Finally, Frege introduces the universal quantifier,
defines the existential quantifier and moves on in Part Two to prove some
judgements of pure thought with his new logical language.
Despite his introduction of the judgement-stroke and his replacement of
the subject, predicate and copula conception of judgement with his
function argument conception, there are still some residual traditional and
Frege's Logic
63
the left end of the horizontal one, relates to this whole^ (CJV 112). Thus he has not
completely purged the role of the copula as the force that converts a
concatenation of concepts into a unified judgement from his conception of
the horizontal stroke. He would soon correct this by introducing the term
'content of a possible judgement' to characterize the result of attaching the
horizontal stroke to a proposition. Second, he conceived of the assertable
contents of a judgement in terms of affirmation and denial instead of truth
and falsity. Because affirmation and denial are acts of judgement, a key
element of Frege's logical system still maintained a mentalistic feature.
Finally, in his conception of identity of content, Frege characterizes the
difference in cognitive significance between an uninformative and an
informative identity statement in terms of Kant's distinction between
analytic and synthetic judgements. With his development of the distinction
between the sense and the reference of an expression Frege is later able to
give an account of the difference between the two kinds of statements
without invoking this famous Kantian distinction.
Notes
1
A2
64
A7
88
Part 2
68
69
70
Space and time, as the a priori forms of intuition, are the formal conditions
of sensibility. Appearances are objects given to the understanding through
intuition. To be an appearance an object must conform to the a priori
conditions of space and time. The categories are pure concepts of the
understanding. They are the a priori conditions through which appearances provided by intuition are brought under concepts in order to
produce concepts of the objects of experience.
71
follow the strict method of the celebrated Wolff, the greatest of all the
dogmatic philosophers. He was the first to show by example . . . how the
secure progress of science is to be attained only through the orderly
establishment of principles, clear determination of concepts, insistence
upon strictness of proof, and avoidance of venturesome, non-consecutive
steps in our inferences. (Bxxxvi)
Wolffs mistake was not in the strict method of reasoning that he advocated or
his demand for clarity of concepts and gap-free proofs but in assuming that
pure cognition of an object is possible without first conducting a critique of the
powers through which the cognition of an object is possible in the first place.
Kant's goal in the Critique, by contrast, is not the analysis of already
existing concepts but an analysis of the faculties of understanding and
sensibility that make concepts possible:
By 'analytic of concepts' I do not understand their analysis, or the
procedure usual in philosophical investigations, that of dissecting the
content of such concepts as may present themselves, and so of rendering
them more distinct; but the hitherto rarely attempted dissection of the
faculty of the understanding itself, in order to investigate the possibility of
concepts a priori by looking for them in the understanding alone, as their
birthplace, and by analysing the pure use of this faculty . . . We shall
therefore follow up the pure concepts to their first seeds and dispositions
in the human understanding, in which they lie prepared, till at last, on
the occasion of experience they are developed, and by the same
understanding are exhibited in their purity, freed from the empirical
conditions attaching to them. (A65-6/B90-1)
In his analysis of concepts Kant is not concerned with dissecting concepts
already given and making them more distinct but with the 'dissection of the
faculty of the understanding itself. Kant's goal is to explain the possibility of a
priori concepts by discovering their source in the human understanding.
The mistake that Wolff makes is to think that the project of dissecting the
content of concepts through logical analysis can proceed without first
analysing the pure concepts of the understanding that lie prepared as
dispositions in the human understanding awaiting exposure to experience
for their proper employment.
Kant continues his criticism of Wolff in the 'Transcendental Aesthetic',
this time in conjunction with a criticism of Leibniz. Both men believed,
according to Kant, that the difference between sensible and intelligible
72
73
2 + 2 = 2+ (1 + 1)
(2+1) + 1 = 3 + 1 = 4
What is missing here is the proposition
2 + (1 + 1) = (2 + 1) + 1,
which is a special case of
a + (b + c) = (a + b) + c (FA 7).
What Leibniz fails to recognize, according to Frege, is that his proof tacitly
presupposes the associative law of addition.1 Since the proof presupposes a
basic law of arithmetic, Leibniz is unsuccessful in reducing the truth of 2 +
74
2 = 4 to a law of logic using only definitions and logical axioms. The lesson
that Frege takes from Leibniz's failure, according to Harold Noonan, is that
'not only definitions but general laws are required to prove numerical
formulae, and their credentials need an investigation which Leibniz does not
give' (Noonan 2001, 89).
Despite this criticism, Frege nevertheless thinks that Leibniz is on the
right track in seeking to define every number in terms of its predecessor.
Indeed, since Frege has shown the difficulty of establishing the foundations
of arithmetic upon empirical principles or upon Kant's notion of pure
intuition, he believes that the procedure proposed by Leibniz is the only
method that has hope of success. As he explains:
I do not see how a number like 437986 could be given to us more aptly
than in the way Leibniz does it. Even without having any idea of it, we
get it by this means at our disposal none the less. Through such
definitions we reduce the whole infinite set of numbers to the number
one and increase by one, and every one of the infinitely many numerical
formulae can be proved from a few general propositions. (FA 8)
Leibniz, in seeking to define number in terms of increase by one, provides a
key element in any attempt to define number. Because Leibniz's logic
allowed only monadic predication, he needed to reduce the relational
propositions found in arithmetic to categorical propositions in order to
justify their truth.
When Leibniz claims that relational sentences are reducible he could
mean a couple of different things depending upon his attitude toward
the reality of relational predicates. To clarify this point some groundclearing is in order. A relational sentence is a sentence in which a
relational expression has a foot in two different subjects (e.g. aRb, Five is
greater than four). A relational predicate is a predicate with only one foot
in a subject, the other subject being contained in the predicate of the
sentence (e.g. a is P where P= xRb, Five is greater than four]. Finally, an
absolute predicate is a predicate with one foot in a subject, where the
predicate contains no reference to any other subject (e.g. S is P, Socrates
is white).
When Leibniz claims that all relational sentences are reducible, he
could mean:
1. All relational sentences are reducible to subject-predicate sentences,
where the predicate is absolute (non-relational), or
75
76
Kant has come to write the Critique, he has deserted the Leibnizian-like
proof in terms of the substitution of equivalent definitions, insisting instead
that the truth of such arithmetical propositions must be grounded in
synthesis. While he gives no explanation for rejecting his earlier
Leibnizian-like demonstration, it is not difficult to guess what his reasons
for dissatisfaction were. Kant would no doubt observe that intuition is
necessary not only to acquire a representation of a unit but also to acquire
the representation of an enumeration of units. To form the representation
of a unit requires the ability to form the representation of an individual
object. However, on Kant's principles, it is only through intuition that one
can form a representation of an individual object. So to be able to use the
symbol '!' as the representation of a singular unit requires the use of
intuition. Since it is intuition not concepts that provide the understanding
with individual representations of objects, it is only through intuition that
one can have the representation of a unit. Intuition is also required to
account for our ability to start from the number 1, or from a single stroke,
and through a process of enumeration arrive at ever greater numbers.
Such an enumeration cannot be accomplished through the analysis of the
concept of number or of the concepts of individual numbers or sums but
only through an act of synthesis by which a concept is constructed in
intuition.
While Kant discusses the relationship between mathematics and
philosophy in a variety of passages and contexts throughout the Critique,
the closest he comes to explicating fully the basic elements in his
philosophy of mathematics in general and his philosophy of arithmetic in
particular occurs near the end of the Critique in the 'Transcendental
Doctrine of Method'. In the opening paragraph of the section entitled
'The Discipline of Pure Reason in its Dogmatic Employment', Kant cites
mathematics as a prime example of a discipline that expands itself solely
through the principles of pure reason with no intrinsic reliance upon
experience. This has led some philosophers to attempt to establish
philosophy on the same sure footing as mathematics by borrowing the
methods of mathematics and applying them to philosophy. The problem
with such an approach, in Kant's eyes, is that it leads to the illegitimate
extension of reason beyond the limits of possible experience.
Like Leibniz, Kant acknowledges the essential role that symbols play in
arithmetical calculation. However, unlike Leibniz, he does not believe that
arithmetical symbols can be understood by concepts alone. Kant believed
that any attempt to justify the truths of both mathematics and philosophy
through conceptual analysis and syllogistic inference alone fails to
77
78
79
80
81
82
In the course of justifying the objective validity of the categories, Kant argues
that the pure concept of quantity is presupposed even in the simplest axioms
of pure mathematics. Thus to understand the axiom that a straight line is the
shortest distance between two points presupposes the concepts of a line and a
point. But, according to Kant, to understand these concepts presupposes the
concept of a plurality of homogeneous parts (e.g. the points that make up a
line). But a plurality of parts presupposes the categories of quantity. In
particular it presupposes the category of plurality. Kant then appends a
footnote to the second to last sentence of this passage:
This name [judica plurativa] seems preferable to the term particularia, which
is used for these judgments in logic. For the latter already contains the
thought that they are not universal. But when I start from unity (in
singular judgments) and proceed to totality, I must not [even indirectly
and negatively] include any reference to totality. I think plurality merely
without totality, and not the exclusion of totality. This is necessary, if the
logical moments are to underlie the pure concepts of the understanding. In
logical usage one may leave things as they were. (Prolegomena 20)
So corresponding to the singular judgement that this card is a spade is the
category of unity. Treating a card as a unit, it is possible to represent
enumeration as a series of judgements: this card is a spade, this card is a
spade, etc. This can be represented as the particular judgement that some
cards are spades, which is true when there is a plurality of cards that are
spades. We finally arrive at the universal judgement that every card is
a spade. This judgement is true if the totality being counted is a suit of
spades but false if the totality is a deck of cards. The enumeration of units up
to a given totality presupposes the application of the three categories of
quantity. An intuition is brought under the concept of unity to form the
representation of a unit. This unit can then be used as the base step of an
enumeration of units by being brought under the concept of plurality until
83
84
is possible only if the categories are applicable to empirical objects, Kant sets
out in the 'Analytic of Principles' to explore in more detail the relationship
between the categories and the objects to which they are applicable. Kant
begins with the more manageable task of explaining how an empirical
object can be subsumed under an empirical concept:
In all subsumptions of an object under a concept the representation of
the object must be homogeneous with the concept; in other words, the
concept must contain something which is represented in the object that
is to be subsumed under it. This, in fact, is what is meant by the
expression, 'an object is contained under a concept'. Thus the empirical
concept of a plate is homogeneous with the pure geometrical concept of a
circle. The roundness which is thought in the latter can be intuited in the
former. (A137/B176)
The goal of the schematism is to explain not how an object can be
subsumed under an empirical concept but how an object can be subsumed
under a pure concept of the understanding. Because an empirical concept,
by its nature, acquires its content only through empirical intuition, it is no
great difficulty to chart the relationship between the empirical concept
and the forms of intuition. The roundness that I am able to think in the
concept of a plate presupposes the pure geometrical concept of a circle.
But I am able to form a representation of a circle because I have
experience of various round objects in the sensible world. However, since
the categories, in contrast to empirical concepts, are 'quite heterogeneous
from empirical intuitions', they can never be found in an intuition. 'How,
then', Kant asks, 'is subsumption of intuitions under pure concepts, the
application of a category to appearances, possible?' (A138/B177). His
answer is that 'there must be some third thing, which is homogeneous on
the one hand with the category, and on the other hand with the
appearance, and which thus makes the application of the former to the
latter possible' (A138/B177). He calls this mediating representation,
which is in one respect intellectual and in another respect sensible, a
transcendental schema.
Kant stresses that time, as the formal condition of inner sense, plays a
crucial role in the application of the categories to the objects of
appearances. For a transcendental determination of time forms a unity
only in so far as it is homogeneous with a category, while a category is
supplied with a representation only in so far as it is homogeneous with an
appearance. And appearances, as empirical representations of a manifold
85
86
Notes
1
2
3
Part 3
Introduction
Frege's goal in his 1884 book Foundations of Arithmetic was to establish the
probability that arithmetic is an a priori analytic science. He opens the first
chapter of the book by pointing to the recent advances in rigour and
precision that have been made in the mathematical sciences:
After deserting for a time the old Euclidean standards of rigour,
mathematics is now returning to them, and even making efforts to go
beyond them . . . The discovery of higher analysis only served to confirm
this tendency; for considerable, almost insuperable, difficulties stood in
the way of any rigorous treatment of these subjects, while at the same
time small reward seemed likely for the efforts expended in overcoming
them. Later developments, however, have shown more and more clearly
that in mathematics a mere moral conviction, supported by a mass of
successful applications is not good enough. Proof is now demanded of
many things that formerly passed as self-evident . . . The concepts of
function, of continuity, of limit and of infinity have been shown to stand
in need of sharper definition . . . In all directions these same ideals can be
seen at work rigour of proof, precise delimitation of extent of validity,
and as a means to this, sharp definition of concepts. (FA 1)
Given such advances it should come as no surprise, Frege observes, that
'we are bound eventually to come to the concept of Number' (FA 2). It is
here, especially, in an enquiry into the very foundations of arithmetic, that
the proper standards of rigour and precision must be met. Indeed it was
the need for such standards that led Frege to develop his concept-script.
'The aim of proof is, in fact', Frege continues, 'not merely to place the
truth of a proposition beyond all doubt, but also to afford us insight into
the dependence of truths upon one another' (FA 2). It is a truth's
relationship to the primitive laws that it depends upon and the status of
90
those laws, more than indubitability, which most concerned Frege. Here
he echoes Leibniz's distinction between the order of discovery and the
order of justification of a truth. As Leibniz explains, 'we are not concerned
. . . with the sequence of our discoveries, which differs from one man to
another, but with the connection and natural order of truths, which is
always the same' (NE 412). Frege believed that in his concept script he
had developed a method powerful enough to show that the truths of
arithmetic could be derived from purely logical axioms and thus be shown
to be a priori and analytic. What he is offering in these opening pages, then,
is a reason why an enquiry into the nature of numbers is important, and
why such an enquiry requires an even higher degree of deductive rigour
and precision than has hitherto been offered.
However, it was not just a concern with mathematical rigour that led
Frege to this enquiry. He was also motivated by philosophical concerns:
Philosophical motives too have prompted me to enquiries of this kind.
The answers to the questions raised about the nature of arithmetical
truths are they a priori or a posteriori? synthetic or analytic? must lie
in this same direction. For even though the concepts concerned may
themselves belong to philosophy, yet, as I believe, no decision on these
questions can be reached without assistance from mathematics. (FA 3)
Frege observes earlier in the Foundations that the disciplines of mathematics
and philosophy have hitherto not cooperated as much as they could. This
lack of cooperation, he claims, 'is due in my opinion to the predominance
in philosophy of psychological methods of argument, which have
penetrated even into the field of logic. With this tendency mathematics
is completely out of sympathy' (FA v). As an example he points to a
proponent of psychologism named Strieker who 'calls our ideas of numbers
motor phenomena and makes them dependent on muscular sensations'
(FA v). But sensations are not the concern of arithmetic, says Frege.
No more are mental pictures, formed from the amalgamated traces of
earlier sense-impressions. All these phases of consciousness are characteristically fluctuating and indefinite, in strong contrast to the definiteness
and fixity of the concepts and objects of mathematics. (FA v-vi)
To combat this tendency to think of the foundations of arithmetic as
psychological, Frege recommends that we never confuse a psychological
description of how an idea of a proof originated with the grounds that
91
justify it. 'A proposition', he tells us, 'may be thought, and again it may be
true; let us never confuse these two things' (FA vi).
One constant feature of Frege's philosophical outlook from the
beginning to the end of his career was his firm and unwavering stance
against the improper incursion of psychological laws or principles into the
sciences of logic and arithmetic. Frege considered attempts to explain our
knowledge of mathematics or logic in terms of psychological principles as a
threat to the objectivity of those sciences. Psychologism, as he understood
it, can be characterized as the view that concepts like truth, validity, and
knowledge can and must be given mentalistic or subjectivistic explanations. Any legitimate account of knowledge or truth must be grounded in
the truths of psychology. Thus science in general and logic in particular
can be properly grounded only through self-observation of and reflection
on our own ideas. The problem with such a view, according to Frege, is
that ideas are private and essentially unshareable, and thus cannot
account for the objectivity of truth and so of science.
It is Frege's claim, then, that we must turn to mathematics for
assistance in order to answer the philosophical question of whether the
truths of arithmetic are a priori or a posteriori, analytic or synthetic. As a first
step toward acquiring the standards of rigour required for mathematics
and to understand the nature of arithmetical truth it is important, Frege
warns, to distinguish the way that we discover the content of a judgement
from the way that we justify its truth:
It not uncommonly happens that we first discover the content of a
proposition, and only later give the rigorous proof of it, on other and
more difficult lines; and often this same proof also reveals more precisely
the conditions restricting the validity of the original proposition. In
general, therefore, the question of how we arrive at the content of a
judgement should be kept distinct from the other question, Whence do
we derive the justification of its assertion? (FA 3)
Frege claims that:
these distinctions between a priori and a posteriori, synthetic and
analytic, concern, as I see it, not the content of the judgment but the
justification for making the judgment. Where there is no such
justification, the possibility of drawing the distinctions vanishes. [Here
Frege appends a footnote: 'By this I do not, of course, mean to assign a
new sense to these terms, but only to state accurately what earlier
writers, Kant in particular, have meant by them.'] (FA 3)
92
93
Leibniz on Truth
Leibniz famously defines truth in terms of concept-containment:
[I]t is common to every true affirmative proposition, universal and
particular, necessary or contingent, that the predicate is in the subject,
that is, that the notion of the predicate is involved somehow in the
notion of the subject. And this is the source [principium] of infallibility in
every sort of truth for that being who knows everything a priori. (P E 95)
94
In this passage Leibniz says merely that the predicate concept 'is involved
somehow' in the subject concept. Elsewhere he is more explicit in claiming
that the relationship between the subject concept and a predicate concept
in a true affirmative proposition is one of concept-containment:
In every proposition, the predicate is said to be in the subject, that is, the
notion of the predicate is contained in the notion of the subject. For, in a
universal affirmative proposition, when I say 'every man is an animal' I
mean 'the concept of animal is contained in the concept of man' (for the
concept of man is to be a rational animal). And when I say 'every pious
person is happy' I mean that whoever understands the nature of piety
will also understand that it contains within itself true happiness. And so
in a universal affirmative proposition, it is obvious that the predicate is
contained in the subject considered by itself. (PE 11)
Leibniz believed that the basic form of a proposition is categorical. As he
explains in a short logical essay of 1679 entitled Elements of a Calculus: 'By
'proposition' I understand here categorical propositions, unless I make
special mention to the contrary. However, the categorical proposition is
the basis of the rest, and modal, hypothetical, disjunctive and all other
propositions presuppose it' (LP 17). In another essay, written in the same
year, he claims that:
Every categorical proposition has a subject, a predicate, a copula, a
quality and a quantity. Subject and predicate are called 'terms'. For
example, in 'The pious man is happy', 'the pious man' and 'happy' are
terms, of which 'the pious man' is the subject, 'happy' the predicate,
and 'is' is the copula. The 'quality' of a proposition is affirmation or
negation . . . The 'quantity' of a proposition is its universality or
particularity. (LP 25)
Truths for Leibniz are either primary or derivative: 'The primary truths
are those which assert the same thing of itself or deny the opposite of its
opposite.' Leibniz lists several examples of such truths, 6A is A\ 'A is not
not-^4', and 'Every thing is similar or equal to itself He claims that all
such primary truths are identities (see PE 30-1). Derivative truths are of
two kinds: those that can be resolved through demonstrative reasoning
into identities and those that cannot. Two passages from the essay
'Primary Truths' expand on this claim. Derivative truths
95
are reduced to primary truths with the help of definitions, that is,
through the resolution of notions . . . The connection and inclusion of
the predicate in the subject is explicit in identities, but in all other
propositions it is implicit and must be shown through the analysis of
notions; a priori demonstration rests on this. (PE 31)
When an analysis of the relationship between the subject and the predicate
reveals that the notion of the predicate is contained in the notion of the
subject and that the truth of the proposition can be reduced to an explicit
identity, then the truth is necessary. When the analysis proceeds to infinity
and never gains completion, then the truth is contingent. Contingent
propositions can be known completely only by God who alone
comprehends the infinite (see PE 989).
For Leibniz, the most basic truths of all are explicit identities. All
derivative truths are implicit identities whose truth can be justified
through an analysis of the concepts that make up the truth into clear and
distinct ideas and the reduction of the truth, through the substitution of
logically equivalent terms, to an explicit identity. Take, for example, the
proposition that Socrates is rational. Leibniz could give the following
argument to justify that the proposition is true:
Socrates is a man.
Man is a rational animal.
A rational animal is a rational animal.
Therefore, Socrates is a rational animal.
Therefore, Socrates is rational.
Here the truth of the proposition that Socrates is a rational animal is
justified by reducing it, through the use of analysis of notions and the
interchange of logically equivalent terms, to the explicit identity that a
rational animal is a rational animal.
According to Leibniz: 'The great foundation of mathematics is the
principle of contradiction or identity', that is, that a proposition cannot be true
and false at the same time, and that therefore A is A and cannot be not A.
This single principle is sufficient to demonstrate every part of arithmetic
and geometry, that is, all mathematical principles' (PE 321). Leibniz
believed that the foundations of mathematics are grounded in the principle
of contradiction or identity and thus just as the truth of the proposition
that man is an animal can be justified through analysis of its constituent
concepts and reduction to an explicit identity, so too is it possible to justify
96
the truths of arithmetic. In short, Leibniz believed that the truths of all of
mathematics are reducible to the truths of logic.
97
98
99
100
101
102
103
considers only its logical form, transcendental logic abstracts only from the
empirical content of a judgement. Taking a clue from the 'Transcendental
Aesthetic', where the pure intuitions of space and time are distinguished
from empirical intuitions, Kant distinguishes between 'the pure and
empirical thought of objects'. Transcendental logic is a science of how
concepts relate a priori to objects. The proper use of transcendental logic is
to 'determine the origin, the scope, and the objective validity' (A57/B81)
of the a priori modes of cognition by which we are able to cognize objects of
experience.
Because general logic abstracts from all content of cognition, we must
look to some other source to explain how concepts are provided with
content. Because transcendental logic only abstracts from the empirical
content of a concept, it has lying before it the transcendental conditions of
space and time. They provide the understanding with a manifold of a priori
intuition. Without the material provided to the understanding by this
manifold, concepts would be without content. Space and time, the a priori
forms of sensibility, are the conditions that make the receptivity of the
representations furnished by intuition possible. The task of transcendental
logic is to explain how concepts of objects can be produced from the
material provided to the understanding through a manifold of sensible
intuitions. But to turn a manifold of sensible intuitions into objects of
experience requires that the intuitions be gone through, taken up and
connected by an act that Kant calls synthesis:
By synthesis, in its most general sense, I understand the act of putting
different representations together, and of grasping what is manifold in
them in one cognition. Such a synthesis is pure, if the manifold is not
empirical but is given a priori, as is the manifold of space and time.
Before we can analyse our representations, the representations must
themselves be given, and therefore as regards content no concepts can
first arise by way of analysis. Synthesis of a manifold (be it given
empirically or a priori) is what first gives rise to a cognition. This
cognition may, indeed, at first be crude and confused, and therefore in
need of analysis. Still the synthesis is that which gathers the elements for
cognition and unites them [to form] a certain content. (A77/B103)
Synthesis is a mental act by which several representations are combined
into a single cognition. In empirical synthesis a manifold of sensible
appearances is combined into a single cognition. Thus in a judgement such
as, 'this rose is red', a manifold of impressions, the red of the flower, the
104
shape and configuration of its petals, the green of the stem, a pleasantly
sweet smell, and so on, are all combined under the concept of a rose in an
act of synthesis. In pure synthesis the a priori forms of space and time are
combined into a single cognition. Presumably what Kant means is that
through a process of abstraction one can arrive at the representation of the
spatio-temporal framework that provides the sensible conditions under
which all objects of experience must fall if they are to be recognized by the
understanding. Kant believes that this framework provides transcendental
logic with the content it requires to deduce the objective validity of the
categories from the conditions of possible experience.
There is a dispute in the literature as to whether Kant's account of
synthesis should be given a psychological or an epistemological reading.
On the psychological reading, Kant's explication of synthesis is an
explanation of how representations of objects are produced from a
manifold of appearances supplied by sensible intuition. Influenced in a
large part by Frege, many analytic philosophers have been deeply
suspicious of attempts to give psychological explanations of epistemological
and logical problems. They have thus shown little sympathy with synthesis
understood in a psychological fashion.
The problem with a psychological reading of synthesis is that it seems to
place Kant between the horns of a dilemma. Either he is giving an
empirical account, through self-reflection on his own cognitive powers, of
how human beings are able to produce objects of experience from sensible
intuitions, or he is describing activities and faculties that do produce
objects of experience but that are not empirically accessible. If Kant takes
the first horn of the dilemma, then the best that he can hope to establish in
the transcendental deduction is the empirical truth that human beings
have a subjective need to employ the pure concepts of the understanding.
What it does not establish is that these concepts are objectively valid. If
Kant takes the second horn, then he can give a satisfactory account of
synthesis only by positing a cognitive power that transcends the limits of
human experience. But this violates a fundamental tenet of Kant's critical
philosophy that we cannot acquire knowledge of things-in-themselves.
These issues have led to attempts to give an epistemological reading of
Kant's notion of synthesis. On the epistemological reading, Kant's account
of synthesis is an explanation of the epistemic conditions that must be met
for a concept to have representational content. As J. Michael Young
explains: 'Kant's theory of synthesis is best interpreted, not as an attempt
to explain how experience gets produced, but as an account of what it is for
concepts, and in particular pure concepts, to have representational
105
106
107
108
109
What could an intuition of 100,000 be like? asks Frege, or for that matter
number or magnitude in general? In short, Frege cannot see how attaching
the description 'intuition' or 'pure intuition' to the concept of magnitude
can be of any assistance in the attempt to define the concept of a magnitude.
This leads him to an examination of Kant's conception of intuition.
Since Kant's claim that arithmetic is synthetic a priori rests on his claim
that we apprehend numbers through pure intuition, Frege examines
Kant's notion of intuition, beginning with a quote from the Logic: ' "An
intuition is an individual idea . . . a concept is a general idea . . . or an idea of
reflexion [i.e. discursive]"' (FA 19). Frege observes that this definition of
intuition is different from the one given in the Critique: ' "It is therefore
through the medium of sensibility that objects are given to us and it alone
provides us with intuitions'" (FA 19 [A19/B33]). Frege concludes that the
sense of intuition in the Logic is wider than the sense in the Critique, in that
it might be possible to call 100,000 an object of intuition in the former
sense but not in the latter, since 100,000 is not a general concept. However,
he claims that even 'an intuition in this sense cannot serve as the ground of
our knowledge of the laws of arithmetic' (FA 19).
In section 13 he explains why. He begins by pointing in agreement to
Leibniz's warning not to 'overestimate the extent to which arithmetic is
akin to geometry' (FA 19). He observes that one geometrical point by itself
cannot be distinguished from another, and the same holds true for lines
and planes. It is only when several points, lines and planes are included in
a single intuition that we can distinguish them. Frege concludes that:
In geometry, therefore, it is quite intelligible that general propositions
should be derived from intuition; the points or lines or planes which we
intuit are not really particular at all, which is what enables them to
stand as representatives of the whole of their kind. But with the numbers
it is different; each number has its own peculiarities. To what extent a
given particular number can represent all the others, and at what point
its own special character comes into play, cannot be laid down
generally in advance. (FA 19-20)
In section 14 Frege returns to a comparison of'the various kinds of truths in
respect of the domain that they govern' (FA 20). Empirical propositions
are concerned with the domain of the 'physically or psychologically
actual', while the truths of geometry govern all that is spatially intuitable.
The spatially intuitable governs not only what is physically actual but also
anything imaginable, no matter how fantastic or fanciful. It is only
110
111
112
113
one has to do is to use the lines that are already there to demarcate
complete surface areas in a new way. (PW 334)
The more fruitful definitions, on the other hand, draw boundaries that
have not previously been given.
What we shall be able to infer from it [the definition of a concept],
cannot be inspected in advance . . . The conclusions we draw from it
extend our knowledge, and ought therefore, on Kant's view, to be
regarded as synthetic; and yet they can be proved by purely logical
means and are thus analytic. (FA 101)
Frege eventually turns to metaphor to try to describe the nature of these
new definitions. The conclusions, contained in such definitions, he says,
should be likened to the way that 'plants are contained in their seeds, not
as beams are contained in a house' (FA 101).
Frege turns to a similar analogy in his posthumously published essay,
written much later in his career, 'Logic in Mathematics':
Science demands that we prove whatever is susceptible of proof and
that we do not rest until we come up against something unprovable. It
must endeavour to make the circle of unprovable primitive truths as small
as possible, for the whole of mathematics is contained in these primitive
truths as in a kernel. Our only concern is to generate the whole of
mathematics from this kernel. The essence of mathematics has to be
defined by this kernel of truths, and until we have learnt what these
primitive truths are, we cannot be clear about the nature of
mathematics. If we assume that we have succeeded in discovering
these primitive truths, and that mathematics has been developed from
them, then it will appear as a system of truths that are connected with
one another by logical inference. (PW 204-5)
The primitive truths of mathematics are kernels from which the entire
science of mathematics can be derived. The essence of mathematics is
contained in these kernels. In deriving theorems from these kernels new
information is gained about the science of mathematics, and thus new
knowledge is acquired. Like Kant, Frege agrees that knowledge requires
content as well as form. However, he objects to Kant's claim that content
can only be acquired through sensibility.
Frege discusses the importance of the fruitful definitions, and how his
114
115
concept-script diverges from Boole's (and Kant's) logic is that while Boole
follows traditional logic and begins with concepts and builds judgements
from them, Frege starts 'from judgments and their contents, and not from
concepts' (PW 16). As Frege explains in an 1882 letter, 'I do not believe
that concept formation can precede judgement because this would
presuppose the independent existence of concepts, but I think of a concept
as having arisen by decomposition from a judgeable content' (PMC 101).
This enables him to take a given judgement and analyse its content in such
a way that a variety of different concepts can be produced from the same
judgemental content.
Speaking of the use of Venn diagrams, in which the relationships
between classes are illustrated by relationships of intersection, inclusion
and exclusion between circles, to illustrate the relationship between
concepts, Frege observes:
If we compare what we have here with the definitions contained in our
examples, of the continuity of a function and of a limit, and again that
of following a series which I gave in 26 of my Begriffsschrift, we see that
there's no question there of using the boundary lines of concepts we
already have to form the boundaries of new ones. Rather, totally new
boundary lines are drawn by such definitions and these are the
scientifically fruitful ones. Here too, we use old concepts to construct
new ones, but in so doing we combine the old ones together in a variety
of ways by means of the signs for generality, negation, and the
conditional. (PW 34)
Frege's procedure for providing a fruitful definition of a concept, then, is to
begin with the content of a complete judgement and then analyse the
judgemental content into a function/argument structure. From the
concepts produced by such an analysis, new and more complex
judgemental content can be constructed through the application of
generality, negation and the conditional. Take the proposition that 5 is
greater than 4. It can be analysed into the concept 5 is greater than x or
the relationy is greater than x. To these concepts and relations quantifiers
can be attached to create the propositions 5 is greater than some x or every
y is greater than some x. With the use of negation and the conditional,
arguments can be constructed that can produce significant and even
surprising results that could never be achieved by the traditional logical
methods practised by Kant and Boole. In particular Frege is able to give a
logical analysis of following in a series. It is this breakthrough that allows
116
him to account for the iterative nature of the natural numbers without
needing to invoke the pure intuition of time. What enables Frege to
accomplish this is the ability of his concept-script to account for the
relational structure and multiple general nature of the general truths of
arithmetic.3
111
118
to which this latter Number belongs. For this we shall choose the
concept 'members of the series of natural numbers ending with n\ which
requires first to be defined. (FA 92)
After informing the reader that he originally introduced the concept of
following in a series in the Begriffsschrift, Frege sets out to use it to prove
that every natural number has a successor:
'if every object to which x stands in the relation (p falls under the
concept F, and if from the proposition that d falls under the concept Fit
follows universally, whatever d may be, that every object to which d
stands in the relation (p falls under the concept F, theny falls under the
concept F whatever concept F may be' is to mean the same as 'j follows
in the ^-series after x9 and again the same as 'x comes in the ^-series
before/. (FA 92)
Frege then remarks that 'It will not be time wasted to make a few
comments on this. First, since the relation (p has been left indefinite, the
series is not necessarily to be conceived in the form of a spatial and
temporal arrangement, although these cases are not excluded' (FA 92).
As he did in the Begriffsschrift, Frege observes that his definition has no
need to invoke a spatial or temporal arrangement in order to succeed. He
grants that it is certainly possible to state his definition of following in a
series in terms of focusing our attention on an initial object and then
shifting our attention from one object to the next until we reach the
object we wish to define. But, he insists, such a formulation is
unnecessary:
Whether y follows in the ^-series after x has in general absolutely
nothing to do with our attention and the circumstances in which we
transfer it; on the contrary, it is a question of fact, just as much as it is a
fact that a green leaf reflects light rays of certain wave lengths whether
or not these fall into my eye and give rise to sensation . . . (FA 93).
Frege concludes that:
My definition lifts the matter onto a new plane; it is no longer a
question of what is subjectively possible but of what is objectively
definite. For in literal fact, that one proposition follows from certain
others is something objective, something independent of the laws that
119
Notes
For all x, x is a triangle if and only if x is a figure and x is rectilinear
and x is three-sided and . . .
For all x, x is a triangle if and only if there exist three points w^y and <:
120
that are non-colinear and the line segment joined at points wy, the line
segment joined at points yz and the line segment joined at points zw
together equal x.
The preceding discussion was influenced by Ruflino 1991 (esp. p. 189)
and Tappenden 1995.
Part 4
Introduction to Part 4
Questions such as whether or not there are any abstract objects, what
abstract objects there are, what abstract objects are and how we
know that they exist, what is the criterion for their existence, where
the dividing line comes between concrete and abstract objects - all
these are modern questions. At first sight, such a contention appears
ludicrous: one might well think such questions to be as old as
philosophy. But the fact is that the notion of an 'object' itself, as it is
now commonly used in philosophical contexts, is a modern notion,
one first introduced by Frege. (FPL 471)
As has been shown above, a key factor that enabled Frege to make the
advances in logic that he did was his decision to ignore the traditional
subject/predicate form of judgement and replace it with a function/
argument form of judgement. By replacing the traditional subject/
predicate form of judgement with a function/argument form of
judgement, Frege also freed himself from the traditional distinction
between substance and attribute, with its accompanying conception of
the ontological dependence of attributes upon substances. On Aristotle's
conception of substance from the Categories, individual substances are
beings in the primary sense of the term. All other entities, be they
qualities, relations or any other entities falling under one of the categories
other than substance, depend for their existence upon their inherence in
an individual substance. In place of the distinction between substance
and attribute, Frege introduces the distinction between concept and
object.
As Reinhardt Grossmann explains:
In holding that all concepts are related to objects through the fallingunder nexus, Frege rejects all substance-philosophies. Objects have no
natures, they are 'externally' related to the concepts under which they
fall. Hence Frege's objects are of the same kind as the so-called bare
124
Aristotle on Substance
In the Categories Aristotle draws a distinction between present-in and saidof predication. Present-in predication is a relationship between a substance
and one of the other categories (e.g. 'Socrates is white'). Said-of
predication is a relationship between a more specific entity denoted by
the subject of a sentence and a more general term denoted by the
predicate, where both terms denote entities of the same category (e.g.
'Socrates is a man', or 'White is a colour').
Some things are said-of a subject but not in a subject. The example that
Aristotle gives is in the category of substance. Man is said-of the individual
man. Similarly, animal is said-of man (Ib34). Said-of predication is
classificatory and intracategorical. It is classificatory because saying of
Socrates that he is a man, tells us what kind of thing he is in a way that
saying that he is white or musical does not. It is intracategorical because
'Socrates', 'man' and 'animal' all denote entities that fall under the
category of substance just as 'knowledge-of-grammar' and 'knowledge'
designate entities that fall under the category of quality.
Some things, according to Aristotle, are in a subject but not said-of a
subject. By 'in a subject', he says, 'I mean what is in something, not as a
part, and cannot exist separately from what it is in' (la24-5). White is not
a part of Socrates in the way that his nose or eyes are parts of him. To say
that x cannot exist separately from y is presumably to say that a colour
white cannot exist without there being white things that it inheres in.
However, while Socrates can exist without the colour white inhering in
him, he nevertheless does have some colour inhering in him. Similarly he
has to be at some place or in some position at some time, and so on, it
would appear, for the rest of the categories. The difference between the
two cases is that while the white in Socrates depends upon the existence of
126
an individual in which to inhere, Socrates does not depend for his existence
upon the particular shade of white that inheres in him. Instead he must
have some colour or be in some position, at some place, and so on. All of
the categories other than substance exist only in so far as they inhere in
individual sensible substances. And all specific and general substances exist
only in so far as primary substances exist. If there are no substances that
are white, then white does not exist.
Some things can both be in a subject and be said-of a subject.
Knowledge is in the soul but is said-of knowledge-of-grammar. Both
Socrates and man are substances, knowledge and knowledge-of-grammar
are qualities. Present-in predication is a relationship between substance
and the other categories. Said-of predication is a relationship between
individuals, species, and genera in the same category. Socrates is
an individual and man is a species and both fall under the category of
substance. Knowledge-of-grammar is a species of the genus knowledge;
both fall under the category of quality. Knowledge-of-grammar is presentin Socrates; man is said-of him.
Finally, some things are neither said-of nor present-in a subject. As
examples Aristotle gives the individual man or horse. Because they are
individuals they are not said-of a subject, for only universals can be said-of
subjects. Nothing that is 'individual and numerically one' (Ib6) is said-of
a subject. However, individuals in categories other than substance can be
in a subject. The only entities that are neither present-in nor said-of a
subject are primary substances:
A substance that which is called a substance most strictly, primarily,
and most of all is that which is neither said of a subject nor in a
subject, e.g. the individual man or the individual horse. The species in
which the things primarily called substances are, are called secondary
substances, as also are the genera of these species. For example, the
individual man belongs in a species, man, and animal is a genus of the
species; so these both man and animal are called secondary
substances. (2all-18)
It is because individual substances are always subjects and never
predicates that they are called substances 'most strictly, primarily, and
most of all'. As Aristotle says in Chapter 5, 'it is because the primary
substances are subjects for all the other things and all the other things are
predicated of them or are in them, that they are called substances most of
all' (2bl6-18). 2
127
While the forms of Plato and the atoms of Leucippus and Democritus
offered competing metaphysical conceptions, Aristotle's conception of
substance remained the most dominant metaphysical perspective in the
Western world until the rise of modern science and philosophy. Even then
substance played a central role in the philosophical thought of most early
modern philosophers. Indeed, a central philosophical concern of the
seventeenth and eighteenth centuries was how to situate Aristotle's
conception of substance with modern scientific methods and discoveries.
All recognized the need to radically revise or even reject Aristotle's
conception of substance in light of the new mechanical conception of the
universe arising out of the scientific discoveries and breakthroughs of
Galileo, Copernicus, Newton and other so-called natural philosophers.
Leibniz on Substance
In a passage from the Discourse on Metaphysics, Leibniz presents two
definitions of an individual substance, the first of which shows the clear
influence of Aristotle's definition from the Categories:
It is of course true that when a number of predicates are attributed to a
single subject while this subject is not attributed to any other, it is called
an individual substance. But this is not enough, and such a definition is
merely nominal. We must consider, then, what it means to be truly
attributed to a certain subject . . . So the subject term must always
include the predicate term in such a way that anyone who understands
perfectly the concept of the subject will also know that the predicate
pertains to it. This being premised, we can say that it is the nature of an
individual substance or of a complete being to have a concept so
complete that it is sufficient to make us understand and deduce from it
all the predicates of the subject to which the concept is attributed. An
accident, on the other hand, is a being whose concept does not include
everything that can be attributed to the subject to which the concept is
attributed. (PPL 307)
While Leibniz does not reject the criterion of substance put forth by
Aristotle in the Categories, he does think that it does not provide a
sufficiently complete criterion. What needs to be added is a further
criterion, namely his own conception of substance as a complete concept.
This conception is grounded in Leibniz's definition of truth as concept-
128
129
130
Kant on Substance
The goal of Kant's metaphysical deduction was to show that there are 12
basic forms of judgement that underlie our ability to judge and thus
understand anything. The ability to use these forms of judgement, in turn,
presupposes the use of the corresponding 12 pure concepts of the
understanding or categories. Thus corresponding to the categorical form
of judgement (S is P] is the category of inherence and subsistence, or
substance and accident. The categorical form of judgement falls under the
heading of relation along with the hypothetical and the disjunctive forms
of judgement. Thus the categorical form of judgement consists of a subject,
a predicate and a copula that binds them. This form of judgement imposes
no conditions upon the kind of concept that can serve as a subject concept.
Thus in the two sentences 'Every philosopher is human' and 'Every human
is an animal', the word 'human' designates a predicate concept in the first
sentence and a subject concept in the second. However, according to the
category of substance and inherence, a substance is that 'which can exist as
subject and never as a mere predicate' (B149). On such a criterion of
substance the word 'human' would not designate a substance because it
can designate a predicate concept as well as a subject concept. Thus the
131
132
Kant, is not concerned with the derivation of concepts from objects but
with the subjective conditions that make the derivation of concepts
possible in the first place. Kant calls transcendental reflection, 'the
comparison of representations with the cognitive faculty by which it
belongs, and by means of which I distinguish whether it is as belonging to
the pure understanding or to sensible intuition that they are to be
compared with each other' (A261/B317). A transcendental reflection,
then, is concerned with determining the sources of our concepts by
determining to which cognitive faculties they owe their origin. An
amphiboly is simply an ambiguity. So Kant's basic criticism of Leibniz is
that in his reflection on concepts he conflates concepts whose source lies in
the understanding with concepts whose source lies in sensibility.
Kant claims that there are four basic relations by which concepts in the
mind can be compared with each other: (1) identity and difference; (2)
agreement and opposition; (3) inner and outer; and (4) form and matter.
In contrast to Leibniz, he insists that to determine in what way concepts
are the same or different, in agreement or disagreement, and so on,
requires not just a comparison of the concepts but a determination of
whether they owe their origin to the understanding or sensibility. Kant
thus contrasts logical reflection that is concerned solely with the
comparison of concepts with transcendental reflection that is concerned
solely with determining to which cognitive faculty the concepts being
compared owe their origin.
According to Kant,
Leibniz's monadology has no basis whatsoever save his mode of
representing the distinction of inner and outer merely in relation to the
understanding. Substances in general must have some internal nature
which is therefore free from all outer relations, and consequently also
from composition. The simple is therefore the basis of that which is
inner in things-in-themselves. But that which is inner in the state of a
substance cannot consist in place, shape, contact, or motion (these
determinations being all outer relation, and we can therefore assign to
substances no inner state save that through which we ourselves inwardly
determine our sense, namely, the state of the representations. (A274/B330)
The basis of Leibniz's monadology, according to Kant, rests upon his
contention that the distinction between inner and outer is characterized
solely in terms of concepts of the understanding. But to characterize a
substance solely in terms of concepts is to characterize it solely in terms of
133
134
135
through analytic judgements, hence the only way to account for our ability
to know such objects is to invoke synthesis. One must choose, then,
whether simple substance, a product of pure concepts, or phenomenal
substance, a product of concepts and intuitions, is to be taken as primary.
Kant comes down on the side of phenomenal substance, but the price he
pays is to settle for a conception of substance consisting solely of relations
with no internal nature of its own other than permanence through time.
Leibniz's sin, in Kant's eyes, was that he believed that things in themselves
could be known purely through conceptual thought. As Kant explains:
Leibniz erected an intellectual system of the world, or rather believed that
he could obtain cognition of the inner nature of things by comparing all
objects merely with the understanding and with the separated, formal
concepts of its thought . . . He compared all things with each other by
means of concepts alone, and naturally found no other differences save
those only through which the understanding distinguishes its pure
concepts from one another. The conditions of sensible intuition, which
carry with them their own differences, he did not regard as original,
sensibility being for him only a confused mode of representation, and
not a separate source of representations. Appearance was, on his view,
the representation of the thing in itself. (A270/B326)
Leibniz, according to Kant, believed that the understanding can cognize
things in themselves through the logical analysis of concepts. What he
failed to recognize was that the cognition of an object requires more than
the logical analysis of concepts. It also requires an act of synthesis by which
intuitions provided to the understanding through sensibility are taken up
and combined into the concepts of empirical objects that make up our
experience of the world. Whereas Leibniz believed that objects could be
acquired solely through logical analysis, Kant believes that a concept can
be supplied with an object only through synthesis.
The epistemological constraints necessary to guarantee the reliability of
our claims to knowledge entail that objects of cognition cannot exist
independently of the synthesizing power of the mind. As Kant explains:
we cannot represent to ourselves anything as combined in the object
which we have not ourselves previously combined, and that of all
representations combination is the only one which cannot be given
through objects. Being an act of the self-activity of the subject, it cannot
be executed save by the subject itself. (B130)
136
137
138
Notes
I shall ignore the problem of whether or not a soul is a substance and
what its relationship is to the individual man or horse that Aristotle
cites as the paradigm examples of primary substance.
I have limited my discussion of Aristotle's conception of substance to
the views expressed in the Categories. Aristotle's conception of
substances in such works as the Physics, De Anima, and especially the
Metaphysics adds numerous complications to the picture of substance. I
could find no way of accurately discussing this other conception of
substance without expanding the scope of the discussion far beyond
what is needed in this work.
140
His solution was to invoke the context principle: only in the context of a
sentence does a word have meaning. On the strength of this, Frege
converts the problem into an enquiry how the senses of sentences
containing terms for numbers are to be fixed. There is the linguistic turn.
The context principle is stated as an explicitly linguistic one, a principle
concerning the meaning of words and their occurrence in sentences; and
so an epistemological problem with ontological overtones, is by its
means converted into one about meanings of sentences. (FPM 111)
An important consequence of the linguistic turn, on Dummett's reading of
Frege, is that logical categories determine ontological commitment.
Now Frege's use of the ontological term 'object' is strictly correlative to his
use of the linguistic term 'proper name': whatever a proper name stands
for is an object, and to speak of something as an object is to say that there
is, or at least could be, a proper name which stands for it. The question
then naturally arises in which realm, the linguistic or the ontological, the
primary principle of classification is to be applied. (FPL 556)
Dummett claims that for Frege the primary principle of classification is
linguistic: 'For a name introduced by a contextual definition, there simply
is no answer to the question what its reference is on its own; all we have is a
method of explaining the truth-condition of any sentence in which it
occurs' (FP 496).
Frege, then, attempts to use the context principle in the Foundations to
establish the existence of numbers as logical objects. But this attempt to use
logic alone to establish the existence of abstract objects leaves what
Dummett calls 'a residual uneasiness': 'In what sense are we entitled to
suppose that abstract objects are constituents of an external reality, when
the possession of reference by their names has been interpreted as a matter
wholly internal to the language?' (FPL 499).
But if the assignment of meaning to numerical expressions is a matter
that is wholly internal to the logical language, then it is unclear how the
numbers that are meanings of the numerical expressions can exist as selfsubsistent objects wholly independent of the logical language by which
they are grasped. Thus if one pushes the implications of using a contextual
definition to define numbers to its logical conclusion, then it would appear
that numbers cannot exist independently from whatever language we are
using to define them. 'Thus', Dummett concludes, 'in a certain sense . . . for
Frege, the world does not come to us articulated in any way; it is we who,
141
by the use of our language (or by grasping the thoughts expressed in that
language), impose a structure on it' (FPL 5034).
We will return to section 62 of the Foundations, and Dummett's
assessment of its ontological implications later. Before doing so, however,
we need to see how Frege was led to invoke the context principle to
attempt a contextual definition of number. Prior to his own positive
attempt to define numbers Frege offers a critical assessment of the attempts
of his predecessors and contemporaries to provide a definition of number.
What follows will be a selective account of some of Frege's criticism.
142
143
144
conception numbers would not be objects since they do not exist in space
and time and they do not have causal efficacy. For Frege, there is no reason
to limit our conception of an object to the realm of the actual, and thus no
need to deny that numbers are objects just because they are not actual.
145
146
concept of a cat. With such a concept I am able to distinguish cats from other
animals like dogs and gerbils, but such a concept does not allow me to
distinguish one cat from another. For having abstracted from all of the
features that are common to all cats, I am unable to use the resulting concept
to distinguish one cat from another. But that is just what we need the concept
of number to do: to be able to distinguish one number from another. So if
you want to define number as an object, as Frege seeks to do, the process of
abstraction will be of no use. For at best it enables us to distinguish an object
that falls under one concept, a cat, say, from an object that falls under
another, a dog, but it does not enable us to distinguish one cat from another.
Such an approach might well tell us what kind of thing a number is, but it
will not enable us to distinguish one number from another.
So to account for the nature of numbers in terms of units it is not
enough merely to claim that one can define a number simply by
abstracting out all differences between objects and treating numbers as
identical units. It is also necessary to explain the diversity of numbers.
Frege summarizes the problems faced by his predecessors and
contemporaries in their attempts to give an adequate definition of the
concept of number in terms of the concepts of one and unity:
If we try to produce the number by putting together different objects,
the result is an agglomeration in which the objects contained remain
still in possession of precisely those properties which serve to distinguish
them from one another; and that is not the number. But if we try to do
it in the other way, by putting together identicals, the results run
perpetually together we never reach a plurality.
If we use 1 to stand for each of the objects to be numbered, we make
the mistake of assigning the same symbol to different things. But if we
provide the 1 with differentiating strokes, it becomes unusable for
arithmetic. (FA 50)
Frege's definition of number is designed to meet these deficiencies in his
predecessors' and contemporaries' attempts at definition. He prefaces his
solution to the problem with a question. When a statement of number is
made, what are we asserting it of? Frege thinks that light can be shed on
this question by examining the context in which judgements involving
numbers are used:
While looking at one and the same external phenomenon, I can say
with equal truth both 'It is a copse' and 'It is five trees', or both 'Here
147
are four companies' and 'Here are 500 men'. Now what changes here
from one judgement to the other is neither any individual object, nor
the whole, the agglomeration of them, but rather my terminology. But
that is itself only a sign that one concept has been substituted for
another. This suggests as the answer to the first of the questions left open
in our last paragraph [see previous quote], that the content of a
statement of number is an assertion about a concept. (FA 59)
In Frege: Philosophy of Mathematics, Dummett suggests translating the last
clause as 'that the content of an ascription of number consists in
predicating something of a concept' (FPM 88). Dummett's translation
illuminates the point that for Frege to attribute a number to something is
to predicate an expression, containing a number word as a component, to
the concept under which the object or objects to be counted fall. If a
number of soldiers are standing in order in a field and a general points to
the formation and asks a subordinate 'How many?', the subordinate will
give a different answer depending upon whether he thinks the general is
asking him how many men or how many companies. In the sentence 'Four
companies consist of 500 men', '500' is an element in the predicate '500
men'. In particular it is a singular term that designates the number 500.
This predicate is, in turn, attributed to the predicate 'four companies'
which designates a concept under which the mustered soldiers fall.
For Frege, whether the same external phenomenon is treated as four or
500 depends upon what concept the external phenomenon falls under.
Commenting on Frege's claims that we can say with equal truth of the
same external phenomenon that 'Here are four companies' and 'Here are
500 men', Michael Ayers claims that Frege 'did so without reflecting on
the different ontological status of companies and men. Accordingly, he
regarded natural unity as a psychological matter' (Ayers 118). Ayers cites
an earlier passage from the Foundations to support this claim:
The more the internal contrasts within a thing fade into insignificance
by comparison with the contrasts between it and its environment, and
the more the internal connexions among its element overshadow its
connexions with its environment, the more natural it becomes for us to
regard it as a distinct object. For a thing to be 'united' means that it has
a property which causes us, when we think of it, to sever it from its
environment and consider it on its own. (FA 42)
Ayers concludes from these two passages that, 'For Frege, all unity is
148
149
the number 0 belongs to a concept, if the proposition that a does not fall
under that concept is true universally, whatever a may be.
Similarly we could say: the number 1 belongs to a concept F, if the
proposition that a does not fall under F is not true universally, whatever
a may be, and if from the propositions 6a falls under F and 6b falls under
F it follows that a and b are the same.
It remains still to give the general definition of the step from the given
number to the next. Let us try the following formulation: the number (n +
1) belongs to a concept F, if there is a number falling under F and such that
the number n belongs to the concept Tailing under F, but not a\ (FA 67)
Despite their initial plausibility, however, Frege rejects these definitions on
the somewhat obscure grounds that
we can never to take a crude example decide by means of our
definitions whether any concept has the number Julius Caesar
belonging to it, or whether that same familiar conqueror of Gaul is a
number or is not. Moreover we cannot by the aid of our suggested
definitions prove that, if the number a belongs to the concept F and the
number b belongs to the same concept, then necessarily a = b. Thus we
should be unable to justify the expression 'the number which belongs to
the concept F9, and therefore should find it impossible in general to
prove a numerical identity, since we should be quite unable to achieve a
determinate number. It is only an illusion that we have defined 0 and 1;
in reality we have only fixed the sense of the phrases
'the number 0 belongs to'
'the number 1 belongs to'
but we have no authority to pick out the 0 and 1 here as self-subsistent
objects that can be recognized as the same again. (FA 68)
The first problem with the proposed definition is that by itself it will not let us
distinguish an object, like Julius Caesar, who is clearly not a number, from an
object, like 1, which is a number. To know that T refers to a number and
Julius Caesar' does not requires that we at least know what kind of thing ' 1'
refers to. However, there is nothing in the above definitions that would
enable us to determine this. Secondly, from such a definition we are not able
to infer that if two numbers belong to the same concept, then the numbers
are identical. A criterion of identity is required to determine that if a numbers
the concept F and b numbers the concept F, then a is identical with b. As a
result of these two deficiencies the proposed definitions cannot produce a
150
151
152
objects is consistent with his claim that number words acquire their
meaning only within the context of a proposition:
The self-subsistence which I am claiming for number is not to be taken to
mean that a number word signifies something when removed from the
context of a proposition, but only to preclude the use of such words as
predicates or attributes, which appreciably alters their meaning. (FA 72)
Here Frege appears to hedge upon his claim that numbers are selfsubsistent objects. Unlike in the Begriffsschrift where numbers are
contrasted with variables and quantifiers in that their meaning is fixed
independently of their roles in propositions, Frege now believes that
numbers can be considered to be self-subsistent objects even though their
meaning is now acquired only in the context of a sentence. Does this mean
that the ontological status of numbers is somehow parasitic upon the
logical language through which they are grasped? Frege's claim that
numbers are self-subsistent is simply meant to contrast them with
predicative or attributive expressions, and certainly seems to encourage
such a reading. For the difference between a singular term and a predicate
expression is a logical contrast not an ontological one. Whereas the claim
that numbers are self-subsistent carries with it the connotation of
independent existence, the contrast between singular terms and predicates
or attributes need not imply that numbers have independent existence but
only that the numerical expressions that designate numbers serve a
different logical role in propositions than do predicate expressions.
153
154
155
number of Waverley novels that Scott wrote is the same as the number of
counties in Utah, then knowing that the number of counties in Utah is 29
and that Scott wrote just as many Waverley novels enables one to infer
that Scott wrote 29 Waverley novels. Whatever number falls under the
first concept falls under the second.
However, the above definition does not solve the other half of the Julius
Caesar problem. For it does not tell us what kind of a thing a direction is
and thus gives us no means of distinguishing a direction from a country,
say, or any other thing that is not a direction. 'What we lack', says Frege,
'is the concept of direction; for if we had that, then we could lay it down
that, if q is not a direction, our proposition is to be denied' (FA 78). The
same problem holds true for the concept of number. The definition, then,
has given us a criterion for determining a number as the same again but it
has not established what kind of thing a number is. As long as an identity is
asserted between two numbers as falling under the same concept, then the
definition works. But when an identity is asserted between a number and,
say, Julius Caesar (e.g. the number of Fs = Julius Caesar), then the
definition gives us no means of determining the truth of this identity
because it offers no means of determining what kind of thing a number is
and thus no means of determining whether or not Julius Caesar is a
number. We can tell by the role that number-words play in true
arithmetical sentences that they refer to self-subsistent objects, but we
cannot tell from this role what kind of self-subsistent objects they are. On
the force of this objection Frege relinquishes his attempt to give a
contextual definition of number and instead offers an explicit definition of
number as the extension of a concept. The attempt to give a contextual
definition of number has failed because it cannot tell us what kind of thing
a number is. To account for this deficiency Frege offers an explicit
definition of numbers in terms of extensions of concept:
Seeing that we cannot by these methods obtain any concepts of
direction with sharp limits to its application, nor therefore, for the same
reasons, any satisfactory concept of Number either, let us try another
way. If line a is parallel to line b, then the extension of the concept 'line
parallel to line <2? is identical with the extension of the concept 'line
parallel to line V\ and conversely, if the extensions of the two concepts
just named are identical, then a is parallel to b. (FA 79)
He observes that if one replaces lines with concepts and parallelism with
'the possibility of correlating one to one the objects which fall under the
156
one concept with those which fall under the other', then one could define
the concept of number as follows: 'the Number which belongs to the
concept /MS the extension of the concept "equal to the concept F*''(FA 79
80). Frege thinks that this definition succeeds where the previous one failed
because it tells us what kind of thing a number is, namely the extension of a
concept. Of course it was just this move that eventually led to the fatal
consequences of Russell's paradox.
Note
1
158
The example that Frege chooses is one about which he takes us to have
strong intuitions: Whatever numbers may be, Caesar is not among
them. Thus, there must be more to our apprehension of numbers than a
mere recognition that they are objects that satisfy HP [Hume's
principle]. Something explains why 'no one is going to confuse [Caesar]
with the [number zero]'. Frege's conclusion is that any complete
account of our apprehension of numbers as objects must include an
account of how we recognize that Caesar is not a number. But HP alone
yields no such explanation. (Heck 2005, 1712)
Now Kant's diagnosis of what went wrong for Frege would undoubtedly
focus on the fact that Frege's definition seeks to derive an object solely from
a concept, without any mediating assistance from intuition. But the only
way to derive an object from a concept is through the schematism of the
categories. Since the category of substance is the category that produces
objects of experience out of the sensible data of intuition, Frege's failure to
invoke such a schematism explains his inability to produce a coherent
notion of number as a logical object. As Kant explains:
If I leave out permanence (which is existence in all time), nothing remains
in the concept of substance save only the logical representation of a subject
a representation which I endeavour to realise by representing to myself
something which can exist only as subject and never as predicate. But not
only am I ignorant of any conditions under which this logical preeminence may belong to anything; I can neither put such a concept to any
use, nor draw the least inference from it. For no object is thereby
determined for its employment, and consequently we do not know
whether it signifies anything whatsoever. (A242-3/B301)
For Kant, if you will recall, 'The schema of substance is permanence of the
real in time, that is, the representation of the real as a substrate of
empirical determination of time in general, and so as abiding while all else
changes' (A143/B183). And 'Permanence is . . . a necessary condition
under which alone appearances are determinable as things or objects in a
possible experience (A189/B232). For all of the attributes and relations
that make up an object, the red of a ball, the texture of its surface, its size,
and so on, there must be an underlying permanent substratum around
which those attributes and relations are ordered. When the colour of the
ball fades from red to pink, or it loses its roundness by being punctured, it
is the same object that is undergoing these changes. Without a permanent
159
160
161
162
Kant on Objects
We have stated above that appearances are themselves nothing but
sensible representations, which, as such and in themselves, must not be
taken as objects capable of existing outside our power of representation.
What, then, is to be understood when we speak of an object
corresponding to, and consequently also distinct from, the cognition?
It is easily seen that this object must be thought only as something in
general = x, since outside of our cognition we have nothing which we
could set over against this cognition as corresponding to it. (A 104)
163
164
165
critical turn is to avoid lapsing into absurdity, he must give some account
of how the faculty of sensibility is supplied with content that is distinct
from the sensible conditions of space and time. He thus must admit that
there are also objects in the latter sense that he calls things-in-themselves or
transcendental objects. The third kind of object, because it is completely
independent of the conditions that make cognition of an object possible,
can only be thought by reason; it cannot be known.
Kant on Existence
The difference in ontological status that Kant's conception of substance
has in relation to the traditional conception of substance is also illustrated
by his conception of existence. As he explains in the Critique:
'Being' is obviously not a real predicate; that is, it is not a concept of
something which could be added to the concept of a thing. It is merely
the positing of a thing, or of certain determinations, as existing in
themselves . . . The small word 'is' adds no new predicate, but only
serves to posit the predicate in its relation to the subject. (A598/B626)
According to Kant, existence is not a real predicate because it is not a
property that can add anything to my concept of a thing. If I say 'That ball
is red' I am saying something determinate about the object in front of me by
bringing it under a concept. But if I say 'That ball is' I add nothing to my
concept of the ball. I merely state that the bundle of properties whose
combination makes up my concept of the ball is not merely possible but
actual. Existence is a predicate that when applied to the bundle of properties
that make up a possible object of experience signifies that the object is actual.
The relationship between existence and actuality in Kant's philosophy
can be illuminated by an examination of the categories of modality:
The categories of modality have the peculiarity that, in determining an
object, they do not in the least enlarge the concept to which they are
attached as predicates. They only express the relation of the concepts to
the faculty of cognition. Even when the concept of a thing is quite
complete, I can still enquire whether this object is merely possible or is
also actual, or if actual, whether it is not also necessary. No additional
determinations are thereby thought in the object itself; the question is
only how the object, together with all its determinations, is related to
166
Frege on Existence
Parsons sees Kant's claim that existence is not a real predicate as a
harbinger of the modern notion of an existential quantifier. Since it was
Frege who first developed modern quantification theory, it should come as
no surprise that he has a conception of existence very similar to Kant's. As
he explains in 'On Concept and Object':
I have called existence a property of a concept. How I mean this is to be
taken is best made clear by an example. In the sentence 'There is at
least one square root of 4', we are saying something, not about (say) the
definite number 2, nor about - 2, but about a concept, square root of 4;
viz. That it is not empty. (FR 189)
Frege had already developed this view of existence when he wrote the
Foundations. Thus in a discussion of whether numbers are derived by
abstraction from things, Frege criticizes those who make
167
168
169
170
171
Notes
1
173
For Leibniz, the intelligible objects that are apprehended through the light
of nature are innate ideas, and since the objects of mathematics are
intelligible objects, they are innate ideas. As he explains in New Essays on
Human Understanding:
the whole of arithmetic and of geometry should be regarded as innate,
and contained within us in an implicit way, so that we can find them
within ourselves by attending carefully and methodically to what is
already in our minds, without employing any truth learned through
experience or through being handed on by other people. (NE 77)
Leibniz contrasts pure ideas from images of the senses and necessary truths
or truths of reason with truths of fact. While he acknowledges that abstract
thought requires the use of sensible symbols, he still insists that since
experience cannot account for the necessity of the truths of reason it cannot
account for our ability to grasp innate ideas. Instead, the ground of
necessity lies within us. 'On any view of the matter', he insists, 'it is always
manifest in every state of the soul that necessary truths are innate, and that
they are proved by what lies within, and cannot be established by
experience as truths of fact are' (NE 79).
In contrast to John Locke's belief that all of our ideas come ultimately
from the senses, Leibniz claims that 'all the thoughts and actions of our
soul come from its own depths and could not be given to it by the senses'
(NE 74). Leibniz agrees that the outer senses 'can be said to be, in a
certain sense, partial causes of our thoughts', but he nevertheless insists
that 'there are ideas and principles which do not reach us through the
senses, and which we find in ourselves without having formed them,
though the senses bring them to our awareness' (NE 74). He insists that the
certainty of innate principles does not rest on universal consent but instead
on reflection upon what is certain within us:
I conclude that a principle's being rather generally accepted among
men is a sign, not a demonstration, that it is innate; and that the way
for these principles to be rigorously and conclusively proved is by its
being shown that their certainty comes only from what is within us'
(NE 74).
The objects of mathematics, then, according to Leibniz, are intelligible
objects apprehended by the understanding through the exercise of the
natural light of reason. Since all intelligible objects are innate ideas, and
174
175
176
177
178
proof without making use of truths which are not of a general logical
nature, but belong to the sphere of some special science, then the
proposition is a synthetic one. For a truth to be a posteriori, it must be
impossible to construct a proof of it without an appeal to facts, i.e., to
truths which cannot be proved and are not general, since they contain
assertions about particular objects. But if, on the contrary, its proof can
be derived exclusively from general laws, which themselves neither need
nor admit of proof, then the truth is a priori. (FA 4)
To call a proposition analytic, say, or a posteriori, according to Frege, has
nothing to do with physiological, psychological or physical conditions that
make the judgement possible, but rather with 'the ultimate ground upon
which rests the justification for holding it to be true' (FA 3). He stresses
that viewing the distinctions in this way removes the question about the
justification of a judgement from the realm of psychology. To justify the
truth of a proposition it is inappropriate to talk about when or how the
truth was discovered. What is necessary is that we are able to follow the
proof of the proposition back to the primitive truths upon which it
depends. If the truth can be derived from general laws that neither need
nor admit of proof, then it is a priori.
For Kant, a priori cognition is cognition that is independent from
experience. The marks of the a priori are necessity and strict universality.
What makes a judgement necessary for Kant is not the content of the
judgement but the intentional attitude that the person making the
judgement has toward the content of the judgement. While Kant calls a
wide variety of things a priori, the basis of the a priori lies in faculties and
capacities of the human mind.
This outlook is grounded in Kant's belief that the only way to account
for the possibility of a priori cognition is to start with the premise that it is
the representation that an object must conform to:
There are only two possible ways in which synthetic representations and
their objects can establish connection, obtain necessary relation to one
another, and, as it were, meet one another. Either the object alone must
make the representation possible, or the representation alone must make
the object possible. In the former case, this relation is only empirical, and
the representation is never possible a priori. (A92/B124-5)
You cannot answer the question of how a priori cognition is possible if you
start from the premise that the object alone can make cognition possible. For
179
180
mind of God and not human beings. Frege declines to follow Leibniz's
characterization of a priori truths in terms of innate ideas. And while he
does not claim that a priori truths exist in the mind of God, he does think
their existence in no way depends upon the minds of human beings.
To appreciate the extent to which Frege's philosophical outlook is similar
to Leibniz's, and the extent to which it is different, let us take one last look at
Leibniz's claim that relations are ideal. According to Leibniz, an accident is
peculiar to the substance that it belongs to. While both Plato and Socrates
fall under the concept of wisdom, the wisdom that inheres in Socrates is
different from the wisdom that inheres in Plato. Hence, while two subjects
can fall under the same concept, the same accident cannot be in two subjects
at once. In the sentences 'David is a father' and 'Solomon is a son', the
attributes of being a father and being a son, designated by the predicates of
the sentences, are real attributes which inhere in David and Solomon
respectively. However, in the sentence that David is the father of Solomon,
the relational expression '... is the father o f ' does not designate a real
relation between David and Solomon. Instead, it is a mental construct
grounded in the attributes of being a father and being a son, which, in turn,
are modifications of David and Solomon. As Leibniz explains:
It is no wonder that the number of numbers, or that of all possibilities, all
reflexions or all relations, are not distinctly understood, for they are ideae
imaginariae, nor does anything correspond to them in reality; so if there is
a relation between A and B and this relation is called C, and a new
relation between A and C is considered, called D, and so on, ad infinitum,
it is clear that we would not say that all these relations are true and real
ideas. For those things only are intelligible which can be produced, that
is, which have been produced or are being produced. (Mates 1986, 222)
In the case of the name 'Socrates' there is something that corresponds to it
in reality: namely, Socrates. The word 'pale' corresponds to the pallor in
Socrates when Socrates is pale and when Socrates is no longer pale, the
particular pallor no longer exists. However, in the case of the sentence
'Theatetus is taller than Socrates', while there is something corresponding
to the words 'Theatetus' and 'Socrates' there is nothing in reality that
corresponds to the relational expression '... is taller than -'. As Leibniz
explains: T believe that qualities are just modifications of substances, and
that the understanding adds relations' (Mates 1986, 223).
However, when Leibniz says that relations are not real but ideal, he
does not mean that they are only subjective ideas that are predicated to an
181
182
184
presentation of whatever object falls under the description, and not to the
meaning of the proper name. Frege identified the sense of a name with the
sense of a definite description not because he thought that a definite
description was synonymous with the conventional meaning of the name
but because a definite description gives linguistic expression to the mode of
presentation by which the object designated by the name can be identified.
For Frege, the mode of presentation of the name's bearer is contained in
the sense, and a sense is a mind-independent object. Senses do not depend
upon the existence of a language or of language-users. While human beings
can grasp senses only through the employment of language, senses exist
independently from the meaning of the words that express them. The sense
of a name, while accessible through language, is not dependent on
language. A sense can be grasped through the use of language, but it is not
a product of language. As Frege explains:
we distinguish the sentence as the expression of a thought from the thought
itself. We know we can have various expressions for the same thought. The
connection of a thought with one particular sentence is not a necessary one;
but that a thought of which we are conscious is connected in our mind with
some sentence or other is for us men necessary. But that does not lie in the
nature of the thought but in our own nature. There is no contradiction in
supposing there to exist beings that can grasp the same thought as we do
without the need to clad it in a form that can be perceived by the senses.
But still for us men there is this necessity. (PW 269)
While human beings can grasp a thought only through the use of
language, thoughts exist independently from whatever language is being
used to grasp them. The fact that human beings can grasp thoughts only
through the use of language does not mean that the objectivity of thoughts
is dependent upon the language used to grasp them. The construction of
ever more sophisticated logical languages brings the human mind closer
and closer to the objective structure of truth. But there is a fundamental
difference between the objective structure of truth and whatever logical
language is being used by human beings to grasp such a structure.
This last passage comes from a posthumously published essay written
late in Frege's career. However, the roots of such a view can be found as far
back as the Foundations:
What is known as the history of concepts is really a history either of our
knowledge of concepts or of the meanings of words. Often it is only after
185
186
dismantled and replaced with a new one. The construction of each new
system hopefully brings us closer and closer to an understanding of the
science's objects and concepts in their purest form. But each system is just
that: a construction that hopes to capture the concepts and objects of a
science in their purity but invariably falls short due to human limitations.
Frege certainly did not share Aristotle's interest in classifying entities
and explicating their relations to each other in terms of ontological
categories such as substance, quality, quantity, and so on. But that should
come as no great surprise given that he had a much narrower
philosophical goal, which was to define the concept of a number and
explain how numbers are applicable to things. Given this goal, and given
the nature of the new logical language that he had developed to achieve it,
he required an extremely wide conception of what constitutes an object.
Aristotle treats a man as a substance and a number as a quantity, whereas
Frege treats both men and numbers as objects. But this does not mean that
Frege failed to recognize a difference in ontological status between a man
and a number. Indeed, the Julius Caesar problem that ultimately leads to
Frege's rejection of his attempted contextual definition of numbers rests on
his acknowledgement that Julius Caesar is a different kind of entity than
the number 4. The problem with his attempted contextual definition of
number is that it cannot account for this difference. Frege's ontology
distinguishes actual objects from abstract objects instead of distinguishing
(as does Aristotle's ontology) between primary substances, secondary
substances and categories other than substance.
In rejecting Aristotle's substance-based conception of what constitutes an
object, Frege expanded the scope of what constitutes an object to include
numbers and other non-actual entities. But this does not imply that he is
committed to some form of radical conceptual relativism where what
constitutes an object is simply relative to whatever conceptual scheme
someone chooses to impose upon the world. Numbers for Frege are selfsubsistent, mind-independent objects existing in an abstract realm distinct
from whatever linguistic means human beings have at their disposal at any
point in time to access them. Frege did believe it possible to yield different
kinds of objects from the same external phenomenon by bringing the
phenomenon under different concepts. Nevertheless he believed that the
concepts we impose upon the world, as well as the numbers that we use to
number things in the world, are objective and mind-independent.
Conventional scientific meaning (the meaning of a scientific term as
understood by current practitioners of whatever science it is a term of) is a
cousin to conventional linguistic meaning. In both cases the meaning of the
187
expression only approximates the sense that it seeks to express. The distinction
between the conventional scientific meaning of a word and the sense it seeks to
express runs parallel to the distinction between the history of our grasp of a
concept and the concept itself. While a thought can be analysed in a variety of
different ways by whatever language a scientist has at her disposal, the
objectivity or existence of a thought being analysed does not depend upon the
existence of whatever scientific language is being used to analyse it.
188
189
190
191
Once the definition failed due to the Julius Caesar objection, Frege
showed no inclination to abandon his conception of numbers as logical
objects. In the closing paragraph of'Appendix IF of Volume II of the Basic
Laws, written in response to the discovery of Russell's paradox, Frege says:
The prime problem of arithmetic is the question, In what way are we to
conceive logical objects, in particular, numbers? By what means are we
justified in recognizing numbers as objects? Even if this problem is not
solved to the degree I thought it was when I wrote this volume, still I do
not doubt that the way to the solution has been found. (BLA 143)
While Frege never achieved his quest to catch the ever-elusive logical
object, the tools he developed, both logical and philosophical, to aid him in
his quest have proven to be highly influential. Frege did indeed shift the
focus of philosophical attention away from the Cartesian concern with the
relationship between the mind and the world to a concern with the
relationship between word or symbol and object, as Dummett has asserted.
His new logical language is employed in an attempt to establish arithmetic
upon firm epistemological foundations by grounding it in purely logical
foundations. His context principle is used to give a semantic answer to the
epistemological problem of how numbers can be grasped if they cannot be
perceived, imagined or intuited. This shift in focus did indeed initiate a
linguistic turn in philosophy, but to characterize this shift merely as the
overthrow of the Cartesian epistemological tradition is to paint an
incomplete picture of Frege's achievement.
Frege replaces the notion of an object as a substance with an inner core
of essential attributes around which accidents and external relations inhere
with a more general conception of an object as anything that is not a
function. Self-subsistence is all that is left of his notion of an object. Frege's
conception of objects as self-subsistent does not involve any talk of essential
attributes. Instead he uses purely syntactical criteria in his characterization of objects as self-subsistent. If a word acquires its meaning only in the
context of a proposition, and a numerical expression behaves like a
singular term (e.g. it can take the definite article, can be used in identity
statements, etc.), then if the proposition it is contained within is true, the
numerical expression designates a number.
Frege's logical developments opened up a new realm of discovery hitherto
out of reach by the methods of traditional logic. His new quantifier/variable
notation broadened the conception of what counts as an object beyond the
phenomenal substances or possible objects of experience of his predecessors.
192
He introduced the technical tools with his new logic as well as the
philosophical underpinnings with his context principle, sense/reference and
concept/object distinctions, by which this new realm could be explored.
Given its origins in reflection on the nature and relationship between logic
and arithmetic, the territory to be charted possessed a highly abstract and
general nature. This realm was a world apart, so to speak, from the world of
individual substances that formed the starting-point of Aristotle's philosophical speculations. Here Kant was the midwife. By disconnecting the
conception of an object from the notion of a substance as an independently
existing object (a thing in itself) and claiming that existence was not a real
predicate, Kant furnished Frege with the material to expand the scope of
what can legitimately be counted as an object beyond the limits imposed by
Aristotle's substance-based conception of philosophy as well as the different
limits imposed by Kant's critical philosophy.
However, Frege rejects the limits that Kant's critical philosophy places
upon reason and returns to a more robust Leibnizian conception of the scope
and power of pure reason as exemplified in the concept-script, a universal
characteristic meant to capture both the form and the content of judgements.
It is this spirit, I suggest, that lies behind Frege's attempt to give a contextual
definition of number. Frege saw logic as the means to free arithmetic from the
last vestiges of intuition and finally establish its truths on firm logical
foundations. His attempted contextual definition of number in the Foundations
marks the peak of his attempt to develop universal characteristic with the
power that Leibniz had dreamed of. If successful it would have shown how it
is possible to fix the sense of an expression designating a logical object using
only conceptual resources. It would have established the rationalist quest to
show that logic possesses content as well as form. However, Frege's failure to
provide a consistent definition of numbers as logical objects marked the end of
this dream but certainly not the end of his influence.
In a note attached to his will, bequeathing his unpublished papers and
letters to his son Alfred, Frege wrote:
Dear Alfred,
Do not despise the pieces I have written. Even if all is not gold, there is
gold in them, I believe there are things here which will one day be
prized more highly than they are now. Take care that nothing gets lost.
Your loving father.
It is a large part of myself which I bequeath to you herewith.
(PW ix)
193
Bibliography
196
Arithmetic, for Pure Thought, in Frege and Godel: Two Fundamental Texts in
Mathematical Logic, ed. Jean van Heijenoort, Cambridge, MA: Harvard
University Press (Bgfin text).
(1972), Conceptual Notation and Related Articles, trans, and ed.
Terrell Ward Bynum, Oxford: Clarendon Press (CN in text).
(1979), Posthumous Writings, ed. Hans Hermes, et al., Chicago,
IL: University of Chicago Press (PW in text).
(1980a), Foundations of Arithmetic, trans. J. L. Austin, 2nd rev. edn,
Evanston, IL: Northwestern University Press (FA in text).
(1980b), Philosophical and Mathematical Correspondence, ed.
Gottfried Gabriel et al., Oxford: Basil Blackwell (PMC in text).
(1984), Collected Papers on Mathematics, Logic and Philosophy, ed.
Brian McGuinness, trans. Max Black et al., Oxford: Basil Blackwell (CP
in text).
(1997), Frege Reader, ed. Michael Beaney, Oxford: Basil
Blackwell Publishers (FR in text).
Friedman, Michael (1992), Kant and the Exact Sciences, Cambridge, MA:
Harvard University Press.
Geach, Peter and Anscombe, G.E.M. (1961), Three Philosophers, Oxford:
Blackwell & Mott.
Geach, Peter (1980a), Reference and Generality (3rd edn), Ithaca, NY:
Cornell University Press.
(1980b), Logic Matters, Berkeley, CA: University of California Press.
Greimann, D. (2000), 'The judgment-stroke as a truth-operator: a new
interpretation of the logical form of sentences in Frege's scientific
language', Erkenntnis, 5.52: 213-38.
Grossmann, Reinhardt (1969)^ Reflections on Frege's Philosophy, Evanston,
IL: Northwestern University Press.
Guyer, Paul (1987), Kant and the Claims of Knowledge, Cambridge:
Cambridge University Press.
(ed.) (1992), The Cambridge Companion to Kant, Cambridge:
Cambridge University Press (CCK in text).
(ed.) (2006), The Cambridge Companion to Kant and Modern
Philosophy, Cambridge: Cambridge University Press.
Haaparanta, Leila (1985), Frege's Doctrine of Being, Acta Philosophica Fennica,
39, Helsinki: Philosophical Society of Finland.
Hanna, Robert (1990), 'Kant's theory of empirical judgment and modern
semantics', History of Philosophy Quarterly, 7.3: 335-51.
(2001), Kant and the Foundations of Analytic Philosophy, Oxford:
Clarendon Press.
Bibliography
197
Hatfield, Gary (1990), The Natural and the Normative: Theories of Spatial
Perception from Kant to Helmholtz, Cambridge, MA: MIT Press.
Heck, Richard G. Jr (2005), 'Julius Caesar and basic law V, Dialectica,
59.2: 161-78.
Jolley, Nicholas (ed.) (1995), Cambridge Companion to Leibniz, Cambridge:
Cambridge University Press (CCL in text).
Kant, Immanuel (1929), Critique of Pure Reason, trans. Norman Kemp
Smith, New York: St Martin's Press.
(1967), Philosophical Correspondence 1759-99, ed. and trans. Arnulf
Zweig, Chicago, IL: University of Chicago Press.
(1974), Logic, trans. Robert S. Hartman and Wolfgang
Schwarz, New York: Dover (Logic in text).
(1992), Lectures on Logic, trans, and ed. J. Michael Young,
Cambridge: Cambridge University Press (Jdsche Logic in text).
(1997), Prolegomena to any Future Metaphysics, trans, and intro.
James W. Ellington, Indianapolis, IN: Hackett.
(1998), Critique of Pure Reason, trans, and ed. Paul Guyer and
Allen Wood, Cambridge: Cambridge University Press.
Kaplan, David (1989), 'Demonstratives', in Themes from Kaplan, ed. Joseph
Almog, John Perry and Howard Wettstein, Oxford: Oxford University Press.
Kripke, Saul (1972), Naming and Necessity, Cambridge, MA: Harvard
University Press.
Leibniz, Gottfried (1956), Philosophical Papers and Letters, trans, and ed. Leroy
Loemker, Dordrect-Holland: D. Reidel Publishing Company (PPL in text).
(1966), Logical Papers, trans, and ed. G.H.R. Parkinson, Oxford:
Clarendon Press (LP in text).
(1986), New Essays on Human Understanding, ed. and trans. Peter
Remnant and Jonathan Bennett, Cambridge: Cambridge University
Press (NE in text).
(1989), Philosophical Essays, ed. and trans. Roger Ariew and
Daniel Garber, Indianapolis, IN: Hackett (PE in text).
Locke, John (1975), An Essay Concerning Human Understanding, ed. and intro.
Peter H. Nidditch, Oxford: Oxford University Press.
Longuenesse, Beatrice (1998), Kant and the Capacity to Judge, trans. Charles
T. Wolfe, Princeton, NJ: Princeton University Press.
Mates, Benson (1972), Elementary Logic, 2nd edn, New York: Oxford
University Press.
(1986), The Philosophy of Leibniz: Metaphysics and Language, New
York: Oxford University Press.
Mendelssohn, Moses (1997), 'On Evidence in Metaphysical Sciences', in
198
Index
200
Index
Kant/Wolff 71-2
logical form 12, 26-7, 61, 115
mathematical cognition 76-7
relative 148
substance 124
and truth 18
as truth-value 168
understanding 26, 679
conceptualism/realism 170
consciousness 27-30
content-stroke 49
context principle 139-40, 148-52, 154
contextual definition 159
contradiction 978
copula 47-8, 61, 63
Critique of Pure Reason (Kant) 2, 75-6,
107, 175
denomination 160
Descartes, Rene 2, 18, 191
determinate/indeterminate numbers 41
determinations 133, 134
differentia 6
dogmatism 701
Dummett, Michael 18-19, 140, 147,
153, 170, 183, 188-9
'Elements of Calculus' (Leibnitz) 94
empirical concepts 84
entia rationis 181
essential/non-essential elements 1001
existence 165-70, 167
experience 34
external things 141-2
Foundations of Arithmetic (Frege) 1314,
89-90, 108, 153, 184-5
Frege: Philosophy of Language (Dummett)
1, 18
Frege: Philosophy of Mathematics
(Dummett) 147
Frege's logical judgement forms 589,
61-2
Friedman, Michael 13
function 55-7
generality 179
Index
201
knowledge-of-grammar 126
language 37
Lanier Anderson, R. 107
Lectures on Metaphysics (Kant) 78
Leibniz, Gottfried
and appearances 69
arithmetic/geometry 73, 109, 111
denomination 160
and Frege 73-5, 92-3, 192-3
innate ideas 173
introduction 3
and Kant 8-9, 17, 70, 76, 131-5
and Locke 137
logical notation 114
one 144
primary/derivative truths 174
scope of reason 171
substance 127-9, 133, 162, 181-2
truth 93-6, 101, 179-81
universal characteristic 35-7
Locke, John 69, 136-7, 162, 173
logic
and arithmetic 335
concept-script 11617
concepts 12, 61, 115
description 5-6
formal 36
Frege's new 37-40
general 102-3
Kant's conception 256, 177
monadic 8, 13
notation 1, 114
polyadic 8, 13, 17
rules 24
202
Index
(Longuenesse) 81
propositions 80, 100, 160
psychology 25, 91
quantity/quantum 59, 78-9, 85
realism/conceptualism 170
reason 70
receptivity 69
reflection 26
representation
cognition 27
consciousness 28
various treatments 68-9
rules 23-4
Russell, Bertrand 15-17, 156
Rutherford, Donald 128
schema 80, 84, 85
Schroeder, Ernst 114
science 185-7
sense 10, 184
sensibility
faculty of receptivity 69
intuition 67, 69
and Kant 165
and Leibnitz 69
space/time 70
sentences, relational 745
Socrates 125-6, 180
soul 126, 138n.l
space/time 68-70, 77-8, 103-4, 110,
159
substance
and Aristotle 127, 169, 181, 186
attributes 123
and change 19
concepts 124
corporeal/incorporeal 6
independent 161-2
Leibniz 127-9
and Locke 136-7
and objects 19, 124, 158-9, 171, 191
phenomenal 161-2
primary/secondary 126, 1612
simple/phenomenal 1335
substantial form 12831
syllogistic theory 5-6, 31, 187-8, 190
symbols 39-40
and arithmetical calculation 76
symbolic/ostensive construction 79
synthesis 13, 103-8, 135, 178
systems 185
Table of Judgements 43-4, 81
things-in-themselves 72, 104, 135, 161,
165
thought 184
time
inner sense 28
and schema 85-6
'Transcendental Aesthetic' (Kant)
9-10, 71, 103
transcendental idealism 11, 1601
transcendental logic 1024
transcendental objects 161, 165
truth
Index
a posteriori I a priori 178
concept/containment 18
entertained/asserted 46
and logic 34
objective structure 183-4
primary/derivative 945, 174
truth-tables 38
truth-values 45, 48-9, 51-2, 124, 168
Wolff, Christian 3, 12
Wolff, Robert Paul 43-4, 71
unassertable/assertable contents 42
203