Académique Documents
Professionnel Documents
Culture Documents
Frege-Begriffsschrift (In German)
Frege-Begriffsschrift (In German)
1/ Les contenus accessibles sur le site Gallica sont pour la plupart des reproductions numériques d'oeuvres tombées dans le domaine public provenant des collections de la
BnF.Leur réutilisation s'inscrit dans le cadre de la loi n°78-753 du 17 juillet 1978 :
*La réutilisation non commerciale de ces contenus est libre et gratuite dans le respect de la législation en vigueur et notamment du maintien de la mention de source.
*La réutilisation commerciale de ces contenus est payante et fait l'objet d'une licence. Est entendue par réutilisation commerciale la revente de contenus sous forme de produits
élaborés ou de fourniture de service.
2/ Les contenus de Gallica sont la propriété de la BnF au sens de l'article L.2112-1 du code général de la propriété des personnes publiques.
*des reproductions de documents protégés par un droit d'auteur appartenant à un tiers. Ces documents ne peuvent être réutilisés, sauf dans le cadre de la copie privée, sans
l'autorisation préalable du titulaire des droits.
*des reproductions de documents conservés dans les bibliothèques ou autres institutions partenaires. Ceux-ci sont signalés par la mention Source gallica.BnF.fr / Bibliothèque
municipale de ... (ou autre partenaire). L'utilisateur est invité à s'informer auprès de ces bibliothèques de leurs conditions de réutilisation.
4/ Gallica constitue une base de données, dont la BnF est le producteur, protégée au sens des articles L341-1 et suivants du code de la propriété intellectuelle.
5/ Les présentes conditions d'utilisation des contenus de Gallica sont régies par la loi française. En cas de réutilisation prévue dans un autre pays, il appartient à chaque utilisateur
de vérifier la conformité de son projet avec le droit de ce pays.
6/ L'utilisateur s'engage à respecter les présentes conditions d'utilisation ainsi que la législation en vigueur, notamment en matière de propriété intellectuelle. En cas de non
respect de ces dispositions, il est notamment passible d'une amende prévue par la loi du 17 juillet 1978.
Original illisible
MF Z 43 120-10
Symboleapplicable
pour tout, ou partie
des documents m!crofitmés
& "'F~RNEL8P&A€nE
'y.
~ENKEN&
$~
~s~Mt~
~%NS~ $~
BE&RIFFSSCERIFT,
EfXË~B~KH'HMË'nsCHËN NACHGEBILDETË
N ACHGEBIl.DE'l'E
f!
r.' ~ORMELSPKACHE /sm(i
\.< 7&n 11
vo\'
D" 60TTLOBFBE&E.
P)t)VA1)"~< KXtKX )'KK MATHR~tAnK AS' DÈK t'x;VE!(.stTÂT JKXA.
HALLE
*/S.
VERLAGVONLOUISNEBERT.
1879.
DasKccht dcrUcber'.ettung in hemdeSpirachcn hlcibt vorbchalten.
Vorwort.
I)ae Urtheil.
g 2. Beurtheilbarkeit eioes MMtts. Inh~ttastrtch, UrtbcitaBtrioh )
§ 3. SMbject und PrMicat. BepiMicher !nha)t. 2
§ 4. AUgemeiM, beaondcre; verneinende; ksteRoriMhc, hypothc-
tische, diajunctive; apodiktiMhe,Meertortsche, proMomMische
Urtheite 4
Die Bedingtheit.
§ 5. Wenn. Bedingnngsstjftch 5
§ ti. Der SchtuM. Die Aristote)i<ohenSchlueaweisen 7
Die Verneinnng.
g VernoitMtnjpMtrtoh.Oder, entweder oder, und, aber, und
micht.weder– noch t0
Die ïnhatts~teichheit.
§ S. Nothwendigkeit eines Zeichens fUr die Inhaltogleichheit, Ein-
fUhmng einea ao)chen 13
Die Fnnetion.
§ 9. Ertditfmgdet'WUrter,,Fn))etion" nnd ,~<~ament". Fanotionen ·
mehret Argumente. ArgamenteateUen. Subject, Object. )5
g t0. Gebraneh der Buchetaben tts PuncttonMeMhen. ,,A hat die
EigenscM <P." ,,B eteht h der ~Beziehung zu A." ,,B t<t
Ergebnh einer Anwendung dee Verfahrena f~ auf den Gegen-
stand A." Dae t~notionszeiohen ais Atgament. ti)
Die Allgemeinheit
§ Il. Deutache Bnchstaben. 1)ie HChtang dea InhaltMtnchea. Er-
x
Mt<-
BCtxharkcit der deutschen Bachataben. Rebiet derselben.
LateMBoheBnchataben t9
t;)2.E9giebtefnigeMnge,dienicht–. Eagibtkein–. Es
giebt cinige Jedes. AUe. UraKchMeheZHSinnmcthSngo.
Kein. Einige nieht. Einige. Ke i8t mOgUch,daM Tatë)
der)ttg)8ChenQeg9BB!itze 22
Das UrtheiL
§ Ein Urtheit werde immer mit Uiife des Zeichens
d!t!!t')'t)u')t:dit' Mt)t!t(')'!)Mi};<'))Ma~))''tp<))ci!it't)enNR)t:H)";
dannwird
w__A
nichtdiMUt'ttu'i) t)))i!dr()ck('n,Mnd('r)))<'<)i~)('.)tdicV())'ste[)ung
von der jj;<'gp))s<'itipc)) Anitx'hu)))!;der U))~)cirh<mt))ij;enM~netpo)<'
in don t~8t'r ttcrvorrofnn sot)cn. etwa um t'\))go'))n~(')) dat'au!fxM
ziehen H))d an ()i<*iicndie Rict~tigkcit des Gcdankcns xn pt'f)fcn.
Wh' MtM~/tret~M in dicacn) F~tf (tn)'ct) die Worte "der //M.s~f~,
f/'<M" odpt' ..der .Sah. ~<!A'.<
Nicht j<'f)p)' tnh;))t kann d'u'f)) das vor aci)) Zeichen geaetxtt'
t'int~-thei) wcrdc)), x.)!.ui<'tttd!c V<)r!itf'th)n~n!)))a".
Wir unte~cheiden da))pr /~Mr//<~7tWf und M~<'<7A«t'f tn-
hattc**).
/~<'r ?<'<t~~c/</<'.S7r/r/<, ims dcm daa Xeichen) gebitdft
ist, tW~/M~ die ~MM~ ~~<'M<~<'M ~t'AfM ~M CWMt~«W!fM,«M</
aM/ dies 6~ ~< 4/<7< </«' /«/<M~, M'cAf ~MrcAdeu .«'M~-
r<'<<~M~'t< Mm//M/<'« A'M~ des H'a~'rM/tf~t <!t<~<'</?'Sc~
~'M.
Ks nxige der wa~prcchtt* Strieh /HA<t//M/r/'<*A,dcr seokrechtc
/'<«'/7A'A7r/<7<hciMeu. I)er tnhitttsatnc)) diene :tucb sonst dazu,
h'gendwetche Xcichcn zu dem GaMMn der défaut' folgelideil Zeicheu
in Beziehtm~ zu setzen, M<M~M/' ~CM ~i/<M//A'.v/r/f'~ /o/ M~
immer <'WM <'CMf//«'~a~M /Aa// /M~<.
§ 3. Ëinc Untcmci)eidung von Subject und /<M/e«/ findet
bei mcincr Darste!h)ng eines Urtheita wc~ .<<a~. Um dies zn
rechtfft'ttgen. bemet'kc ieh. dnM die Inhalte ~on zwei Urthmten in
doppcttcr Wpïsevemchieden seiu künnen: emteua so, dassdieFot-
gernngo). die aos dem einen m Verbindung mit bMtimmten ando'n
!)ic Bedingtheit.
§ Wcn)) und bpnrthciibat'c*')Inhalte bedcuten, ao
giebt es foigendc vier M6g)i(-)))tpiten:
1) .< wird bnjaht und Il wird bejaht;
2) ~<wird bejaht und ? wird verneint;
~) wird verneintund wird hcjaht;
4) A wird vcrneint und B wird verneint.
A
~–z-
bedeutet nun das Urtheil. ~< die ~r<7/<'Af.wr .<j/cM~7fM
nicht .a~/ÎK~, ~OM~rKCMCder drei ox~erK. Wenn
A
1
an dieaomwird jedea Zeicheu angebracttt, das sich auf deu Ge-
sam<t)tin))attdes Auttdruckeabeziehett ooH. Uer zwischen und
dem BedingungastricheHegexdc Titeit des wagerechten 8tncheB
iat der inhattMtrici)von Uer wagerechte Strict) links von /<
ist der inhattsstrich von A
Hiernach ist )eicht zu eritennen, dasa
t_
t]"
-&
7
8
9
Uie Verneinung.
§ 7. Wpnnan der untern Seitf des InhaitMtrichcBein kloiner
Ht'nkrcchtcrStrie)) angcbracht wh'd, so aoi) damit der Umatand
~usgedrOcktwerden, dass der /~< ;t'~< ~<s~?:<~e. So be-
dentot z. B.
t
"A findet xifht statt". tch ncnne diesen kleinen aonkrechtcn
Strie))den f'efMCMMMyM/fic/f. Der rechts vomVcrnoiuut)g86tric))t'
bctindtichcT))citdes wagerecjttcnStriehesjet der Inhattsstrichvon
J, der )i~){svom VfrneinungMtrichebe<indH('heTheH dagegen ist
der fnhatt~u'ic))der Verneinungvon 0))ne den Ut'thotkatrich
wird hier so wenigwicanderawo in der Begritfeechriftein Urthei)
gcMt!t<
,t
fordf'rt nur dava auf, die VorsteUungita bilden, dass .4 nicht
statt<indp,ohnc intMudrftcken,ob diese VoMteUnng wahr aei.
Wir bptMfhtcnjctzt einige FaUe. in denen die Zeiehen der
Bcdingtiteitund der VerneinMgmit einanderverbundeu sind.
<
L
sts<)dast) itussef .-<und nicbts denkbMia~ X.B.: woon fiot-
UasmaMecrwat'tutwird, M vermobt't sieh ihr \'c)nmc))oder ihre
Spannnng. Zwcitemvereiuigt der Ansdt'Mck
"A oder B"
die Dedeutungcn vou
–rr~ A
nndvon
'–F I
in sic)), sodast)a!eoerstens ausacr .4 und kein Drittea moj;Uch
iat, uud das8 zweiten8.< und B sic)) aaMchtieaaea. Vou den
vier ~togtiehkeitenbleiben dann nur die folgenden beiden be-
stohen:
wird bejaht und wird verneint;
.t wird verneint uud wM bejaht.
Von den beiden GebrauchsweiMndes Ansdrnckes t'dcr
/< ist die emteM, bei der das Xus~mmenbestchexvon .< und
nieht ausgeaehtoMeH iot, die wiehtigere, und w~ w~t ~fMf~
,,o<<cr''tM dieser Zif~M/MM~ $~ra'<t'/<~<. Vietîeicht ist es an-
gemesseKzwischen ,,oder" und "entweder oder'' den Untcr-
schiedzu machen,dass nur das Letztere die Nebenbedeutuogdes
sich gegenaeitigAnsschiiesaenshat. Man kanu dann
rr~
r
diu Bedeutung von ,,J oder oder
t3
Die tnhattBgteichheit.
§ 8. Die Inhattsgteichhcit uaterscttcidet sich dadurch vun
der Bedingtheit und Verneiuung, dasa xie sich auf Kameu, tueht
ftaf Inhatte bezieht. Withrend aoxst die Zeicheu tedigUch Vct'-
treter ihret) initattes aind, sodass; jede Vcrbiuduug~ in we~tm
fiie treten, nur eine Bcziehung ihrer Inhattc zum Ausdrucke britigt,
kchrft) 'fie ptutziieh iin' eigues Setbst hcrvor, iiobaM aie dure))
H
Mt9~)cifhheit,wotchMJcn('beid<'))Namcnv<')'t)indt;t. Hict'ms
gt'ht fn'n'or, dasx die vcrschicdMteo Kamt')) tttr detMcXx')) fnhatt
nioht immer blos c!))c gteich~ittigo FcrnMM'tx' oind. scodo')) daas
sic daa Wesen der 8a<*)n*'!t')bst betrcftft). wcnn tiif mit vt')'
schiedotO) Hestimmttttgow-iacu xntiamtncn)):H~cn. t)) dit'tn t'')))k'
ist <!MUt'thci~ wetchM die tnhittt~gh'iehht'it xnu) Gc~oMtiHtdc hat,
im katttisctjcn 8inne <'i)t syntht'tiacht'i). Hin )nR)n' ftUiiserf'r (irttnd
zur Rmftihmng cinc~ Zt'ichcne der Jnh;)tt;<g[fichheit Ht-~t d:))'i)),
dass ('&zuweiten xwpckmiissi}; ist, :tn do' St'*))f' Hhtcs wpittanft~en
Au~drucks eine Abkfit'xon~ ei))i!))f(H)~)). Uann h:~ rnsn die
(Hpichheitdet! tnha.(t)tdm'Abktt)'xHnK t)!)d')'-)' tt)'!ipri)))Kt'<:t'fu
Form auMndrUckcn.
Ha bedentp Hun
~(J A-):
das ~<M< MM~</«A'~<cAeM /M~<'M<<.t-f/<'fM <'f~<f'M
/!i/<«~, XO~Y M~MM~'t! W <f .S'/< t'ftM.< /< M/j<-M/fM)MK/
«M~
Ui'* FouctioM.
Die Attgemeinheit.
§ )]. ln domAusdrucke etne~UrtheHs kann mandie rechts
von t–– stehende Verbindung von Zeichen immer ata FuttcHon
eineader darin vorkommendenZeichen anschen. ~e~/ MSMaM
<~<'Stelle dieses ~!<MeH<ef!MHm <<eM~e/«M P«e/M~M, MM~
~M< mott <~MPM~aMM~We~e M der dieser ~&c
e?Me/~7<A<My,
//«cAs<a6es(e~(, tf<p<M
4- (a),
so 6e<fe'<<e<dies das ~W/M< <~<M~ y~te Function emc Thatsache
sei, fa~ m~ auch als ihr ~ry!<WM~ <!HM~~tm~. Da ein ata
Functionszeichenwie 4' m (~) gebrauchter Buchstabeselbatata
Argumenteiner Fonction angesehenwerden kann, so kann an die
Stelle dessetben in dem Sinne, der eben feBtgeeetztist, ein
deut<cherBuchstabetreten. Die Bedeutung einee deutsehenBuch-
staben iat nur den xoibatveKt&ndtichen Hcschrankungett unter-
worfen, daas dabei die Ben)'theitba)'ke!t(§ 2) einer anf cinen
InhaitaatrichfolgendenZeichenverbmdungttnberOhrt bleiben muB8,
und daae, wenn der deutsche Buchstabeata Functiooszeichenauf-
tritt, diesem UmatandeRechnnng getragen werde. ~e a&r<
F~~K~eM, <~MMdas MK~WO~/Mt sein M!< ?<? an die~e~
<MM~ JeK~C~K//MC~<CK~M<~<W~t darf, <Mdas Ur-
tA~ <m/2:«H~meM. Ana einemsolchenUrtheile kann man daher
immereine beliebigeMenge von C~<Ae<7ex mit M'~Mt~ef a~est~MeMt
AtA<t/<e herieiten,indemman jedcaMal an die Stelle des deutschen
Bnehstabenetwas Anderea einsetzt, wobei dann die H8htang im
Inhaitaatrichewieder vorachwindet. Der tmke von der H6htong
befindlichewagerechtaStrich in
t-((t)
ist der InhattestriehdafOr, daBS<~(a) gette, was man aucli an die
Stette von a BftzMu mi)ge, der recht~ von der Ituhtung be<indti<;he
2*
20
neint werden. AtM anch hier kann man nicht etwas BeUeMgeB
an die Stelle von a setzen ohne die Riehtigkeit des UrtMh zu
ge~hrden. Dies er~tart, weshatb die H~htung mit dem hinein-
geschriebenen dentschen Buchstaben nôthig i&t: sie ~re?M<das
Gebiet et, auf welches sich die durch den Buchstaben tf~eA-
tM<e ~4~ec<e<M~c~ bezieht, AMf <KK~o<&seines <i'e&<e<M M~<
der deutsche Buchstabeseine ~c~eM<:<n~ fest; in einem Urtheile
kaun deraelbe deutsche Bu~hat&bein venchiedenen Gebietenvor-
kommen, ohne daas die Bedeutung. die man ihm etwa tn dem
cinen beilegt, sich auf die <tbngenmiterstreckt. UMGebieteines
dentschen Buchstaben kann das einea audern einschtiemen,wie
das Mpispift
21
t-~j– ~)
'(a,e)
zeigt. tn diosemFaite mOasensie fer~eA~ gewahtt werden;
man dtir~e nieht statt e a setzen. Es iat natttdich geatattet, einen
doutschen Bachstabcn ttberat) in eeinem GeMetedurch einen be-
atimmtenandern zu ersetzen, wenn nur an Stellen, wo vorher
verschiedenoHuchstabenatanden.aach nachher veïschiedeaeatehen.
Dies ist ohne HinftuMauf den tohatt. ~ere E~e~MK~CHsind
MMf~aMtief/a«6f, wenn die .Co~hM~unneittelbar NM/'den Ur-
~e~<rtcA folgt, sodaSBder Inhatt des ganzon Urtheita das Gebiet
des deutschen Buchstabenausmacht. Weil dieser Fait demnach
ein Magezeiehueteriat, will ich für ihn folgendeAbkftrzungein-
fOhren. <6'MlateinischerFw/M/a~e habe als <?~e/ /MM~'~CM
7M~a~< des ~'aMMM ~r~e<7~, ohne dass dies dm'eheine Hohtang
iminhaltestrich bezeichnetwird. Wcxn'eintatcinischerBuchstabe
in einem Ausdrucke vorkommt,dom keiu Urtheiteetrichvorhcî-
geht, so Mtdieser At~druck amntos. &'? ~<e)KMcAer BMe/M/a&e
dar f <MM<-f ~M'cAMMM~M~cAett, der MOcAnicht ina M-~<!<~
!'or~-OMM<,CMe~<tf<'r~, woboi die HObhtngunmittelbar nach
dem Urtheibstriehe anzubringenist. Z. B. kaon man statt
22
23
24
Il. DM'stcMuMgund AMeitungeiMigerUrthcitf
des reinen Denkens.
Ks bndente z. R.
c, dass in einer Xahtenreihe jedes nachtotgcndcGlied grossel'
a)s das vorangeitendesei;
< dass ein UHed grOsecr aie sei; i
a, dass das Glied A' grôaser a)a sei.
Dann crhatten wir folgendes Urtheit:
..wenn ans den Satzen, dass in der X&hlenreiheZ jedes fol-
gendc Glied grSMer ais das voraugehendcist, und daas das
Glied grë8Ber ats L ist, geschtoasen werden kann', daaB
das Glied N grOsaerats L ittti und wenn ans dem Satze. daM
in der ZaMenrethe jedes nachfotgende Glied grësser ais
das vorangehende iat. fo)gt, daas grHsMrata L ist, so kattn
der Satz, dass A grOsser als Z.ist, aua dem Satze geschioasen
werden, dass jedea nachfotgende Glied in der ZahlenreiheZ
grosser at8 daa vorangehende iat".
Die 2 links bedoutet, dass rechts davon die Formel (2) steht.
Der Schluss, welcher den Uebetgang von (2) und (1) zu (3) be-
wirkt, iat nach § 6 abgekNvzt ausgedrOckt. AusfahrUch wftrde
er so gcBchriebeuwerden:
30
(6.
3:;
((:.
t't'C~f t FoftWk~ÏHCbC. g
34
&'
36
'Fro)!e.F<n'et!<prMt'))t'.
50
Der Mt, wo der tnhidt von gtc!ch dem Inhalt von d ist. wo
/'(<*) bejitht nnd /'(</) verneint wird, Met nictit statt. Dieser
Satz dt'tickt ans, dass man Obéra))statt c Betxo)) kOnne, wenn
e d ist. fn /(e) kann c auch an andcr') ak dcx ArgumeHts
ste!)ct)vorkommen. Uahcr kann c auch tMch in /'(~) enthalten
aein.
&t
4*
52
53
Hier kommt ft in zwei Gebicteu vor, chue dass dies eine beMB-
derc UeztehMg acdeutete. In dem einen Gebiete kônnte man
statt a auch etwa e acht'eiben. DieselsUrtheit eraetzi die SeMusa-
weiseBarbara fUr den Fall, daas der UnterMtz _a_o(~)
'–&(&)
ciacu ~ttgemetnenInhalt hat. Der Léser, der sich in die Ab-
tcitungsat't der BegutTaechriftbineingedaeht hat, wird im Stande
sein, auch die L'rtheiie hcrzuteiten, welche don andern ScMuss-
weise))entaprechen. Hier mtigen diese ats Beispielegenttgen.
54
III. Einigesaus einer aMgcmciucnRcihcMieht
e.
~(~);
ituaserhatb konnen dieaetben vorkomtncn, ottnc dass ))ie)'(!urc)(
h'gendeinoBeziettungzu diesen angcdentct wOrde.
Wif ftbersetzen
Fra~e.ffHDNtttMchc. 5
6ti
67
&*
68
69
Es mOgehier die Abteitung des Satzes(91) in Wortenfolgen.
Aue dem Satze:
a) ,Jede8 Ergebnis einer Anwendung des Verfahrenay
anf x bat die Eigenachaft S"
kann, was Mch sein mag, gesohtossenwerden:
jedes Ergebnia einer Anwendung des Verfahrenaf auf
.<*hat die Eigenachaft
Daher kann auch ans dem Satze (a) und dem Satze, dass die
Eigenachaft sich in der /Reihe vererbt, WMauch sein mag,
geschtosson werden:
jedes Ergebnis einer Anwendung des Verfaht'eMf auf
x bat die Eigenachaft
Daher gUt nach (90) der Satz:
Jedes &'fpe6MtXe<!Mr~MfeM<!uM~ eMM Fe~/treM auf
einen 6e~M<aKd x folgt der /<~e auf, dies x.
70
7t
72
t't<!t!t'"n"e)*pmche.
U
R2
1 3 7' 67 12 16 21 44 44 45 69
1 6 7 94 12 24 21 47 45 46 60 93
1 11 7 107 12 3& 22 23 46 47 61 65
1 24 7!113 12 49 23 48 47 48 62 63
1 26 8 9 12 60 24 2& 47 49 62 64
1 27 8 10 12 85 24 63 48 101 63 91
1 36 8 12 12 127 26 111 49 50 64 65
2 3 8 17 13 14 26 27 50. 51 66 66
2 4 8 26 14 16 27 42 61 128 66
2 39 8 38 15 88 28 29 52 53 67 68
2 73 8 63 16 17 28 33 52 57 68 70
2 79 8 62 16 18 29 30 52 89 68 77
3 4 8 66 16 22 30 59 62 106 68 116
4 5 8 74 17 60 31 32 53 55 69 70
6 6 8 84 17 78 32 33 52 75 69 76
6 7 8 96 18 19 33 34 63 92 70 71
6 9 9 10 18 20 33 46 54 66 71 72
6 12 9 11 18 23 34 35 55 66 72 73
6 14 9 19 18 61 34 36 55 104 72 74
6J16 9 21 18 64 35 40 56 57 73 87
6!l8 9 37 18 82 36 37 Mi 68 74 81
6~22 9 66 19 20 36 38 67! 100 76 97
6:26 9 61 19 21 36 83 58 59 76 109
6,29 9 lt7 19 71 37 106 68 60 7& 131
6'34 9 MO 19 86 38 39 M 61 76 77
6,46 9 132 19 103 39 40 62 76 89
10 68 j
6~80 30 19 119 40 43 58 67 77 78
5'90 11 112 19.123 41 42 M 72 77 85
6 7? 12 13 20~121 42 43 58 118 78 79
7~32 12 16 20 125 43 44 68~120 78 110
88
tM).)'<T«:)<Mnt:.Kt(fn".
~Rg;M.m~