Professional Documents
Culture Documents
CONCEPTUAL
NOTATION
AND RELATED ARTICLES
OXFORD
—- J»fc /S?7
/'""W, Londoti M". /
Cape town TOBONrro melooi/Rnt wriMS'iTON
®2LHI BOMBAV CAL^"'^'" '*CAAM LUSAKA ADfJU ADAOA
kuala lumpCR SINOAPORC
MaurasirONO
karaciii
konc*lamorl
tokvo uacca
TO
ij, ^
oxko.d
ONiversitY
PREFACE
V, . .'íM
tt
CONTENTS
101
Conceptual Notation
204
Applications of the "Conceptual Notation
* 'Conceptual notation' is the English translation of Frege's term 'Begriffs-
schrift' In the present volume, when 'conceptual notation' appears in italics, it
refers tó Frege's book; when it is enclosed in double quotation marks,it denotes
Frege's symbolic language; when neither occurs, it means simply a language
like Frege's.
xii
CONTENTS
appendix i: reviews of the Conceptual Noiation by
fregeos CONTEMPORARIES 209
ON THE LIFE AND WORK OF
appendix II: evaluations of frege's Conceptual GOTTLOB FREGE
Notation by present-day scholars 236
§1. INTRODUCTION
A frece bibliography, 1873-19661 239
The works of Frege 240 During the past twenly ycars, Gottlob Frege has become one of
248
the most studied modcrn philosophers. Because of the present strotig
Secondary Sources emphasis ¡n philosophy upoti logic and litiguistic a.ialys,s the works
Additional Sources 270 of Frege are of primary interest, since he(1) revolutiomzed logtc and
289
senrantics,(2)¡nitiated the "linguistic turn" in philosophy.(3) riiadc
índex
a major contribution to the philosophy of mathemat.cs and (4)
t Items in the bibhography are rcferred to in the text by their serial rtuntl't''®' significantly influenccd leading scholars hke Peano, Husserl, Rtissell,
Wittgcnstein, Carnap, and Church.
Given thcse facts, it is astonishing that no major biography of
Frege was cver published; and it is tragic that the present biographical
sketch was made only after the Second World War,in which valuable
records and documents were destroyed (including a biography of
Frege by his adoptcd son Alfred).i Even before the war, the amount
of inaterial avaiiable would have been small. Now, relevant informa-
tion is scarce indeed; and the following account liad to be pieced
together from biographical fragments gathered from many places.
Very little is knowti about Frege's personality and prívate life, so
the prLent elTort must deal, for the most part, w.th hts works and
the main events in his career. A sketchy account, at least, can be
given of his person and eharaeter. A deseription from W.ttgenstem
Ld an extatit photograph3 y.yeal that"Frege was a
with a short beard,"who bounced around the room when he talked .
It is clearLm eisting records and Frege's wntmgs that he was a
^ Listed (1935) .m the .VI» íitems ¡n the Bibliography of the present
numbers)as among the documents in the
volume are rcferred to by (gj. Germany. However,Professor Hans
Frege Archives at the University biography is unknown to him and
Hcrmes at Münster has mformed me bmgrap y
must have been lost during the Second World War.
® Included in S22. . ^ frontispiece of the present volume is based
The portrait which appea provided from the Archives of
upon that photograph, which g indebted to Professor
Jena University by Protessor . • n^otograph's existence and enabling
Ignazio Angelelli for mformmg me of the pnotogr p
me to obtain it.
8243501
• • ''V*' '- :.
I
V'v
'i ':X
2 UFE ANDWORKOFGOTTLOB FRECE LIFE AND WORK OF GOTTLOB FREGE 3
He was an effect¡vra''ndtonrc''^ remarkable energy and persistcnce. wliole pcriod in Wismar (a ílourishing commercial town, with a
explaining very complex materia"'He h'^^H í'"'' populalion of about 12,000, and one of ihe best harbours on the
Baltic). Frcge's family, like most familics in the región, was Lutheran.
could cut to the heart of a nmM logical insighl which
polemicist. When aroused he always a formidable His father died in 1866 whilc Fregc was still at the Gptj/iasi'um in
bis only major interests were hhZ v ^ ñongue/' Apparently, Wismar, whicii he attended for five years (1864-9) under the head-
. Throughout bis lífe Fr^r mastcrs Krain (father and son). He passed his graduation examina-
just a boy, bis fatber died I P'^Sued by tragedy. When he was tion (A/?in/r) in the spring of 1869 and immediately entcred Jena
ied young, and then bis wifí> marricd, bis children University.
formal system in which to derive^^f^h ^^^"ty-five years developing a This is all that is known at present about Frege's early life. There
that ene of bis assumptions can Je may have been many more details about this pcriod in tlic biography
of Frege that his adopted son Alfred gave to Professor Heinrich
w 1bise hemonumental achievementc
was alive; and ^
bis death' Jo-?^ '"oceived ín spite
little recognilion Scholz for the Fregc Archives in Münster in the 1930s.'
he seholarly world. It i onlvt ^nnotmed by
has arisen. and bis woJk^are h ^ ^ "general interest in his §4. UNIVERSITY STUDIES
s betng Widely rcad and discussed. Again, unfortunately, almost nothing is known about Fregc s life
as a university student, except the courses and professors he had. It is
olear, howcver, that he impressed his teachers as a bright, assiduous
on^Líuic Sf^■^CKground
Friedrich Ludwi'
MecMenburg Germany (in young man p but it is unknown, for example, where or how he lived,
or what induced him to move to Goltingen University after two years
F"mS"í,í" '■was«Sí;
Hamburo c a businec' Goiihb Emanuel
at Jena.-
Frege spent four semesters at Jena, from the spring of 1869 to the
winter of 1870. His professors were Geuther in chemistry; Fischer in
blotzky (9_i87of girls' school His m ,t founder philosophy; and Abbe, Schaeffer, and Snell in mathematics.^ During
Hter princ¡n!i Frege was B ^"£<^510 Biallo- his five semesters at Gottingen (Easter 1871-December 1873) he
Folish extra r ° school He was a teacher and studied philosophy of religión under Lotze; physics under Weber and
in the area S'°n- aiso ñame may indícate Riecke; and mathematics under Clebsch, Schering, and Voss.-^
* See S253 and footnote ! to §1 above.
Arnold Freee ^ ^^'®oburg región sinr^ ° peoples who
P-£e's brotheS " « W'" century A.a
io52, may have been
^ This was the descriptlon of Frege as a student included in an officíal memor
ándum from Professor Cari Snell to Professor Ernst Haeckel at Jena University.
^^"pcrLrpt Ernst Abbe. who had gone to both Jena and Gottingen himself, and
who donated millions of dollars (through the Cari Zeiss Síi/íiws) to Jena ín an
Almost nothing is ®°^HOO0 eíTort to make it as good as Gottingen, persuaded Frege to go to Gottingen in
order to get the best education possible, and then return to Jena to teach. Abbe
Was always impressed with Frege's great ability in logic and mathematics.
= From a Lebenslauf submittcd by Frege to Gottingen University on 12
■--«..a.,,,, ••"-PParentlyspentthis August 1873. r 11 •
* The courses which Frege took at Gottingen were the following:
Summcr 1871- Anaíytic Geometry with Professor CIcbsch, Images of Sur-
15 «n 2 August 1873. faces with Professor Clebsch, Functions of Complex Variables with
Professor Schering, Philosopliy of Religión with Professor Lotze.
"itrom the Frankfurt Goethe Winter 1871-2: Experimental Physics with Professor Weber.
[cont. onp.4
* work OF GOTTLOB FREGE LIFE AND WORK OF GOTTLOB FREGE 5
and which she was then dirccting, was suíTicient lo support herself and
Slxpber
psT'eemely"geometrillZn there"^eis =» See footnote 6 of §4, and also F2 of the Bibliography below.
• Apparently sent to Professor Ernst Haeckel on 30 March 1874.
® Given by Professors Abbe, Fortlage, Geuther, Haeckel, E. Schmid, M.
Bíbliography, pi t?- • ® ^^rstelhmg der •
and important material. Uis^I Schmidt, and Strasburger.
® From a report on Frege's examination to the University officials submitted
' From a re "ncluded in F'52 contain interesting by Professor Haeckel on the afternoon of 18 April 1874.
' The public disputation was held on Saturday, 16 May 1874 at 10 a.m.; and
SSlPiSS-ss!"-- the trial lecture was given at noon on the followíng Monday.
® Fregc worked most of his Ufe on problems in mathematics and philosophy;
and it is likely that he discussed his work with fellow faculty members in those
two disciplines. Mathematics and philosophy faculty members who were at Jena
« UFE AND WORK OF GOTTLOB FRECE LIFE AND WORK OF GOTTLOB FRECE 7
SS. BETWEEN HAB.L.TATION AND CONCEPTUAL spondcd with many Europcan scholars, incliiding such important
notation
people as Husserl, Peano, Russell, Hilbert, Lowenheim,and Wittgen-
Thus, in the summer semester nf tr stcin.= He met Lukasicwicz, Wittgcnstein, and Vailati(and, no doubt,
career. His Ufe durine fortv 'i'S teaching many others). He pubÜshed 40 works during his lifelime, including
and hermit-like as is commLi secludcd 4 books, 24 articles, S revicws and 4 commcnls and remarks.^ He
the Deutsche Akademie der N t ^o^ay. He was a member of aiso wroic a scorc of other works which did not appear bcfore his
matemático di PaJermo death, but have recenlly been published in one volumc/^
^chaftfür Medicin uitd Natu ■ ° ^^25), the Jenaische Gescll- The happicst period of Fregc's profcssional career appears to have
the Deutsche t° '917), and been the beginning, wliile he was a lecturer {Privaidozent). He was
read several
three papers at meetine.w
years—1899-1901_he '^97 to 1925). For
organizations.' He 2 The following is a list of thosc who are known to have had corrcspondence
with Frcec Whercvcr possible. the date of the corrcspondence and the number of
Johannes Thomae) of the L7™ Treasurer (along with extant pagcs (if any) are includcd. Many of thcsc Icltcrs contain intercsting and
"^g^n'^ation. He corre-
important technical disciissions which oiight to be published.
at JenaR "unng F^ege^s forty.four year, ,h. ■ , Avenarius
Ballue
1882
1895-7 6
6
I1 page
page
Couturat 1899-1906 12
12
Mathematics:
Darmstaedler 1913 and 1919 2
2
KarírT^'^''^^®) Dingler 1917 6
6
Falchenberg 1890 11
Hilbert 1895-1903 22
22
Hónigswaid 1925 5
Huntington ? 3
Husserl 1891-1906 10
10
Jourdain 1902-14 29
29
^oben Karl Hermán Í '^08) Klein 1881 1
1
Philosophy: Haussner (1905-31) Knoch
Koebner
1893
1891
2
2
2
Arnold'ioV^GÍr/p'^^:^^;
August Julius
74-85) Korselt
Lowenheim
1903
?
5
5
none
none
Mayor 1896-8 4
4
Hermann Guido (1871-6) Pasch 1894-1903 10
10
(1873-5) Peano 1894—1903 20
20
Russell 1902-12 51
51
Scheibc 1919 1
1
Schlomilch 1881 II
Ulrici 1881 11
Vailati 1904-6 3
3
Wittgcnstein 1910 or 1911 none
An unknown number of Frege letters were lost during the Secoiid World War.
These include the large corrcspondence with Lowenheim mentioned in S253.
Wittgcnstein mcntions his corrcspondence with Frege in the quotation included
in S22; but so far there is no trace of Ihem. Perhaps the Second World War
claimed them as wcll.
^S:S!ar^~ (Most of the extant letters, and perhaps all of them, are collected at the Frege
Archives in Münster, Germany.)
® See the Bibliography below.
* These are edited by H. Mermes, et al., and published (1969) by Félix Memer
in Hamburg, Germany. See F45.
ját
8 life and work of gottlob frece LIFE AND WORK OF GOTTLOB FRECE
For Frcge it was especially important to get the fundamental
malhemalical sludents at points absolutely pcrfect—to make complelely olear the root
DtónfthTs b ° Ive" ""T"'
courses and published fcle
f"'"--
extra-heavy load of
concepls and basic assumptions upon which a discipline is built.
Indeed, this was the chief aim of all his major works and the root of
a little book {Conceptual Notar Seomelry, and most of his criticisni of other scholars.
later scholars would come to r/"" °" matlicmatics that This desire for clarily and correctness at the fundamental level,
From the hpainn; V as monumental, together with a seemingly insignificant revicw which Frege published
particularly in 1878 when n unusually large, during his first year of teaching,® may have bcen the origin of his idea
volunteered to taL over n. 7^?^ i"- ^regc for a project that shaped his career and consumed most of his vorking
carry fais own load besides so doT'' mathematics and life—namely, proving that ariíhmetic is a branch of logic. The book
gapmthemathematicalteacbina ' a" intolerable that Frege rcviewed was H. Secger's The Elemenís of Anthmetic,^°
could be acquired a yearTr J°'^^""^sThomac which was meant to explain to students the fundamentáis of arith-
him to sacrifice much of extra teaching ccrtainly forced metic. Frege's main criticisms are that the basic laws of arithmetic
making great strides in logic and jusí when lie was are left unproved and the fundamental concepts are poorly defined:
for the sake of the stu7etrm7k* designcd his lectures Aftcr somc parlially unfortunatc cxplanations of the calculating opera-
tions and thcir symbols,some propositions are prescnted in the second and
avoiding unnecessary comniexitv Tf ^ thoughtful and third chapters undcr the title of "the fundamental theorcms and the most
appreciated by the conseípnt;^ ^ his courses were much essential transformation formulas". Thcse propositions, which actually
seems to have been true from T ^^o attended them. This form the foundation of the wholc of arithmetic, are lumped together
end. Rudolph Carnap, who atte^deíF without proof; while, later, theorems of a much more limitcd importance
who is perhaps Frege's ereatP./ 7 ® courses in 1910-13, and are distinguished with particular ñames and proved in detail. ... The
amplification of concepts which is so highly important for arithmetic,
inspiration I received from im' ^ í"eports: "the most fruitful and is often the source of great confusión for the student, Icaves much to
those in the fields of philosonhT!'7^
fther from the lectures of Fr.
not come from
">^'11=0,31105 proper, but be desircd. ... The result of all these deficiencies will be that the student
will nierely memorize the laws of arithmetic and become accustomed to
fields".' °f F'ege on the borderlands between those being satisficd with words he does not understand.^^
Frege was not only an pff..,-
upon those who attended his lectur demanding Perhaps it was his disappointment with Seeger's book that gave
Umverstty offieials in Januarv mo W''work for the Frege the idea of wriling a olear, exact presentation of the funda
courses were little suited to niLe 1 reported that Frege's mental notions of arithmetic. The very things that he finds lacking in
I is just an exercise fo fu! "for whom Seeger's book—olear definitions of fundamental arithmetical
by yutue of the great clSld?" ' concepts and proofs of the basic laws of arithmetic—become the
major aims of his whole logistic programme. Conceptual Notation,^^
intr f ° "looghtfulness of °f his expression and by the first of four volumes devoted to the project, was completed four
'"toduce aspiring listeners to the d «1 is particularly fit to years after the appearance of the review in questíon enough time
leftu 7 repeatedlv^'"! ®"^'''''"'"'hcn""'<=al to conceive a plan and publish a little book about it.
Ivervy fundamental
J appeTredt
point."8 be "PP^^'-ndy to hear
absolutely perfect on We shall probably never learn whether or not this actually was the
path that led Frege to his logistic programme. From this point on.
® Frnm 5í ...1 • .
Profeso" Dr' «"-"ten by Abbc on 10 I
Unívepity ArchiSrr °/ '<="-. ProfesTor « am indebted to ® F3
" H SecRcr Die Elemente der Arithmeíik (Schwerin i. M.: A. Hildebrand,
" Also from 81^°' this docu^^ "^"eeldli. and the Jena
, '.wiu.;
1874). ' " From F3. "F7.
"om A34, p. 4.
10 UFE AND WORK OF GOTTLOB FREGE LIFE AND WORK OF GOTTLOB FREGE 11
■»"»' (3) The modes of inference must be as simple as possible and re-
liM otdaing-, Hr, bo„j """"»
stricted to as few as possible. They must be syntactically defined,
deals with the defimtion<= „r • . of Arithmetic, so that strict adherence to grammar will ensure correctness of
FinalIy,histwo-volumemfl»,?5
contains his proofs of the
the fimH
'zero', *one', and so on.
Basic Lawsofofarithmetic.
Arithmetic
reasoning.®
fundamental principies (4) The two-dimensionality of the writing surface must be exploited
for the sake of perspicuity. The various logical interrelations
among the parts of a proposition or a proof must be clearly
In
•in the
ine Kbeginning
• Frí> NOTATION illustrated in a two-dimensional display, thus making the nota
(Germán) in reducing the^nne"^^'r^'' ordinary language tion as easy to read as possible.®
oflogical ordering^Lt he "'"«""g-m-a-sequence to that
^ities and inaceuracy that lo'ckly discouraged by ambi- Because of these rigorous requirements, Frege could not have
impossible; "gorous, dependable arguraents used ordinary language, or even the various systems of logical
notation that were then available. Ordinary language obviously
was most import^rtrCp th?c1,r' "onoticed here, it would not suffice; its words and phrases are often, indeed nearly
always, ambiguous, having many diíTerent meanings which are
-^-faceot., sr ^ From the Preface of F7. ^ »
in einer ReihTauf Preface of F7 k »3 See, for example, Leibniz's "A Specimen of the Universal piculus .
work (see p. 173 beIow?íf ^ «1®^ Anordnung 3gg F11 ^ Preface of F7.
sequence" is toH. Frege caTI^ »?i-' 1^0"^ §26 of that ® See F7 and F11. . . , . 1 • 1 • c ♦
te^inoTogl ordering-ín-a- ® See F11 and F12 Frege attached no logical or ontological significance to the
ancestral. ' wished to give a purely lomeaiV^ ' today's two-dimensionality of his notation. The two-dimensioiiality was purely prag-
" See tke Preface of F7. formulation of the proper- tnatic: merely a means of aehieving maximuni perspicuity.
" F23 and F30.
lipe and work of gottlob frege LIFE AND WORK OF GOTTLOB FREGE 13
Waismann. It was more than two decades after the Conceptual Nota-
^'tionaTconn^V''^ and justify axioms
(9)The firT.
'"="1°''" '« define proposi- tion first appeared that these latter scholars began to do philosophy
with logical analysis.
With the publication of Frege's book, a logical renaissance occur-
(10)Thefirstc"lear°conLTen'fa^'
OI)The first dear
^ logistic systcm: red;2í but no one seemed to see it at the time. More than twenty
inference d.st.nction between axioms and rules of years passed before the greatness of Frege's achievement was sensed
by Bertrand Russell;-- and fifty more years elapsed before it could be
Besides all thpc#» « u* generally appreciated.^^
ushered in the so-calleH' ^""cepnial Noiaiion aiso Frege himselfseemed to be unaware that he had made monumental
Prefaee, Frege suggests that'sfmfir"" P^fosopliy.'» In the strides in logic. For him, his "conceptual notation" was not a logical
only illusions arisins fro P^iíosophical problems are really calculus, but a language to serve as a tool for his logistic programme;
assertsthatphilosopLrsconM^'^u^^^^ language; and early in 1879 he lectured to his colleagues in the Jenaische
and resolve such illusions Th i "ewly invented logic to and he
expose Gesellscliaft für Medicin und Naturwissenscliaft, demonstrating how
I is the first so-called ^É'cal language developed in Chapter his notation could be used to express propositions of geometry and
arithmetic.^" At that time he did not mention any new advances in
sophical problems.(Specifica 11
Propositions? Do their nrnnf
^®^'Sned to tacklc philo-
nature of mathematical logic.
purely logical?) The secnnrí ^mpirical evidence? Are they Though he apparently did not realize what a milestone he had
of an "ideal language" to a the first application established in logic, he was aware that he had improved it to some
are the laws of thought and Problem—namely,"What degree, for in the Prefaee of his book, he claimed to have done so,
them?" the interconnections that hold among and he correctly judged that one of his most important contributions
After the publication nf th would prove to be the introduction of logical functions.
tarn had been made* but "linguistic Some other advancements which he noted in the Prefaee were that
his notation would allow us to (1) fill in the logical gaps in existing
On Sense and Denotation" tl Í Founclations ofArithmetic, symbolic languages like those in arithmetic, geometry,and chemistry;
ínfluenced philosophers like R of Arithmeticf^ that (2) combine these sepárate languages into a single one; and (3)
construct other symbolic languages for fields such as kinematics and
17 „Strictly
. speakine F ' ^^rnap, Wittgenstein, and
mechanics. Thus, he believed that his Conceptual Notation was a step
towards Leibniz's dream of a universal language, rather than an
"Fregehimcoif.4-
"earSt aSoS mechanically used
are interpreted attempt to develop an abstract logic or calculus ratiocinator.^^
§8. RECEPTION OF CONCEPTUAL NOTATION
Because of the publication of the Conceptual Notation, 1879 was an
important year in Frege's life. It was important also because he was
"See Al27.
(c) Frege'f ^n«l ^rst u"sed •ogic, which "See S241 and Al39.
^ In the 1950s,interest in Frege began to grow; translations appeared and wider
linguistic Dhiln espoused views whiVh Philosophical problems. distribution of his works resulted.
oí- a generally associatcd with
This was the paper F8.
fogical structi.'"7 ary language freaii!¡^ h Í grammatical structurc "When he discusses these Leibnizian terms, Frege refers to Trendelenburg,
of dees not correspond to its
"Über Leibnizes Entwurf einer allgemeinen Charakteristik", Historische
(see Fll and th which can best be recn/ pseiido-probicms Beiírage zitr Philosophie, vol. 3, pp. 1-47. See S122.
F14, F20 and careful logical analysis
' ^23 respectively.
m
16 LIFE AND WORK OF GOTTLOB FRECE LIFE AND WORK OF GOTTLOB FREGE 17
prometed to the position of ausserordenílicher Professor} With th¡s For thcse reasons it was a very difiicult book to read; and because of
promotion he received a salary for the first time and could support all the symbois il was a bit frightening at first sight.
uimself and even a family. As a result, many readers misconstrued the aim of the book, and
it was misjudged and rejected by those who should have weleomed it.
hv granted on the strength of a recommcndation This was tragic, for Frege, an exceptionally lueid lecturer, was adept
sunnnrtpr af t' was Frege's best fricnd and strongest at introducing complicated mathematical notions to beginning
versitv fivp V ^ Frege had givcn the Uni- students;® and it is a mystery that he failed to exercise his rare talent
had taken n ° ^xcellent teaching, had carried an overload, and in his book.
sing the nnbrf Professor Snell. Then, in discus- At least six scholars, some of them very able logicians, reviewed
percentive rnm^ Notation, Abbe made somc Frege's book in the journals;« but none of them saw the great logical
that reveal unnT^T^ contains, he said, very original ideas advances. Lasswitz,' the most sympathetic of the reviewers, con-
"will be affectpH^^ i^iental powers. He speculated that mathematics sidered the Conceptual Notation "a valuable contribution to the
very little bv ih considerably, but immediately only theory of thinking", thus more of an epistemological or even psycho-
-"thor and the eontent of the logical study than an eífort to devise tools for rigorous demonstra-
appealingLo
of knowledge" and
^ome mathematieians "find little that is
'"^o the formal interrelationships
tions of mathematical propositions. He correctly judged, however,
that Frege's notion offunctions is interesting and perhaps important;
a positioron ^ble, off hand, to take although he made no further claims for it.
"it will probablv hp^^ eluster of ideas in this book"; thus, Hoppe® was also sympathetic, but he missed the point completely.
Abbe's Lt " appreeiated by only a few". Frege, in a few passages,® mentions certain features of classical logic
Frege presentedinTh^^^^^ remarkably prophetic. The ideas that that he exeludes from his own logic because they are not needed for
he adopted, heloed to ^otation, and the logistic position his purposes. Hoppe interpreted these remarks as criticisms of clas
diately, only three derJn^ mathematies—but not imnie- sical logic and the main thrust of the book. He expressed doubt that
Principia Maihematirrfl fv> indirectly, through the anything new had been gained from Frege's notation itself, but saw
"in all questions of InJ- f Whitehead, whose chief debt much of valué in the criticism of existing logic. He concluded that
the book was worth while.
Michaélis^® had a less favourable reaction. He considered the
understood and appreeiated b^^T
statement. For vears vírt n ° ^
probably be
proved to be an under- Conceptual Notation an eífort to advance logic, and concluded that it
was not an improvement, but, indeed, a step backwards! Frege
^onceptional
Part of theNotation and"L^
responlnh^ "o one but Frege
f T- understood
appreeiated it. the exeludes from his logic certain things from classical logic, such as
Frege's. He presented in w ^"fortúnate state of affairs was the subject-predicate distinction andthedistinctionbetweenapodictic
but they were abstract anH profound ideas, and assertoric statements. Michaélis saw this as removing part of the
already meagre eontent of logic; and he criticized Frege for not
reader tograsp;exolain
not thoroughly and Frege
tti dif t Prepare his readers well. He did adding more things:"One must not only criticize, he must contribute
did not make it clear that h' his symbolic language; he constructively." , ~ , r- n•
reasoning in proofs of matí.^ "otation was a device to ensure correct One of the most negative reviews was that of Paúl Tannery in
explain why the notation Propositions. Also, he did not France. Apparently, he merely skimmed the book and really did not
why existing notations fhp ^ unusual two-dimensional form,
as those of Boole and Sch?\? know about them)such ® See SI and the discussion oHt m tWs
® These reviews are SI35, SI7o, S205, S25 , , ^» See F7,§§3-4.
^ Annrn' ' ^*0^ his purpOSeS. 'See SI76. 8 See S135.
See S205. "See S283.
the K.oncep,ual Nolatum are trSalida Venn's personal copy of " He mentions Lasswitz's review in his own review.
'® See, for examplc, his book Der Operathnskreis des Logikkaikiiis (Leipzig,
ion
on ífI'h
to the' Cambridge
'=«)Univcrsitv
intrBod an no°t (• am indebled for Ibis infornia-
' 1877).
"See the Preface of F7. "In the article F12.
^91.°''''°°'''^™ logic.) See AÍ62. "' '
m
21
LIFE AND WORK OF GOTTLOB FREGE
20 LIFE AND WORK OF GOTTLOB FRECE
his critics. He did maintain an active interest in geometry and
Before the reception that greeted his Conceptual Notation, Frege physics, publishing a review^ of Hoppe s Textbook of Analytical
had every reason to be optimistic. He had established a good Geometry' and lecturing to ihc Jeiiaisclie Gesellschaft jw Medicin und
reputation at Jena, received a handsome promotion, and published Naturwissenschaft once on geometry^ and once on physics;* but most
\ the joy and success that seemed assured wcre not of his efiforts went into the defence of the Conceptual Notatlon.
^ ^eA a^turning
^PPy point
ycars in
hadhisended, for the reception of Frege's book To answer his critics, Frege wrote a long, brilliant paper, "Boole's
mar life. Henceforth frustration and tragedy Calculating Logic and the Conceptual Notatlon in which he care
were to haunt him. From 1879 to 1891 his works were ignored or fuily examined the aims and properties of his own notation and
misun erstoo . From 1891 to 1901 they were slowly acknowlcdged; compared them to Boolean logic. In this papcr Frege uses the great
clramatically and ironically capped by Russell's explanatory talent he failed to use in the Conceptual Notatlon. He
f ° ^ greatness and aimost simultaneous discovery clearly shows that he could not have used Boole s logic in his book,
and he carefuily explains the advantages of his own notation o ver
matic<; m Frege s carefuily laid foundations for mathe- Boole's. He submitted this paper to three journals, hoping that one of
him- for personal life sorrow and frustration plagued them would publish it and thus correct the misconceptions of his
Grevesmühlen to Margaret Lieseburg (1856-1905) of work. However, it was a very long paper, full of complex symbols,
die vounp 22 aV ^ ^ family only to see all the chiidren and all three journals rejected it.® He also wrote a much shorter
wüe d.ed m 1905 and left him to raise the boy alone. versión, *'Boole's Logical Formula Language and my Conceptual
Notatlon'\ which he submitted to a joumal that had published
severa! technical discussions of Boolean logic; but even this short
paper was rejected.'
ATIONS OF ARÍTHMETIC These further difficulties could only have added to Frege's frustra
tion and disappointment; however, he wrote another paper, "On the
plans. In the'^fare"of Ws^b Notatlon altered Fregeos Scientific Justification of a Conceptual Notation",® which was much
shorter and contained no special symbols. Unlike any of Frege s
proceed immediately from the G,
other works, it was very general and contained a liberal dose of
psychological and epistemological speculation. Perhaps this was
included to make the paper more attractive to the editor of the
ofthought wW?h M mfto'mv^" PO"' train Zeltschrift für Phllosophle und phllosophlsche Krltlk^ who accepted
to apply it to thSelfeí tSrr and published it in 1882.
provlde a deeper fcundation f,^ •? u ^ts concepts further and
presented in the third chanter «i ^ ^ Por the present, I have * F9.
Further pursuit of the «jima things which move in that direction. ^ R. Hoppe, Lehrbuch der analytischen Geometrie I (Leipzig, 1880).
of oumber/^¿¡ ^urse-the elucidatlon of the concepta ® Published as the article F13; delivered on 2 November 1883.
* Published as the article FIO; delivered on 15 July 1881.
investigations^S
mcn tUM ^""ject
Shan produce immediately after this of fnrther
book. ® This is one of the papers in the Frege Nachlass recently pubhshed in F45.
° Rejected by F Klein of the Mathematische Amalen; O. Schlonulch of the
Zeltschrift für Mathematik und Physik; and H. Ulrici of the Zeltschrift für
guage and spent most of the next three years answering Phllosophle und phllosophlsche Krltlk. Their letters of rejection can be found in
the Frege Archives in Münster, Germany. See F45, p. 9. , /•,. »
' Rejected by R. Avenarius of the Vlerteljahrsschrift fur wissenschaftliche
"^snot See S22.
1905 when Mrs. Frege died. It'Suld^not ^^red; but it musthave been before
Phllosophle. His letter of rejection can be found in the Frege Archives in Münster,
Germany. See F45, p. 53.
® Fll, included below, pp. 83-9.
See S22. was still a schoolbov
senoolboy ílh, ■'"S, however,
when Wittgenstein visited Freg¿ in 1911.
LIFE AND WORK OF GOTTLOB FREGE 23
22 LIFE AND WORK OF GOTTLOB FRECE
Frege's notation for "a or h" (using the exclusive sense of 'or') is
Frege s major claim in this paper is that ¡n complcx scicntiíic
contexts, in order to avoid errors in rcasoning, onc nccds a much rTT
more exact tool for reasoning than ordinary languagc, cithcr spoken
or written. Spoken language, he asserts, is fleciing: once a staiement
is spoken and unrecorded, it is gone and cannot be recaptured for
careful scrutiny. The written word has the advantage of permanence
b= 1
and immutability; a written argument can be checked and rechecked while Schroder's is
for correctness. But in ordinary written language, there are subtie and Boole's is even shorter,
differences in the meanings of worcls; and modes of infcrence are a-^b = 1.
numerous,loose,and fluctuating. Thus,mistakes and presuppositions Schróder used this example to show that Frege's notation is "a
can be easily overlooked. For exact scientific reasoning one needs an monstrous waste of space"; but Frege answered:
unambiguous, rigorously constructed language, with oniy a few
care u y specified modes of inference. Frege's "conceptual notation This criticism is based upen the view that my "conceptual notation" is
IS such a language. supposed to be a presentation of abstract logic. These formulas [of my
"conceptual notation"] are actually only empty schemata; and in their
Fr^e surely feit better once this paper was accepted for publica* application, one must think of whole formulas in the places of a and b—
tion, for at least he was able to publish a very general justification of perhaps extended equations, congruences, projections. Then the matter
his new symbolic language. He still had not answered the specific appears completely diñerent. The disadvantage of the waste of space of
objections of his critics, however, and no doubt welcomed the the "conceptual notation" is converted into the advantage of perspicuity;
opportunity to do so in a lecture at a meeting of the Jenaische the advantage of terseness for Boole is transformed into the disadvantage
ese se aftfür Medicín und Naíunvissenschaft in January 1882. The of unintelligibility. The "conceptual notation" makes the most of the two-
^ture was pubhshed later under the title "On the Aim of the dimensionality of the writing surface by allowing the assertible contents
to follow one below the other while each of these extends[separately]from
Conceptual Notaliorí'.^ In it Frege presents a brief account of Boole's left to right. Thus, the sepárate contents are clearly separated from each
notation, criticizmg it on some fundamental points, and citing several other, and yet their logical relations are easily visible at a glance."
reasons why he could not have used Boolean logic in his own book-
Ihese reasons are, first, that Boole borrows symbols of arithmetic for Having published this second defensivo paper, Frege was ap-
ogical purposes; but Frege needed these symbols for ordinary parently satisfied that he had sufiiciently answered his critics and
ormulas ofarithmetic, and could not use them for logical operations. "For example, let a be (a+b)ic+d)= (7+6)(4) and b be the equation
Because he wished to avoid ambiguity, Frege could not use the saine ac+bd-{-bc+ad = (7+6)(4+3). Then to form the exclusive disjunction of
symbol(such as the sign which Boole used as a logical symbol) and b, Frege could write the very perspicuous
— (fl +¿)(í'+4)=(7+6)(4)
part ot the time m a mathematical sense and part of the time in a T
— ac+ W+Af+fl</=(7+6)(4+3)
lo^cal sense. Second, Frege's aim was not merely to produce a — (a+h)lc+d)=a+6)(4)
calculas ratwcmator hke Boole's, but to help develop a lingW ' Í/C+M+Ac+a</=(7+6)(4+3)
c aractenstica (mcluding propositional functions).'» As a result, while Schroder's versión would be the unintelligible
many of the statements from Chapter III of the Conceptual Notation ((fl+éXc+rf)= (7+6)(4j)(ac+bd+be+ad = (7+6)(4+3))i+((út-l-Z»)(c-f í/)=
cannot be expressed at all in Boolean notation. (J+6)(4))i(ac+bd+bc+ad = (7+6X4+3))= I
Frege aiso offered a defence against Schroder's claim that the two- and Boole's result would be
aimensional 'conceptual notation" is clumsy and a waste of space: ((fl+6)(c+í/)= i7-{-6)(4))+iac+bd-\-bc+ad (7+6)(4+3))= 1.
The matter becomes worse and worse for Boole and Schróder as the assertible
below, pp. 90-100. contents that replace a and b get more and more complex.
difference between a calcidus ratiocinator and a
I'."
anddifficnltt° /^"^*
'FreSrriol'?f;
symbolism
,old me that he and ' ttTetly
yet deveinn a ^®ad. On the cont unjustly considered clurnsy Sau"onsXThS?e
displavs it r analysis Recan^^^' 7 5.!^®- .1 in the Frege Archives in Münster,
a gfanS' T?" complex statements are two-dimensional These letters are among thosc collect
Germany.
must in rno<!t^ ^ advantace nv grasp at
devices to resort to many parenthe^*^ one-dlmensional notations, which 'H.'cohen, Da. PrínAp dar fia!,a.¡,ml-Me,hade uad seiae Ceschichte
complex fi^o"PÍng in a c^rin? traces, dots, and other
Present volum^r^^ difficult indeed to rea? make very a'„ English translation was recently published by R. Rand. See the
The only ^ footnote 11 on p. 23 of the Bíbhography below. Eníwicklimg des Bewegitngsbegriffs imd ihr
rSu¿dth¡f'"\í^'
ced this problem. '^odem^methodr^f^
of photo-reproduction difficulty and
have greatly (Leipzig, 1886). lange published an answer to Frege
'F23.
See the Introduction of F23. ^^8, F19, F20,F21, F22. '"■''The"pmscnt translation of this passage owes mueh to Rand-s translation.
LIFE AND WORK OF GOTTLOB FREGE 33
32 UFE AND WORK OF GOTTLOB FREGE
Frege's most important eñbrts during this period were additions
Jenaische^r\^u^ Frege deEvered to his colleagucs in the that he made to his logic, and the great strides he achieved in
concerninp liiid Naíurwissenschaft a lecture»^ semantics and philosophy of language. After he had recognized the
was the "form i' formal" theories of arithmetic. One tlieory inadequacy of the preliminary manuscript of The Basic Laws of
Foundations attacked so eíTcclively ¡n The Arithmetic^ he responded with a major creative eñbrt: he extended
further damapí and he continued the assault here with even further the expanded notion of "function" presented in the
logistic thesis theory was his own Conceptual Notation. This new extensión included (I) elaborating
that view is perharnth^^^f^ ^ oflogic; and his description of upon the distinction between function and object; (2) permitting
quoting at length)^ ^ clearest he ever published (and well worth any object to be the argument of a function; and (3) distinguishing
levels of functions," so that objects would be arguments offirsí-level
functions, while first-level functions would be arguments of second-
here only one^thch^ ^ level functions. Since a single function can have more than one
arithmetical theories O ^^Pon the comprchcnsive applicability of urgument, there could also be equaTlevel and unequal-level functions.
subject of thought: ide-Il!^"ideed count everything which can be a Finally, with respect to functions, he introduced courses-of-values
temporal entities as w<»li concepta as well as objects, and "value-ranges" offunctions, and defined a concept as a func
methods as well as theory ^ ^P^tial entities, events as well as bodics, tion of one argument whose valué is always a truth valué .
Strictly speakine thp count the numbers themselvcs. To give a clear, consistent account of the meaning of an identity
definition, a cert¡in f is a certain sharpness of statement, Frege replaced the oíd "identity of content sign with the
be inferred: the basic L a result, at least this much can customary identity sign from mathematics,and replaced the studiedly
cannot be based unon a upon which arithmetic is constructed yugue notion of"content" with the distinction between the sense(5mn)
theyexpress—as fforexa whose particular characteristics und the denotation {Bedeutung) of an expression. An identity state
characteristics]ofspace Th ® ofgeometry express[the peculiar ment, he decided, asserts that two expressions have the same denota-
everything thinkable aiid Propositions of arithmetic must cover don. Por the special and very important case of the sense and
Proposition within losic correct to include such a general denotation of sentencesy Frege held that they express a thought
nietic I draw several conclusions''^"^ ioglcal or formal nature of arith-
First, there is no sham Kr» Á which is their sense—and denote one or the other of the two logical
the scientific point of vípw between logic and arithmetic; from objects the True and the False. , ,^ •
formal theory is correct t'hp ° i ^ single science.... If this Besides these things, Frege added a notation for the defimte
considered supertciaUy unfruitful as it may article; gave rules for correct definition; provided a formal analysis
of descriptions; and distinguished use from mention,^^ ordinary from
inference which cannot"h^ Peculiarly arithmetical mode of oblique contexts. «
logic. to the general modes of inference in The result of all these additions and modifications to the con
[Finally], ¡t is clear that thA k j . ceptual notation" was a magnificent achievement—-a formal philo
nature of its fundamental rnn! of a science are fixed by the sophy of language with great power, scope, and subtlety—which is
from all particular proDert¡e« f*u- '^f ^J^ithmetic is to be divorced y'idely studied and imitated today, and which has exerted through
fundamental concepts ^thpv ♦ u same must hold for its the works of Russell, Wittgenstein, Camap,Church, and others(and
example,I have displaced fin^ ^°eical nature. Thus. for
class' VMenge'}, which is oftAn ofArithmetic]the expression "As early as FI4 Frege had distinguished levels of concepts(sw §53); but it
coiicept' VBegriff'} which íc ^ n^^thematicians, by the expression only after Uiat that he elaborated upon this distinction and carned it through
an indifferent change of nomAn^iT^"^ not merely ^ccoimt oj" "use-mention" distinction and his account of
of the true state of affairs. ^^ important for knowledge correct dSt^on^were°meant to avoid
took numeráis for numbers and believed they could define numbers mto existence.
la
8243501 I*
F16.
W UFE AND WORK OF GOTTLOB FREGE LIFE AND WORK OF GOTTLOB FREGE 35
Frege had no great cxpcctations, however; for it is evident in the
themselvcs)-a profound Preface ihal he feared the worst. Here, obvioiisly pessimistic, he
seems to try hard to prod or persuade prospective readers to study
all these Tubtletnd forthcoming book for his book. He tells of disappointmcnt over the reception—or lack of
it—of bis earlier works; and lie informs tiie reader tiiat the appear-
them in a lecture "On f ^ books), Fregc explained many of ance of Volume 11 will depcnd upon a good reception of Volume í.
the Jenaische Glselbchañ''f°'^ collcagucs in He describes unfavourable altitudes and trends of tlie day, working
also published two anLI^ í'" "'"^ Nalmwissenschaft, and against the acceptance, or even the reading, of liis book, and he
a classic in semantics-) anrf ^^ Denotalion-' (now chalienges other scholars to do better or fi nd something esscntially
Kerry's objections to Freae\ an f'-inswering wrong wilh Jüs work. He criticizes "formalisin" and viciously
last, for the appearan^ ofT"» Tl'c stagc was set, attacks psychülogism, as if to provoke an answer. Finally, he asks
■Basic Laws oj Arithmetic. for support from other mathematicians against the corrupting
influence of the "psychologicaí logicians' .
Of a!I the ihreats to his work, and to the well-being of mathe-
After work-^*'' / matics itself, Frege considered psychologism to be the worst. He
"ig logic, and project, revolutioniz- believed that, by reducing everything to idea—to the subjective—the
language, Frege was read^Ti^ contribution to the philosophy of Proponcnls of psychologism blot out subtle distinctions which are
proofofhislogisticthet;!^ Publish the fi nal, step-by-step aecessary for truth in logic and mathematics; thus they destroy
"lany years, but vindicatinn'!^^ rejected or ignorad for objective truth itself and end up in a mire of contradiction and
This hope was soon shattered appcared to be in sight. oonfusion.'^ , , • r
pubhsher would risk printinfr p T írustraling problem: no As a concrete example of psychologism Frege selecte t le view o
and filled with two manuscript was very Benno Erdmann' and siibjected it to a reduclio ad absurdum.
notation.Thismadeprintiñarr'Tf displays of Fregc's arguments are lethal and crushing, but also merciless and satírica],
a book in ordinary lanLí, and more expensivespecial
than refiecting, perhaps, Frege's frustration and loss of patience after
rege's earlier works had oustomary logic. Furlhermore, years of arguing to deaf ears. The bitterness of the attack may also
^arantee that the new volume'V^ received, and there was no have been an intentional elTort to irritate the "P^yahojogical logicians
seemed a great financial risk t treatment- and provoke them into a reply; for Frege expresses m
no pubhshing house was willina^^^^"^ apparently belicf that "as soon as [the psychologicaí '°g'«a.is] so mu
The problem was fina Iv ? ° aondescend to occupy themselves seriously with my book, if only to
pubhsher Hermano Pohie in J la wh^T""' ' '=°'^Ptomise: the M^'y ol^rs brsILrt''lsychological logtcian«
On FunctionandConceDt"2^„
^ents, the publication of the . ' Pnnted
the bookFrege's
in two lecture
instal-
good reception of the first 3 c dependent upon a ■•epeiled by the content-even the appearance-of Frege s book, and
Tfege sadly admits that this is so:
«^late 1893, the first volume of The
An expression croppíng up here or there, as ene leafs 'hrou^i these
P^Ses, may easily appear strange and create prejudice. . . . Even
:.-S
' There is a note bv w ■ ■ " \ See F23, pp. xvii-xxv. ' In ^VdiTnie lLs ofArithmefic
rron, ^1' qnotations from , . - universityofofCalifornia).
California
his3 owFJ9."póS"lel^f A34.
to^pay Archives in Münster,
t'ay for the pubhcation of Volume II out of reprintcd by permission of The Regen
the Bibliograpliy under F23.
^ See the Preface of F23, p. v.
1
36 UFE AND WORK OF GOTTLOB FREGE LIFE AND WORK OF GOTTLOB FREGE 37
frighten peopie off; unfamüiar signs, pagcs of notliing but Anihmeiic had never been achieved bcfore (even in the Conceptual
Notalion), and would rcmain unrivalled for ncarly three dccades.»
^ as rcaders all thosc mathc- Although Frege was salisfied with this rigorous, scientific form of
'relation' 'iud^ logical exprcssions such as 'conccpt', Volume I, he was disappoinled by its meagre content He was forced
those philosonlT^"^ u suní, non leguntur, and likewise to publish, at first, only part of his work; and mudr of the m.lral
° °?nd^ ^ cry ,nat,enuUua sunU instalment had to be devoted to an explanat.on of his improved
the» óf mth not small. Pcrhaps "conceptual notation". Because of this. the only other things he
hurry until they have Jt '"'"cq^cnlly secm to be in a great managed to include were an account of cardinal numbers (finite and
Iscarcely darehonethaf undamental principies bchind thcm. And infinite), plus "ordering-in-a-sequence", relative producís, mapping
lengthiness wiil persuadeXn^of them^^^ by relations, and the like. This by Lf
logic, mathematics, and philosophy; but it sti ac e an
negative, fractional, irrational, and cornp ex
book. To ofrsetTo!l^P^"f^fi' hardly be optimistic for liis addition, multiplication, "fjj'^pVen so, he believed that
hints on how to read 1 k in the Preface was forced to reserve these for volume ii.
general understandinaofitc^^ achieve the quickest and easiest
began a rigorous proof ho' ^ TT' before he of his method and position, and he w
it, to make its course and ^ í*°^Sb introductory outline of honest reader would accede to all his argumen . ..
tion, Frege voiced the . significance easier to see. In addi- The only thing about which he expressed some reservation was h s
confidenceinthemattPrK someone would liave "enough Basle Law V Thl assuntption of his logical
a sufficient reward" for th T^k ^''pect in the intellectual profit that "the set of Fs is identical whlt the set^ ^
He expressed the belief thnt ^ study would require. are Gs and all Gs are Fs hrege conccu he
that he had overrated thp ^ reader would soon discover "which logicians perhaps have of puré logic". He
book actually facilitaípi n°i that the rigour of the nevertheless asserted, I bo>d ^a ^ ^e met; for the
notation is Overeóme once the novelty of the evidently believed that any objections to
final paragraph of the Preface rings with confidence.
TheTdetuf° Irt'''''
here attempted to realize ^and
Euclidean:
í" n^athematics, which I have It isthat
base prima
wasfacie improbable
uncertainor
I i
that s
defectiva
o círncture could be erected on a
Asa^refutation in^this I can only
I should like to describe as follow<i '^^deeá be named after Euciid, recognize someone's actually fundamental convictions, or else
be preved, because that is imno«iM demandad that everythinS durable edifica can he erected upo eonclusions. But no ene will he
lons used without proof be exnre«f'a^\ i"equire that ail proposi- that my principies lead to manifestly
Jstmctly what the whole structnm ^ such,so that wc can see sble to do that.^'^
diminish the number of these ^bat we must try to
eveiything that can be proved Fn th ^ possible, by proving DAt:!C LáWS OF ÁRITHMETIC I:
beyond Euclid-that aU methoL ^ demand-and in this I go §14. RECEPTION OF pFANO
frege and PEAMC»
advante;otherwisewecannotbecert
This .deal I believe I have noV ' employed berequirement.
specified in ^ ThP Basic
The reception hopasLaws of Arithmetic
and plans. There wereI only
was
another frustrating blow to Freg p
standard of rigtur'^Vnf ^ methodological ideal: the • See p. 268 of S54 and p. 126 of A'"_ jo generate RusseU's Paradox
correctness of The Basic Laws of ."This is the fateful assumption that can np
In Frege's logical system.
LIFE AND WORK OF GOTTLOB FREGE 39
LIFE AND WORK OF GOTTLOB FREGE
ments in Frege's work, and failed to see that Frege s logic was much
neitherapprivarnor""^^^^"^^'''^'
As a result the nnhr^í^^^'°" scholarly worid—just silcnce. bettcr than his own.
Indecd. Pcano proudiy asscrted in his review that his own logic is
grand pr^J^* print Volume II; and Frege's niorc practical and more profound that Frege s. It is more practical,
thought—wasunfinisheH works in the history of he said, because the two-dimensionality of Frege s notation hides
was just delayed fHpu,./ / out, Frege did not givc up— associative and coniiTiutative properties from the eye, whiie his own
finally, ten years after tht his project through; so, notation does not. (Peano was naturally more at home in his own
publication of Voinm tt of Volume f, he paid for the symbolism, and tlius the logical properties expressed and reflected
The first review of V" were easier for him to see in his own notation than in Frege s.
that it hardly merits h Reinhold Hoppc.^ It is so brief Anyone accustomed to reading Frege's notation knows that Peano s
threesentencS^^^^ ^ "review". It consists of only
the book and accusing Pr^'"^ccurate summary of the contcnts of claim here is false.)
Apparently Hoppe had "^^ing secretive about his purposes. Peano's argument for the assertion that his log.c is more profound
dix, without reading the Proface and Appcn- was this: mathematical logic is an analysis of the ideas and proposi-
hisreview is insignificant- h, t'! ' ^ discussion of Fregc's work tions of logic and mathematics into primitive and derivative; ' and
this analysis is iinique". According to Peano, his log.c and Frege's
Thf ciiscouraged some would- are alternative attempts to porform the same analysis. He claimed to
use only three primitive notions and define all the others in terms of
unfavourable, but muXmn logician Peano.=» It aiso was these, while Frege used five primitives. Thtis, Peano concluded, his
^hangeoflettersbetweenPr
fiertrand Russell to read FrJl initiated
■" ^^00a orfruitful
1901 ex-
led logic gives a more profound analysis than Frege s.
Frege was most disturbad by Peano's clalm to have a more pro
^hicheventuallyiedtoagener.] the chain of events found logic. He believed this claim to be false, atid he wrote a letter
to prove it to Peano," asking him to publish the letter m the
had a ready done, was
^ review Peanomuch
andm As Frege
ofFrege's achievements-
di matemática. Peano iearned the hard way what an able polemtcis
Peano mathernati^r'^'^''^^'' developing a sym- he had ciralienged. Frege-s rcply was crushing; and it pomted out
of the h ' in his revieW weaknesses and mistakes in Peano's work. forc.ng Peano to prmt a
FrLv °f his own. HeliLt'f notations of Frege's recantation'
The maiorand thank
points Frege for
in Frege's making
reply improvements m his logic.
are these
notion of ! '"^'"ded a brief discussion of
exLr, "'®''°"'however ° "™ber, First, merely counting the number of pnm.t.ve stgns dees not g.ve
of his P«ge's'l0EÍc"r'" f° prosent a careful of sufficient grounds for judging which notation y^lds the deeper
analysis. Other things must be considerad, such as the stnctness
of the mies of definition" (which Frege found lackmg m Peano) and
differencpc k system- he V
(such as Pre!?^™"'®"^°notations"1Te°"'^
^ he never
simUarities and how rJh can be r ompllhed with the primitivas. Frege points out
pletely overlo„l"a'' Qreek that it is easy enough to reduce the number of primUive s.gns by
finctions an^í^ «"ch as th a" tuereiy fliW to take account of known dist.ncttons. He notes that
insures ^,3^ "^^^faUy workedJ f ^^^''ed analysis of logical Peano him elfrecognizes the difference between (1) the case m which
whole For tlT^^ tigour Peano
and welds Fr ^ ofinto
language that a thcught s merely expressed, but not asserted; and 2) the case m
these reasons a coherent which ft is also asserted Frege has a primitive symbol to capture this
', sf tootnote i of §13 greatest achieve-
distinction wiiile Peano does not. Gaining fewer primitiva symboIs m
the DreQPnt u- this warikes Peano'O sP28.
notation, if anythmg,
'
a te profound rather
Castellano Bu r '
' "ra'', Giudice, Vivantí n « ' Sce S2I2.
. Bettazzi, Fano, and others.
40 LIFE AND WORK OF GOTTLOB FRECE LIFE AND WORK OF GOTTLOB FREGE 41
profound analysis, "since the actual dinerencc rcmains'* This contribution by Frege to Peano's logia is definitely known.
whether Peano is able to express it or not. In addition, Peano may also have adopted other things from Frege.
From its inception, Peano's logic was a gathcring of ideas and
for iudíTÍno-^fi^^i^^'^L of^primitive signs were good grounds techniques from many diíTcrent scholars, rathcr than his own indi
Ible^fcaus wff
disproved Frp« ^
P-"-" "e unten-
primitive symbols is easÜy
vidual creation. For example, he apparently acquired his famous
postúlales for arithmetic from Dedekind." Many logicians are men-
he claims to Peano never defines at al! one of the signs tioned in Peano's published works,^' and Frege is among them. Aiso,
of the identitv primitives. AIso, Peano's definition Frege and Peano corresponded between 1894 and 1906. For tiese
least four other
reasons, there may be otiier things that Peano^owes to Frege. A care-
t2 ShanTth his three primitives. ftil study of the matter has never been made.
show that Peano's loPÍr°^^ important reason which Frege cites to One of the things that Peano may have acquired from Frege is
tions are faultv Th.^ profound is that Peano's definí- quantification theory, which originated in 1879 in Frege s
that give the meaning'ofThe'Lmb r'"' P""'''' ^otatioju It first appeared in Peano's works in 189 ni o a
^Pecifiedcases.Thus Peano\r.. . 1""bon oniy for certam ^ogique mathémaíique;^^ but Peano had seen ^Prhirinii
But "logic can nnlv íire not completeíy determínate. Noiatioii at least three years before that, since he ci e i in
m.p¿x;
middle is iust anntlior • iaws". The law of excluded
di lógica malemaiica published in 1891d- Peano the san^^e
abbreviation technique as Frege; nantely, i c 'irthewhc^e
quantifyingnotationwhenthescopeofthequan .j ¡j,
logicthusviolates that of this requirement; and Peano's
definitions, Frege poinrour!?^' probiem with Peano's Proposition, Also.in Formulaire de maihémaUgues II. P exptahy
Peano's Formulairp
often gives more than onJ
i' specific definitions given in dredits Frege's Concepiual No,a,ion with po.nt.ng ^e need for
some notation to show which variables in a formu a „„antifica-
supply a proof that these definir fied.» All these things are evidence that Peano acqutred quanttfica
Peano was obviouslv ■ ^ontradict each other. don theory from Frege.
lishedrecantationhesaysíhaUt-wilí^
a number of controvertíai a a ^"K
^°"^''^^tite to the clarification of
and he gratefully acknowledges that"hir'"''í" '°®v "f §15. BETWEEN BASIC LAWS OF ARITHMETIC I
RUSSELVS paradox
an individual, but one of o/^ll u . ^ogic is not the work of
withgratituderemarks wTiiVK ^ °^^don; and he will always receive Sorrow and frustration continued to The cold
Because ofFreXeñw p'"" andperfection. Ptiblication of Volume I of The Basic Laws
JPdeptionthebookreceivedwasaiiother exaspwj Although
does use more than thrpo' forced to admit that his logio
his new book was a monumental contr nf marking a pre-
tfine.
him toAlso,
addFrege's
the signpolemir
*z= nf —indeed,
definitional uses atforced
procedures least ■Patios, no one realizad the fact. Howe-r -nstead ^
tives,andtochangesoinpfa, tature end to Frege's grand project, the p
there was an eSaHm!^^u definitions.definition") to his
Henee, because primi-
of Frege, '°SeeAl66. ...... . r^^mnpuf Dedekind, DeMorgan,
Peano's logicbetwe^nC'n^^^^^^^^^^^ Volume II of the Formulaire
mathematiques.^
P--- de Eir Frege,example, Boole,Günther, Halsted,
Grassmann, , j^'evons
Jevons, Liard,
ua MacFarlane, MacColI,
^^fy, Peirce, Poretzky, Schroder, Venn. j. ^ the matter. They
® Turin, 1895. " Perhaps the Frege-Peano letters ^11 sh
can be found in the Frege Archives m Munster,
^ som^i
* 1894
"id not publish it until ]* In the Rivisía di matemática, 1 361.
^ rfe mathématiques (1897). ® "«provements inte Volume II of Turin, 1897. See the discussion of proposition
WORK OF GOTTLOB FRECE LIFE AND WORK OF GOTTLOB FREGE 43
Student, Abbe was impressed with the originality and revolutionary
the project to a^succr'f"!^ '° ''""® charactcr of Fregc's work. !t was Abbe wlio recommcnded that Frege
wrote a torrent of n " Bctween 1894 anci 1902 Frege be admittcd to the Jena faculty in 1874, and Abbe again who sug-
details of hi<; nu/n published and unpubüshcd, working out gested that Frege be promoted to Professor Exlraordinarius in 1879.'*
end of this period and attacking opposing views. Ncat the Abbe had helped the Zciss famüy establish their Icns and camera
Basic Laws of Arith manuscript of Volumc II of The factory; and for this he reccived 45 per cent of all the profits. He
^omnll%tZT
and happy evento moa
it at his expense,
^as rewarded with some success,
used this moncy anonymously to establish and sustain the Cari Zeiss
hope. In 1896 he wac ^ '■'"onbles more bearable and rcnewed his Btifíung. Later he bought out Rhoderich Zeiss's share of the ííictory
and donated his profits to the Stiflwig as well.
Professor. About 1900 Honorary Ordinary Frege took full advantagc of his extra research time. In terms ot
a success in 1894 in hic n adopted a son. Also, he scored
Germán philosopher Hii« psychologism by converting the
Pages of manuscript, this period was the most productivo part o
in logic began to grow whp^h ° ; and his influence Frege's career. He corresponded witli Ballue, Couturat Hi bert,
logic of Peano.^ ^ niade additions and corrections to the Husserl, Knoch, Mayor, Pasch, and Peano. He P"blished ( ) a
Frege was probablv ofF a crushing review of Husserl's PhUosophy of ArithmeUc \ f (2) a aamag-
Professorship, but a full Honorary Ordinary ing critique of Schróder's Lectures on the Algebra f/Fog/c; ( ja
twenty-two years of exopn'"f^ Professorship. He liad given Jena lethal repiy to Peano's review of The Basic Laws of '
(4) a thouglitful comparison of his own logic and Peano (5) a com
pubhshedtwenty-six
was even granted theworifc
nrp^i ' ^^"^^'^ntious teaching
(Laier, inand
1907,had
he vincing rtfutation of Ballue's "formalist" defFFl'on o
number-;»and (6) a witty, satirical attack upon Schubert s philosop y
aworkwascertainly
full professorship -2appreciatcdr^
but—p c of ''Hofrar, so at Jena his
oíTered anthmetic r® • » •
íione before him^Freee rpf, ^nd friend, had He prepared, but did not publish, (D three large
"«conceptual no ation"-two (301 and 210 pages
hnieto teaching
"ve duties andprofessor^hin
of a full researrVi^u bg^ause he wished toadministra-
devote full theory of magnitude, and one (258 pages ont.rely n sy« ^
theposition of Hon
"rational numbers; (2) an essay ¡°S'" ,es of definition;
or was unsalaried and
a paper on the establishment of his strict p stand-
^t It gave Frege more free timp^f Ordinary Professor, 4nd (4) twoarticleswhich argüe flrf PP ,i,ers are
point" of Weierstrass, Kossak, and B-ermann that number
of Position because hp^ He was able to accept aggregates of objects Besides all this, Frege completed
that' gave hundreds
per year from thp r
of thousand-; generous
Stiftungf^ stipend
a foundation ^onpt of Volume II of The Basic Laws the most
Of the sixpaperswhich Frege pubhshed dun
fortín likely that Fre2e''í f ■ University every ®Portant and influential was his revie attack upon the
^ S^nerous grant to Freee Ernst Abbe was responsible PhUosophy of Anthmetic I. It delivers a devastatmg attacK p
' See§i4ofthepresenth- Ome that Frege was his
" ^3 ^ ^ of Frce. contri- I See SI and §6 of the present biograPlu"'
P HusserPs book is Philosophie der Anthmet,k, Erster b
j (Leipzig, 1891).
ege's review is F24. . der Logik (Leipzig. 1890,
M SdT„°a7y» «r
thetimehe wafSÍS°?í'P= ^2) Frege
f- 'e-her wlio
Professorship to the leo, ^broder's book ís Vorlesungen uber ate w/i
Bofrat ¡s strong eviH P^'omotion; (3) the fa t '^onip'eting his project at ^ ' 1895). Frege's article is F25. . p^o ® F27.
J-na Universitr and^ aíd be was granted the íltle of 8 Peano's review is S220; Frege's rep y >s ffl_ ^ entier considéré comme
^ co-director of'the J, ^onfirmed bv appreciatcd at fonri definition occurs in Ballue s arbcle
l'analysc mathématique", Revue de nwtaphysique
metapny eí de moiale, 3
^ See A146. ^tathematical Seminar at ¿a ^bat Frege was made lo ¿ Frege's article is F26. " See S253.
44
LIFE AND WORK OF GOTTLOB FREGE 45
nQv l, 1 • WORK OF GOTTLOB FREGE between the sense and the denotation of an expression, which ap-
argumeXmark¿°f^f Husserl's position. Frege's crushing parently led Husserl to his own distinction between the object and
Whilehewasasturi^^'f ® ""sserl's career."
out ofcuriositv the Iprf" ° "jathematics at Vienna, Husseri attended
the noema of an act of thought.
Frege replaced the classical distinction between an expression and
by Brentano's personart^^^ of Franz Brentano,and was so impressed its meaning with the trichotoniy of (1) the expression, (2) the sense of
his plan to become a ni Phdosophical lectures that he gave up the expression, and (3) the denotation (or reference) of the expression.
philosophy; and under ^ He devoted himself instead to Similarly, Husserl replaced Brentano's distinction between an act of
cate of psycholosicni m ^ influence became a staunch advo- thought and the object of that act with the trichotomy of (1) the act
1° 1891 hSi núbluS
Arithmetic, in which he
"-athematics.
volume of his Philosophy of
of thought, (2) the noema of the act, and (3) the object of the act.
Now, for Frege, the sense of an expression is that in virtue of which
logism. Heincludedan ^ view firmiy rooted in psycho- it has a denotation\ while, for Husserl, the noema of an act of thought
whichprodded Fregeinto! philosophy of arithmetic, ts that in virtue of which it has an object. Thus, Husserl s noema
^d subjected it to bis exrpnt^^ Frege reviewed the book
Husserl's major argumenté powers. Analysing each of corresponds to Frege's sense', and, indeed, Husserl considered his
con usion that iurked in th cxposed the contradiction and uotion of noema as sense generalized in some special way.^®
Here, then, is a strong link between Frege and the school of
tw ííid he
that there was underminp
littie left to ,tK ^^""^ations of underpinnings. So
HusserPs position, phenomenology. The notion of *^noema is crucial in phenomeno-
explains: stand upon. As Husserl's biographer íogy; and indeed this philosophical movement, initiated by Husserl,
could be reasonably described as an eñbrt to study noemata. ^
Frege had struck at th Unlike his review of Husserl's work, Frege's critique of Schroder's
Brentan^^v!^^"^ ^cgmatically aní vf ^Husserl's] views so that, unless he Lectures on the Algebra of Logic had no impact upon philosophy;
carrvon°f \u ^^^stomed
carrvonf ^^"stomed him it ® ^ ^®^tely
°^tely by the doctrines to which but from Frege's point of view it was important, because it disproved
Schroder's claim to have a better logic. When, back in 1880, Schroder
root nrinní 1 P^cdigious tajüV «F ^¡foffundamental questions— reviewed" Frege's Conceptual Notation, he proudly asserted tha is
ticaUy the whof particular and ^ ^^°^ough analysis of the own logic (and Boole's) was superior to Frege s in ewry respec , an
Positions witho! ^^tertowork
ut attempting builH waf • general,
over to and prac-
clarifying basic be produced a most critical and misguided review, rege a
Frege's review thus ma ^ ^ system on them." tered this attack in his lecture "On the Aim of the
^PPearance, Hu^rf h"?'!*® "" Husserl's career. «O""" (and in theNotation;'"')
'he Conceptual unpublishedbut
paperthe"Boole's Calculat.^ifhrSder's
Log'e and
£r.r¡,'» «"■¿Sí'r.
«SStíí"
J... , ■" Sil'"""
■- cirrpsSs...
' tic did not opponent of r»cx/oV.oio<rism.
matter appeared sixteen years later in Frege s
'°8'c. In that work Frege specifies many difficulües and mconsiste
^tes, tracing them to five major sources. Schro er a
- - -"
Frege's Weas from®p° í"® apparenüy did o Failed to distinguish between a elass as a "^^''^Íael
cluster, agglomLtion) of individuáis and a elass as an abstraet
thoroughlv 14 A ^°tnnients inH' by Frege himself) are (non-physical) object;
and 1906-anH *^o philosonhe^^^"^ studied them (2) Failed to distinguish between sign and thing signified,
(24 between 1891
12 o oontains a careful e*oio . s letters to Husserl " ^ thorough discussion of matter present biographi-
" The^^^^' Fhe review is S256. For a discussion ot its co
These letters can 1,0^''From*!')!
f ^213, n 51 "ation of Frege's distinction sketch, §8.
® found in the Freg¿ Archív " ^^0, S141, S142. " F12.
»» See S253.
8c Archives inMünster,Germany.
47
WORK OF GOTTLOB FRECE LIFE AND WORK OF GOTTLOB FREGE
At the height of this happiness and success the "impossible"
a concent between (i) an individuaPs falling under happcned! Someone—a young British logician named Bertrand
concepf'" concept's being subordinatcd lo another Russell—discovercd an antinomy in the "solid lógica! foundation
for mathematics which Frege had laid with such pain. In June 1902
^^ ^alirand"'" " Russell wrote to Frege to disclose his discovery.^ Frege was shocked.
The antinomy was the now famous Russell s Paradox concerning
ThuTTeT ''''''
what a formidahlí»^n^i Schroder aiso learncd thc hard way
the set of all sets which are not members of themselves; if it is not
a member of itself, then it is', and if it is a member of itself, then it
is /I0/.2
The ^hallenged. The trouble lay in the set theory which Frege employed in defining
criticism was H Schi h ^ ° target of Fregc's most caustic Ihe numbers and establishing their mathematical properties. The
foundations of mathptvf^!' chosen to write an article on thc Paradox aíTected not only Frege's work, but also the work of all
mathematischen W' edition of the Enzyklopadi^ scholars(such as Cantor and Dedekind) who had used set theory for
incompetent essay, and afte ^ singularly the foundations of mathematics.^' In Frege's system the difficulty
and others had in'vesteH * of careful work which he could be traced to his Basic Law V-the only fundamental principie
thought it was a scandal th ^ u of mathematics, Frege about which he had expressed some reservations.
article. He wrote a scath' ^ ^"^ykiopádie should print such an Frege believed that without a solution to the Paradox three
privately under the titlf» satire on Schubert's views, publishing 't decades of work would be in jeopardy, and mathematics would again
Paper, more than anv oth " of Mr. H. Schuberí.-'' This be tottering on weak foundations.» During the summer of 1902 he
have when aroused The h^' what a spicy tongue Frege could corresponded with Russell and attempted to work out a solution to
tains are the best examnIe.TfT' ^^ich it con-
ampies of Frege's efforts as a satirist. the Paradox; but the bad news had depressed be fdt i k
In late July he reported to Russell that he lacked the strength to
reply to Russell's letters as quickly as he wished
. ^^ginning RUSSELL Finally, as the end of the summer drew near, th pp
in 1896, Frege's luck Honorary Ordinary Professor sccond volume of the Basic La«'s °ff'''''"'''' ITfosZc
enjoying some success Th^ ° ^niprove; and by early 1902 he was Proaching, and Frege hoped to '«nlude ^ f Ls°c Law V
Arithmetic was in press- anH ^olume of his Basic Laws of Russell's discovery. He devised amen men paradox in his
oubtthatarithmeticisabran proved beyond all tvhich would prevent the generation • nn anoendix in
mathematics from a qual. believed he had rescued 'ogloal system;'and he ¡ncluded the amendmem
foundation rooted in "the^! ""^-^stablished it upon a solid ^hich he expressed confidence that h
Besides providin^th thought".
I See S240. , R,i«eli's Principies of Mathematics,
Frep had dealt a damagine decisive proof of his own view, 'For a discussion of this paradox see Russell
^ctrimentai
(Mili Weierstrass, Kossak ^ ° ^"'^^^"talternativetheories which
Extreme empiricism Chapter X. See S24I.
See the Appendix to F30. hincraDhieal sketch, p. 37.
u and "formalism" Psychologism (Erdmann I In
Seethe
thePreface
same; also §13 of the present
of F23. ,
biograpnic
. gg arlthmetic can be scientifi-
all beeneffectiveiyattacked
an Ale
shortcomings in the lom'mi Ballue, and contradictions
disciosed Thomae) had In the Appendix of F30,he says: 1
cally founded ... unless we are aHowed'at 'easr
conditionally—the transition
something
o w om had claimed that thpír " and Schroder, both from a concept to its extensión"(from Furth s transí
own logic was superior to Frege's. ake Frege's Basic Law V holds. . „„„f.his ietter can be found in the Frege
20 p29^
^'In a letter dated 28 Juiy 1902. A copy of tnis
Archives in Münster, Germany.
48
WORK OF GOTTLOB FRECE
LIFE AND WORK OF GOTTLOB FRECE 49
The more I thought about it, the more convinced I bccamc that arithmctic The present volume includes Frcge's Concepiual Notation plus
n geometry grew from the same foundation, indced from the gcomclrical several works concerned with it—thrcc related articles by Frege, six
one; so that the whole of mathematics is actually geometry reviews (apparently the only enes) which appeared short y a er
Frege's book was published, and some remarks by four distinguís le
""""bers with points on a Gaussian planc, Frege contemporary scholars.' Taken together, these wor's cover
objects he thought he needed to give arithmetic important chapter in the rise of modern logic. . . .
Even though the Conceptual Notation ushered in a logical renais-
for he gave up a belief he had held sance, and, as such, lias bcen duly ceiebrated by n®'°'''fn® o .
schnm-'\ ^ (expressed as early as 1874 in his Hahilitations- many Importan! facts about the book have remained obscure o
rnntpH • I ú'? arithmetic is analytic a priori knowiedge generally unknown. Why did Frege vvrite h'® hook-precisdy w
in "opÓ"
in 8®on^s'ry is synthetic a priori knowiedge rooted
geometría intuition". «as its aim? What did he take as a basis for his ' j
make the great logical discoveries which 'he book conta ^ y
of^ríhm^t-^'i!'^' ''''' pursue his new foundations did he use an unusual two-dimensional no'ation? To date lypite
and aecb m rr
' 'he great influence of a growing interest in Frege, such issues have "ot b "
leffhTh^m 1 ' p «in- In 1918 he had in detail. The present Iiitroduction attempts'°.nns«® ^P ,
Kleinen n^r V to Haus 52 in Bad and ihereby provide a natural and appropriate preface to Fre„e
of 77 he died H of Wismar; on 26 July 1925, at the age ^ork.
world-atraBtftr í "'""''"y nnmarked by the scholarly
a revolution fnm log.e
I and !mitiated
" a great^ad singlehandedly
moyeLnt created
in philosophy. JL
which there is some connection and order, whicli and so, in thc Conceptual Notaiion, he limits himself to propositional
a means of noticing theorcms and ccncral riilcs".^"^ expressions." Bccaiisc of this restriction, all functions in his "con
Rpraiic ofr thesp
13ecause ° theorcms
. and general
T ._t ceptual notation" are propositional^- and all non-function letters
exore^innch advantages, to construct thc propositional which are not in argumcnt
nrmimcnt places
nhiccs of functional
fuiictional expressions (or part
to emnlov lpn^°"r 'og't^al ones), Frege wishcd ®f Quantifiers) are propositional ieíters^^
involve con<;t V their argumenls. This would Frege's functional expressions are not only "modelled upon the
had previously
DrevTnn^^^^^notad, such a practica
i'"''' was notways;
non-numerical new: but, as Leibniz formula languagc of arilhmctic" as described above, they are also
analogous in the following way. In an arithmetic propositional
whosrme^iTno?irnvf samples of the art of characters expression, say =f{xy, if one were to replace all the letters by
designated points (rcommon""'''"''' niagnitudes. For if thesc Ictiers symbols for particular arguments, the resulting expression wou
could form a certain / P^'^^ticc aclually among Gcomctcrs), we a sentencc. ¿'omc resulting sentences, if asserted, would be /n/c-íor
different from Alpphr ^ operation which would be cntircly «ampie (replacing Y by %\ '-V by '2', and '/{ )' by the square
as the latter fe to enjoy the same advantages fnnction '( )2')
Aristotle, we ohtnin tu f" ^ letters desígnate terms or notions, as in 4 = (2F;
mocds.'^s ^ of logic which treats of thc figures and
while others would be false—for example' (replacing y by 9,
t)y '5', and /( )' by '( F'),
developed his ^otation Frege reveáis that he
arithmettc as a rde,
in detall if nnp "ot explain this comment
"t y = to; .
discipline concernen^ Frege's view of logic as that scientifie S'milarly in Frece's lo^ical propositional expressions. say V or
a strict analogy with arithm^e^'^"^'"® maintains H.)', i"!,!:'?; í».V.v.w='«r
..nlences .vhicl., 'P
by 'All man are mortal',,,.^7" ....in. V by
logical functions Frpop a derive an account of the ^^odüces sentences which, if assertea, woiuu u. - , .
isthescientificdiscinlinp A"thmelic, according to Frege, f,^^mple, replacing ; or r^Ucing x by
of arguments of its therefore the range fílate' and 'F' by 'is a Román' to get Plato is a
analogy with
soientific this view
disciplina ofaíiíhm\ "umbers. Maintaining aisstrict
crnlne^"' that
arguments of its functinnQ anyíhing at all, then the range of
functional notaLranaZf ^hus, using tow^ard'"t^o^ucing
arguments no longer restrlted tn anthmetic, but witli the developinglogical
the kindfunctions ^ to applyEven so, he
his logical
Purely
ones;3-logical
but, asexpressions—hnti, Frege couM construct
noted above ^P°"^'0"^landnon-propositional needed an importanl addition propositions
oted above, he was mainly interested in the former;^" '^.;>,^t:ons most effectively and express
""TheUnrl,^. Which he was concerned. Smce the
forpí-''''''
for proposiiions. Sec, for cxamole í> • 'fO). tostandWiener, p, 74. but also
for terms, ia E7, the present volume, P- 132. ¡jional function' ñor a Gorman
P 2(53''l2)or4(57'6)
Sec below, p. 104. Seeaísrsmr^^^ ,5 (34,5_24)
^167, pp. 92 and 96. prior equiv himself did not use the function in
defin h is uscd here in the sense of P P . j j.^ After
VaH"?dbyChurch(S66,p.257)as''a/w^^^^^ rangeF20,
of theFrege
dependused
»" AUw!;Z'sta¿"of i'-"!' "í'"™' "■ Va;¡rC^
prQr,^ e Je Church
^^riab ?.'s (S66,'r
composed oíp. propositions
257) ocVfW.
as/'a;-"-'
. ^(See 6 bciow.y
^hich 4. nf the depen-
wto problems of seLmfeand was not concerned den? ^'honal functions
39 c a distinction bctween 'vit ? below.) For example, he d¡d «'^^bableis composedi>i exíensioin
oftruth-valu«. for propos.t.ons
See F7, the presem volume n 127 ' ^"d "unsaturatcd" cntitics. ("as "Po^i'ional letters
' • " See above, p. 61. ^ "«^rtible contents") ratherin than
thc Coiic f
truth-values. gbee ^ below.
I
ir • r
64 EDITOR'S INTRODUCTION 65
EDITOR'S INTRODUCTION
functions was the entire universe,'*'' he could use them without sup- they do not, by themselves, indicate their intended scope.^® To over
plementation to indicate "generality" {AUgemeinheit), and thereby eóme this difficulty, Frege introduced a generality-delimiting symbol,
which is placed in the connective array in a manner similar to that
if ^v^rything in the universo—for example, of the negation sign. The symbol in question is a "concavity
P® y .^On the other
Property,
hand,*0(a')' would
one may wishmean "Everything
to express cither ( —•)which can occur within any horizontal line (just as the
negation sign can be attached to any horizontal line). In order to
^ ^ property 0), property 0 (j.e. something^ dees not have identify the letter, say a, whose scope is to be indicated, that letter
placed in the concavity (■ ") as well as in the arguraent
or
P'aces of the appropriate function expressions.
^ith this device (which logicians would later cali the universa
^ (i.e. nothingishas
suchproperty
that it 0).
is not the case that it has property ^ quantifier"),'»» Frege was able not only to delimit generality scopes;
aiso was able, by combining his "quantifier" with the negation
symboífor?n/'^° sentences differ in meaning. Merely adding a ^'gn, to express particular as well as universal propositions.
him to express the H functional expressions would not enable ^rege's universal quantifier was the first variable binding operato
(here índicateH h ^ The reason is that the generality ^sed in logic. Here is yet another similarity between the "conceptu^
•nof)govern diffLnT^artrfnhet''''' notation" and "the formula language of arithmetic"; for variable
'nding operators are used in arithmetic as well for examp e, in
Letussav «/¡tu r: expressions in question.
the generSft'vTnr P''" '^e expression covered by ^h® ®xpressions
(or the negationt If^" (Gebiet) of the generality sinx
(O Not.[everything
til M f {has propertygenerality
<S}] by '{ }•. the result is the variable V is bound by'j^(.)dx and ' Hm' respectively.®
M Everything is such that {it is not the case that[it has property d>]}-
®y combining his universal quantifier with bis letters p°p,. ,
tion,,wWle'^^iil'thp' generality
wmie in (ii) the reverse is theis case.
included within that of the nega- *ves and adding his rules for their application, Fr^e pro . „ g,
•nost powerful and most characterisüc instrument of modern ^ ,
must sometimes be'lfniif"ri'f^'^' generality or negatio" hough at that time he was not aware that he hf don® »o. He was
satisfied, however, that he had developed the Uibnizian gu g
""r Poeded, so he proceeded to the first phase of his logistic p J
M .7^ ' 1» «•> P^P"" *
expressed without' which Frege was concerned could not b® 6
symbol for neeation which clearly delimits scopes. His
tended scope of a eiví^n "automatically"—the iii' Phase of"conceptual notation"
Frege's logistic proved
project;" buttohebewould
®dcq"atelater discove ^
the position it occuDÍes"fn unambiguously indicated by
letters, however occur to ti, connective lines.'»' Frege s Sio"ñ Frcgc uses ¡talic letters, however,
scope of their generality.
they alwaysA40haven the
„ „ . „
entire expres-
288.
« AA y r . not within it; and term 'quantifier' stems from C. S. P®"" .' . rn this volume, p. 135.
See Frege' s versión of the square of oPP^"!,® j macérate! see MO, §6.'
Por a discussion of the use of these m logie and mathemancs,
See A40, p. 14. ,
P'^131. mples are similar to(i) and (iü) above. See F7, this volume» y* V. Quine, A127, p. vii. Quotcd below, p. 236.
*' See the section "Necatinn" i-n , ^ above, p. 10.
in F7, the present volume, pp. 120-4.
67
EDITOR'S introduction EDITOR'S INTRODUCTION
need for modifications and additions in order to complete the efTort. indeed, Frege sometimes refers to them that way. Again, however,
In particular, he would need a carefully developed theory of meaning. he seems to blur the distinction between subjective, mental entities
In Conceptual Notation Frege gives iittle attention to problems as traditional Scholastic logicians would have them®® and objec
o meaning. He does make linguistic or semantic distinctions where tive "thoughts", as he himself would later cali them.^
ey seem appropriate or helpful; but he does not systematize his In explaining the meaning of his identity sign( — (ínha tsgeic
is me lons, ñor even follow them consistently. For example, he which he uses to introduce abbreviations and express some
^inguis es sign from thing signified (or using from mentioning an of his "laws of puré thought", Frege makes (but never uses m the
p ession) y employing capital Greek letters while writing abouí ^^nceptual Notation) a semantical distinction which seems to oorre
s no ation, but not while writing in it.®® Similarly, he often places spond exactly to his later one between the sense (Sinn) an
inary anguage expressions within quotation marks when men- 'denotation"(Becleutung) of a sign.®® He treats identity as a relation
uoning rather than using them. On the other hand, at many places etween linguistic expressions, indicating that two expressions
rrege seems to confuse his symbols with what they stand for.®« ^ same conceptual content. Using an example from geome ,
meaning in the Conceptual
f>^es the ñame ^A\ which stands for a given point on ^
^he "ñame" which stands for the point of intersectio
this earlv^t u "content"(Tnhalt) of an expression. At ^^•"cle and a line rotating about A.
betwppn c ^ clearly distinguish (as he will later)
memonVc" ™®aning (private, mental images "arising fro"^
which vflrv°f impressions" and "saturated with feeling")»®'
Derson anH 7"^ person and even fluctuate for the same
of man'v meaning,"which may be the common property
He does int ^ mode ofthe individual mind".® ^ AS
exDress onlJ^ ^ related distinction, however—his notation is to
for lo^ • ;^0"ceptual content", which is that meaning necessary
sories^re f ^"^o^ive connotationsisand rhetorical acces-
a move toward the
"meaning, though there the rotating line is perpendicular to the diameter
T^mir the two. p''hen and 'B'stand for the very same point. In this
contents of nrn ° for Frege's notation are conceptual distinguishes
The expression ('^4' or '5');
therebv hemmA "• a contents can be asserted and ^ The content of the expression (the given point);
te™ for •Wr.
SL asserüble
K, contents" would be "propositions'(Lze);
"assertions").- and,
Another «' in «« is «-"t<:¡5:£in";~
or as "the point of intersection ... wlie
tual notation" he had talking about his "concepj
and "object languaee" ^ distinction between "metalanguage perpendicular ..
i^his tripartlte distinction apparently exactly corresponda to Frege s
" -S.«, P.485. 'ater one:»»
"LneSlV-JudiSwec^^^
one can make judgements ahmit ^ ^ ^
• SeJ^above, p. 62. The expression ('A' or 'B');
fljjerfóí/content, and oniy beiirtheilhnr ^ judgement is a"
04 «r p- 65 See F20.
'""'sm teloT ®''°" ■ 88 I ® § 8 of F7, the present volume, PP- 12^ • .{„» point.
Angelelii, in S5. was apparently the first to notice tnis p
9t!Sm ^■1
69
EDITOR'S INTRODUCTION EDITOR'S INTRODUCTION
(ü) The denotation of the expression (the given point); light upon several special features of Frege s notation. t exp ains,
(m) The of the expression; i.e. the way in which the denotation for example, why he uses so many diffcrent kinds of letters. or
is given (as the point on the circle, or as "the point of inter- sake of perspicuity, difierent letters are used when difíerent purposes
section ... when the rotating line is perpendicular ...")• are being served.«' When discussing the "conceptual notation ,
In the Conceptual Notation Frege does not use (3) as an aspect of rather than employing it, Frege uses capital Greek letters, such as
'A\'B\ T','0','ÍF' and'X\ In the "conceptual notation ilselt n
meaning, but he later employed the distinction of sense and denota- employs italic letters to express a generality when the ° ®
<4^ A the terms
added advantage in {das
'the True' his logistic
Wahre)project.
and 'theAtFalse'
that(das
timeFalsche)
he also generality (universal quantifier) is the whole of an ¿
o re t e valúes of propositional letters and the denotations of
and Germán letters when the scope is limited to p^ o
í'ormula. Lower-case Greek letters, such as a, ^, an y
sentences, respectively. In the Conceptual Notation argument places. . r ínHap-
truth-values, but uses, instead, the expressions Since Frege distinguishes mere asserüble
sentences^ denied' to distinguish between true and falso ments,™ he introduces some notation to olear y cap «troke"
fon. He places a long, horizontal line, oaUed^oontentj^^^^^^^
distinrtinnc^^K Notation Frege provides a set of semantic lo the left of a propositional expression, say >
them oarpf'11 ^ employ them consistently or develop Ihe assertible contení of :
ater semantics and indícate the direction inthey doheforeshadow
which will move:his
Distinctions in the
'Conceptual Notation'
This can be read "the propositíon that zl". ^
1 a. sign
Later distinctions tho given content, and thus expresses a
b. contení 1 a. sign jadgement stroke" to the left end of the conté
c. the way the contení is deter- b. denotation
mined
c. sense—thewaythedenotatioD
2 a. conceptual contení is given
b. other kinds of contení 2 a. objective meaning This can be read "A is a fact".®® u-^víntr oersoicuity and
3 a. the assertible contení b. subjective meaning The desire to preclude .^^. f^strategy'" of using in his
b. thejudgement 3 a. the thought
b. thejudgement
sunplicity also led Frege to adopt Leibniz s s po^thls reason Frege
4 a, *is aíBrmed'
4 a. 'the True' ttotation the fewest and simplest basic conc p * j^^Q^al connec-
5
b. 'is denied'
using Greek capitals and b. 'the False'
^^?>^8ht to find the smallest number of simpl^
5 use-mention distinction
tves and rules of inference that would
quotation marks to mention
expressions
68 See 6 aboye,
or footnote
p.66. 14 of F7 {b). , sien V from Frege, calling^
7 thp assertionRussell and8)Whitehead
using ^^^P.^^'l-proximately Frege's
thesense. From
's source, thesign" (p.
"assertion and
sign" it ° |n¡ng of propositiond
After Conceptual
asDcct of C!onceptual Notation is the only majof anri^'u"* ''rege modified his account of t "Assertion'. •_jjcate
with an eve tnw 7 rigorously and carefully developed ^changed
th^orne the meaning
logicians of'h'inaccordmgly- S
(e.g. Church syntactically
This usage .s mchwt
to entirely
chance of errnr ™aximizing perspicuity and minimizing a formula is a theorem m a given logi
amtains constant controlrespects,
maintains consta ? over developments;
the desire forandrigour
this fact
and throws
clarity from Frege's. , . Atni np. 6-7.
See Wiener, pp. xxvi and 10; and al »
EDITOR'S introduction EDITOR'S INTRODUCTION ^
He managed to limit himself to oniy two connectives'^—negation which emerged only later from revisions in his and^'is
Thus, instcad of listing truth-values, Frege uses is a
pyH ^|onality
isjunction defining
in termsconjunction,
of thesc. Theinclusive disjunction,
condilional and
he employed, denied' • ••
Though Iic employs the material
conHíti "truth functional" or "material" nective, Frege notes that conjunction could ha • w more
thp ^pparently had not been used by logicians sínce and he choL the Ibrmer because it gives htm ^
advócate Greece, when PhÜo of Megara was its major K*.».,u,. or roforonoo- Tta. M.
previous'uJ V'"° "lowever, that Frege knew of its defines purely syntaclically.'^ In a,¡fies this claim,
*3^ that he hit upon the material only rule of inference; but at one poi
iunction \n w fr experimenting with negation and con- apparently acknowledging that he does use ■ gj^ospecific
appalVv nn suitable connectives. He derives a new judgement from a single premi . « j "substitu-
XStn
then A' Indeed
<=<""bination 'not(5 and not-^)' shares
ofdmary-language expression 'íf oames to ihese other rules, which today ^^grs to a conse-
'ion-, "generahzation", and for the
condilnaí (w,th B« as'
antecedent and A"'«^'''on for the material
as consequent). quení". Frege refers to all his rules o i . .gg their purely
^Pplication of our symbols",»" a phrase wh.ch mdioates
syniactical character. iipd "alphabetic change of
Except for a principie which could be ca stated; so
hound variables",®^ Frege's substitulion ru .¿^g^ His substitu
doefhesXTt
and he carefully wl'Xdr
nníntc ! stroke" can sometimes be 0"'^
read "if í to see what he permits, one v tables placed to the left
tions are simultaneous and are indícate^ y ^^^g pjj.
to the ordinary-Ianguage '.l"„'""y"tbol does not fully correspond of lile expressions derived therefrom. -phough he does not
continúes to reaH tKo j- • ' tifter this explanation, he Seneralization®® and one for ^onfinemen .
especiallywhilenroviHi^°" '*"ot {B and not-^)"» ^"iploy it in his deductions, he also states a principie ^
""^Whit ex^ r o"\'n ax?oi^^°" meta-Unguistic "proof")
employs what amoun^s^t^tTeT^.u ^ conditional stroke, Frege [Given a judgment with a gpnP''^''^y ^!f" ''"'í
tPent stroke] we can always derive arbitra y place of
his íogistic Project,
proiect how
however, hetruth-table
does notmethod.''^
yet employAt truth-values,
this stage of general contení by putting somethmg . contení stroke
he Germán letter; when we do this, the c
^ U is not known whether oisappears ^5
nnSÍ-r! connective, such as possibility of using just one . • ni iPtters in the Conceptual
n Ki'' to C S Peirrp "non-conjunction". The See 6 above. For this reason, Frege's P';®P°®^p°"ai contents"),
about
ífnr by H. M.
it isSclieffer
unlikclyintha^F
íoTi e ^"^0, pp. 134-5.first
Evenincntloned
if he kneWm triiS'"^" actually
«h-values. This isstand for propositions
one major respect (
'■^''l calcniusdifrers from most later ones -nema
formulation of th F23.
P
as72nilaf bis notation sinrp would have used such a connective
II
I conjunction, and the mat • 'i^ "®'tber so simple ñor so perspicuous
PP- 128-38. conditional. S=e F7, the present volume, PP- =>^19 "' 70 n6 and
H;. IWd-.p. 117. " Ib'd^t'derv^'¡onsofformulae70,nP.ar.
Stated¡n„l,p.l3.be.ow.Uscdmtheden
^ ^ aífirmed".
(pp.m'and his rule of detachment ia, f'P'^8e' s explanation of these ^^blcs
§11, P. 132 below. Used m the
pj- formulae 97theandder.
See ^^^'^L^^^^^hefirstuseofthp tí ^PP* ^"d 146 below). of
mechan'' n'^'
mechanically
Strictly speakinfr f "^clhod in the history of logic- 2 íot-mulac pp. 132-3109,below.
81, 96, A firsj-o
123. and 130. A sec ond-order versión
are mterpretedused regardiess nHnf ^ Frege The
metaln^'"^^^P-tation. did not useanaio^
nearest tabics that couldwork
be ¡rjhons of formulae 91, 93, and 95.
IP §11, p. 130 below.
EDITOR'S introduction EDITOR'S INTRODUCTION
In Part I of his little book Frege presents and explains his special
nguap; m Part he begins to apply it. There, he introduces a set
(he calis 11 a kernel") of "judgements of puré Ihought" which, he
compfe/e (vollstandig), in the sense that, together
thp "Ir ^ ^PPÍ'cation of the symbols"(rules of inferencc), f(d)
rn.n.
many oHher laws
i ' of thought from the^^egiven
otheís. Hisinplan
enes, is to
order toderive
show fíe)
containpd'^^^^tu'^^^"^ demónstrate "how some are implicitly (CSí/,
svstematt.r '/u-" P^^sent an axiomatic •"rege treats the italic propositional letters preLions
svstems arp^n" logic.®® He notes that other complete
used however^T merely one example, which may be ;^"ables, substituting more complicated '"'^7 eases
the others. [°r them, Tlie subslitulion instances, he says, ar p
corresnnnH; t fo"" his system is the following set of nine, nontained in" the expressions from which they" he dees
and(dCspeclei; Although Frege claims compleleness f""'
°t fully specify What this claim means, and he
° ^ pjfp',. ^ proof
fcompleleness. In 1934, however, Lukas.ew.cz p ov d^^
axioms of Frege's "kernel" form a complete se or the hrs^
''opositionai calculus,"" in the sense that oge /(acit) substitu-
T-o of Frege's rules of inference (modas Vs. the
every tautology of the PC0P°f tn of the proposi-
^°"ccpum! Notation contains the first formulat.o
^onal calculus as a logistic system. .independent,
i^kasiewicz also proved that the third axi Frege's rules of
i derived from the first two usmo derived from
Pp. 136-66 below. J^ference.®! None of the remaining five axioms can
See below, p. 136,
^According to Kiieale,"' Frege's nf nine axioms, together
^ .-oin-
cational logic. At^his earlv^stagp^b?a P'°"^®ring the development of quantifi-
second- and higher-order Inoir Th?, c clearly distinguísh first-order from
he uses a second-order confiiipmpnt in the derivation offormula 91 Plet
„ o Set for the°ffirst-order
generalization and ca
functional concu ■ .j-j^ús,
|, he also
gs agave the
logistic
one. In the derivations of formulae 77 anri ^ corresponding first-order
order logic, but cites corrcsDonriinc» fir ^ judgements from sccond
and 93 are obtained indícate th;ít t ^®t-order enes. The tables showing how 77
^ornmlation of the first-order functional calculus
Frege thought the second-ordpr
in accordance with his rulec nf¡nf
he wrote the Conceptual Notatio'h
follow from the cited first-order ones
p ^'arting with his "kernel" of "j"dgaments^of^P^re
this slip as evidence that a nJrln Heijenoort(see p. 3 of F7(6)) takes Wh'^u forty-nine more, thereby P . .jgquence to logical-
ceptual Noiation; but this Jpmc • generated in the system of the Con- om' 'c" base his "reduction of ordering proper ancestral),
introducing machinery which^rp2pT?^h smce the difficulty is easily solved by (i.e. his purely logical defin.t.on of the pr P
level" and "second-ievel" funrtif provides to distinguish betwccn "first-
confüses these two kinds nf f , le Conceptual Notntkm Frege never
terms for them.(See below fnntn 'f"®'though he dees not yet have sepárate '.I !<=<= §6 of F7, this volume, p. 118. J «. s"P ^¡9^"
2 ="<1 5. PP. 174 and 183. respectively.) ^neli rtranslatlon
«'Sh ^ ofoftheS284.
independcnce of axiom ^,3 S167, p- 4 ■
75
EDITOR'S INTRODUCTION EDITOR'S INTRODUCTION
To begin the reduction itself, he indicates the very broad notion of
function'that an expression such as '/(x, ;■)' ¡s to stand for: sincc 3.
/can be any binary rclation or procedure you likc (spatial, temporal,
logical, mathematicai, etc.), and .v and y can be anything in the ^h'
or
(u) No rnatter what x or >- may be, and no mattcr what procedure/
may be, y is a result of an application of the procedure/ to x.
The notion of "relation" and "procedure" are so broad here that Given these very broad notions of function and
(ii) are to be taken as equivalent in meaning."^ Frege seems to P/'oceeds to define what he calis "an hereditary prop
pre er t e term procedure , apparently nearly always having in mind Property F, then every object to which -v bears ^ ,,95 (i.e.
. P^operty this meaL 4 is hereditary i" '
/•; tms means y is
US e °procedure of logicaliy defining
adding one to anmathematicai
intcgcr to get induction, and
its successor. ^''Tiodern
r^iodern parlance, "the property ^f is/-hered
is/bere "" ^ ¡ yeto define
ihe notion of "sequence" that Frege has in mind is aiso very broad, is definition of'hereditary proper
Demg simply the idea of a number of entities being interreiated by any the 't? Ptoper ancestral""''of'lieteditary P™P^Í;;y , Ff
and the ancestral ^ "relation.
tqHows x in the
be spatial, temporal, his definition of the proper ancestra , . ^^itary in the
relaf ^ quence" means: for any property FF, 1 ^he/-relation has
ation ^need not be linear, such as"rethatsequence
formed bydetermined
a string ofbybeads
tbe quence, and if every object to which ax |
^"^^nce, js a^ proper
or the natural numbers; if might be ring-like, or have branches like F, (i.e. in niodern parlance,
tree, some branches might merge, and so forth. 7^estor of . Fsequence
AS examples of such sequences, consider the following: Given ten
dtfierem entures labelled n, i, c, r/, ,■ .espectively; let beJ^
>"ingdefinition of the yancestral,
with X" means: ¡s identicaly ^-th x follows x in the
Jíueiicc (i,e. in moderii parlance, a is . ^pjcally;andtbey
anv ^bears the/-reIation to á (where d and Toan be the first to define these notions -.j^^gtic from logic.
"sequences"-^" " "ow the foIlowing important role in his later derivation of anthm
1.
9
2.
tiiF® ^'^bievements of the Conceptué prege did not realize
itt the history of logic- but even Frege
thent ' ""'.""I the introduction of log'ca
•""btcti'on"" P'''"r nnectionsamongthemeanings
■°n^.andthedemonstratmnofconnect.o
See fni-. 1 t/-7 Formula't)
' f/. 69 in §24 beiow, p. 167.
See §24 of F7, this volume, p. 169. Seí» in §29 below, p. 186.
^Ppendix 11 below, pp. 236-8.
76 EDITOR'S INTRODUCTION EDITOR'S INTRODUCTION
of words such as *air,'some','not','and', and 'or'."" Though he was n of the Conceptual Notation deals "laws of
right in claiming that the introduction of functions (and thc quanti- Finally, thc most striking components o reg standing for the
fiers that go with them) is an advance, he was unaware of thc power first siglu, are thc two-dimensional formulas
and revolutionary nature of his achievements. kind of propositional relations that Boole s
Perhaps for this reason, he wrote the Conceptual Notation as if can express. ^ n,aior intended
it were just another work to be read and used by mathematicians of For these reasons, Venn and Schrbder propositional
his day: he introduced his symbols and assumptions, presented his contribution of Frege's book to focused their
derivations, and left the matter at that. There was no eíTort to exp'ain connectives such as 'and', 'or\ and no ,
carefully the logistic project which his notation was intended to ^ttention upon this aspect of the book, ra j establishment
faciiitate, no elaboration of the remark that the notation is modelled fributions such as logical functions, quanti e ,
upon that of arithmetic, no explanation or defence of the very •^f a purcly formal system. . -g the time, and
rigorous requirements he imposed upon his proofs, and no detaíled Schrbder was developing iiis own Boo challenger. He
discussion of the Leibnizian roots of his specia! language. apparently viewed Frege's notation as ^ book, arguing that
For these reasons Frege's book was not well received. No one published a long, captious review^®^ o » better than the
understood its aim or its contents, and many were daunted or "oole's logic (and therefore his own as ^ ^oubtlessly more
bewildered by the strange appearance of his two-dimensionaj conceptual notation", accomphshing jqg characterizes
formulas. Sbc different journals published reviews;^®® but nearly all ^^equate fashion" nearly all that ^gtrous waste of space
comments were unfavourable. and those that were favourable jcge's two-dimensional notation as a . ■ ^grlically"- He fin s
revealed a failure on the part of the reviewers to grasp the aim and „ ^'indulges in the Japanese custom o^ gjjction of ordering-m-
major thrust of the book. ^í^solutely nothing of valué" iit Fr^ge s -^ing the advan-
The most important reviewers were John Venn and Ernst Schrbder, ^-sequence to logical ordering". ,„bels them "pedantic .
who were both loglcians of some stature. One would expect them to uges of Frege's purely formal proo s, . though Frege s
welcome the logical achievements of the Conceptual Notation', but finds "an enonnous lack of He claims that
instead, they both criticized the book as a clumsy eífort to accom- °ok presents the first rigorous logi ^specially "1.1
phsh what Boolei®i had already achieved more elegantly. Tlns laws of puré thought "offer 5 they mdude the first
unfortunate misconstrual was apparently caused by several factors ^°ugh (as tukasiewicz would later s , calculus- ...
besides the lack of detailed exegesis and justification by Frege him- =°mplete set of axioms for the proP°^'"^ „views that Frege^
selt^ Venn and Schrbder were both accustomed to thinking of logic „otBoth Venn and Schroder suggest the Co„ceptual^
m ^ooíean terms.(Venn was completing his book Symbolic Logic^^ know any Boolean logic at the 1 apparently '0°
and Schroder had recently published a booklet on Boolean logic.^"®)
Because of this, they must have thought immediately of Boole's In íhis. they seem to all h.s con s s
a gebraic formulas when they read in Frege's book that the "concep- '°8io as a university student;"» and, in ma aour es
tual notation" is modelled upon arithmetic; and they must have aw""
^Sobra orSoometry
theory ofand functional L^ly ones in mathetnat
algebra-the
oug t o oole s The Laws of Thought when they noticed that Part ^ ich to encounter Boolean logm. u g^oiean ^ong
i" preface of F7, the present volume, p. 107. Jhentions no Boolean logic ^ of the ent in
uface he claims that his demonstra an advanc
of Frege's'boXi.^? Appendix I below, pp. 209-35. The receptio"
101 r o . above, pp. 15-20. uteanings of 'not', 'and', and or con
jS" Venn c Lam of Thought (London, 1854).
inü below, pp. 218-32. t„H¡es PP-
1877). -De/- Operationskreis des Logikkalküls (Leibzig: Teubner, See the discussion in 8 univers.ty stud.cs,
See the above discussion rega
79
EDITOR'S INTRODUCTION EDITOR'S INTRODUCTION
logic, and thus, he did not know that Boolean logicians had pre- here for the reader's convenience. Unless otherwise indieated, the
viously known and used those connections.^®' following renderings have been used:
After the appearance of Schroder's review Frege apparently
studied some Boolean logic, and then wrote a long, technical paper— "^"schauuncr Intuition .
Boole's Calculating Logic and the 'Conceptual Notation"""®—■ bedeuten mean, refer to. sign.fy, stand for
companng his own logic wíth that of Boole. This time he discussed ^^íieutitns mcaning, importance
te Leibnizian basis of his notation, explained its aim, and preved ^^^Snffüchcr Inhalt conceptual contcnt
that he could not have used Boolean logic for his purposes. Un- ^'^Snjrsschrift Conceptuad Notatm.
"conceptual notation ,
ortunate y, this paper (and even a shorter versión)^™ was rejected conceptual notation
y a the journals to which it was submitted,"" apparently because it OviW/)
^^^drd) bejaht is aftirmed
was very technical and full of unusual symbols. moda of dctermmaUon
^^thnmufigsweise
tn nnhr f appearance of his book Frege finally managed '"¡•"■'hcilbarer Inhalt
yrtbeilbarer asscrtible contení
^"ideutig many-one
Scient^fi?T^"fr' his "conceptual notation"-"On the ^uhalt content
bv maf of a Conceptual Notation""»—and he did so ^citz
Satz proposition
snernlar"^ general, and including the kind of psychological ^ctheil
^nheil iudgemcnt
ItTc tL .-T' í'" Phi'osophy, logic. and niathe- estcnsionoraconcept
^'>^fang eines Begriffes
Tdlnarv lancu ' and inadequacy of ^''[ueinung
'^''ueinung negation
tages of a scientific purposes and explains the advan- Wf/) venicint
wiVf/) is denicd
(18821 Frese ^wo-dimensional notation. In that same year l^'-^tellung
^'^'■stelluiig idea ,
comblnat.onof.dea
Melin u^dZT Gesellschaft für * ^^^dlungsverbindimg
tlk fte 00007™;"'°-^' his scientifie language. He * *••-•••• 'O
®24a50i
ON THE SCIENTIFIC JUSTIEICATION
OE A CONCEPTUAL NOTATION'
Time and again, in the more abstrae! regions of science, tlie lack of
a means of avoiding misunderstandings on
also errors in one's own thought, makes itself felt. "«th [sho t-
comings] have their origin in the imperfection oflanguage,
'lave to use sensible symbols to think. vivacitv of
Our attention is directed by natura to the ou si .
sense-impressions surpasses that of ,determine
to such an extent that, at 'ifa„imals.
a'most by themselves the course of our ideas, as is jj. ,
And we would scarcely ever be able to escape t us depe. dency
°nter worid were not to some extent dependen!"P""^
. Even most animals, through their ability
^fluence on their sense-impressions: t my ca^^^
íid they can even eíTect changes m thi g .
a much greater degree; but neverthe , freedom from
^ser Vorstellungsverlauf} would ^hich our hand
can fíashion, our voiceit intone,
would still be limi g .^^^^don of. symbols
without ^j^sent,
cali to mind
^sible, perhaps even beyond the censes {íw of a thing
do not deny that even without symbo s of niemory-images
/p^®^'^heraboutitself{Mmííc/iíí2'"'«^^") . further: a new
^" /"^f^erunisbilder}; but we could not allow others
•■ception would let these images sink mto a ^ percep-
° ^^erge. But if we produce the symbol of an idea wn
called to minl we create in this way a firm, neW
b J Bartlett wliich
"PPeaí^'i'" 'ranslation73 was madepp.'ndependently
(1964), oHhebetter,
155-60i fimed one ¡t was
"""j'TJ'J'Sd
adoptad »d
duly ^ ^ Bartielt's intcrpretation or wordmg s . ^ .^5,31100 remained,
S aT""'noted,
^herever
to give important
the reader differences
the b^t oof ¿"terp
bom „,ore the s^nse
Of i Bartlett renders this "unseeable", but hf^'' ble, but not
rf^nscendental". Moving air, for exafflple, >s nn^
^rtlett renders this "catalyse"-]
^ ON THE SCIENTIFIC JUSTIFICATION OF A CONCEPTUAL NOTATION 85
thought processes {Gedankenbewegwig}. The '" j¡_
to
ence is expressed aro so ^nricd, so loose and
world of our ideas anH Penétrate step by step into the inner tions can easily slip in unnoticed ana Tn this wav
sensibles itself [das SimhT w'"» "sing the realm of necessary conditions for the conclusión are Alhemeinheit}^
straint. Symbols have tF ^ free ourselves from its con- the conclusión obtains a greater generahty {gro
ing how to use the w¡ ™portance for thought that discover-
Thus, let no ene desn" ° ^S^'^st the wind had for navigation. than it justifiably deserves.
Even such a conscientious and ngo cnprifips neither in
choosingthemproperlv^AnH^u^-^^''
fact that, after lene nrarf dependsbyupon
valué is not diminished the malees tacit use of Pr^^^PP^^'P.®"® J "^emis^ses of the particular
symbols, we need no Innrr^^^' longer produce [external] bis axioms and postulates ñor in Pf the nineteenth theorem
thinlc in words neverth^f^ theorem [being proved]. Thus, in the pro . . the largest angle
of the first book of T/i. (in every
niatical
Also,orwithout
other symbols
svmbnk ^Ofds, then in mathe- lies opposite the largest side), he tacitly use
^Ptual thinking. Thus in
similar things, we actuallv
scarcely lift ourselves to con-
symbol to diíTerent but
(1) If a iine segment is not largar than a second one, the formar .s
eqiial to or smaller than the latter. r^,.„pr ic not
iit ratfaer what [the similard ^y^^bolize the individual thing, (2) If an angle is the same size as a second one. the formar
;»"cept is fi„t ¿ineH "luT concept. This larger than the latter. . ,
®Parcept,ble, ¡t requires ,"
ap^ar to US. ^ perceptible representative in order to (3) If an angle is smaller than a second one, the or
than
tnan the latter. . ,
remained external tn ^ \ error, because they have always A further advantage of the wntten f' , concept-as it
The sho t
{gewissen Weichheitl
^eatent,
[iiere] are rooted in a certain softness ^"oulimmutability.
dof be-and In this way, it is also
thus, of course.
our actual thought PrP.«''"
the . ¡j j-q the restless
^^XZ>,be.eg.ng}.
¡ng many things in mind
nevertheless
jnent. In thisisnecessar^V"'^^''^^'^^
respect \nr7' ^^^^^^dity[ordinary] language,
and potential which
for develop- fruten symbols offer the possibihty O P can only concen-
hand, which despite its ad.'T can be compared to the at the same time; and oven if, at "J°^in a general impression
«''dequate.' We diversa tasks is stiH trate upon a small part of these, we stil disnosal whenever
Plomar purpo3, °yurselves artificial hands, tools for What remains, and this is immed.ately at our disposa
«n próvida. And how ifth '""re accuracy than the hand it. , a two-dimensional
iffness and inflexibility of na Possible? Through the very The spatial relations of wntten sy diverse ways to express
« dextrous. Word-languaaeT ^^ich makes the hand Writing surface can be -Pl?^^''/",f!:tZ:«?o,lowingand
ystem of symbols {c' in a similar way. We need mner relationships {innere Beziehunge } fadlitates the appre-
ambiguity is banned. whfc' from which every Preceding in one-dimensional tiine, attention. In fact,
a cannot escape. ^ 'ogical form from which th® hension of that to which we wish to to the diversity
n'i&y now ask u• ^'rnple sequential ordering in no way c j^terconnected.
üon is'^t'„^7'"';l'ave, 'rstlraiuf'''
fi "'f" logical relations through which thoug symbol further
Thus, the very properties which se
rarrch can hV° of extéín f ''dvantage that their produC" ^Part [than the spoken word] . certain shortcomings
inner pror Particular T '^'■"^""^stances. Furthermote, ^J'stellungsverlauf} are most suite ^ cuestión of representmg
C
^nth are equtn the t
kinship ofappearance
sounds to our make-up. Therefore, when it is n ^ • ^cal action with
"atural thought as it actually took shap suppiementation of the
- ^he same word-language, but concerns ^ ^ olose connection with
^nloursdo-a a ^ sounds have a more intímate onesidedness of thinking which resu preferable. Such
do justice to ''ornan voice than shapes n" sense of hearing, then the ^ . all word-languages in
of feelings But "rost delió ''""ndless flexibility is od ^ a notation must be completely di e written symbols. It need
r''- Porpos:s"r"'-''owvat^"=
deductions Pert, no imn ^
Pombiadvantages
nations andmay
variation
b® f®,
°rder to exploit the peculiar advantage p,ay
- this intintate ad f°r the rigour of logiP''' ■'ardly be mentioned that these advantag
"f al! in the written word. The reía i to a larga extent
[• bSI:;;'! or «f audible symbds to respect to each other on the writing s without importance.
'" tríSiá'j^^'the e>cperie„'tiaf®rf_^'t;s Iranslation.) ^Pon thelength of the Unes [of prmt]
[H Bartlettrendersthis .magery .1
OF A CONCEPTUAL NOTATION 89
It would be easy to worry unnecessarily about the feasibility of the
Of formulas is a concp advantages. The arithmetic language matler.i^ It is impossible, someonc might say, to advance science with
facts without the inte ^ • "otation since it directly expresses the a conceptual notation, for the invention of the latter a rea y p -
which allows it to As such, it attains a brevity supposes the completion of the former. Exactly the
in one line. Such conte"^t^^ i content of a simple judgement difiiculty arises for [ordinary] language. This is suppose °
follow from ene or inequalities—as they «ade reason possible, but how could man have mvented language
followsfromtwootherc ^ ^aparate
a horizontal stroke whính^ ^""enthe
under
thirdone
fromanother.
tiie firstIftwo
a third
with
without reason? Research into the laws of nature employs phys.cal
'ostruments; but these can be produced only by means of an advanced
two-dimensionalitv'of tViP "therefore". In this way, the foohnology, Which again is basad upon hnowledge of 1^ laws of
Perspicuity. Here the 's utilized for the sake of noture. The [apparently vicious] circle ts resolved /och oase^
oeing almost always ba<ipa
numbers yielding identical ^tereotyped {sehr einformigY"
''^^ntical transformations ofidentical
way: an advance in physics results m an o^o ^ te^hno^ gy,
®od this makes possible the construetion o íof this
only method ofinference in T^!u' "o means the ^cans of which physics is again advanced. The app
tir it is generallv
the anthmetic language 0?^^ n progres-
it in words. Thus, ^^ample] to our case is obvious. . lansuase of
Now I have attempted* to supplement the
notof^*'°"®'^"^'therefore
ion in the full sense 'itd^"^^ merit expressions
the ñame of for logical
conceptual anthmetic with symhois for the logical ''f ^^ j
at first just for arithmetic—a conceptual no a i
Exactly the opn Ptesented as desirahle. This does not rule out PE ^ and
wiánating «¡th Leibniz ^y^^olism for logical relations ^\ymbols to other fields. The logical relations sen thaí th^ ñt
Se U™''• E ScSr^'' -odern timefby Boole. R-
£Lr^' ;otentSv;- have the framework of the conceptual notation.
P^rspicuous representation of the forms o o
of contente Tf
resulting:' ^
«PlaceT^ "S'o'otters with expressions
onalytic enuat;
lacking. I" 'gnificance extending beyond mathematics.
Eow üttie demónstrate with the S»ve some attention to the matter!
ftue concent. I "^"d of sy^,^ ^oomEiguity—ofthe formulas I Bartlett's turn of phrase.] r p..^g Thought modeUed upon
I wSr fhe construetion of a ; Conceptual Notation, a Formtda Language ofPnre
I'^Eicb.
otnstliiaiterf
hJ 'ho®odes
fol,o„i„^
of
f, f™o conceptual notation:
orinula Language of Arithmetic, Halle a. ■»
■i
92 THE AIM OF "CONCEPTUAL NOTATION"
THE AIM OF "CONCEPTUAL NOTATION
But these points of agreeraent {Übereinstimmungen} with algébrale Writers differ from each other here. For
Th addítionsound:
The followmg are logically stand opposed to large discrepancies. ^ttaches to the Ictters the index I. Others have ¡' fj^gp^tion
the negation of identity. I do not consider this mult p
^ = A.Á = A.A.A sj^bols an advantage of Boolean example, hypothetical
A = A-\-A = A-\-A-'rA Boole reduces seconciary proposiíions nn^itions in a very
^"d disjunctive judgements—to printary pjop ^ ^ ^^2 _ 4"
and mathematiLÍ^"T^l^^ algebra. The diñerences in logical Artificial way.' He ¡nterprets the judgement 1 - ^ 2 is subordínate
that solving logicaUaTar°" important consequences this way: the class of moments of time in w uc^ ^ Xhus, here again
himself, has scarcely anXñr o the class of moments of time m ^hic^ ¿f concepts;
equations. ything m common with solving algebraic ^ matter amounts to the comparison „-ppiceiv as classes of
°tily here these concepts are fixed niore p conception has
[in Boole's notatíonTtfe expressed l^t^ments of time in which a sentence is gj^ould remain
® disadvantage that time becomes invo ve expressions for
Por ^ = A.B. ^°mpletely out of the matter^MacCo 1 exp^^
propositions independently o P ^ result, every
and B si^ifles^the extensión of the concept "mammal" ^ 'ritermingling of time is certainly avoi e , j according to
the equafon saS^t exír "air-breathing", then Merconnection is severed between ^ ^r in primary proposi-
'air-breathing mammal" concepts "mammal" and ocle, compose logic. We proceed, t .j Boole; or else,
breathing:-The falline nf ■ ^s, all mammals are air- and use the formulas in the sense ® interpretations of
totally different from the under a concept, which is ® proceed in secondary proposiíions an judgement to the
has no particular exnreccíí!^ ination of one concept to another, C0II.S Any [logical]transitionfrom f blocked;
none at all.v ^ oole[ s notation]; strictly speaking» er—which,to be sure, often occurs m ac ^ meaning in the
Everything thus far is airean, f ^ may not use the same symbols with a doubi
fnT^ Leibniz, whose works L superficial diver- context. ,, as a whole, we dis-
area I daré say were unknown hen we view the Boolean formu a a dress of algebraic
OsignifiesforBoolethe
íalls, 1 means the extensión ^of"a'r ^ concept under which nothing uiutiiiiife . r a conien'-j "
bemg considered (t^mverj everything that symbols. It is not suited for the ° ^ntion.I wish to blend
0 not its purpose. But this is exact ^^ symbols already
etic. Instead of these Leih^
these cspecially of 1, deviates froiH gether the few symbols which I introdu languagelAn it,
In mathematics to form a jjd to the word-stems
"^zhas"nonert5"and'W. existing symbols [of mathematics] c com-
says that the two co ^^-^ = 0 paÍ'^.^f^"Ary] language; while „^ords {Fonnwdrter}Hm
loo*gically interrelate
suffixestheand [deductive]
contents embe stems. for d_ .
symbolísm;
. .The equation can hoi»
not7
1 ^easible to have,^for example, the + sign ¡Q,,,s!ions,
occurring in the same
28 (1877). PP-
W^stillneedasyntbolf
for exampieT' °=gation other ,1,
' Concept tn order to con 20^3 die works of Hugh MacCdl ^¡l^ll'^)hUosophical
[it ^'®8®8parenthes«„
p , . the concept "not man'•
^oesesanditaUcs.] P n'"!' 5th ser. 11 (1881), PP; 40;3.]
Adman renders this "particles .J
94 THE AIM OF "CONCEPTUAL NOTATION"
THE AIM OF "CONCEPTUAL NOTATION" 95
the'ari^hm^pr logical sense and part of the time in The falsehood of this equation, however, is jy¿„e-
TJoT^XIT"\ between the lógica! and arith- A new assertible content has been formed which becomes^^h^^^^
bring about rn "f which is of valué to Bode, can only ^cnt"4+2 does not equal 7" only by adding the judgement stroke.
symboliclaneuaff both are combined together. Boole's I—j—4+2=7.
arithmetic. Therefore^r^^^^^^^^ complete separation from
relations. // ' mvent cther symbols for the logical If we wish to relate two assertible contents,.1 and B,to each other,
^c must consider the following cases.
in comiaon with^lSf conceptual notation" has almost nothing
calculus of (1) A and B
diíferences between mv ^ important
and the Boolean irinH»^ j ^ iderpretation {/lM#fl55Wrtgín'c/5c} (2) A and not B
-that'l do noíZteTf the Ari^totelian mode
this is certainly not tn concepts, but from judgements. But (3) not A and B
relation of subordinati ^ ^ould not be able to express the
Infrontofan e^f ^^"cepts. (4) not A and not B.
I Put a horizontal stroTe^ th^ content,such as 2+3 — 5,
minus sign by Its greater Ien¿h"'^^"^ stroke, distinguishable from the bíow I understand by |^
Isotake the negation of the third case. This ^third case in
thatthis stroke
other to m '
symbok "^+3=5
content which follows it is unified,
oís can be related to it [as a whole]. ^cial at first. It is not clear at first why S j Xhe reason,
P^nicular and express its negation by a
however, will be immediately evident from
inus, we can also write:
withoutbeingBuiitvnf, r~~~"'+^='' U— A • -
IfI wish to assert a conté'?® +ÍM the case that is not equal to ^ 4. This
«"•oke en the left end of the I Put thejudgement
content stroke: qual to 4. We can transíate it: if a+ einbedded in our
^^slation reveáis the importance o i all laws
How thoroughly one ' ^ 2+3=5 symbol. Indeed, the hypothetical judgemen a
modeofnotationlmeañu??™"'""""' Through this nature and of all causal connectioas m ^ ünguist.c
Rabil i" ®"'® '"td the formatir? ^ t^istinction between the '^Pdering by means of"if" is twt''PP+i^ent-Iike .v here-confers
®Se, but only if an indeterminate con 2, then one wou
tit order to expresq th„
S roke to the content strok????
® ^ two!
I attach the negatio» +«ality on the whole. Were we to replacc by
^Ppropriately transíate
'or example,
• """ I — 4-j- 2—7
die ""fdem G h' A 2+2=4
I—2H
• ^«^iangen, isso. Logik bei deu Deutschen
^y"If2+2 = 4,then 2^ = 4".
..iiiBsáámmimmBKtamm
Now co ^ 'CONCEPTUAL NOTATION" the ATM of "CONCEPTUAL NOTATION" 97
tion stroke iñthVfollowTng"ubí^^^ I pause here lo answer some objections of Schroder. He compares
'"y tepresentation of the exclusive -A or B" with his mode of wnting
abi+Oi b = I
Thecase'not A The casc'not/í
A and 5'¡s finds here, as elsewhere in my "conceptual notation", a monstrous
^ denied.
S
and fi'is afCirmed:
B and not A.
^"Ste of space. In fact, I cannot deny that my expression takes up
""ore room than Schroder's, which for its part is again more spread
Boole's original
~A Thccase*>4 aA-b = 1-
and 5'is A Thc case Vi and
this criticism is based «pon the view that my ¡'c°nceP^
■"« deniedMand
■5 exelude
T: 5
5'is affirmed:
A and B. is supposed lo be a presentation of abstraer
each other. [of my "conceptual notation"]
in 'he places of ^ and B-perhaps
application, ene must think o w
extended Thé
^ flecase'not
Thecase'not
A and not fi' ""H P °Jections. Then the matter appears completely differpn^
' ^ is denied:
Aor 'T—^ affirmed: neither
^^^^dvantage of the waste of space of the of
A or B.
A ñor B.
'"'o the advantage of perspicmty, , ofunintel-
(4) lin
^f'h'lity.'forTheBode is transformed
"conceptual into "'the
notation" ' hes he mostg of the tw^
~T~A The case 'A
^nd not 5' ~l I \~A The case 'A and Í:f-h'y
[sen
of the'writing surfaee hy al«
foilow one below the other w
'he ^
^ontents are clearly
is denied. not B'is affinned :
sena^^^^^^yJ ^tom left to right. Thus, the separa ^ ^ g^s¡jy
líweattachthe V B .4 and nol B. visihi^^^'^ ^tom each other, and yet their ogi gj^cessively long,
Thrd°Ve' d °° strokes of°nthe expres- wS result.
^ Surely it would
Boole,bea unjust
single to charge Boole, w
second '«ft ¡s Tlw P t ^A\ d S ths cQU^tion
A be (a+b)(c+d) == Lclusive disjunctlon of A
cancel. Theti,- Verbal replacing A by the andft+'"^+'"í= (7+6)(4+3). Then to form the exclus.v
the second bv'th arises the two denials of A ' ^rege couid write the very perspicuous
the third ca/ ^ °°itversion of /? ■ the fourth from
""•¿S :.?• »"»£'r''ií-»' '■ ■•"•■£ ®* the exclusive "or can be
The Jucigenient
§2. Assertibility of a contcnt. Contení stroke,judgement s
§3- Subject and predícate. Conceptual contení ■„r,rtive-
H Universal, particular; negativa, categor»^ ' IF
apodictic. assertorlc, problematic judgemenis
CondUionality 11'
If. Conditional stroke U
Inference. The Aristotelian modes of inference
Negation J2C
§7. Negation stroke. Or, either-or, and, but, ne
Identily of Contem . „ of such
§8- The need for a symbol for ¡dentity of contení, ra r ,2.
[a symbol]
neFmction p„„etions of
Dcflnition of the words "fnnction"
several argumenta. Argument places. ^
Use of letters as function symbols. ' ^tp^pHcation of the procedure
í'-relation to A". "5 is a rfuU oUn^ ^^gon,ent
^ to the object A." The function sym
Generality s„bstitutiv¡ty of
Germán letters. The «ncavlty in the^^
Uerman letters. Their scope. Italia ^
There are some things which do not gome do not. Som 13
some . Every. Causal opposit'on
Possible that . Square of logical
I
CONTENTS
derivation of some
OGEMENTS of PURE THOUGHT I. DEFINITION OF THE SYMBOLS
first ^ ^eductive mode of presentation §1. The symbols customarily used in *e general theo^^^
[Some on their ^onditionality tudes fau inte two kinds. The «rst cons.sjs^of
T^ethirdbasicr''^"'"'''. which represents either a number it nossible lo use
first basic law and consequenccs left undelermined, This '"5'^'®™'"^™ Hdity ^
second basic 1 ° consequenccs letters for the expression of the genera
third basic law and consequenccs {a+b)c = ac+bc.
first basic law of' consequenccs
® second basic la content and a consequence The other kind consists of such symbols as +. < «• T 2. each of
® basic law of o,» ^'^cntity of content and consequenccs which has its own specific two kinds of symbols,
^^"'^^ality and consequenccs ladopt this fundamental'dea of tlirough in the theory of
which unfortunately is not stnct V ¡nciñshe domain of puré
SOMp Magnitudes,* in order to use ,, ^ symbols I employ into
from a general
^houghí in general. I therefore and those which liave
sequences ,,, fhose which one can take to sigiufy ¡etters, and these are to
^ completely fixed sense. The rs ^ , n^ust insist that
^°"»quences -¡"«isement stroke. Lower-case Greek te»ers serve mainly for the expression o ^ should retain throughout the
a letter, for all its indeterminate , context].
17Í same context the meaning whicl
the judgement
^^"■^bercn " with X." Definition and con jg6 roA with the aid of the symbol
§2- A judgemenF will always be expresse
"ature of
^ Procedure. Definition and consequen
or combination of symbols
Which stands to the left of ..gment. If we omit the small
giving tne
to^viug the contení
content {irmui^)
{ínhait} of
— ¡contal one,
horizontal one, then
uicn the judge-
vertical stroke at the left end ot the i ¡deas {biosse
ment is to be transformed '"1°''/"^Hter
mW ¿oes not statewhether or
dees ot
^orsteiiungsverbindung] ^í'^Jerample, let
"Ot he acknowledges its truth. for
J
\r
.V * , ■ p' V ''N
■ fp ■ ' . .',v ' t">^ '
ie, ,,,
l— B
®^say,''®4polf.,í°''
the content-tf
"'8^''on-segments
For example, in an indirect pt°^,
AB and CD were not eq that therefore A is denied
signifies that the third possibility occu .
^ontains a negation f ^egments .Í5 and CD are not eq and
10 B
-o is
is aflirmed.
amrmed.
is not present contení, althougil it could be From among the cases in which t..
i'igfoutl'"ifistandf ''°''°'tional.ty 1 A
•^"''■bilities;
•"ues; '''''^"tible contents (9ii^
-wic contents (§2), there are
'TU.. (I) .. - .
i'lS'"?''
a brought out® by the whole o f Ibis
^ere it ¡s left
s reader to construct the judgement
I—I— A (XX,XXX):;
l^rom[—^ '— B . gd I A.
judgement X. and to see if it tallies with the c
then ^^ample th" Urtheile X stimrnt.Y
In logic people enumérate, foUowmg^ns^^^^^^^
"^ ^vrhe | ^ was labelled by > modes of inference. I use just th single judgement.®
ame mference this way: a new judgement is derivad pUcit in another mode of
We can, of course, express ^1-^ and iV holds,
1—I— A mference in ene judgement of the
then A holds as well; in symbols;
iXX),,^ ^
^^^ethedonKi A.
ü t 1 N and i — m, i
broin this judgement plus
|
to see whethcr it is
F Here reading Schiüsse for preface of the present work)that
"siT'- ®y thk
yi'hy Frejjp ''«If,
/»„ '"'^ee but th ^ judgement
means judaement
which X „ b"
¡s ^ P Frege frequently says (for though he actually also
'lie the nh oi- an / constructed sentencia .reiy he uses only one mode of mference .¡ consequent. and several «Jthers
^ses substitution, confinement of g , j^g seems to be aware that e
f"'í&S' «SiSKsas-,''"> (see 8 of the Editor's Introduction ^hovef
tises some other mode of inference to derive
judgement from a single
SdV^cu C„^,al given one.]
120 j I. DEFINITION of the symbols 121
follows of the symbols of affirming both zl and B does not exist." Therefore, only the follow-
inference ca^K inferencc using any mode of ing threc cases remain:
to manase with / Accordingíy, since it is possible A is affirmed and B is denied
^6 do so Otli of biferencc, perspicuity demands t la
^^'otelianTorr/.''"^ be no reason to stop with t A is denied and B is affirmed
ones indefinitelv X ^ instead, we could go on adding ae A is denied and B is denied.
of judgemenw ^ ^Pocial moda of inferencc of eacft
""•«ngle mode ""formulas in §§13 to 22.This reslrid'" In view of the preceding, ¡t is easy to f '^e si^^
"mchologlcal „„„™' "in ?io way íntended to g each of the three parts of the horizontal stroke to the left of A.
!""« expedient fomTr"' ^^lle the question of
judgements that r.nl "''""oeptual mtation"]. Some of tn
sewed in §22 Anstotelian modes of inference wiH bs P I
or 5"
'"■<'"4an?"''^tsoÍ:''^true.
i
coexistencrofTand T'
^eshalluse íheword"n '' "w
'he first, in which the
the more important; an
to malee this distinof '' ^^^smeaning. Perhaps it is appropna
'belattershalUaTe'r
can then transíate '"'T""""
^ccondary meaning of"either-or" that o^y
mutual exclusión.
j— D
the meaning of
-the symbol for the combinad content ofr and and then render
means I—• B.
Conversei;, t¿e threTpoí"S' ^ ^ ttre both affirmed occurs"- ^chosetheotherway becausedeductionseem »and" and "but" is
^ '"bthties left open by
simply that way. The distinction notation". The
kind that is not expressed m this follows
^^--•'ded.Accordingty, can transíate
A
*
§8. Identity of conte"^^^'^'^^ COntent Therefore, the ñame B denotes yet specified.
relatingtonames^nMtotmr f°"" =°°ditionaIity and negation by uorresponding position of the ®truig position of the
representatives of their are usually 00^^ can now ask: What point corresponds tji ^e^P ^
usually] expresses that each combination [" straight Une when it is perpendicular game
hby^tif'
the symbol for identitfl/'"'""'' between
^PPear m pronr: ^ ^ their
as they arecontents-'
combined 7"' be: The point ,4. Thus, in this ^f=^'„\\,veusedoniyonenauie
^ontent as the ñame A; and yet we could n
■ ^ tile«f two
tntrodneU„, h-coatent, for this signifies
ñamesfo^H
a sym^ the circum-
Thus, with the f'ottt the beginning sinoe tbe just» ^ ,,,,,
Py our answer. The same point is deter
Sol y into a'^ ^ontent, a bifurcation (1) Directiy through perception. straight Une's
Pertaim^^ ^Pression at fi at times for themselves- O) As the point B corresponding to tbe [rotating]
"Thav 'he el'lf"'''hat what we are dealing whb being perpendicular to the díame
and ttL „'t , ^ sepárate ñame corresponds to eac of a symbol for
show the f 1 svmF i symbols of the same ' ^ etermination {Bestiwmungsweisen}. ' same contení
ftom ííome^^f'his ipeínn lie i"^entity of content rests upon the fo
^^«hefullydeterminedindiírerent way , thesajtie coníent,
{different} modes of
'hecircumfer^' ^ ^'^aight lint' fodowinS
[of the cirrui
circipi ,i ^'^circle
^ ^íircle \A/i
Wi about aa fixed
aoGut point '-A
hxeo poim. ^ ^ particular case, is actually ^ pefore this [judgement]
Point BjcorJ'
corres p
the cnTr^^r*^ straight
^^taight line forms a ^^^^mination is the content of ^ aames, corresponding to
US go
&n on tn to thifi
a_ P^'ichne fn H.!- '. the íliameter] opposite AA
diameterl onoosite be made, we must supply for the thing thus deter-
be two [different] modes of determ g^pression a symbol for
the strailnr''°" w"f 'he íwo Unes"■[tbatKi
"Id"«M.
tlie
.s, 1 -ned.Buttheiudgenientre.u^^^^^^^^^^^^^^^^^^^^^
""=] the point B correspondiug to F" Here I follow Geach m mclud
t Bauer-Mengelberg's turn of
126
I- DEFINITION of the symbols I. definition of the symbols
are the same function with different arguments ¡f
ihat dfeent "Ín gen" and "oxygen" as arguments. On ^he «ther 1 and
indiíTerent miít contení are nol alvvays mcrely ^ different functions of the same argument if we
different modes^of^H ''^^her, if they are associatcd dioxide" as the argument. ^¡.cumstance that the centre
thematter.ii Tn th- they concern the vcry Consider now as our example. th internal
iíiKant'ssense svn^tiíT' as toreason
identityforofthe mtr of mass of the solar system has no
tíon of a symbo^ f ^ superficial forces act on the solar system". Here, so ar sy argument
?--tentrÍl^ of content is thal it is places. We can thus consider this as ^ »solar
^smustthen "solar system" in various ways, first or the second
the Original form^ '^^"tityabbreviation
of content for a lengthy
between the abbrev tíofl
system" as replaceable by other argun g^nig thing
or at both places—but in the last ca , ,, .-f^erent. The proposition
Now, let ■ hoth times. These threc functions are ^ jj- think of
®ean: the e > * (A=B) .,¡¿¡1 that Cato killed Cato shows the same t'" g-
that^^^ ca/í always replace
^y^bolABbyhave thevice
sameversa.
eof'^^ 'Cato" as replaceable at the first occurren ' ^ second
B and the function.'lf we think of "Cato as -placeab^f
oecurrence, then "being killed by Ca „,curreaces. then "killing
Let üs sim function . ijffhtei' We think of "Cato" as replaceable at botn o
oneself" is the function.
Sr the circumstance that hydroge" We now express the matter genera y. ¿¡ssertible), a simple
oxv^
for nZ »^y^^ogen, we formula
can insertlanguaS^*
the sy^^. 1 fo^ f/, in an expression
a complex symbo! occurs m one
places and we imagine it
all
Sy this means, the sense is ^s replaceable by another [symhol\ ( w expi'ession that
this ^^ood bef ^ o^trogen" enters into the relatioos .|g jii 0^ same of ¡bese places, then we ca ^ function ánd the
the tof r ^^^'des intn^rn^^^ expression as shows itself invariant [under such ¡ep
"■opwZ relat- ^ ^onstant component which .^¿ a ''^Placeable part its argument. .^,„pthins can occur as an
these rpi ^y ^'^hers symbol which is Since, according to this ' (¡on where it is not regarded
CCt--
oontenf L ^distinoftt oomponent a function, th ^gpt^
argument and also at places m th <,r(Tiiment-places and other
as replaceable, we distinguish between a g
°f''bCfr««n'j::fi:;,^^vayofviewfng
S>°nlyw r'°" "°thing toit.doAUhough,
with th'',.n^„, Ptaces in the function. . ^hich the use of [ordinary]
Let me warn here against an i .. propositions:
hendthe "^^^ancarh ^""^ííIsO '^---'--"-'^^^Xtre-o"outs,.tates."
^^^omesZ^°"^^Ptua°c
function T ^
function, we can ^
'"sucha way that "car . gen "The number 20 can be represen
'^^P^^ceabi ^ase wp
"lonia-'^^^ ^y otheMr °"íy heavier than
of "carbón
ZposttWeintegetcanbetepresentedasthesuntoffour
''The p- "hydrogen chloride gas squares." resentable as the sum of
and that c i.
^í'Don dioxide is heavier than
ydrog^ tt appears possible to consider "the number 20" one
four squares" as a function whose arg oan discern
and "every positive integer
oarbon dioxide is heavier than ^
■1 pa Geaclfs tar" ^
128 ,. def.nition of the symbols
of the symbols ic f to . at will,
-11 *i,'
>s free permit, this nr that component of theissentence
/j^lsfreedom to
limited by
and "everv^n'^*^- observation that "the number 20 ^Ppear as the principal argument, howev ,
isleichen "«t concepts of the same ran the scarcity of words.
^sserted in the? asserted of the number 20 canno
^liough, ofcourse?n?"^^ ^°"cept] "every "'?!lry §10./„ order ,o e.rpress an
Positive inteper tu ^'^^'^t^stances it may be asserted o - ^^put A in parenthesesfollowing a leííer, f
unlike [the exnr ^ ^'^pression "every positive integcr" by >
"the number 20", yields no independen^t 0(A).
sentence. acquires a sense only in the context
í^o ^imihrly
be considere^?^"'^ which the same conceptual ''^presents a function {not more .rnlicitlv
exp determined)
^ of the two
parentheses
"Qportance so Ion» ^ of this or that argument ¡y <^'-Suments A and B. Here, the places oj a regardless
. ®terminate. But function and argument are comP ''^Present the positions that A and B occupy function].
®®°'®ht:"wu . ^ argument becomes indeterminate, as' °f whether ^ or5each occupies one place or mor i
being representa? ^t^itrary positive integer we take as "^hus, in general, and
P^7°^ition fs fov.r squares', the[re^
«/■e difTerent.
can acQuir/"^'' ^he distinction between fu
tbp f ^^PPe" that ^ {inhaltlich} significa^ rthan two] argumenls are
índeterminate functions of more
of ^^g^^^ent is determínate, c^pressed in a corresponding way.
and the opp
ing. the wholp v or the more and j-d- can read I——" <p(A)
^
at it ^ ^ contení function and arguine/d ^
íf M^e • according to our way of l^o "A has the property <&■''
'^aí ¡n „ f, . {ar I ^(A,B)
places M,h ''^P^oceahií*^^^'^^ ^ symbol, which has so J .^¡¡e
"^""«ionZIl we 'th""T "thls "'"•í'' <=an be translated by "B stands in the ® ^• toobject
Af^^ or "5 is a
A."
funri- ""'her art, by considering U >" tW® '^csult of an application of the proce u expression
badbefore^^^^^c. Sínce the symbol ^ occurs at a pía
consiHp that hvH ^''Saments arise. Thus, fot* ^ ,g" ca^ 0(A) ,
"^^rbon ® ^^^nction lighter tlian carbón dioxi
ther symbols [such as]
a ínf" 1 since we can think of it as of the afg^tnentj-^®
'^''dinaryi is usually 'h® ^''ó'bjéc'- ' which then express . j.gument This s lo
»'»-pp- » Zc'^" consider as a function of j^alysis, which
motive
pa p , "Passive
® [grammatical] i ^^neral that the concept
followed, of functm^
is far more restr.cted tha
ti usage would read ¡t Frege had aiso ad p
thif ' and indeed by the time (lo^-'-l
reading.]
previously regardcd ®24:S5j)j K
^'^onstant, ''^P'^'^able at those positions «W
T T\
• OEFINITION of the symbols I. DEFINITION OF THE SYMBOLS t31
^t is obvious that, unlike
§n In th generality I — 0{a)
combination of ^ J^í^gement we can always regará the "tese judgements cannot be used to derive less generaljudgements by
of theand
Setter symbols
introdur^^^!!^ rightreplace
of(—— as a function
this argument by o of on «placing Q by something definite. By means of \-r^ 7 ^ÍV'
same Germán Iptto 'Contení stroke a concavity coníaininS "is denied that Xfo) is always a fact whatever we may put m place
as in "f a. This in no way denies that we can specify a meaning A such
t at X{A) would be a fact.
thenth' ^
''^m'>yiake^^{°^'''yj'"'sement that thefunction is afact
symbol, li]{g 0 ¡1,1 ^'®'ter which ¡s used as a func
I function, it can he r "®®'f considered as the argume" "'uans that the case in which —>a-- XM ¡sf
The meanin?''?^" ^ Gorman letter in the manner
Alie rnean;»^ -f "'acunan leiier in tac ü'—-
funied dees not occur. But this in no «^y "emes he occurrence
case in which A-(d) is affirmed and A
s ""Usrestrictionsthñm^ letter is subject only t°
to fj. jnst Seen. X(,A) can be affirmed and yet ^ -.Uout
the o°l''°"°^ing
tteGe Jíl!!''^^^urtibility(§2) of ^a combinat.o if
'^°"°*'ng the con here also we cannot arbitrarily subst.tute for a wdho^^
mu Setter ann stroke must remain intact, Jcopardizing the truth of the judgement, This explam J ¡
upL ^ ^"notion symbol, this circuís / ■^uvity with the Germán letter written in it s neoessa y
^Cope [Gebiet] of the generality signified by t le e ■ Q^j„an
anarh-f"^"'* "^hus fm ° letter are to be , ^ive «'cr cetains its significa,tce only mtlm Us scope^ the
sometfa/^'^l^""iberof,w ^ j^'^Sement, we can ttío^ ^"cr can occur fn^rious scopes in one
caning that we may ascribe to it in one ®copc c ¡nclude that of
We do tÜ^ ^'^erent each less general contení by P
The i^''JZontal
'• ^oncavt the Germán letter,^ "^c other scopes. The scope of one Germán letter can mclude
stroke oontent stroke disappears ag another, as is shown by the example
"uated left of the concavity in
1^0— A{a)
the content ^ — ^(a) B(a, t)
"ShtoX*® ®ay pnt^j"f [the asser(¡yg contení] that ^(a) [u this case, different letters must be uhoscn; ^ rnayjoj^r^^^^^
"únk Of a °°ncavity is P'^ne of a. The horizontal stroke Naturaliy, it is permitted to replace on
its scope by anmher P-tic" This
■ "^^ter yfjJ '"^placed bv stroke of cP(a), and here erent letters standing where diífe . ^j-e permitted only if
definite. ,f th^
it ¡g ^ above about the significa"^® iheT
° see what an expression ^^ncavity followsuontent.
immediately af judgement
.gg the stroke
scope soof that
the
oontent of the whole j^^gement con titules ^
^eans, Th* '"vS^ y/ i ®rman letter. Since, accordmgly, thi . abbreviation
°unur as
as parf , case, I shall i"'™""" the fjlowmg
°t >t: An itaiic letter is always to have as ,ts scope
f a judgement like
h-,— ^ [is Geach's translation.]
X(a).
DEFINITION of the symbols I. definition of the symbols
whole judgement, and this need not be signiíied by a concavity xu,,
ihus, we cannot. deny
j i»
^ íB/al and affinn A; that is.
e content stroke. If an italic letter occurs in an expression which is I— ^(<í)
not preceded by a judgement strokei® then this expression has no
sense {ist smnhs}. An italic letter may always be replaced by a Germán
occur in thejudgement; when this is done,the Similarly, from
Fnr example,
i-or pv^ ^ instead
he placed
of immediately after the judgement stroke.
can deduce
we may put
""
argument places of XCa).
obvious thatfrom
ifn „a does
, not occur in• .<4. or xíB and 0(a) contains a onlysincein mstead
ana t )
argumentof
places. This case can be reduced to the precedmg ene,
• ..fC /Vi I
H ^(a)
' A
H'e can derive
—— ^
argument pkJe^ofVíl^u''''"
be able to specifv a mpi„- "7^"^ denied, then we mu
""'^úst
■—^2/— í'íal
be able to specifv a
f "^ affirraed,
that then
0{a) we
is denied. Thus, if
should have to
0^
-r-T- A
and (5(a) denied. But becaus ^ would be affirme
Can be converted again into
0^ 0faj
A
tve cannot do this • for th • ^ ^
s -H í'- «•'
"i""" :;r£""
for ofef" -d ^(a) affirnted.
A I
for and X(„) denied. D
A I
PWwonldhave tobe denied andX(a) denied. R C
We can thus transíate'"Tf «r»m tU'
has the property p" «r "Px ^ property X, then it also
r/.. ca../ -nection^^^^^ ^"A" -/"s."
* This 1".^
«ampie, "There exists one A." For
•*■ is a hoiise, then
means; "Therp u ' ' A ^a)
footnote. or is at Icast on. u
house." See §2, [Frege's] second
H. SOME JUDGEMENTS OF PURE THOUGHT 137
The following derivation would Ürc the reader if he were to trace
it in all its details. Its purpose is only to keep m readiness the answe
n. representation and derivation of to any question about the derivation of a law.
SOME JUDGEMENTS OF PURE THOUGHT
"Wína «V——„ ..
means the circumstance that the case in which a is denied, b is is denied and
affirmed, and c is affirmed is excluded. The denial of
we may put
in place of a and
in place of 6.
L- h.
b be the
wire D ^ current flows through the
^bethecircumstancethatthekeyrisdepressed.
Wethenobtainthejudgement:
a g®'vaniJ'íurr»í magnetized as soon as
tbrough D as soon^aTr™^''"'''^
awon as T is depressed; ® galvanic current floWS
«>»^becomesuragne,izedifris depressed.-
If w
~r
.5) this way: ^usal connections are present, we can express
"If b'
dition for ¿ then c is if c is a sufficient con-
"^isasufficientconditionfor^."
moved froi^ít'^Vf^ barometer sinks to half if the pistón K js This proposition diífers only immaterially from (5)
the stoncnrF S<3^*is ^m position
me stopcock position
1." to its rightmost position while
is denied and
148 II. SOME JUDGEMENTS OF PURE THOUGHT II. SOME JUDGEMENTS OF PURE THOUGHT
We can transíate this formula thus:"If íhe proposition that b occurs
ciiffi occur is a sufíicient condition for a, then b alone is ^
sufficient condition for a."
c d
wnicti - Q- ab is■ j
means: "The case in which • j anda —r—
denied — ^^
afíinned does nol occur"TUe» a - i + -r- ^
• The denial of ~~ j-|— b means that
31
aI b
(7):
" —p- b
" ■—I— a
V h
.the occurrence
rp olí'
of b or
^ ís the necessary consequence pot examp p
' ^he necessary consequence of c factor of a pr^
' mean the circumstance that th
a consequenoe the occurrence of a, tbe" Recomes 0;
158 II. SOME JUDGEMENTS OF PURE THOUGHT i-\ir piirE THOUGHT
n. SOME JUDGEMENTS OF P por example,
c mean the circumstance that the second factor of P becomes 0; Jf the cholee is only between a and a, then fl o r^Qoether] exhaust
a mean the circumstance that the product P becomes 0. ístippose] we have to dislinguish two cases \ that
Then we have the judgement: ah the posslbilities. ín pursuing the first, we [case]. Then
« ^curs; the same [is the result] if we pursue the seco
^he proposition a holds.
L comes
^be product P becomes
,then the vanishingO of
in case the firstcan
the product or the second factor
be inferred from
the vanishmg of the second factor."
'I' I ^2
Lp í- (47)
I ci V
If d'
only ¿ but ako c ¡ra^Sem °'='=""once of b or e, and if ""I
®nt condition for a. then is a sufficient
i_T-r- fid)
162 II. SOME JUDGEMENTS OF PURE THOUGHT 11. SOME JUDGEMENTS OF PURE THOUGHT 163
The case in which the content of c is identical with the content of d places of/because this function occurs also outside the scope of a
an in which/(c) is affirmed and f(d) denied does not occur. This in the judgement.
proposition says that we may replace c everywhere by d, if c
ny(c) c may aiso occur in places other iban the argument places.
Thus,f{d) may slill contain c.
f(d)
f(c)
(c=d}
(8):
f f(d)
^ f(c) f(d)
d (c^d) (c^d)
f(c)
example, let
I bL mean an ostrich;
• , that
1 . is,
-c í,n individual animal belonging to
an ina
The content of c is identical with the con this species;
S(A) mean is a bird.";
content of c.
f{A) mean ^*A can fly."
(c^v)
(53): Then we have the judgement:
f('^) I (A^c) flv then it follows that some
(d =c) "If this ostrich is a bird and cann ^
(9): (c^d) (55) (see §12,[Frege's] 2nd footnote) birds ca •
^ (d^c) see how this judgement since no subject
^ (c^d) ¡ic)
a f(d)
{c^d)
f(c) ^ r/h)
(C=d) (5')
S FfocJ
Ffa)
f(t,a)
F(^¡
i ^/rs.xi
'fi ed oreviously since
^his sentence is different from J^fj^ed before; it itself gives
symbols occur in it which have no e equation has the
thedefinition.Itdoesnotsay, "Ther g^ the same
same content as the left side. , " * . a iudgement; and conse-
^ontent.» This sentence is therefore not a j
168 III. GENERAL THEORY OF SEQUENCES
.n, GENERAL THEORV OE SEQUENCE
quentiy,to use the Kantian expression, also not a syniheíic judgemef^^' ^ny time from the abbreviaíedform
I make this remark because Kant holds that all judgements of
mathematics are synthetic. Now if(69) were a synthetic judgement, 8/f(a)
the propositions derived from it would be synthetic also. But we can
do without the symbols introduced by this sentence, and thus the i\/(S, «)•
sentence itself as their definition; nothing follows from it whicli could
not also be inferred without it. The only aim of such definitions is to example. cc/m
bnng about an extrinsic simplification by the establishment of ari ./(8,«)
a reviation. Besides, ihey serve to cali special atíention to a par
ticular combination of symbols from the abundance of the possible ^tands for the expression
ones and thereby obtain a firmer grasp [of it] for the imagination
/•Ya)
{die Vorstellmg}} Now, even if the simplification mentioned is
ar y noticeable in the small number ofjudgements presented here,
'F(^)
ave nevertheless adopted this formula to provide an example-
^hilc
convlr^/ (69) is not a judgement, still it is readily ap(a)
snPf-lfi A 'I meaning of the new symbols is
holdR nk' then on; and therefore formula (69)
eet niif ^ ^tit as an analytic one, since we can on Y . H xpression.
dual rnf [in the first place]. This no sense. We sea that the alwa| of
"fY^'oice
doublini formula, is indicated by the ^7^^ompUcated the funotions F ^nd/ ..bitraty ohoi
tions whirh f
The lowp
stroke. Thus, with respect to the deriva
treated as an ordinary judgement.
'¿'Bblished again with certainty apart from
^'■inan letters. [The formula]
the Gera^ here for the first time, are hh^
With them onl 'fT representing no indcpendent conten • -/í'r,^) /tor."
a and S dfovíHpH tu ^ov/er-case Greek letters in the places
same letters are which were previously occupied by t ^ p,
rendered, "J is a resu" ^Jh^reUtd.
's the object of an apphomio ,bears the yjvalent m
letters are not renl ^gam by the same letters and difieren .; bears the/-relation to P. , jaken as eq
of Greek letters L '''' 4'^'Btion to.1." These expressions arete
/-e...
'"""g- a iñ")
S/F(a)
«W'") ^ishereditary
purpose IS to enable us to unambiguously reconstrucí the compl^^^ > translated: "the circumstance the follo« 6
— Fía)
exa can make vererbt] in on accep
this expressi ceptablo^ ^L®'
_______/fb, o)
1' Bau„.Me„,e,berg .ende,this "onr tepresentation-.l fK N) mean the circumstance being-
mean the circumstance that
III. GENERAL THEORY OF SEQUENCES [. GENERAL THEORY OF SEQUENCE
F(y)
Fía;
f íA'..v;
h
Zta] /í.v.a; F^v;
Aitfa) F(xj
S iFía)
a MC8,ct;
ZKt)
is the circumstance that each child of a human being is aiso a human * ./(S.aJ
a /í'S.a;
F(y}
property being a human being is hereditary. FfyJ
lAlthough this example was easy to put into words,] we can see, F (0)
however, that it can become difficult and even impossible to give /í'.v.a;
a rendering m words if very complicated functions occur in the (58)::
places of Fand/ Sentence (69) could be expressed in words this F(y)
F(r) /(A-.y;
fix.D F (A-;
"Jffrom the proposition that b has the property F, whatever b may S tF(a)
tJe, lí can always be inferred that each result ofan appVication ofthe
procedure/m b has the property F,
then Isay:
The property F is hereditary in thef-sequence\" . if X has the
V the property F is hereditary in ^
P^-operty F, and y is a result ofan appl'(^^
^ on y fjas iiie property F.
F(y)
f(^.y)
Fía) 8 Ffu) F(X)
fr^.a) =|( S íF(^)
F(y)
F(y) f(s.y)
a , b /(A-,y; 8 iF(oi)
F(a) F(x)
Ffa)
f(r,a. f(x,
FfF) FíxJ F (A-;
S ,F(<x) S . F(ccJ /í'S.a) 5 iF(<^)
a
a Yfá.oí)
173
172 III. GENERAL THEORY OF SEQUENCES III. GENERAL
THEORY OF SEQUENCES
72 §26.
T— '-'(y)
L— f(x.y)
F(X)
8
o,/ FM
ría/ ^(y)
i( ,
IX J(8.a) f(x,a) S if(xr-yf)
(8):
K
8
(76)
1 F(y)
-|— F(y) (
(X f(8tCt)
f(x.y) f(x,y)
F(x)
8 V F(a) 8 ,F{a)
is the definition of the symbol combina
Z f{Xyy
« ^ f(8,a)
í^^^ich stands on the right. ^With A tnt the
j.gfefdoubling of the
F(x) 0^^
[the reader] to
j'^dgement stroke and to the Greek e
fesult ofan'^apZ in thef-sequence, tfien every
of the procedurefto x has the properíy F,
It would not do to write simply
hF(a)
y . functionofxandy
69
1—
F(a)
n':/■rb,Q) H( of the above expression becau^e in a^^^ „„,side the
fítten out in detail these letters i¿ ^ot be discernible
F(^) «/r8.«; [Sument places, in which case it then i^tter mus
(52): P aces were to be considered argumen P jndicM Y
be marked as such. This is . gf (he fact that o
® niust choose different Índices in vi Qjeek lettefs so
8 F(a) ^®nts might be the same. For this, w® ^ which
b® sure to have a choice, so that for tn
8 FU) [ ^f(8,^}
d T— F{a) P , . expressi®"' w® ^
I— /íb,
i aj ■"eludes within itself a simüarly ncluded The
« f(8,a) (75)
m F(^) f f to mark the argument places ^;^„,,uding oniy
yy from the way we mark thos® of^ signific"''
and difference ofthe Greek letters
Iffrom the proposition that h /» " "t the expression y
it can be inferred that everv r f P^operty F, whatever b ntay
to b has the property F th appUcation of the procedurcj ^ '' . a s exprassiunl
sequence. ^ t e property F is hereditary in the f" [¡■es®•cating
sameanyletters can occur ""'■j'[®J°tters'withín th® ®*Pt®®''°"
relation whatever to [
174 III. GENERAL THEORY OF SEQUENCES ni. GENERAL consid.red
We transíate jf(x,,y0) in accordance with §10, means:
Werent functions of the argument F.{l ) ' Fishereditary
.difthe property
by 7 follows ,Tc in the/-sequence", a way of speaking which, to be íf y follows X in thef'Sequence. a J ¡ication ofthepro-
sure, is possible only so long as the function/is determined. Accord- tn the f-sequence; and y f¡as the property F.
ingly, in words (76) can be expressed something like this: ceduref to x has the property t: tnen y
Iffrom the two propositions, thaí every result of an appHc^^'^" ,
of the proceduref to x has the property F, and that the proparty F
is hereditary in the fsequence, it can be inferred, whatever F tnay
be, that y has the property F; S j'F(a)
then I say: i 1/(5.«7
yfollows X in thef-sequence^ or'x precedes y in thef-sequence ■ _____________ ^f(>^ryV
® fih.'x)
■encc) would then be as follows:
(68): 2 7"be substitutions (listed horizontally for conve
Q &
T) F(y)
h jL
riy) f ^ 7
Fía) — r/v)
71 Z/f.VyO>)
a J '
rro; r(y)
f(x,a) •rt«i
/ú-,a) Yf.v.ü)
í) F(a)
■g rí«)
ír oL^f(S,'x} " ,.,irueequivalence
f the definitionally
;:^X'esubstitutions in 68', corredness.
and detachment o no wayhis con^ry
I fíxyyfi)
C ¡: r Ids 77 with flawless '°n) To state th
to treating Fíy) as a functi {wh¡^ he M n
t)re? P ® thought (see ^23, P- j rnach nery avaj »
'S suchI reniind [theon
readerl of ordering-in-a-sequenceg' de\,*'^ ' however, required the n j.jevel foaed^ "cjjtot's Introd ,^},g
a sequence as beads a strin •!P°ssibil¡ties, Among these are not on.X te? distingúish first- f^vín ¿eijenoort (in the f syste^^
F7 S be easily «solved. Van 88 in 8
* ucaas on a . .. rtinuin; aiw •- .
"lerging of severa! branches nT ®^ibit, but a!so
"^.ergmg also branching like a family tr '
;
^urucklaufen}.[Bauer-CngeL^.w
[Bauer-Cnge ¿e^.W^ranslation
'"^''"elikeofself-linking Coi supposing tha (Sce footno
[ To prove 77, Precre
anal /g 1^f"^'^^on of this
this last term.1 tC T""' 'totano,,
"l°"gh he does not yetFrege
havenwer con
sepárate Iheni.
nalogous second-order Ss
princinlV last^8term.] ,
itself. He needs
P^noiple (calí it 68') ¡nvolving quantiíication ove-" the Editoras Introduction above.)j
I. general theory of sequences
UI. GENERAL THEORY OF SEQUENCES
'(<i) Since in (74) y occurs only in
'(X,ÜJ ^Ffy)
Fía) — jQ sil thc
f(X,a; ^^Placing the y by the Germán letter n transíate
8 ¡F(ctj can immedíately precede this express.on. We
i \,/75.a^ yX has a property F which is
(y)
Fíy)
yfoUows X in thef-sequence, then y has ¡e
For example, let F be the property bemg a that
P^°«dure/be the decreasing of a heap of beans by
5 jFfa)
,t.. heap a except for
i f(8,x) the case that b contains all beans ft»» « .,io„ „e would
F(a)
and nothing else but this. Then from gt all would be
tain the result that a single bean or eve j. ^^3^5] were
f r.Y,aj
5 lF(a}
^ heap of beans. if the property of h^g ^7/„>ersally the case
^'feditary in the/-sequence. However,th.s is n ¡^determinató-
i i/YS,^; ° there are certoin a's for which.f;;^¿°;,ible [or den.able]
^(y) content "
If ¡^(^)
^ra;
S iff"}
<% \ f(hyO.)
81 l__-r—t— FfW
P
S F(")
,
f(x,^) ^(x) i
F(a) ______ F(X)
f(x,a)
S ¡F(<x) F(y) ,
« yí(8,oc) tf(xy,yp>
i \ f{8,%) /gO) '^f(Xy,y^) p
F(x)
8 F(<^)
F(y)
i W"'
F(x)
S iFfcíJ
i ^8l)
induction is based upon tbisTJ®^ Ipyed it start"
.r Irst to use mathematical induction. He
III. general theory of sequences I. GENERAL THEORY QF SEQUENCES
F(y)
Fia)
fi{y} /(x,a)
fny) 6 F('x)
« h(x}
^ffXy.y'íjW
« f(^,a)
g(x)
/í{xj
Fiy)
« I F(y¡ S Ff<x)
(36);: /i('x)
/•Ya;
^ S(x) f(xA) a /fS,aJ
a h(x) gfyJ Fíal
^'fyJ f(x,a)
^ ^fíS.a)
« /(S.aJ
F(z)
fiyr-^
FJy) F(y) h F(a)
^ .1' h 'Fcx)
|(fíh.yy} F(a)
í
a /"("Siaj ka. F(a)
f(x,a)
tf(xryp)
Fix) p
fiXA)
f/ y .• Fi'z)
p(y) f'í Xy,y
F(y) f(yF^)
|/^AV-V F(=) h F(«)
f(yr-)
h F(3í)
'^I(vrá,a; Ff'x) Fiy)
d F(XÍ a y^á.aJ 5 FM
1
"Demonstratio rationum
Opera, \o\. 1, Geneva, e/c"
1744n' ^'"uditorum, pp. 360-1 (reprinted in bis (73)::
ni. GENERAL THEORY OF SEQUENCES ni. GENERAL THEORY OF SEQUENCES 181
F(z)
)—r- _ Fiz) /O'.z)
'I—T-T—I
I 5 Fff^)
y
/(.r.r)
ñ FC^)
S F(ac)
i ^775.2)
L^Sr-]— f(q)
i Fía)
I—/f-v.aJ
Fía) f(x,a)
, Ifi7) fíy--) (88)
/L>'V'-v^;
/9
vation of this proposition in words will read something If'®'
WLet>,foIIow^inthe/-sequence;
the pro^rty aPP'ication of the procedure/to X have >S(y)
W)Let the properiy f be hereditary in lhe/-sequence. ^ía)
rom these assumptíons it follows according to (85) that f(x,a)
5 pU) = -T fi^yy^)
p
(15): i ^/(S.") i
error. The minor premisl aSaUy uIedT(73^^^^ ^ typograp^^"^^*
ni. GENERAL THEORY OF SEQUENCES III. GENERAL THEORY OF SEQUENCES
63
sr.v)
60®
/ ^
50-/ 5(a)
a Í5
X y
Si'oí U^-Af
/í-v.a) fCrj rfv) s S(A)
f(x,r) s rhj
S d(oc)
I í^'"'
i yYS.aJ
.(r, 1( 1 ^/-fS,aJ
^frJ
« /rs.a;
(90): /rv.v; rraj S íjCaY
I /C-v.y)
I I
1 •
^y 7r/v V )
I y'.I/i/ b 5
/(x.aj
i ^/íS,<x)
díQj
I—f(x.y) (9'^ /!x-,aj
ihe propoTuonT^ denvation of proposition (91) in words. From
application of the procedure/to x has the
5(v) 50'J
5 ÍÍM S
'/has thf ^ be, that
dure/to ^ ^ result of an application of the proce- 1 i ^/YS.o:)
5faJ SfaJ fQ
that proposition(a)and the proposition ííx.aj f{x,aj
be,that in the/-sequence, whatever í5
^nre/to 5 if y is a result of an appiication of the proce-
of the clause, "every result of an ¡n words unintenigi|'^^^ changes
Every proposition which follows Iiolds: Property g"; but this makes the ^nvatjC) .^
follows íhis X in íhTfsequenc^^^ "Procedme f to an object X assumption that the original was a yp , / n ¡t 60')
nre here Included in the text.l rpouires a principie (cali
. r Similar lo the derivation of 77, '"".f p'^Vofple ta^duesti
'nvolving quantification ovar fimction . f (^)
on would .
h-^|/r.vvvivJ 60' h-] rTZff¡f(P)
(53): ^ /r.v,v) i - Qt¡ /
f f
Np f m
d "
—— ^f(zyy^} pp f (^)
¡ZZ ■" " procedure is ¿ Í° " ''""sequent. Note that the prese"' ndordereonflnement principé
fté dS,"; ,™ 's it. erro Hcijenoort (in the Editor «eeabove, §27. footnote 2.) Frege also uses asee
Mn ptL' Sr.he't" here.]
° of this Clause, Frege had two occurrences
ni. GENERAL THEORY OF SEQUENCES III. GENERAL THEORY OF SEQUENCES
, HtT"
fíy.-)
'' ^f(-^yy^)
ja^r-yf) O
'' f(y.=)
5f--;
5 .Sí'a'
a ^J(S.c)
w, w«-»/'*''"triír *"""""
follows X in thef-sequence,foUows a'
f(x.a) jfíxr"^)
fM
y í>
Zf(xy.ip)
P
~ ^(z¡ S I Z/fXy.a^)
"(y) If(Xy.rf)
I
-l
r
" /cs.tr;
f(x,a)
P
f(y.-)
i f~sequence.
^(a) í,
f(x,a)
lf(x,,y^)
p
f(y'-)
(84): ^ lf(Xy,^)
FÍD IffXyXn) P
tf(yy^^)
Zf(Xy.^> Zf(XY^y^)
Zf(Xy.>f) ¡f.follo^^syinthef-^'l"'""'
P
and if
f(y.z) If yfollows X in thef'sequence,
then zfollows x in thef-seqnence.
ni. general theory of sequences III. GENERAL THEORY OF SEQUENCES
i> (Z^X)
f(=.y)
■f r-Vv-'/sj
f f-'^y,:^) |/r-s-V
f(z.y)
(102)
IÜ6 I ^ /S
|./r.vv.-7^ I - • L í/r-rXii)
|y(W
>' .- - I
(^^x)
(S=z)
í f(=y>y8)
■~T—
~/fXy=l!)
X f(yy)
jf(Xy.:il) ''^f{Zy,V^)
i f(-y'y^)
(x^z) f(y''')
f'-xí jf(=y^y^)
Xf(ZyyV^)
P
r.vs--^
íf(^y^y^)
lfíS,,-fí)
l f(Xy=fl> (102)::
r
h(zyy^)
p
f(y,v)
^í/(sr-
r
P J
«f n08) íii
Let US give here the derivation according
(^^X) ZffxyP ■„ Mong. .0 */-«-" S;"r"S p'"-"Cú
lo (102), evíij mil "¿"J, .cootdins " '™L"Sl.o«
fi'
follows z in the /-sequence.
ofanapplicationoftheprocedure/ belongs to the/
beginning with z.
Therefore; . .„ z, then every result
1 fiXy'P
(^^X) P' , pf an appUcation oj the p
X beginning with z.
o T/'v
y
X
b f(b.al
belongs to the/-sequence beginning wit
Therefore, every result of an z in the
belongs to the y^sequence beginning >
/-sequence.
5 /l/rAV'V Thus:
•ti, T thpn every result
If y belongs to the f-sequence ío the f-sequence
Thc ofan appUcation of the proceduref to y^
iti to the f-sequence beginning beginning wUh z, or precedes z i" 'b^f'
,I f/r-r-,' 105 H
L—
í^/ÍS.ccJ
-r-
P
^ y
y m lf(yy"^)
p (:^x)
h ,
^f(Xy.oi3> i~mx)
f(y^^) jfí-'^'y^jí)
p lf(=y^X,f
/(y,") ífíZy,X^)
lf(íy4> {:=x)
rf(ttyA'^}
^(yy)
^ ¡
j/íh'-^K' =cyr-->-ví)
f(yy) (104)::
h(K.
III. GENERAL THEORY OF SEQUENCES
ni. general theory of sequences IfU can be iafccrcdfi^ ''l be, /bal c/c/y
ZT'afríX/^J^.p/.i/ba./,. <■ « - ■•
then I say:
Lp l
"/ is a many-one procedure.
y , (1'''
(r P 1 S
Til f I f(t.a¡^ i/íM
S is the derivation of this formula ¡n words: I— __ .ííM.
elong to the/-sequence beginning with z. ^ (68): b.—r-vi (a = x)
/(P) U fasD f(h.a)
^ in ^
f(b,a) fiK'')
J'M ?
•^"Sequence bepíiír^
g nning with ;r, or itfoHows
followsz inthat z belongs
the/-sequence.
^^erefore: f(y.a)
f(b.G) /fy.-vj
^^f-sÍZl^^^f-se,uence
bemning M,h x, be^i
X belonof
o, xnfo/Ls
.7 „
nin, .Ukz in the,ken ^ "et^. t ^jntisS
f(b, s) 8
ifa.€)
€
^f(S.€)
fa^xj
(a=x) /Cy.«^
/íy.xj
fl y-^)
(a ^x)
ííM
ÍM
■f(b,Q) = Jf{8,€)
(58):: {a=x)
Q b fCy.aJ
f(r) ^
^ transíate g ("as.v)
jir.a) 8
til ^--x)
fly,a) /V.v.,.a^; I f'{Xy,W^)
P
f(y\x) fl\\x} A
8
8 /('r-aj
|/Ov.V
l/rs,ej
c f(y\x)
e
s 8
(d^x) ^ ^ f(^,€ ) \f(8x)
ft y
f a — x) jf(Xy,m0) ^f(Xy,m^)
fiy^a) p
(r^x) I a 55 x)
f(y^r)
f(\\x) P
\f(8.€} f(y^
(20): (. (110);:
^ (a^x) p
íf(^r"y ^f[yw"ii)
¡i p
5 /(}■■") f(y>^J
f()■,-■<)
S ,
e
lf(my,x^)
lf(yy.n^fi)
P
/(}■,■■<)
8
&f(niy.yp)
P
1/(5.; (1
y^,
' ñ j
p
fíXy^m^)
f(y,x}
8
m,.) |/Ov."V^ In words, (129) reads this way:
,/í ifv belongs to thef-seguence
If the proceduref is many-one, ar . ^nce; then every resulí
beginning with m, or precedes mm J thef-seguence
oí an application of the
.. .. ...) beginning with m, or precedes mm
III. general theory of sequences
ni. general theory of sequences
y_ f(S,a)
0 3
y i/rs.e;
0^
|/í'my.i^;
5 p
y
I/Y<S.€Í
^/ov'^y
y
0 /fS.a; -^/l'-Vy
P
m.) ^/Í'-V'V
s
\ /r5.«; y (5,€; 3
I/íS,e;
e
P■
Z/fmyjjsJ
Ifíay.mn) p
f/r-VyJp^ IfíXy.y^l
^ffniyPfi) p
Zf(by.f>}^)
\f(8,oc)
^" fímy.r^
|/r-
y /rs,a; zf(niy.y^)
5
..^APPLICATIONS of the as a function of u and v and can therefore view it as a particular case
CONCEPTUAL NOTATION'" of/(«, v). Accordingly
:^(0-,+ l=9^)
+ +
(2) that thpm^' ^ whole numbers, I—T—1—
"ttherearesuchnumbers.
¿(0>.+ I=^^^
?
________
{30 = a^ + b'- 4-e2 +g')
'j(Oy+^
^(0,+ l-a^)
|(0^+l = b^)
(Oy+ 1 =',3) in this way, the sense "f 1 "• ® '^^jjcíooot be
®Jguifies the circumstance that, ^jieir sq j numbers
hey are positive whole numbers, ^^, p^sitrve who of
0; in other words, that this is exaotly the
^""■this denotes ■ ^ne sum of whose squares is
"• 8, and that 30 is the sum of the sq^
' 9 are positive whole numbers.
208 APPLICATIONS OF THE "CONCEPTUAL NOTATION
what we wish to express. Therefore, if we place thc iiegation stroke
e ore the whole, we then achieve our goal. Thus appendix i
(2) If°f'°"'^'''°Ws.° "holds aiso in case an arbitrar/ P^' oot by Kant. but incorrectly worked be an advance-
of judgements, which at ^b^ ^ ^¡^ference,^ul j^gic
olassification
olasslficatínn of
nf concepts and m rcjected. Tb® ^ decreased,
rcíected. fb® Hpcreased,
fodow^ P™Positions 6 and c; n^ent of logic which should not be^ not be
(3)'' « a proposition
n? 'hisf,.,,lX?c
^ ^ alone. ,.,h ^vhich has becn much too meagm vhich Fregc makes
but increased. ^ ^¡th the comments v ^^matics have
Also:rcannot
Also, I cannot completely mental concepts °«fj;—eauence
^„.m-a-sequence
about the relations which the fu ^^ncept of or concept of
to each
to other. I7 .o^not
cannot aeree
agree th
that tn let ,tnai
mg-in-a-sequence.
^ ^nuence.
be reduced to that of '^^'í^g^tigations mto ¡g a secondary one,
number can be advanced by 1 jgfing-ín-a-seque number is
den"r K3) and "Th^ On the contrary, the concept of^ ^^f^hile the con^P^neral concept of
(7) w «he sanie ir" combíned by the expressio"' dependent upon thc oon^ept o however,
íi ^epbee c ""'"® «"h^ation". Pnmary mathematical one-J"^,_¡nc {logische
t^^miary mathematicai {logis^"^
' FolgT,^of causaiuy "T;
tb»"rthP
all. The concept of logical order oon^pt
confpt itd [th
nte to be more closely correlato These though
ooncept of ordering-in-a-seque in c . ^ ^
<"=¿hio:7«®ymbol '"e ninth P^°Position
p . ore th^ conceptoflog¡calordering]baso^y^^^^^ share the part /
ra p is really nothinS
]i T^^ootnote?.. , [® The two corresponding Oc^jog".]
eftme¿'-e ,hj, review.] fo' Fnglish words share the part
224
REVIEWS OF THE CONCEPTUAL NOTATION
appendix i introduced purely non^«"tion^y m OTder W^ep^ ^
content [intensión] at aU. So it is for most truth or falsehood of a P™P^b° ^j^^coU. among others, does it this
l negation; for cxample, as H. Lotzeí does, the intervening time segments,
way.)
to ah^trnot +1,^' human mlnd it remains an ever unfulfiHable tas With the first of the schemata.
man—thnc fr^ characteristics from everything which is not a
them into th<» melancholy, and sulphuric acid—to combm
mto the concept "non-man".
T"
' b
comZn notation" actually has almost nothing "J ^ L c ^
is, with the Bool^ ^he logical calculus just characterizcd, .*• «. When fu>ann} b holds, then a also holds
tCh ~r oíconcepts; but it ceítainly does have some- Frege
(if not represents the propositben
actually necessarily, lo • ^^ j^two equations,
¿he notation
the first of
of
ments.§ The follow^* second part, the Boolean calculus of ju the logical calculus, a,b^^ ^f/holi but at the same time a does not
of the
also applicable to th Á
consideration brings us to this [second part
of domains {Calcul mit Gebiet^ which asserts that the case in ¿ ^gs in which a hol^
hold does not occur; the secón ® ^so, one equation would
appIicabletoperiod<ínft°"^^^"
but simply taken a«i ifof intervals
again on not
these are a straight
thoughtline;
ofasit i®-'"® j or b does not hold are the on y P ^ ^ (more precisely, duality { ppo-
tained in them or (dasses) of the (individual) momcnts derivable from the other through neJtion
Every investigauln ^ . ..e í/í/ow}), since (í7i¿>)x - . g author represents the ° '
constantly taken as fnim??^ certain presuppositions whi .
gation. Now, m ordpr ^^°ughout the entire course of the m
^ possible, let i stand r° etemity out of the question here ^
srtions of an investimti ^Sment during which the pr®'
® considered judsem^^ conducted are satisfied. Then let
{ 'houptungen] Enelish^ i^rlheile) (propositions {Aiissascn), which do not correspond wi ^ f^rther applicatious m is
<« soon «l^ivalent "s,áteme,Us") (8). and at the is correct, is in accordance w g^gertion represente ^ {wenn} and
meanuigtaklngpw^ "¡"'"f"formulas or calcúlales (a small In additíon, the wording ° ^ of "always. when"
'0Ȓ ore true. Thereun,> "egments during which these giren P g misleading because of th ^ "in case g^ye, here yield
the laws«of-Positíon
the logiJ?o°"'" frP-"formulas
^Pte^t-through what hasor been said that
equations ob^. "when" {wann} ("^ soo
{immer dann, wenn), oto)
often mt
jy, reason, it P
instructive to
(j,g asser-
r Phe-directionaí'- • ^"nultaneous holding and ""ft®® ^¡ir an essentiaUypointforamom®n'.
dwellonthe diflérent KsehemaissupP^dto^
W ^^ggt f-p b
whlrh follow
r^"^edingen))of 'fP''cat¡on (conditional)
most diverse {dasThe
propositions. einee'''
apP¿j ^gps
tP tion I—— ag (that is.
is, tnar® ^
^n^rP®"PfWb!í'' «ntiy; and we can now prot^^ptc ... - 0). which is
tf .r. r«nresented , uoids. More
end I t^'nvation ntu culminates with the section jj,¡s
schém^"^'
P ®®ta. fet wtroduce a h""® ^"dgements of Puré
<*>'« and explain some ofthe Thought
simplest ofth®•®"',i,or'«
abov!®® by I . to t"® the
onlypossibility of bi c (th^ ^hich
thepossibilitiesrem ^¿gcan+íc+bi®i-
be su ' 'y hold. Conse-
(It is u . '—r— b th-it L notation hy a = I 'I" whi®hs.inr®n.®fn.
° fious that the latt ^°ld;® that is, that bt == ^¡o b® Now, for all these possi i» gquation
quently, this is expressed y =
t £oe> tvays of writing it C""'
i?>a'titfe.'874.
•■^Placed by'«Tf^^OTect in tu-
^
b ave
Q
8243501
should
^^dnian is 5^®^tal Notatilf actually
"«eation stroke here.]
226 REVIEWS OF THE CONCEPTUAL NOTATION 227
appendix i
in other words ^ \ unintended interpretation of thc^'^^®°'^ h^fy"Sr^to later
ai{b+c{)= O, an imputation of"generality;-about which, by the way, tn
oralso
c = 1.
(p. 19) makcs some veiy P";""'"'^e'ihe disjuncüve"or"- namely,
Now,in order to represent, for examp , author has to use the
negation"of '^'stake of the author is only that, basically, he omits the to state that o holds or b holds, bol ool both-ib. author
schema
ft^Z '
' cquation. Thus, «, b,c O ¡s assigned as the
•"S. the schema, sincc according to the [assigned] n
dMied".)? 'he case In which e is affirmed, but b and n are
proposition- ea the meaning of the [third] schema
_ ^ dependent upen c, then a holds.", Which deflniteiy appears ciumsy
writing:
com^ «o the Booiean mode of
abi-\-Oib — ^
(which, proDerlv'i'^^'j'^ Pdtresponds to the author's second
to conmion sen^ thí?v °'''^ ''h<=""^ould seem incon<» °of Some Judgments of Puré
to'otakentogether; sentence is fuily synonymous with the foH From the section ''^^P^^^-Justration:
Thought" I cite an example as an
Nr. 2
"If6 holds, a holds." and
"If c does not hold, a holds."
^hd, yetj this is the
^^e,since in fact the equation
=O
^be divided
'"to the two equations
~ O and Qi ci 0. handc andéis dependent
"e difficuity arises
oiti the use of the or the wording of the senten*^ ,»
,oW
This shouid be read: if nIs ^ ^tr="
upon c, and e holds, «hen n ho„o, then it ¡s abo the case tn
the de!i¿^^f«1 Particle "ifMnstead of it expressed;ifo.Ac = 0and6.e
intpi^^^^
a„j^'®'®tton;consequen 'h® telation
either b k |~'h® teader aswilla conditional
tend to make(as'
t e rpUof c,
Here is the proof: t ¿. = ""
th®
ProDn -"^"tely holds- dependent (as it were, causal y »ut
Whe^r'®" «toPty^h,^/®^''hts is not always the case, and^j ide' Of course, we can aiso write ^^
onth' "h°Ws or does n —^Sifcs us no information ® .^(en' like; o-fei+o»'^
tta^ tr™^- ™slatter is not atdoes
all what
thaf;Z''h^rna is J'® ®°P<«tional of b and c does not
not
ts >« wnai""
o e(/'+Ci)('''h^''h rnuitiplieation)»
"holds. n.e coiah^tort-something for these tuone , verifyaaanideoti'y(h>;'=;;^'^;gationsofeach
The latterform is °coming togetho' •f.om the latter form,
utte'"Pploy diffefj tvording,t therefore, misleads slnce
other, mutuaUycaneel and ytc product 0. Also,
in this way factois keep
spicuity an^^t t''' ®hange'¡nTif' ®'°®® 't seems to me that the autlfrom"elC''
lUthor's
^ of'etters only detracts
^vf-
,lfhef"
y» f shan have to adopt this wording mys®'
then (the produ(
be truc).
ige of the Frcge
n of its judgeme
xcept for negatic
Is two kinds( 1-
e lattcr [that is, í
"cur ways. Writi
iple, runs as foll(
.6c)i = 0;
6c = 0) = O,
s inferencc link
uce formulas a
illícit wav- not
230
reviews of the conceptual notation by one
APPENDIX I
the "inheritance" of a properly in the same iJ^.j^y_j,„g.ness of a(not
ea«iiiv^°°^^u• analogous modification or extensión element from the previous "seauence" is characterized only
essentian^ Boolean notation as well. The author achieyes t i further characterized) procedure . g^t fwhich is otherwise left
establishin ^ Gothic letters as symbols for generality by the fact that a certain kind o a v say, perhaps,
a strnkp K ^ negating this generality —for which I shal u general) from one element to ano
.hataparticularprocedureofdeduct.ojUea^from^^ element to another.
branch
all q's hfl^v in question]. The eqiiation /(n) = ^ Of course, the deductive P®^bs here generality
^ert f- Then {/(a)}, or more bnefiy/,(a)= off, and run together again; and the ^ ^seemsto me,howeyer.
Ontheothpr h !f r "ot-/; that is, all n's lack the that is given in this way to ^beconcep ^ ^ generalization; on the
some q's do n ^ ~^ assert: not all a's have the P'"°P^^^"^grts that there is absolutely noftmg of^ ^rfering» of elements tog a
®nt with Frege): no M is a P. Then, the equation contrary, in my opinión, if f or inadmissible, then ins ««
straight line is immaterial. "■^°"^;^;5¡¿aüon"set"»}/'®y®'«'»
•Vquence-.oneshouldusesunpytoedK^
P(á)M(a)= O
denv that ttií» . • rt nflC {S'yLm}, or "manifold" (W®"l"'Sentireworkwithth^
could assign to «•
Ithe first eauationi
equation would be true for every
,' ®*P^®ssing that there is at least one a for
j^jch According to the author, he «nderto^» ^
of obtaining complete «¡«"'f y ¡o test "how far one i
etc. ^ be false. or [in other words] that some M s^ metical judgements, and a ° . (¡gnsalone'MfH'^y'P™ ^ ínlarge
arithmeticbymeansoflopo® then this point woul y'jj^asof
^bing; for ^^°P^ various methods to accompÜsh the sa ^ stood what the author wis «® ¿rough the perceptiva m
for "not equal" in f of Cayley), through a sign suc measure, already settled-namely, ^
shorter.oi^ Oí'wm ij ~ together with va 7^" 'jcied HennannGrassmannJo--^^^^
ftementíonti^^y thatsome o's are aiso ¿'s. Peirce(4, V oo^ ture related to this eífort,« j ^dy existrag
f^e exnlanatí ^oocy in another way.^® «¡cal) the author had taken "«"^^-aH ««■«"=' of «ncooraging the
gives for the concept of ^^ comments, however, have yj^^juraging i^' ,yose intetested in
Previoüs explanatinn?^ entirely original. It is much broad®*] jj^n- further his research, rat thanks j „♦ the same time
With regard to this h be not without ' ref®^ In conclusión, I believe ®h"ant of logio (and at the^^_^ ^
[thereader]tothebnokT^7®^' because mention
of limitedthatspace, I the . the more recent '"'«1^''®® tj ¡liat were ""'"'"^-rks of which I am
of the publisher I ^ ^ ^^"^'"erely through fuim an obligation to *« „f ,he «1^^ X^^phy of (6).
der
, . —.c« Gespn. L
t have . .. ..... cu-rtinssO^^\ue' my book) (6), if I g'V« ® found in the Bibhogr
^essionof ^ ^ftfur Medizin und Naíiirivissenschafi(... ^fíy^
^ offpriht
now aware, though they c ofQualUy Apart
j.?P^P^oal notation''" ^bich the author presents two appboatio . Pare Logic- or the í»f g,,a,¡on of
(1) William o« %Mk, 18«- PP'
numh" fbree pc^^?- ^®®^ding the expression of a ^¿ing ^ from Quantity, f'th ^ ,-„don and New
the theorem ^ straight line), the ofber r ^ Logic and Mathematics. L pr¡m:¡ple ofReasomng,
Driat ^ ^bich he intA a ^bich are indeed appropriate apP^^' , cimilars, the Tn>e R""'' ,869. 86 pp.
Ce
ne"appendix" rrh
vCe "notation"-though le® **$0^^ (2)—-.neSubstitntionJ%^,o,¡f,Dict'>o<-^^ '
Derivedfrom a ModificoUO ^
the^srh^'^^^ ^ General Conceptual Notaíiofi concern ^ . Piesjofwork,
saeteé'whose
o London, 1879,
Cv Crare omatJͮr hleV (3) ; The
S"'"®''
whichT ^ 0° have jol . ^™''°i®l Hete it would be de®"^des.rab-ela""„ Method—a very s'S"'"
786pp.,isnowbefore • y„ee volames".!
feven at «.^*'"^^ih'6 in the^ 'n'roduced for certain cotnpl'®®'®
(«Ven <=°r¡,ou'id Pe chP^f.
Threew '"Psnse,temnr. ^^®'®ni. simpler ones sho" .cks/''^ h p.pu<hnan.s.m.;¿PrSÍn-et^^
nfter'"o'her
anmu "^^'^''Pns
i„, occur.which concern«omplete expression
[1]the {Aus
following " elef®,]
oío^^ ,. [íJ [la {dessett 3. Aup-s
[10 j
®«quence". which is left very indeterPPP"
*^^0 left out the reference to Peirce.]
232
appendix i
REVIEWS OF THE CONCEPTUAL NOTATION 233
(4) Charles S. Peirce:(Three papers on logic, rcad bcfore the American contains little more than an explanation them. They
appendix i
reviews
REVIbwo of
u the conceptual NOTATION 235
haveforcedthemselvesupon
,holds for
^ the
^ argument
would be
and so on; all these being po.nts wh'ch m d.velopment of Logic.I have
a."a singular proposition; namely, *'the function P the attcntion of those who have s u Fregc's system to attempt
not made myself sufficicntly fami lar wi ^onfess that it seems to me
-v .. TT without
thetically ~ by itself,
judging its denotes the proposition—poscd
truth-that the function P holdsonly hyp®
whatever to work out problcms by help of it. but I must
the argument(o) might be. cumbrous and inconvenient. [J. V.]
^
A FREGE BIBLIOGRAPHY, 1873-1966 A FRECE BIBLIOGRAPHY. 1873-1966 ^3
Reprints: F, - Be,riffaen.: H. f
(«) Reprintedin 1934 by M.and H. Marcus,in Breslau.[Review: and F52. [See S141. S217. Reviews: S136. S23:).J
S250.] Translation: . . c'47
(¿) §§6,62-5, 68 reprinted in O.Becker, Grundlagen der Mathe- English translation by P. Geach m
nmik iu geschichtlicher Enlwickiung (Frelburg i. B. and " 7PPK 100 (1892), PP. 25-50.
Munich: K. Alber, 1954). "Über Sinn und Bedeutung , _ gjgQ §217, S230,
(c) Entire book reprinted in 1961 by G. Olms in Hildesheim- Reprinted in F'48 and F'52 [See: S25. SI56,
Translations:
S236, 8237, S238, S263, S284, S303.J
(a) Entire book translated into Italian by L. Gcymonat in F'46. Translations: , _ in F'46. ^
S36.]
Meaning, and Identity". Proceedings
ofPbdosophy, 4 (1960), pp- 19^27. Sl^Tvrw": mirsVl ^ P„,„aüsts". PR
Hilbertf
ed. M,sjerstr yoriesungunbekannter Brief von der G
über die Grundiagen S51. "Presuppositionand^^P^J^Waseda
Betu ^ pp. 92-3. [See: F42.] ofSaience, ed. S. Oyeda(Toky^^
^ "f"' t Reprintcd in M. „ 48-63. j Austin,
Serviré'iglm^ University Press, 196-). pp-
^^50), pp, gg_y2 Geschiedenis der
"fíet 1 * • ' de ^52. /5L16(I95i),
Review ofFrege'sFo^
P-67.[S • and NoP»>"^
^
(Nijmegen
111.
and Utrecht: Dekker and vanwijsbegeerteder )^i^^"^y
de Vegt. 1940), PP' , ..on Sense anu
S53. Review of Frege s D ^20-3 ^honia^
•———_ *'Eo • •
Holiaj^^j 1959?'^^^""^^dons ofMathematics(AJtiste^^
'
Feig,, JSL .4(1949), P- ' Logi<^'^U
Bochedski, I. M., ^ ^
^ 353-64. (Notre Dame, Indian^^
®eumer. "En historische p.
English translation o ^j^gr, 1956)-
tSee: G- Frege", w. 25 (1946-2)' i. B. and Munich. ^
» ^56. Review: S55.]
W|..-
"ES'sInty'^ of Go"Iob Frege" pp. 298-304. [See: S302.] ,„„s and ed. L. Gey-
^rticles tra ° 'n Frege's Conceptual Notation
I97S P^l '"• (Oxford: Clarendon Press, Review of Frege's pS
S60 ^^•^~^4'55-80-£See:F'53.] monat, JSL 13 (1948), P- ■ Nominatum",
, "On Sense ana ^
(^^85). pp' Review of Frege s ,52_3. [See: F20.]
lungen (Hildeshemi:
(HilHpch • Olms, 1962).
tn G. Cantor,
[See: FI4,Gesanunelte
S306.] A H. Feigl, JSL 13 (1948), PP- 1^2 5 L ^j945j,
-f "Freges t-"»»
Review of H. R-Smart.
Caten, C E "A a
(J962)" dd Difficulty in Frege's Ontolo^ .
" PB
PP. 101-3. [See: S268.] , «lí
Sg2 S36, S144, S163. Review; SI68.] Review of rraM»®''^"Geach and M-
P!"lof^lTof°í Study ofFrege, Brilish Jour""'f"' Go«foé Ere^e, tr^s. and
563, christe ' pp. IS-^
' ««
Same 'Exprés^oni',, Different Occurrences of One and
^oíttre 'Frege's View of Meaning", »"
'31-40. [See; Munksgaard, 1961), pP- Dubislav, W.,"Bemerkungen zur
564, « _.irt über
G-Pat2Íg¡añdofG°Frre?7
^'Ofuale critirn rt n
'o'pát'll
'^'^S'^^^^^Gntersuchungeiuc^'^- „ q.
Review of P'^^^'ZfrSee: F''*''
PR 60 (1951), PP- 535-44-
/m e ¡"S'"'
4"""®' . F'46.1
F'48. F'51 ] ""liana, 46 (1967), pp. 596-8.[So» nrt Notes to]F'®^j 1948).
Geymonat, L.. [Ptefa®® Giplio Einaud'. ^,^^2
(B^nosl!l°?E" Gottiob", in Diccionario
Ed'tonal Sudamericana, 1965), voi. 1, P- ^25.
trans. L. Geymonat(T „ pfjüosop"^
Logie", "Gottiob Frege and MathemaPpa pp. 145-54. Reprinted >ny ,and: Le.ccs
of Mathematics (Leices e ,
FiskM" ''P-261-[See: SI65.] 1965), pp. 116-25. ''"'"'"ftess
('5"). p'^pS™" Pl'ilosophical — "The Definition Oniv^t^-'y
Folch, V. R . .. /i (1957). Reprinted in R- gj^giand: T
LogicalInquL^f^'^^ E'" Spanish] of Frege's "The ThouS^ * ^ Mathematics
em,13(^9577 and M.Quinten,Pe"^""' 1965), pp. 68-78.
[See: F39 i
257
256 A FREGE BIBLIOGRAPHY, 1873-1966
A FREGE BIBLIOGRAPHY, 1873 1966
SI 10. Goodstein, R., "The Frege-Russeli Definition", in Mathematical 5125. Hcnderson, G., "íntensional Entities and Ontoogy .
Logic (Leicester, England: Leicester Universily Prcss, 1957), PP- (1957-8), pp. 269-88. .. t
2-10.
5126. Review of TrWfl'fe'" 7™'"
Review of Translations from the Phüosophical Writiugs of Gottlob Frege, trans. and ed.
Gottlob Frege, trans. andcd. P. Geach and M. Black, Mathematical pp. 183^. [See: F'47.] Arithmetic, trans.
Gazette, 37(1953), pp. 141-3. [See: F'47.]
S112. Grandgeorge, L.. Review of Frege's "Über BegrifT und Gcgen- 5127. Henkin, L.. Review
stand", Revue philosophique, 34(1892), p. 447. [Scc: F22.] J. Austin, The Pcrsonahst, | j^e„e Rciitsche
8113. Grelling, L., Bemerkungen zu Dubislavs "Die Definitionen",^ ^ 5128. Hermes, H., "Frege,
(1932-3), pp. 189-200. [See: S78.] B/ogra/7/)/e (Berlín :Dunc er Vnllstándigkeitsbe^veis
SU4. Greniewski, H., Review of A. Korcik, "Gottlob Frege jakj> 5129. Hermes, H. and H. S^^'Liomensy'tem
^ P'srwszego systemu aksjomatycznego wspólczcsnej log'' für das reduzierte fregesdi ^2. Rep" ^¡^senschaficn
265.[See:SI69.] Deutsche Mathematik, 1 0936). ^ W>ssen
gen zur Logik nnd zur GrundleS""íl
^ogkal Alomism (Oxford: OarendoD (Leipzig: S. Hirzei, 1937). Zahlentheone".
S1I6. "Frege's Ontology", PR 70 (1961), PP- 23-^°- 5130. "Mathematische ^°^!^Ze^^%ssenschafte" 8)
l^ee.S36,S80,S101,S163.S187.S300.] Etteyclopütllc üer ,..a,hen,a..scl.en ^ ^ (,,4,.S),
5131. Heyting, A., „ „djagen
Sthem^r' »
Mathemat.cs",7íM5 Recent
(1951), Writings in the PhÜosophy
pp. 281-92 pp. 275-82. [Review: A- -1 p^egeüber
5132. Hilbert, D., vo" Steck).
^/GolthbF^'"^'^ the Phüosophical
P. Geach and M. Black,
PP- 205-6,[See- 4
"°®4ch and Frege's Assertion Sign", A 27
^ ='"'1 Wittgen®'®'"'
Sl21 '
From Frege ^l^'rZ Remarks to = ^'3.. ,«»'STS»»»-
schen Geometrie], ^
Harvard Univerc*^ Heijenoort (Cambridge» CCLXr,pp. l-2. [See:F9-]., 53 (l3
S59-1
5122. . ''''^^^yP^^ss>1967),pp. i_5.
pp. 32^°30.^ ^ Calculus and Logic as Language", S I? S135. of FreS^lfgí. 44-5- ger-
5123. Litterarischer Berícht . ci9.]
ofthe ■S>íí^°tran?®'^ of Arithmetic,
F23, S99.] ' ed. M. Furth, JP 63 (1966), P- 28' (1893), Litterarischer B ¿rith f23-1
^^24. Heintz, J. "Snh* 196^^' St,-,
S137. Roview of ^Fregeve'ss ^ X'' "
Hoctoral ¿issertldln^^^ Predicables" (Duke University. Ser. 13 (1895). Litterariseb ^
8243591
258
A FREGE BIBLIOGRAPHY, 1873-1966 A FREGE BIBLIOGRAPHY, 1873-1966 259
SUS. Hoppe, R., Revicw of Frcge's Gnmdlaf^en der Arithmetik, AR,2nd 5152. — ••Rcply to J. J. Maxweirs Note", M21 (.912), PP. 470-1.
Ser. 2(1885), Littcrarischcr Bericht Vil, pp. 28-35. [Scc: F14.] [Sec;SI98, A112.]
SU9. Husser!, E., "Freges Vcrsuch", in Philosophie der 5153. Kaiisii, D., "Mr. Pap on Logic, Existence and Descnpti
(Leipzig: A. Kroner, I89I), pp. 129-34. [Sec: FI4, F24, S213.3 (1955), pp. 61-5.
5140.
. Anmerkungen [zu Frcgcs Vcróflentlichungc^] • SI 54. Kamiriski,pp.S.,31-64.
(1957-8), "Frcgcgo
Englishlogika
Abstraer: Freges
in Frege's Kleine Schriften, ed. I. Angclelli (Darmstadt: Wissen- sitions-,p.226. IReview:S185.] ^
schafthche Buchgesellschaft, 1967), pp. 423-4. [Scc: F'52.]
5141. - Husseris Anmerkungen zur Begriffsschrift", 5155. Kattsofl; L.. "Chapter 4. (Ames. lowa: The
egriffsschrift und andere Aufsatze, cd. í. Angelelli (Hiidesh Numbcr", in A P/iilosophy f 24-47
O'ms, 1964), pp. 117-21. [Scc: F7.] lowa Statc Collcge Press, 1948), PP. der
5142
Husserls zu G. Frcgc: '¡^1 5156. K.„,, R, -O» s. í*-')::,.,—."
Satze", Acta Acadenuae Pa^m
wS
Wissenschaftliche Kleim Scimften,1967).
Buchgesellschaft. ed. I. pp.
Angelelli
425-6. [Scc: pp. 205-13. [See: F20.] Mathetpatieal Truth",
5143 Jackson, H.,"Prege on Sense-Functions", A 23(1962-3). PP- 5157. Keene, G. B., "Analytic Statements
A 16 (1955-6), pp. 86-90. MUtélw'gen der
5144
^^^Frege's Ontology", PR 69(196O). pp. 394^5.[Sce; S36, 5158. Kefc^tein, H., "über 2 (1890). PP-
Mathemaíischen GesellschaJ phUosophers,
5145 _i,A ind Geach,
"Jager ^°^'^°"^"ArgumentofChurch", 730(1964). pP- 5159. Kenny, A., Review of A"SCO ^
^46. R «to fi3-o2'
M 74 (1965), pp. 92-105. [Se . ¡„ System^
5147 T
[See:'si04,t241 sL'g™"''"®
'A140.]
'' ^ oí
Si 60. Keny, B., "Der ven f rar^
Theorie des GrenzbegfW ,50 ^4 [See: F22.J
F^opositions'^'Ju Objections to Frege's
5148• J^rgensen,
T ' J pp. 379-86. [Sec: AI40-]ni LoS'^ in 5161.
Recent Timpc' l^^Ptcr 5, Development of Form /^oP®d'
^agen: I^vin in A Treaíise ofFormal Milf ' r' r"- rn (.«■"
SI49
1931XpS7-75 London: Humphrey M> 5162. tr
Khatchadounan, rl.,
100. [See: S49, S8O.]
"Fregc o"
^ 'ihdden
's,Ts6USn^'
■Jourdain, p F "r
"latical Loaic Development of the Theories ^ter^ 5163.
•^^^^naiofp "d the Principies of Mathematics . p. 21^" K.e,nke, E. D.,
Nominalism' "»
«a,-A"-«-r.-•rí
■rans, B. A'ofFa.. ' ..Id..,
Mo¿iUy(O^oíd^n
■ *^^^endon Press, 1957), pp. 55-62, 71-
J. van Heijenoort (<-^ 5 [See: S267.J doctrines of
sity Press, 1967), PP- " r Alie"'
Quick J "R u
J. Ausíin Un
•
Foimdations of Arithmetic, tra" ■ ,. "The Logical ^"^.^.(tondon^-^
Appendix A- / . jn 1964 C^-
I^orton
S229 nQuine,
• W'V "n• T- PP- 303-t. [See: F14.] f9
Frege" ín The Princ.ples^^^^^^ RepHnted "
Itallan íranslatinn >.t ^^4 (1955), PP- J 2nd edo., 1937), PP- ^ s2l2. S267J s
('955), pp. 371'86 re'" flO\
S230. ^'47. S75, SI02. S234. S252, S270.J^
JSL 160951)° "Frege's 'Sinn und Bedeutung' •
S231 p ., M. D, "Th r.
Resnik, S303.] hv",
5232. ^''"°'">PhyandPhenof°"f^
..pj, , Principie in Frege's Ph''o®°P. 55,
'"^"°'°g'calResearch,n(,mi),PP-^^
Massachíetts,í^5''!°^°'°8y: A Critica! Study"
5233. iip
" rrege's Th
' "'floral Dissertation, Harvard
Science, 32(1965)^n^f Incomplete Entities", Philosop
of '""■""",RC.-ír"
Review of R| [See:A3«-' " A.F»-
5234. l-PP-329-41. t..,
"«""lyse,
S229, S270.] ' pp. 139^4. [See: F30, F'47. Heidelberg: Spnnge ,
^ PREGE BTBLIOGRAPHY, 1873-1966
Scholz, H., Die Anmcrkungen von H. Scholz zur Begrijf^schrifi f
imd andere Aufsdtze, cd. I. Ange
(H.ldesheim: G. Oims, 1964). pp. 115-16. [Sce: F'49.]
Frege", in Maíhesis Universalis, ed. H. L. Gcymonat, ScientiOy 8 (1910),
oA (Base! and Stuttgart: B. Schwabe, 1961). PP- 268-^'
IReview: A97.]
pp. 387-9. r.gical Doctrines
Kl^i ^ Anmerkungen zu Grundgesetze V\ The Scope of University of
Expounded, icith Same
BuZgeseilschaft, 1967), pp. 420-2.(Darmstadt: WissenschaftHch
[Scc; F23, F'52.] Press, 1911). 16-37. [See:
aí65(1956).PP-' 1
Shwaydcr, D. S., • Denotation .
ÜTnZ? hat Frege für eine Simpson, T. M.. "A NolP sen
wtsr79?5,''f"
Jy-i5), 7 sem., pp. 16-47. in Se,„es,cr.Ber'c'"
(1967), pp. 207-9. [See: F20.] , ^
-^dition (1934) of Frege's . .nndR0S''""® '??iDuinra««"^
56 (1935), pp. ,63-70. [Sce: F14.]
Sloman, A., "Funet.ons -and M.D
Reci¡rs¡vcFmc¡¡ons,ca.- _ ,,ans. and
dam: North Holland, ■ of Arí<''""l%¡,H Journol
S252.
13 ^
o .
?! "Gottlob Frege ais Philosoph .
P- 154. [See: S1801
.. c of
-KevlewofFrege-sry.^^-^^c/F^^^^^^
cd. M. Furth, also of ^ 17 (1966), PP
Gottlob iW ^''^"^lotions from the Plulosophical for ¡he Philosophy "J S
S253 Schl hlaB
von G. Frene" ®^pl^"iann, "Der wissenschaftliche^^^^y,,'^ CU. in¿9> pp- ^ni
^^^'ontifioue rp' congrés iníernational de Munich: K. Mber. 196-).
196-)- 489-505.
S175.] -IPdJ] 8 (1936). pp. 24-30. [See: F45. S242.] . ,, pp 54
Smart, H.
Tj "Frego ®
R-»
' .^. j967)'
metfoil'
„ metfOH'
.®P''™P'tzer, Die sogenannten Definitf»""'''" [Review: S67.] rr-UpnrV
^ Refeto^^®
. —WMÍV. .
S255 o . ^einer. 1935). ...
Schotten H p • T/^ítscb^ Smith, ^ A "Frege's
G. A., fheoi^^ University*ccellieoo® P «2(F
^ \Vayne
ff^tr ^athematZZít °ií F^^ktion iind ^ Doctoral Dissertatio , Tantinon^'® j(1949),PP'
Abteilung p on Physik, 38 (1893), Historisch-l>t
Sobocinski, B., «ctiondeF^®® '
Schroder, E. pp • . rhriP niewski:
8. IV. LaS229,
[See: S102, oorrecfon^ ¿s ^¡¡'"'^'"¡¿¡,1. aí
Frege's Begrijfsschrift. '^^''c'53,
S149.] 25(1880), pp. 81-94. [See: V% F
5^ C'y Somenzi, V., R^vie^ fo948),PP' j f^^'^Hodli
SchrÓter, K a • -tp ed. L. Geymonat, S¡g , ^sterdaP"'
Hirzel,'1943^^ derfregeschen AussagettkaH^'^' Sommers, F., . ,,y </
S258• ^p , j.
Searle, fSee: F7. F23.] . Problems m the m
Reference";^ 18 Frege's Theory of Holland, 1967).
pp. 137-43. [See: S146,
1966
A FREGE ''''''''
A FRECE BIBLIOGRAPHY, 1873-1966
^ammler, G. [§§58-65 of] Begriff, Urteil, Schlufi (Halle a.d. S.: S286. "Gedankcnloser l^enker, ei S287.]
M. Njcmeyer. 1928). pp. 171-89. (1906), pp. 434-8. [See: E35, F3 , P35_
S2B7. _.-Er«".77>MF.5(«,PP-5'»--
Frtí' with]"Ein
ge uber Hilberts erste unbckanntcr
Vorlesung über dieBrief von Gottlob
Grundlagcn dcr F37, S285, S286.] pell'Ottocento". «•"'" '
r ^'^^^^"Ssberichte der Heidelbcrger .Jjn
0940), nr. 6. [See:
('194m''^'^ F42, F43, S132.]
^^^^^^'^^^dsch-natnnvissenschafíHche Klasse / „at¡onalTru.hV--^:S:
S2S9. Valpola.V.,"OntheConceptof^^^^^^^^
fAn«^''o" P"''=8<='s FoimdaUons of Anihmetic, trans- M. B-"'
Mathematica, 17 (1951), pp. 260-2. [See: Fl S290. Veatch,
Veatch, H..
H.. Revicw o
Kcvicw w. g¿, ^*p'47l
eci. r. -
ings of Gottiob 104-11- [Se®' }ieffle"il°
them no"s University Prcss,77/eor;'
1966). (Carbondaie, liünois: Sou T PP-
n e nonos,, 17 (1954), PP- ''''' .. J...'sSchemí'.'P
Frege^^.']
5291. Venn, vv p,illan, ifiRl)
1»»'" p.*" 41^* ^ .07, [See:
J., "Chapter 7^. j^acrpiHí^'
«•eL0./e(Fondon.Ma
■^'"'''"■6(1955), pp. 58_64.°f 'he Term 'True' P'"'"' SynAolic Logic (London. Mac ^^ p, 297.
'c fíeei'iJf^
5292. Rcview of Frcge h-actioJ^
Frege's Promnt-''''^^ '^hbc's Cutachieii (1879) F7. F'53, S59.] . ^es définih""'
5293. Vuillemin.
Vuillemin, J., "L'f 156 (196«. PP'
^^den und'^ri -r
and 28. [Seefsfr an der Universitat Jena. 25
r,,, """""'I ^
i;íí..«^
Stoothoff, R. H 77 (1963). 5294. "Sur le jugemen'
jugement ^ chichis *' .
pp. 406-8. [See* S2l ] ^ Doctrine of Frege", A/ chez Frege". Archis f„r
pp. 310-25. '
jRevreW.
Review of R \f n- 5295. walker, J., A Stndy of^reP fhdo-
trans. anded t a ®^^Jukov, Two Soviet Síudies on
S47.] I. Angelelli, PQ ig (iggg), p. 396. [See: S45, "
5296. _ Review of B. '. .¡c: §6
Laws of ArilhmeUc, tran®' sophica, Books 7 (1966), PP ^he
Svk. R.
^ykes, p n p P- 395. [See: F50.] TiifC^
^^dosophers, AuT^ Anscombe and P. and Frege and ,n ^4 B
PP. 378-83. [See: 822^]"^'^ /o«rw/ of Philosophy, 40 ( of Ackermann an
(Peking: ^P23, ^51.] ^
tíisto^y^'
79-81, 423-31. [Se®- ronc®?^ li<5.1 ^ ,cc",
^ 0879), Reviiephilosopf"^ S298. Warner.D.H.F/'FP^rsVí®'''-
Thiel,c. F'53. S59.] Philosophy, i 0^65), P , ogik och ¡p„et1966)-
¡k: '
F20, F23 j g 1965). Doctora! Dissertation, ^ ptid s.».
S ish translation by T. J. Blakeley, Se ^gj, in Filosofiens histon g4(
, nntolosy '
j .J "^"^''^^^°^drecht.Holland:D.Reidel, l^ S300. Wells, R.,
•'^^I5(l'906)''"''3ungen zum Aufsatze des Herrn S36, SI 16. Review:»
'■ P- 56. [See: F35. F36, F37. S285, S287.]
im-
rD'48fg/,c°-
PP. 483-94.[See: F20, S202.S,nn
S238.and BedeuUu,,",
Review: S230.] M 59 (-950).
Ari.hmctic" and "IX. The
Imroductin Mathcmatics an Extensión of Logie •'
York Svfi" Poimdaíions of Mathematics (London, tion" of functions.
S305 Í965), pp. 208. 219-45.
g3(,g PhUoZCl RriT(°96°i A"^'=o™he
^'4 ('963), pp. 270-1. [See: and
S22.]P. Gcach, Three levels of functíons, psychologism.
--CW of
A43.
of analysis
ys's. sen? P*
sense and denotation. Frege topics: identity,
[See: S302.] A53. Dummett, »x "Truth", (Englewood
PAS 59 a ^ ^ew Jersey: Prenüce-
of pw-
JSL 9 (1944\ Foundations of Phenomenolo0*^ posirions, relations, sense an
Frege's influence on ~ topics: Frege's concept of n"*"
A44.
^ critique of Husserl, psycholog'Strt*
Review of c T v.. . «a PiO' A54.
JSL 6 (Í94n Charles Sanders Peirce as a fíSilS'»» .í "í
Propositional function 161-2. Frege topic: invention
A45.
A55.
__Review Of & pp, 203-9. Fnig
8 (1943), pu "Note on Existence and R. Rhees, „ ^as-
oblique contexts ñrr. " '• ^^®8e topics: meanings, ordinary Boole, is the fath
. ' P^sitions, sense and denotation.
aw, R-
A46. ^Opi, ,4-j f A56.
sepnadi jilosofi' ...fopnien/o/ío^;«^.s logie.
"64), vol. 17, pp ¿'l°'«'-aal, México City, Sydney: Oto Enriques, HoU. "^P)- p.undotío'^
A57.
A47.
<^atello, H T "M ' os7) thal (New York. « Iniroducdon^^^-. Holt,
Zat he should study
t^Di^p" '-°»e:
«hh, o®*'® Introduction",toJPWittg®
tecommendation 5^ (¿n A58.
„Eves, H and C. V.Concepfs^ iUh'Qiopics.deO^
Aa'f""j^tíon of numbar.
A48.
A., Review pp
61
A66.] "P- '22-T5. Prege
pL'*' tppi^. Peference and Generaliiy<
pames> [S^
8243591
276 A FREGE BIBLIOGRAPHY, 1873-1966
A FREGE BIBLIOGRAPHY, I873-I966 2"
A70.
Oade.,K««
A59. Farber, M., The Foundation of PItenomenolofíy: Edmimd Husserl Bertrand Russelh^^- • • nepnnted(Ñew York: Harper &
the Quest for a Rigorous Science of Phihsophy (CanibridS®»
Mass^husette: Harvard University Press, 1943). Frcgc topics:
rege s criticism of Husserl, Frege's conccpt of numbcr.
A^.
n Kattsoff, A Phihsophy ofMaíhemaíics, A71.
::od:teln,R.."OnlPeHa.a.^
«ívmK r topics: definition of number, Fregc Lógica, Studia Dedícala P. ¿ as"The Nature
relatin ranges of valúes.
property, many-onc rclations, onc-to-on
Éditions du Griffon, I959¿PP¿^¿_ ¡„ the PMo^P^^
relations, of Mathematics m R- Lcicester
A61. hfalhemalics^i^'^^^ definition of number, P
der Philosophie imd der Mathematik
granune Frege topic: Frege's logistic P logism, sense, and denotati ^ Reprinted
A62. A72.
i„R p^, 1965), pp.
metiy in^tltó'lSh Trends in the Foundations oí Geo
ofScience ed F ^ethodology and Phdosop topi<íforroalization, 9"'°^*''°°"' . ^ ne BBe ofSciendfie
1962) pn'fíñ ? Stanford University
• Frege topic: Frege's criticism of Hilbei*t* Grünbaum, iA., Re
ReviewofH.Re'ehff®?¿{
j^^„,^„attca, 19 (1953). P 48.54. Frege
A63. A73.
F«to9*^n¿"ofmathematícalenüües.
S: SKñames,
identity, proper 32 (1958), pp. 157-72- Fr«««
propositions.
top.e:ex.steneeol
A64.
A65.
toPics:^MTcew''anfoh°"^"'
Perties of a concept '^"nctions,(1954-5),
marks ofpp.a 251-^-7^^
concep » A75. Hilbert, D.,..o UreFonndatíonS ofLo®;«''„f„,ole
53, Frege «oP"®.;J numW.
paradoxes,logic®»-
A66. 15 (1905), PP- "e"duction,
inferencebyeomp „«« wlogteal par3^ frzegl^
Stanach
•962). FtegeZní^ ^enerality athaca: Cornell Vaiversifí^gí
A67.
•^P"'".[rUw:14^]"'®'"'' expressions, tvvo K"""
«&a<í4t7« h'^ PP-
pp. 62-83 pl ■ -^PP^CDubuque,lowarW.C-
Anteriean
d,y.Ll«('9«'
swiptions, identiiv '®®®.'°P''s: concept and object, defin'^ jj. A77.
A68, •"j'»naming
®"cAícAre der n ■ ' 21""
l''!''"'"''erijdi,r¡g"'¡!'''f"^* Jena, 1548I58-I9SS: FestS"^ ^g),
h^lr' P- ''28; vol,_ n.
•j^bilitation^F n"'"^"}'>l>ilaum
PP- US and 584.(Jena: G.topicf-
Frege Fischer. 's A78.
1900-1). Frege top. rflndiw^dWes .op.
ates m Freg^.j car¿r"^'°"'^'®®®'® Predecessors,some «nP . - «The Comparís^ 2(1952-3); PP
A69. A79.
®eymonat, L «i thedefimtionoí
identity, platonism. •^®' «""4
® e delle ten®"'®
(1952), pp. 280-8. Fteg® liCS'
A84. "'■-■"ir?»—"'»"-"'
topics. Freg (in Mathesis
rege topic: Frege's contributions to logic. notation- „f u. Scholz. "Gottiob peradox
A85.
A97. Kreisel. G-. Review ^ ^86- Ftege top
^6^FrT! Advances in Logic", MO 21 Universalis), J rsee'S247.] ^/^íVienna:
logic.* ' contributions to the advancement in Frege's system- P • «"^^.feontri-
A86.
A98. Küng. G..
Springer. 1963)-
nntipsyehoto®^¿^i
jelations wi
n. fun^»^
(ification. seos
20 Numbers and the Principies of Mathematie^
butions to logic. Fre^^ p„position.
A87.
20(1911), ^y^'cism in Modern
logism. ' topics: definition of numbers,P A99.
A88.
Revievv of P vr * iktett
a-^aki^^ ",he Historycálculos,
positional of q [Sce=Comparac^ mdianjopic-
and
^issenschaften, i¿20^ng^'tf'^ iogischen Grundlagen
numbers.[Seo: All2] ' LReviewofP^-21(1956). PP-^^'
A89. AlOO.
western PW'°^°P¿r \soc: A79-] ^es:
» ^61(1952), pp. 57-71. Frege '"P'"' definition of num fOy^boUc Log" chapí«' ^^p¡cs:
A90. Kamhflrt 1 p «.p. ,.
^ambartel, Russell on definite descriptio" •
«^izaa"» AlOl. Lewis. C-1-. '^^^7Í9Í8)- P'Pp"'¿Utable.
^^undlegung dlr
1^63), pp. viUta
Herausgebers", in
F- Kambartel(Hamburg: F.f' d
,^ein®^' of(NewCn«f°' "'® ^-^r; and I-odd^'
York-D and ^.s'ílation to Peano an ¡¡^ pUlo-
fege's logic^ ' topic: comparison of Bolzan Frege's log'® proposi^"®^'„ jeiseyt
A91.
K^aplan, t>. «p^, ^ ^ ^eles' Frege's symbohsm Necf Cliffa. Ne^jQ, «f
^ «'Entailí"®"^ „j ck (FnS
J964). Doctoral ^^ssertation, Lewy, C., ^ gd. M. ,83^97. Freg topic- n
^^ssertation,ofUCLA.
Intensíonal
FregeLogic"
topic: Frege,s se
A102.
tics. 19kj¡(ions-
19f
A92. Prentice-wai.
Kattsoff L r •I self-identity P
N«1off.'l95QXeTnpics:
'!" functionsofand
Reality (The neS
variables,
A FREGE BIBLIOGRAPHY, 1873-1966 A FREGE BIBLIOGRAPHY. 1873-1966 281
Lmke, P., "Die Implikation ais cchte Wcnn-so-Bczichung", Al 12. Natorp, P., Die losischert Griindlagen der exakten Wissenschaften
Wissenschafüiche Zeitschrift cler Friedrich-Schiller-Üniversitát (Leipzig and Berlín: Teubner, 1910). Fregc topic: logicism. [See:
Jena, 3(1953-4), pp. 107-8. Fregc topic: thc mcaning of 'if-thcn' SI52, SI98. Revicw: A88.]
statements.
Al 13. Ogdcn, C. K. and 1. A. Richards. The Meaning of Meaning(New
cbchaub
u (Chicago and Epistcmology", in Philosophy Toda}\ ed. E. York: Harcourt, Bracc, 1923, 1926, 1930, 1936, 1946, 1960; Lon
London: Opcn Court, 1928), pp. 359-92. don: Routicdgc and Kegan Paúl, 1949). Fregc topic: sense and
is is a rcpnnt of"Thc Prcsent Status of Logic and Epislemology denotation.
in Germany", MO 36 (1926), pp. 222-55. Fregc topics: anti-
psychoíogism, concepis and functions, formal logic, Fregc's in- A114. Pací, E.,"Fondazionc econstruzionc lógica del mondo in Carnap .
nsseri, lógica! iaws, logicism, meanings of thc tcrm in Lógica e analisi(Archivio di Filosofia, 1966), pp. 95-107. Frege
topics: Fregc's infiuence on Camap, Husscrls critique of Frege,
scnse and denotation.
Philosophischc Wissenschaft?", Wissenschafdiche
PP Al 15. Pap, A., Semanfics and Necessary Trnth (New Haven: Yale
pp. 25 38 Fregc topics: assertion,judgcmcnts.Jena, 2 (1952-3),
25-38. University Press, 1958), pp. 44-6, 214-1. Frege topics. analyticity,
definition, paradox of analysis.
6(1951 7^ « fUr philosophische ForschwiS^
de ín Wissanschamche Zeitschrift A1I6. Peano, G., "Studii di lógica matemática", Atíi delta Reale Áccade-
3 (1953^), PP. oda delíe Scienze di Torino, 32 (1896-7), pp. 565-83. Reprmted
laws of thought anTllws'of^gif^ judgcmcnts m logic, in G. Peano, Opere scelte (Rome: Edizioni Cremonese, 1958),
vol. II, pp. 201-17. Germán translation by G. Bohlmann and
A. Schiepp, in G. Peano, Angelo Genocchi Differentialrechmng
Mathenmtik", in FIATRevie'o of ttnd Gnmdzilge der Integralrechnung (Leipzig. 1899), pp. •
Dieterich'sche Vprl u " ^athematics,Part 1(Wiesbade Frege topics: Frege's logic, Frege's versas Peano's use of material
the connection het ^^'^S),pp. 11-22. Fregetopic- implication.
to Schroter and "ot'on of a mathematical theory due
and ideas of Fregc. AU7. Peters, F., "Russell on Class Theory", S 15 (1963), pp. 327-35.
lation Gmyter, 1958). Engüsh tranS' Frege topic: relation-concepts.
topics: D. Reidel, 1965 ■ AllS. Popovich, M.V.,"Philosophic Aspects of the Problem of Me£mmg
propositions, truth valuL'^^' '^'^scriptions, extensions, intensión »
— .M-IUV-S. and Sense", Soviet Stiidies in Philosophy, 1 (í963), PP. 23 -
Marshall, W. R^v; Frege topics: extensional logic, identity, ñames, objects, sense
Modern Logic" /^aTr^iü' "Two Ways of OntologV denotation, truth valúes.
ness of functions ln»;r>on ^1~2. Fregc topics: incomP ® ® A1I9. Prior, A. N., Formal Logic(Oxford: Clarendon Press,
x._. ^
Martín, o.
' S Uy complex objects. [See: S208.]
G. "Met. .• . Frege topics: axioms of propositional calculas, class '
Síudium Genérale, ^^obleme der Metaphysik der Zahl' conjunction, levels of concepts, postúlate sets for lógica »
Abhandlungen (Coloenp G. Martin, Gesatvmed proof of Frege's third axiom, proper ñames, propositiona un -
125-36. Frcge topic: logicism^ Gniversitats Verlag, 1961). PP* tions, truth functions.
l^ates, B., stoir t A120. Quine, W. V., "Carnap and Lógica! Truth", m The P n P
Pfess, 1953, 1961) FrP .^"geles: University of CaliforP'^ of Rudolf Carnap, ed. P. A. Schilpp (La Salle,
and denotation. * ^^ms: conditionals, predicates, sen Court, 1963), pp. 385-406.Italian translation in Rmsta difi F »
48 (1957), pp. 3-29. Frege topic: logicism.
■ ■■
^ tv..
Ffiií- in Encyclopedia Americana, Intemational A133. Quinten, A., "The A Priori and the Analytic", PAS 64 (1963-4),
ta r,to symbolic logic.
butions 17. pp- 690-6, Frege topic: Frcge's contri- pp. 31-54. Frege topic: analyticlty.
AI 34. Rabus, L., Die neuesíen Besírebungen auf dem Gebiete der Logik
UniverJtí^p^''^' 21o^/c (Cambridge, Massachusetts: Harvard bei den Deiiíschcn und die logische Froga (Erlangen: 1880). Frege
^rsanH T' T"- ''''■ 15®')- topics: abstraction, topics: asscrtiblc contcnls, asscrting. judging.
inclusión-ihh" liefinitíon of number, descriptions, A135. Rcscher. N. and J. Thomson, Rcview of V. Valpola. "Über
mathematical™'a 'ogicism, material implication, Ñamen", JSL 16 (1951), pp. 212-13. Frege topics: logical truth,
Ct'Sl ancestral, proper ancestral, proper ñames, sense and denotation.
useandmentioatsTe%''l03.r A136. R-ovighi, S. V., "Capitolo sccondo", of La filosofia di Edmmid
)7ork: Holt, Rinchart and Winston, Husserl (Milán: Societá Editrice, 1939). Frege topic: Frege s
critique of Husscrl's Pbilosophie der Aritbmetik. [See. F-4.]
material implication ' "ic^nings, quantification,
of number, logicism,
truth functions. A137. Russcll, B., Introduction to Af£í//ie/uíi//Cíi/ Philosophy (London:
61 (19^^00^'^ Reduction and the World of Numbers", JP G. Alien, 1919). Frege topic: logicism.
logy. ' topics: definitíon of number, onto AI38. "Logic as the Essence of Philosophy", in Oiir Knoicledge of
the Externa! World{Lonáon: G. Alien, 1914). Reprinted m
i'i Logic from Aristotle to Russell, ed. R. Jager (Englewood CliHs,
(Woodstock Loglc and Modera Logic New Jersey: Prcntice-Hall, 1963), pp. 120-39. Frege topic: pro-
vii. Frege topie-- Fr«et' College Press, 1952), PP- v-
"^^80 s contnbutlon to logic. positions.
A 12(1951) !
S202.] '' '"®Se topic: sense and denotation. [Ses-
Y '*'» '•
V , r-,y^ ■
INDEX