i ai ap Y A POF BEGRIFFSSCHRIFT, 9 EINE DER ARITHMETISCHEN NACHGEBILDETE FORMELSPRACHE DES REINEN DENKENS.. Dr: GOTTLOB FREGE, PRIVATDOCENTEN DEK MATHEMATIK AN DER UNIVERSITAT JENA. HALLE /S. VERLAG VON LOUIS NEBERT. 1879. http://rcin.org.pl Ex 2 = EIE ere in = — Sprachen bleibt t^ Vorwort. Das Erkennen einer wissenschaftlichen Wahrheit durch- läuft in der Regel mehre Stufen der Sicherheit. Zuerst viel- ] leicht aus einer ungenügenden Zahl von Einzelfällen errathen, ‘wird der allgemeine Satz nach und nach sicherer befestigt, in- dem er durch Schlussketten mit andern Wahrheiten Verbindung ‘erhält, sei es dass aus ihm Folgerungen abgeleitet werden, die auf andere Weise Bestätigung finden, sei es dass er umgekehrt als Folge schon feststehender Sätze erkannt wird. Es kann daher einerseits nach dem Wege gefragt werden, auf dem ein Satz allmählich errungen wurde, andrerseits nach der Weise, wie er nun schliesslich am festesten zu begründen ist. Erstere Frage muss möglicherweise in Bezug auf verschiedene Menschen verschieden beantwortet werden, letztere ist bestimmter, und ihre Beantwortung hängt mit dem innern Wesen des betrachteten Satzes zusammen. Die festeste Beweisführung ist offenbar die rein logische, welche, von der besondern Beschaffenheit der Dinge absehend, sich allein auf die Gesetze gründet, auf denen alle Erkenntnis beruht. Wir theilen danach alle Wahrheiten, die einer Begründung bedürfen, in zwei Arten, indem der Beweis bei den einen rein logisch vorgehen kann, bei den andern sich auf Erfahrungsthatsachen stützen muss. Es ist aber wohl vereinbar, dass ein Satz zu der ersteren Art gehört und doch ohne Sinnes- thätigkeit nie in einem menschlichen Geiste zum Bewusstsein kommen könnte.“) Also nieht die psychologische Entstehungs- weise, sondern die vollkommenste Art der Beweisführung liegt *) Da ohne Sinneswahrnehmung keine geistige Entwickelung bei den uns bekannten Wesen möglich ist, so gilt das Letztere von allen Urtheilen. * http://rcin.org.pl Iv der Eintheilung zu Grunde. Indem ich mir nun die Frage vorlegte, zu welcher dieser beiden Arten die arithmetischen Urtheile gehörten, musste ich zunächst versuchen, wie weit man in der Arithmetik dureh Schlüsse allein gelangen könnte, nur gestützt auf die Gesetze des Denkens, die über allen Besonder- heiten erhaben sind. Der Gang war hierbei dieser, dass ich zuerst den Begriff der Anordnung in einer Reihe auf die lo- gische Folge zurückzuführen suchte, um von hier aus zum Zahlbegriff fortzuschreiten. Damit sich hierbei nicht unbe- merkt etwas Anschauliches eindrängen könnte, musste Alles auf die Lückenlosigkeit der Schlusskette ankommen. Indem ich diese Forderung auf das strengste zu erfüllen trachtete, fand ich ein Hindernis in der Unzulinglichkeit der Sprache, die bei aller entstehenden Schwerfälligkeit des Ausdruckes doch, je verwickelter die Beziehungen wurden, desto weniger die Ge- nauigkeit erreichen liess, welche mein Zweck verlangte. Aus diesem Bedürfnisse ging der Gedanke der vorliegenden Begriffs- schrift hervor. Sie soll also zunächst dazu dienen, die Bün- digkeit einer Schlusskette auf die sicherste Weise zu prüfen und jede Voraussetzung, die sich unbemerkt einschleichen will, anzuzeigen, damit letztere auf ihren Ursprung untersucht werden könne. Deshalb ist auf den Ausdruck alles dessen verzichtet worden, was für die Schlussfolge ohne Bedeutung ist. Ich habe das, worauf allein es mir ankam, in $3 als begrifflichen Inhalt bezeichnet. Diese Erklärung muss daher immer im Sinne behalten werden, wenn man das Wesen meiner Formel- sprache richtig auffassen will. Hieraus ergab sich auch der Name „Begriffsschrift“. Da ich mich fürs erste auf den Aus- druck solcher Beziehungen beschränkt habe, die von der be- sonderen Beschaffenheit der Dinge unabhängig sind, so konnte ich auch den Ausdruck „Formelsprache des reinen Denkens“ gebrauchen. Die Nachbildung der arithmetischen Formelsprache, die ich auf dem Titel angedeutet habe, bezieht sich mehr auf die Grundgedanken als die Einzelgestaltung. Jene Bestrebungen, durch Auffassung des Begriffs als Summe seiner Merkmale eine künstliche Aehnlichkeit herzustellen, haben mir dabei durchaus fern gelegen. Am unmittelbarsten berührt sich meine Formelsprache mit der arithmetischen in der Verwendungsweise der Buchstaben, http://rcin.org.pl v Das Verhältnis meiner Begriffssehrift zu der Sprache des Lebens glaube ich am deutlichsten machen zu können, wenn ich es mit dem des Mikroskops zum Auge vergleiche. Das Letztere hat durch den Umfang seiner Anwendbarkeit, durch die Beweglichkeit, mit der es sich den verschiedensten Um- ständen anzuschmiegen weiss, eine grosse Ueberlegenheit vor dem Mikroskop. Als optischer Apparat betrachtet, zeigt es freilich viele Unvollkommenheiten, die nur in Folge seiner innigen Verbindung mit dem geistigen Leben gewöhnlich un- beachtet bleiben. Sobald aber wissenschaftliche Zwecke grosse Anforderungen an die Sehürfe der Unterscheidung stellen, zeigt sich das Auge als ungenügend. Das Mikroskop hingegen ist gerade solehen Zwecken auf das vollkommenste angepasst, aber eben dadurch für alle andern unbrauchbar. So ist diese Begriffsschrift ein für bestimmte wissen- schaftliche Zwecke ersonnenes Hilfsmittel, das man nicht des- halb verurtheilen darf, weil es für andere nichts taugt. Wenn sie diesen Zwecken einigermassen entspricht, so möge man immerhin neue Wahrheiten in meiner Schrift vermissen. Ich würde mich darüber mit dem Bewusstsein trösten, dass auch eine Weiterbildung der Methode die Wissenschaft fördert. Hält es doch Baco für vorzüglicher ein Mittel zu erfinden, durch welches Alles leicht gefunden werden kann, als Einzelnes zu entdecken, und haben doch alle grossen wissenschaftlichen Fortschritte der neueren Zeit ihren Ursprung in einer Ver- besserung der Methode gehabt. Auch Leibniz hat die Vortheile einer angemessenen Be- zeichnungsweise erkannt, vielleicht überschätzt. Sein Gedanke einer allgemeinen Charakteristik, eines calculus philosophicus oder ratiocinator*) war zu riesenhaft, als dass der Versuch ihn zu verwirklichen über die blossen Vorbereitungen hätte hinausgelangen können. Die Begeisterung, welche seinen Ur- heber bei der Erwägung ergriff, welch’ unermessliche Ver- mehrung der geistigen Kraft der Menschheit aus einer die Sachen selbst treffenden Bezeichnungsweise entspringen würde, liess ihn die Schwierigkeiten zu gering schätzen, die einem *) Siehe hierüber: Trendelenburg, Historische Beiträge zur Philo- sophie 3. Band, http://rcin.org.pl VI solehen Unternehmen entgegenstehen. Wenn aber auch dies hohe Ziel mit Einem Anlaufe nicht erreicht werden kann, so braucht man doch an einer langsamen, schrittweisen Annäherung nicht zu verzweifeln. Wenn eine Aufgabe in ihrer vollen All- gemeinheit unlösbar scheint, so beschränke man sie vorläufig; dann wird vielleicht durch allmähliche Erweiterung ihre Be- wältigung gelingen. Man kann in den arithmetischen, geo- metrischen, chemischen Zeichen Verwirklichungen des Leibnizi- schen Gedankens für einzelne Gebiete sehen. Die hier vor- geschlagene Begrifisschrift fügt diesen ein neues hinzu und zwar das in der Mitte gelegene, welches allen andern benach- bart ist. Von hier aus lässt sich daher mit der grössten Aus- sicht auf Erfolg eine Ausfüllung der Lücken der bestehenden Formelsprachen, eine Verbindung ihrer bisher getrennten Ge- biete zu dem Bereiche einer einzigen und eine Ausdehnung auf Gebiete ins Werk setzen, die bisher einer solchen er- mangelten. Ich verspreche mir überall da eine erfolgreiche Anwendung meiner Begriffsschrift, wo ein besonderer Werth auf die Bündig- keit der Beweisführung gelegt werden muss, wie bei der Grund- legung der Differential- und Integralrechnung. Noch leiehter scheint es mir zu sein, das Gebiet dieser Formelsprache auf Geometrie auszudehnen. Es müssten nur für die hier vorkommenden anschaulichen Verhältnisse noch einige Zeichen hinzugefügt werden. Auf diese Weise würde man eine Art von analysis situs erhalten. Der Uebergang zu der reinen Bewegungslehre und weiter zur Mechanik und Physik möchte sich hier anschliessen. In den letzteren Gebieten, wo neben der Denknothwendigkeit die Naturnothwendigkeit sich geltend macht, ist am ehesten eine Weiterentwickelung der Bezeichnungsweise mit dem Fortschreiten der Erkenntnis vorauszusehen. Deshalb braucht man aber nicht zu warten, bis die Möglichkeit soleher Umformungen aus- geschlossen erscheint. Wenn es eine Aufgabe der Philosophie ist, die Herrschaft des Wortes über den menschlichen Geist zu brechen, indem sie die Täuschungen aufdeckt, die durch den Sprachgebrauch über die Beziehungen der Begriffe oft fast unvermeidlich entstehen, indem sie den Gedanken von demjenigen befreit, womit ihn http://rcin.org.pl vo allein die Beschaffenheit des sprachliehen Ausdrucksmittels be- haftet, so wird meine Begriffsschrift, für diese Zweeke weiter ausgebildet, den Philosophen ein brauchbares Werkzeug werden können. Freilich giebt auch sie, wie es bei einem äussern Darstellungsmittel wohl nicht anders möglich ist, den Gedanken nieht rein wieder; aber einerseits kann man diese Abweichungen auf das Unvermeidliehe und Unschädliche beschränken, andrer- seits ist schon dadureh, dass sie ganz andrer Art sind als die der Sprache eigenthümlichen, ein Schutz gegen eine einseitige Beeinflussung dureh eines dieser Ausdrueksmittel gegeben. Schon das Erfinden dieser Begriffsschrift hat die Logik, wie mir scheint, gefördert. Ich hoffe, dass die Logiker, wenn sie sich durch den ersten Eindruek des Fremdartigen nieht zurückschrecken lassen, den Neuerungen, zu denen ich dureh eine der Sache selbst innewohnende Nothwendigkeit getrieben wurde, ihre Zustimmung nicht verweigern werden. Diese Ab- weichungen vom Hergebrachten finden ihre Rechtfertigung darin, dass die Logik sich bisher immer noch zu eng an Sprache und Grammatik angeschlossen hat. Insbesondere glaube ich, dass die Ersetzung der Begriffe Subject und Praedicat durch Argument und Function sich auf die Dauer bewähren wird. Man erkennt leicht, wie die Auffassung eines Inhalts als Funetion eines Argumentes begriffbildend wirkt. Es möchte ferner der Nachweis des Zusammenhanges zwischen den Bedeutungen der Wörter: wenn, und, nicht, oder, es giebt, einige, alle u. s. w. Beachtung verdienen. Im Besondern sei nur noch Folgendes erwähnt. Die in $6 ausgesprochene Beschränkung auf eine einzige Schlussweise wird dadurch gerechtfertigt, dass bei der Grund- legung einer solehen Begriffsschrift die Urbestandtheile so ein- fach wie möglich genommen werden müssen, wenn Ueber- sichtlichkeit und Ordnung geschaffen werden sollen. Dies schliesst nicht aus, dass später Uebergänge von mehren Ur- theilen zu einem neuen, die bei dieser einzigen Schlussweise nur in mittelbarer Weise möglich sind, der Abkürzung wegen in unmittelbare verwandelt werden. In der That möchte sich dies bei einer spätern Anwendung empfehlen. Dadureh würden dann weitere Schlussweisen entstehen. http://rcin.org.pl Nachträglich habe ich bemerkt, dass die Formeln (31) und (41) in die einzige L— (Q2 2) zusammengezogen werden können, wodurch noch einige Verein- fachungen möglich werden. Die Arithmetik, wie ich im Anfange bemerkt habe, ist der Ausgangspunkt des Gedankenganges gewesen, der mich zu meiner Begrifisschrift geleitet hat. Auf diese Wissenschaft denke ich sie daher auch zuerst anzuwenden, indem ich ihre Begriffe weiter zu zergliedern und ihre Sätze tiefer zu be- gründen suche. Vorläufig habe ich im dritten Abschnitte einiges von dem mitgetheilt, was sich in dieser Richtung bewegt. Die weitere Verfolgung des angedeuteten Weges, die Beleuchtung der Begriffe der Zahl, der Grösse u.s. w. sollen den Gegen- stand fernerer Untersuchungen bilden, mit denen ich unmittel- bar nach dieser Schrift hervortreten werde. Jena, den 18. December 1878. http://rcin.org.pl S 10. $ 11. Inhalt. I. Erklärung der Bezeichnungen. Buchstaben und andere Zeichen . Das Urtheil. Beurtheilbarkeit eines Inhalts. Inhaltsstrich, Urtheilsstrich Subject und Priidicat. Begrifflicher Inhalt. Allgemeine, besondere; verneinende; kategorische, hypothe- tische, disjunctive; apodiktische, assertorische, problematische Urtheile . Së Die Bedingtheit. Wenn. Bedingungsstrich NE. Der Schluss. Die Aristotelischen ón Boni d Die Verneinung. Verneinungsstrich. Oder, entweder — oder, und, aber, und nicht, weder — noch . Die Inhaltsgleichheit. Nothwendigkeit eines Zeichens für die Inhaltsgleichheit, Ein- führdng , oS V rra E AE T S e e Die Function. Erklärung der Wörter „Function“ und „Argument“. Functionen mehrer Argumente. Argumentsstellen. Subject, Object. Gebrauch der Buchstaben als Functionszeichen. „A hat die Eigenschaft .“ „B steht in der #-Beziehung zu A.“ „B ist Ergebnis einer Anwendung des Verfahrens Y auf den Gegen- stand A.“ Das Functionszeichen als Argument Die Allgemeinheit. Deutsche Buchstaben. Die Höhlung des Inhaltsstriches. Er- http://rcin.org.pl Seite =1 Y 10 13 15 18 Seite setzbarkeit der deutschen Buchstaben. Gebiet derselben. Lateinische Buchstaben 109 $ 12. Es giebt einige Dinge, die nicht - —. Es gibt kein — Es giebt einige —. Jedes. Alle. Ursächliche Zusammenhänge. Kein. Einige nicht. Einige. Es ist möglich, dass —. Tafel der logischen Gegensitze" . > e c o < sso o s 22 II. Darstellung und Ableitung einiger Urtheile des reinen Denkens. $ 13. Nutzen der ableitenden Darstellungsweise . . . . . . . 25 $ 14. Die ersten beiden Grundgesetze der Bedingtheit . . 26 S 15. Folgerungen aus innen HERZ" $ 16. Das dritte Grundgesetz der Bedingtheit und Folgerungen SERIES S 17. Das erste Grundgesetz der Verneinung und Folgerungen . . 43 S 18. Das zweite Grundgesetz der Verneinung und Folgerungen . 4 $ 19. Das dritte Grundgesetz der Verneinung und Folgerungen . . 47 $ 20. Das erste Grundgesetz der Inhaltsgleichheit und Folgerung . 50 S 21. Das zweite Grundgesetz der Inhaltsgleiehheit und Folgerungen 50 $ 22. Das Grundgesetz der Allgemeinheit und Folgerungen . 51 III. Einiges aus einer allgemeinen Reihenlehre. 8 23. Einleitende Bemerkungen . . . e e 55 $ 24. Die Vererbung. . des Urtheilsstriches. Kleine griechische Buchstaben . . . . $ 25. Folgerungen „„ 08 $ 26. Das Aufeinanderfolgen in einer r Reihe re S227. Folgeruügen "v rov ARE uie eroe vob vwd $ 28. Weitere Folgerungen . . . 68 $ 29. „z gehört der mit x anfndenden f-Reihe an.“ Erklärung und AT de y e AAN M 30. Weitere Folgerungen . . v KE RU S s 19 UR IR Ww uu = . Eindeutigkeit eines Verfahrens. Erklärung und Folgerungen. 77 - http://rcin.org.pl I I. Erklärung der Bezeichnungen. $ 1. Die in der allgemeinen Grössenlehre gebräuchlichen Zeichen zerfallen in zwei Arten. Die erstere umfasst die Buch- staben, von denen jeder entweder eine unbestimmt gelassene Zahl oder eine unbestimmt gelassene Function vertritt. Diese Un- bestimmtheit macht es möglich die Buchstaben zum Ausdrucke der Allgemeingiltigkeit von Sätzen zu verwenden wie in (a + b) c — ac + bc. Die andere Art umfasst solche Zeichen wie +, —, V, 0, 1, 2, von denen jedes seine eigenthümliche Bedeutung hat. Diesen Grundgedanken der Unterscheidung zweier Artem von Zeichen, der in der Grössenlehre leider nicht rein durchgeführt ist*), nehme ich auf, um ihn für das umfassendere Gebiet des reinen Denkens überhaupt nutzbar zu machen. Alle Zeichen, die ich anwende, theile ich daher ein in solche, unter denen man sich Verschiedenes vorstellen kann, und in solche die einen ganz be- stimmten Sinn haben. Die erstern sind die Buchstuben, und diese sollen hauptsächlich zum Ausdrucke der Allgemeinheit: dienen. Bei aller Unbestimmtheit muss aber daran festgehalten werden, dass ein Buchstabe die Bedeutung, welche man ihm einmal gegeben hat, in demselben Zusammenhange beibehält. Das Urtheil. $ 2. Ein Urtheil werde immer mit Hilfe des Zeichens ausgedrückt. welches links von dem Zeichen oder der Zeichen- verbindung steht, die den Inhalt des Urtheils angiebt. Wenn man den kleinen senkrechten Strich am linken Ende des wagerechten *) Man denke an |, log, sin, Lim. fp // rein. Goan 2 fortlässt, so soll dies das Urtheil in eine Dosse Forstellungsver bindung verwandeln, von welcher der Schreibende nicht ausdrückt, ob er ihr Wahrheit zuerkenne oder nicht. Bedeute z. B. I— 4*) das Urtheil: „die ungleichnamigen Magnetpole ziehen sich an“; dann wird A nicht dies Urtheil ausdrücken, sondern lediglich die Vorstellung von der gegenseitigen Anziehung der ungleichnamigen Magnetpole in dem Leser hervorrufen sollen, etwa um Folgerungen daraus zu ziehen und an diesen die Richtigkeit des Gedankens zu prüfen. Wir umschreiben in diesem Falle dureh die Worte „der Umstand, dass“ oder „der Satz, dass“. Nicht jeder Inhalt kann durch das vor sein Zeichen gesetzte — ein Urtheil werden, z. B. nieht die Vorstellung „Haus“, Wir unterscheiden daher beurtheilbare und unbeurtheilbare In- halte **). Der magerechte Strich, aus dem das Zeichen | 一 gebildet ist, verbindet die darauf folgenden Zeichen zu einem Ganzen, und auf dies Ganze bezieht sich die Bejahung, welche durch den senk- rechten Strich am linken Ende des wagerechten ausgedrückt wird. Es möge der wagerechte Strich /nhalisstrich, der senkrechte Urtheilsstrich heissen. Der Inhaltsstrich diene auch sonst dazu, irgendwelche Zeichen zu dem Ganzen der darauf folgenden Zeichen in Beziehung zu setzen. Was auf den Inhaltsstrich folgt, muss immer einen beurtheilbaren Inhalt haben. $ 3. Eine Unterscheidung von Subject und Prädicat findet bei meiner Darstellung eines Urtheils nicht statt. Um dies zu rechtfertigen, bemerke ich, dass die Inhalte von zwei Urtheilen in doppelter Weise verschieden sein können: erstens so, dass die Fol- gerungen, die aus dem einen in Verbindung mit bestimmten andern *) Ich bediene mich der grossen griechischen Buchstaben als Ab- kürzungen, denen der Leser einen passenden Sinn unterlegen möge, wenn ich sie nicht besonders erkläre. **) Dagegen wäre der Umstand, dass es Häuser (oder ein Haus) giebt (vgl. $ 12), ein beurtheilbarer Inhalt. Von diesem ist aber die Vorstellung „Haus“ nur ein Theil. Man könnte in dem Satze: „das Haus des Priamus war von Holz“ an die Stelle von „Haus“ nicht „Umstand, dass es ein Haus giebt“ einsetzen. — Ein Beispiel anderer Art für einen unbeurtheilbaren Inhalt siehe bei Formel $1. http://rcin.org.pl 3 gezogen werden können, immer auch aus dem zweiten in Ver- bindung mit denselben andern Urtheilen folgen; zweitens so, dass dies nicht der Fall ist. Die beiden Sätze: „bei Plataeae siegten die Griechen über die Perser“ und „bei Plataeae wurden die Perser von den Griechen besiegt“ unterscheiden sich in der erstern Weise. Wenn man nun auch eine geringe Verschiedenheit des Sinnes erkennen kann, so ist doch die Uebereinstimmung über- wiegend. Ich nenne nun denjenigen Theil des Inhaltes, der in beiden derselbe ist, den begrifflichen Inhalt. Da nur dieser für die Begriffsschrift von Bedeutung ist. so braucht sie keinen Unter- schied zwischen Sätzen zu machen. die denselben begriffliehen Inhalt haben. Wenn man sagt: „Subjeet ist der Begriff, von dem das Urtheil handelt“, so passt dies auch auf das Objeet. Man kann daher nur sagen: „Subjeet ist der Begriff, von dem hauptsächlich das Urtheil handelt.“ Die Stelle des Subjects in der Wortreihe hat für die Sprache die Bedeutung einer ausgezeichneten Stelle, an die man dasjenige bringt, worauf man die Aufmerksamkeit des Hörers be- sonders hinlenken will. (Siehe auch $ 9). Dies kann beispiels- weise den Zweck haben, eine Beziehung dieses Urtheils zu andern anzudeuten, und dadurch dem Hörer die Auffassung des ganzen Zusammenhanges zu erleichtern. Alle Erscheinungen nun in der Sprache, die nur aus der Wechselwirkung des Sprechenden und des Hórenden hervorgehen, indem der Sprechende z. B. auf die Erwartungen des Hórenden Rücksieht nimmt und diese schon vor dem Aussprechen eines Satzes auf die richtige Führte zu bringen sucht, haben in meiner Formelsprache nichts Entsprechendes, weil im Urtheile hier nur das in Betracht kommt, was auf die móglichen Folgerungen Einfluss hat. Alles, was für eine richtige Sehluss- folge nöthig ist, wird voll ausgedrückt; was aber nicht nöthig ist, wird meistens auch nieht angedeutet; nichts wird dem Errathen überlassen. Hierin folge ich ganz dem Beispiel der mathematischen Formelsprache, bei der man Subject und Prädicat auch nur gewalt- samerweise unterscheiden kann. Es lässt sich eine Sprache denken, in welcher der Satz: „Archimedes kam bei der Eroberung von Syrakus um“ in folgender Weise ausgedrückt würde: „der gewaltsame Tod des Archimedes bei der Eroberung von Syrakus ist eine Thatsache“. Hier kann man zwar auch, wenn man will, Subjeet und Prädieat unterscheiden, aber das Subject enthält den ganzen Inhalt, und das Prädicat hat nur den Zweck, diesen als http://rcin.org.pl 2 4 Urtheil hinzustellen. Zine solche Sprache würde nur ein einziges Prädicat für alle Urtheile haben, nämlich „ist eine Thatsache“. Man sieht, dass im gewöhnlichen Sinne von Subject und Priidicat hier keine Rede sein kann. Vine solche Sprache ist unsere Be- griffsschrift und das „Zeichen H— ist ihr gemeinsames Prädicat für alle Urtheile. Bei dem ersten Entwurfe einer Formelsprache liess ich mich durch das Beispiel der Sprache verleiten, die Urtheile aus Subject und Prädicat zusammenzusetzen. Ich überzeugte mich aber bald, dass dies meinem besondern Zwecke hinderlich war und nur zu un- nützen Weitläufigkeiten führte. $ 4. Die folgenden Bemerkungen sollen die Bedeutung der Unterscheidungen, welche man in Bezug auf Urtheile macht, für unsere Zwecke erläutern. Man unterscheidet allgemeine und besondere Urtheile: dies ist eigentlich kein Unterschied der Urtheile, sondern der Inhalte. Mun sollte sagen: ‚ein Urtheil von allgemeinem Inhalte“, „ein Ur- theil von besonderm Inhalte“. Diese Eigenschaften kommen näm- lich dem Inhalte auch zu, wenn er nicht als Urtheil hingestellt wird, sondern als Satz. (Siehe $ 2). Dasselbe gilt von der Verneinung. In einem indireeten Beweise sagt man z. B.: „gesetzt, die Strecken 48 und CD wären nicht gleich." Hier enthält der Inhalt, dass die Strecken 482 und CD nieht gleich seien, eine Verneinung, aber dieser Inhalt, obgleich der Beurtheilung fähig, wird doch nicht als Urtheil aufgestellt. Es haftet also die Verneinung am Inhalte, einerlei ob dieser als Urtheil auftrete oder nicht. Ich halte es daher für angemessener, die Verneinung als ein Merkmal eines beurtheilbaren Inhalts anzusehen. Die Unterscheidung der Urtheile in kategorische, hypothetische und disjunetive scheint mir nur grammatische Bedeutung zu haben.*) Das apodiktische Urtheil unterscheidet sich vom assertorischen dadurch, dass das Bestehen allgemeiner Urtheile angedeutet wird, aus denen der Satz geschlossen werden kann, während bei den assertorischen eine solehe Andeutung fehlt. Wenn ich einen Satz als nothwendig bezeichne, so gebe ich dadurch einen Wink über meine Urtheilsgrinde. Da aber hierdurch der begriffliche Inhalt *) Die Begründung wird aus der ganzen Schrift hervorgehen. http://rcin.org.pl 5 des Urtheils nicht berührt wird, so hat die Form des apodiktischen Urtheils für uns keine Bedeutung. Wenn ein Satz als möglich hingestellt wird, so enthält sich der Sprechende entweder des Urtheils, indem er andeutet, dass ihm keine Gesetze bekannt seien, aus denen die Verneinung folgen würde; oder er sagt, dass die Verneinung des Satzes in ihrer Allgemeinheit falsch sei. Im letzteren Falle haben wir ein par- ticulár bejahendes Urtheil*) nach der gewöhnlichen Bezeichnung. „Es ist möglich, dass die Erde einmal mit einem andern Welt- körper zusammenstösst“ ist ein Beispiel für den ersten, und „eine Erkältung kann den Tod zur Folge haben“ ist eins für den zweiten Fall. Die Bedingtheit. § 5. Wenn 4 und 2 beurtheilbare **) Inhalte bedeuten, so giebt es folgende vier Möglichkeiten: 1) 4 wird bejaht und 2 wird bejaht; 2) A wird bejaht und £ wird verneint; 3) A wird verneint und 7 wird bejaht; 4) A wird verneint und 2 wird verneint. I | 4 esp bedeutet nun das Urtheil. dass die dritte dieser Möglichkeiten nicht stattfinde, sondern eine der drei andern. Wenn ＋— 4 Lp verneint wird, so besagt dies demnach, dass die dritte Méglichkeit stattfinde, dass also 4 verneint und 2 bejaht werde. Aus den Fällen, in denen Esp bejaht wird, heben wir folgende hervor: 1) A muss bejaht werden. Dann ist der Inhalt von H ganz gleichgiltig. Z. B. — 4 bedeute: 3><7 = 21, B bedeute den Umstand, dass die Sonne scheint. Es sind hier nur die beiden ersten der genannten vier Fälle möglich. Ein ursächlicher Zu- *) Siehe $ 12. wel $ 9. http://rcin.org.pl 6 sammenhang zwischen beiden Inhalten braucht nicht vorhanden zu sein. 2) B ist zu verneinen. Dann ist der Inhalt von 4 gleich giltig. Z. B. 7 bedeute den Umstand, dass ein Perpetuum mobile möglich sei, 4 den Umstand, dass die Welt unendlich sei. Hier ist nur der zweite und vierte der vier Fälle möglich. Ein ur- sächlicher Zusammenhang zwischen 4 und Æ braucht nicht zu bestehen. 3) Man kann das Urtheil bad — fällen, ohne zu wissen, ob 4 und 7 zu bejahen oder zu verneinen sind. Es bedeute z. B. # den Umstand, dass der Mond in Qua- dratur steht, 4 den Umstand. dass er als Halbkreis erscheint. In diesem Falle kann man ke A — mit Hilfe des Fügeworts „wenn“ übersetzen: „wenn der Mond in Quadratur steht, so erscheint er als Halbkreis“, Die ursächliche Verknüpfung, die in dem Worte „wenn“ liegt, wird jedoch durch unsere Zeichen nicht ausgedrückt, obgleich ein Urtheil dieser Art nur auf Grund einer solchen gefällt werden kann. Denn diese Verknüpfung ist etwas Allgemeines, dieses aber kommt hier noch nicht zum Ausdrucke (Siehe $ 12). Der senkrechte Strich, welcher die beiden wagerechten ver- bindet, heisse Zedingungsstrich. Der links vom Bedingungsstriche befindliche Theil des oberen wagrechten Striches ist der Inhalts- strich für die eben erklärte Bedeutung der Zeichenverbindung A —B , an diesem wird jedes Zeichen angebracht, das sieh auf den Ge- sammtinhalt des Ausdruckes beziehen soll. Der zwischen 4 und dem Bedingungsstriche liegende Theil des wagerechten Striches ist der Inhaltsstrieh von A. Der wagerechte Strich links von # ist der Inhaltsstrich von 2. Hiernach ist leicht zu erkennen, dass Il~ a la 1 r http://rcin:org.pl 7 den Fall leugnet, wo A verneint, 8 und 7’ bejaht würden. Man muss dies aus — A und I’ CA ebenso zusammengesetzt denken, wie Lp aus 4 und 3. Zunächst haben wir daher die Verneinung des Falles, wo A La verneint, und J” bejaht wird. Die Verneinung von A Lp bedeutet aber, dass 4 verneint und Æ bejaht wird. Hieraus er- giebt sich, was oben angegeben ist. Wenn eine ursächliche Ver- knüpfung vorliegt, so kann man auch sagen: „4 ist die noth- wendige Folge von B und IT“; oder: „wenn die Umstände 3 und eintreten, so tritt auch 4 ein“, Nicht minder erkennt man, dass [——— —B den Fall leugnet, wo B bejaht wird, 4 und J” aber verneint werden. Wenn man einen ursüchlichen Zusammenhang zwischen A und 5 voraussetzt, kann man übersetzen: „wenn 4 die noth- wendige Folge von 2 ist, so kann geschlossen werden, dass J” stattfindet.“ $ 6. Ausder in $5 gegebenen Erklärung geht hervor, dass aus den beiden Urtheilen Ëer und 2 — 3B das neue Urtheil A folgt. Von den vier oben aufgezählten Fällen ist der dritte durch ae ee = j der zweite und vierte aber durch HB8 ausgeschlossen, sodass nur der erste übrig bleibt. http://rcin.org.pl Man könnte diesen Schluss etwa so schreiben: | A P SS, Ia. Dies würde umständlich werden, wenn an den Stellen von 4 und B lange Ausdrücke ständen, weil jeder von ihnen doppelt zu schreiben wäre. Deshalb brauche ich folgende Abkürzung. Jedes Urtheil, welches im Zusammenhange einer Beweisführung vorkommt, wird durch eine Nummer bezeichnet, die da, wo dies Urtheil zum ersten Male vorkommt, rechts daneben gesetzt wird. Es sei nun beispielsweise das Urtheil NE m ER — oder ein solches, das üb: als besondern Fall enthält — durch X bezeichnet worden. Dann schreibe ich den Schluss so: te t—4. Hierbei ist es dem Leser überlassen, sich aus [—— 7 und | — 4 das Urtheil (X): z zusammenzusetzen und zuzusehen, ob es mit dem angeführten Urtheile X stimmt. Wenn beispielsweise das Urtheil H—- B durch XX bezeichnet ist, so schreibe ich denselben Schluss auch so: I | A (XX) : : 一 一 一 一 l- 4 Hierbei zeigt das doppelte Kolon an, dass hier auf andere Weise als oben aus den beiden hingeschriebenen Urtheilen das durch XX nur angeführte [—— / gebildet werden müsse. Wäre noch etwa das Urtheil H— I durch XXX bezeichnet worden, so würde ich die beiden Urtheile http://rcin.org.pl 1 A TB (XXX) ^ sis S — 2 ER)»: —— IB noch kürzer so schreiben: 1 -A —*B a en M (XX, XXX):: ————— 4 In der Logik zählt mau nach Aristoteles eine ganze Reihe von Schlussarten auf; ich bediene mich nur dieser einen — wenigstens in allen Fällen, wo aus mehr als einem einzigen Ur- theile ein neues abgeleitet wird — Man kann nämlich die Wahr- heit, die in einer andern Schlussart liegt, in einem Urtheile aus- sprechen in der Form: wenn M gilt, und wenn A gilt, so gilt auch 4, in Zeichen: HA | 一 —— W - Aus diesem Urtheile und |.—— N und folgt dann | — A wie oben. So kann ein Schluss nach irgend einer Sehlussart auf unsern Fall zurückgeführt werden. Da es sonach möglich ist, mit einer einzigen Sehlussweise auszukommen, so ist es ein Gebot der Uebersichtlichkeit, dies aueh zu thun. Hierzu kommt, dass andernfalls auch kein Grund wäre, bei den Aristotelischen Schluss- weisen stehen zu bleiben, sondern dass man ins Unbestimmte hinein immer noch neue hinzufügen kónnte: aus jedem in einer Formel ausgedrückten Urtheile in den Së 13 bis 22 könnte eine besondere Schlussart gemacht werden. Ee soll mit dieser Be- schrünkung auf eine einzige Schlussweise jedoch keinesmegs ein psychologischer Satz ausgesprochen werden, sondern nur eine . Formfrage im Sinne der grössten Zweckmässigkeit entschieden http://rcin.org.pl 10 werden. Einige von den Urtheilen, die an die Stelle von Aristo- telischen Schlussarten treten, werden in $ 22 No. 59, 62, 65 aufgeführt werden. Die Verneinung. $ 7. Wenn an der untern Seite des Inhaltsstriches ein kleiner senkrechter Strich angebracht wird, so soll damit der Umstand ausgedrückt werden, dass der Inhalt nicht stattfinde. So be- deutet z. B. 1 4 „4 findet nicht statt“. Ich nenne diesen kleinen senkrechten Strich den Verneinungssirich. Der rechts vom Verneinungsstriche befindliche Theil des wagerechten Striches ist der Inhaltsstrich von A, der links vom Verneinungsstriche befindliche Theil dagegen ist der Inhaltsstrich der Verneinung von 4. Ohne den Urtheilsstrich wird hier so wenig wie anderswo in der Begrifisschrift ein Urtheil gefällt. SZ fordert nur dazu auf, die Vorstellung zu bilden, dass A nicht stattfinde, ohne auszudrücken, ob diese Vorstellung wahr sei. Wir betrachten jetzt einige Fälle, in denen die Zeichen der Bedingtheit und der Verneinung mit einander verbunden sind. 111 4 —B bedeutet: „der Fall, wo # zu bejahen und die Verneinung von A zu verneinen ist, findet nicht statt"; mit andern Worten: „die Möglichkeit beide, 4 und , zu bejahen besteht nicht“; oder „A und / schliessen einander aus“. Es bleiben also nur folgende drei Fälle übrig: A wird bejaht und £ wird verneint; A wird verneint und 7 wird bejaht; A wird verneint und 4 wird verneint. Nach dem Vorhergehenden ist leicht anzugeben, welche Bedeu- tung jeder der drei Theile des wagerechten Striches vor 4 hat. Es bedeutet s 1 Á E T. „der Fall wo 4 verneint und die Verneinung von P bejaht wird, http://rcin.org.pl 11 besteht nicht“; oder „beide, 4 und B, können nicht verneint werden“. Es bleiben nur folgende Möglichkeiten übrig: A wird bejaht und Z wird bejaht; A wird bejaht und 2 wird verneint; A wird verneint und £ wird bejaht. A und B erschöpfen zusammen die ganze Möglichkeit. Die Wörter „oder“ und „entweder — oder“ werden nun in zweifacher Weise gebraucht: „4 oder B“ bedeutet erstens nur dasselbe wie KC? Á ib, also dass ausser 4 und 2 nichts denkbar ist. Z. B.: wenn eine Gasmasse erwärmt wird, so vermehrt sich ihr Volumen oder ihre Spannung. Zweitens vereinigt der Ausdruck „A oder B“ die Bedeutungen von — A SD in sich, sodass also erstens ausser 4 und Æ kein Drittes möglich ist, und dass zweitens 4 und Æ sich ausschliessen. Von den vier Möglichkeiten bleiben dann nur die folgenden beiden be- stehen: e und von | A wird bejaht und & wird verneint; A wird verneint und 2 wird bejaht. Von den beiden Gebrauchsweisen des Ausdruckes „A oder 3“ ist die erstere, bei der das Zusammenbestehen von 4 und 7 nicht ausgeschlossen ist, die wichtigere, und wir werden das Worl „oder“ in dieser Bedeutung gebrauchen. Vielleicht ist es an- gemessen zwischen „oder“ und „entweder — oder“ den Unter- schied zu machen, dass nur das Letztere die Nebenbedeutung des sich gegenseitig Ansschliessens hat. Man kaun dann A | i B übersetzen durch „A oder Z*. Ebenso hat FB yd die Bedeutung von „A oder E oder I“, http://rcin.org.pl 12 bedeutet: 4 * wird verneint“, oder „der Fall, wo 4 und beide bejaht werden, tritt ein“. Die drei Möglichkeiten, welche bei EE A 4 uy bestehen blieben, sind dagegen ausgeschlossen. Demnach kann man bere — übersetzen: „beide, 4 und Æ, sind Thatsachen“. Man sieht auch leicht, dass "rfr Ly ruens dureh „4 und B und J™ wiedergegeben werden kann. Will man „entweder 4 oder B“ mit der Nebenbedeutung des sich Aus- reg, A schliessens in Zeichen darstellen, so muss man | g B und EI HR i | B ausdrücken. Dies giebt: 1 rit | D A PER | A — P oder auch me ET m A E A au B Sat Statt, wie hier geschehen, das „und“ durch die Zeichen der Bedingtheit und der Verneinung auszudrücken, könnte man auch umgekehrt die Bedingtheit durch ein Zeichen für „und“ und das Zeichen der Verneinung darstellen. Man könnte etwa H 14 als Zeichen für den Gesammtinhalt von J” und 4 einführen und dann http://rcin.org.pl 13 durch d D wiedergeben. Ich habe die andere Weise gewählt, weil der Schluss mir bei dieser einfacher ausgedrückt zu werden schien. Der Unterschied zwischen „und“ und „aber“ ist von der Art, dass er in dieser Begriffsschrift nicht ausgedrückt wird. Der Sprechende gebraucht „aber“, wenn er einen Wink geben will, dass das Fol- gende von dem verschieden sei, was man zunächst vermuthen könnte, b LIS bedeutet: „von den vier Möglichkeiten tritt die dritte, nämlich dass A verneint und 7 bejaht werde, ein. Man kann daher übersetzen: „Ii und (aber) nieht 4 findet statt“. Ebenso kann man die Zeichenverbindung bors iibersetzen. 1 1 - B Er bedeutet: „der Fall, wo 4 und 7 beide verneint werden, tritt ein“. Man kann daher übersetzen: „weder A noch Æ ist eine Thatsache“. Die Wörter: „oder“, „und“, „weder — noch“ kommen hier selbstverstindlich nur insofern in Betracht, als sie beurtheilbare Inhalte verbinden. Die Inhaltsgleichheit. $ 8. Die Inhaltsgleichheit unterscheidet sich dadurch von der Bedingtheit und Verneinung, dass sie sich auf Namen, nicht auf Inhalte bezieht. Während sonst die Zeichen lediglich Ver- treter ihres Inhaltes sind, sodass! jede Verbindung, in welche sie treten, nur eine Beziehung ihrer Inhalte zum Ausdrucke bringt, kehren sie plötzlich ihr eignes Selbst hervor, sobald sie durch http://rcin.org.pl 14 das Zeichen der Inhaltsgleichheit verbunden werden; denn es wird dadurch der Umstand bezeichnet, dass zwei Namen denselben Inhalt haben. So ist denn mit der Einführung eines Zeichens der Inhaltsgleichheit notlıwendig die Zwiespältigkeit in der Bedeutung aller Zeichen gegeben, indem dieselben bald für ihren Inhalt, bald für sich selber stehen. Dies erweckt zunächst den Anschein, als ob es sich hier um etwas handle, was dem Ausdrucke allein, nicht dem Denken angehóre, und als ob man gar nicht verschiedener Zeichen für denselben Inhalt und also auch keines Zeichens für die Inhaltsgleichheit bedürfe. Um die Nichtigkeit dieses Scheines klar zu legen, wähle ich folgendes Beispiel aus der Geometrie. Auf einer Kreislinie liege ein fester Punkt 4, um den sich ein Strahl drehe. Wenn der Letztere einen Durchmesser bildet, nennen wir das dem 4 entgegengesetzte Ende desselben den zu dieser Lage gehörigen Punkt /. Dann nennen wir ferner denjenigen Schnittpunkt beider Linien den zu der jedesmaligen Lage des Strahles gehörigen Punkt , welcher sich aus der Regel ergiebt, dass stetigen Lagen- änderungen des Strahles immer stetige Lagenänderungen von 7 entsprechen sollen. Der Name 2 bedeutet also so lange etwas Unbestimmtes, als noch nicht die zugehörige Lage des Strahles angegeben ist. Man kann nun fragen: welcher Punkt gehört der Lage des Strahles an, in der er zum Durchmesser senkrecht steht? Die Antwort wird sein: der Punkt 4. Der Name 7 hat also in diesem Falle denselben Inhalt wie der Name 4; und doch könnte man nieht von vornherein nur Einen Namen brauchen, weil erst durch die Antwort die Rechtfertigung dafür gegeben ist. Derselbe Punkt ist in doppelter Weise bestimmt: 1) unmittelbar durch die Anschauung, 2) als Punkt /, welcher dem zum Durchmesser senkrechten Strahle zugehört. Jeder dieser beiden Bestimmungsweisen entspricht ein be- sonderer Name. Die Nothwendigkeit eines Zeichens der Inhalts- gleichheit beruht also auf Folgendem: derselbe Inhalt kann auf verschiedene Weisen vóllig bestimmt werden; dass aber in einem besondern Falle durch zwei Zestimmungsmeisen wirklich Dasselbe gegeben werde, ist der Inhalt eines Urtheils. Bevor dies erfolgt ist, müssen den beiden Bestimmungsweisen entsprechend zwei ver- schiedene Namen dem dadurch Bestimmten verliehen werden. Das Urtheil aber bedarf zu seinem Ausdrucke eines Zeichens der In- http://rcin.org.pl 15 haltsgleichheit, welches jene beiden Namen verbindet. Hieraus geht hervor, dass die verschiedenen Namen für denselbeu Inhalt nicht immer blos eine gleichgiltige Formsache sind. sondern dass sie das Wesen der Sache selbst betreffen, wenn sie mit ver- schiedenen Bestimmungsweisen zusammenhängen. In diesem Falle ist das Urtheil, welches die Inhaltsgleichheit zum Gegenstande hat, im kantischen Sinne ein synthetisches. Ein mehr äusserer Grund zur Einführung eines Zeichens der Inhaltsgleichheit liegt darin, dass es zuweilen zweckmässig ist, an der Stelle eines weitläufigen Ausdrucks eine Abkürzung einzuführen. Dann hat man die Gleichheit des Inhalts der Abkürzung und der ursprünglichen Form auszudrücken. Es bedeute nun lt Y: das Zeichen A und das Zeichen B haben denselben hegrifflichen Inhalt, sodass man überall an die Stelle von A B setzen kann und umgekehrt. Die Function. $ 9. Denken wir den Umstand, dass Wasserstoffgas leichter als Kohlensäuregas ist, in unserer Formelsprache ausgedrückt, so können wir an die Stelle des Zeichens für Wasserstoffgas das Zeichen für Sauerstoffgas oder das für Stickstoffgas einsetzen. Hierdurch ändert sich der Sinn in der Weise, dass „Sauerstoffgas“ oder „Stickstoffgas“ in die Beziehungen eintritt, in*denen zuvor „Wasserstoffgas“ stand. Indem man einen Ausdruck in dieser Weise veränderlich denkt, zerfällt derselbe in einen bleibenden Bestandtheil, der die Gesammtheit der Beziehungen darstellt, und in das Zeichen, welches durch andere ersetzbar gedacht wird, und welches den Gegenstand bedeutet, der in diesen Beziehungen sich befinde. Den ersteren Bestandtheil nenne ich Function, den letzteren ihr Argument. Diese Unterscheidung hat mit dem be- grifflichen Inhalte nichts zu thun, sondern ist allein Sache der Auffassung. Während in der vorhin angedeuteten Betrachtungs- weise „Wasserstoffgas“ das Argument, „leichter als Kohlensäuregas zu sein“ die Function war, können wir denselben begrifflichen Inhalt auch in der Weise auffassen, dass ,Kohlensüuregas* Ar- gument, „schwerer als Wasserstoffgas zu sein“ Function wird. Wir http://rcin.org.pl 16 brauchen dann nur „Kohlensäuregas“ durch andere Vorstellungen, wie „Salzsäuregas“, „Ammoniakgas“ ersetzbar zu denken. „Der Umstand, dass Kohlensäuregas schwerer als Wasserstoff- gas ist“ und „der Umstand, dass Kohlensäuregas schwerer als Sauerstoff- gas ist“ sind dieselbe Function mit verschiedenen Argumenten, wenn man „Wasserstoffgas“ und „Sauerstoffgas“ als Argumente betrachtet; sie sind dagegen verschiedene Functionen desselben Arguments, wenn man „Kohlensäuregas“ als dieses ansieht. Es diene noch als Beispiel „der Umstand, dass der Massen- mittelpunkt des Sonnensystems keine Beschleunigung hat, falls nur innere Kräfte im Sonnensysteme wirken“. Hier kommt „Sonnen- system“ an zwei Stellen vor. Wir können dies daher in ver- schiedener Weise als Funetion des Argumentes „Sonnensystem“ auffassen, jenachdem wir „Sonnensystem“ an der ersten oder an der zweiten oder an beiden Stellen durch Anderes — im letzten Falle aber beide Male durch Dasselbe — ersetzbar denken. Diese drei Funetionen sind sämmtlich verschieden. Dasselbe zeigt der Satz, dass Cato den Cato tódtete. Wenn wir hier ,Cato an der ersten Stelle ersetzbar denken, so ist „den Cato zu tödten“ die Function; denken wir „Cato“ an der zweiten Stelle ersetzbar, so ist „von Cato getódtet zu werden“ die Function; denken wir endlich „Cato“ an beiden Stellen ersetzbar, so ist „sich selbst zu tödten“ die Function. Wir drücken jetzt die Sache allgemein aus: Wenn in einem Ausdrucke, dessen Inhalt nicht beurtheilbar zu sein braucht, ein einfaches oder zusammengesetztes Zeichen an einer oder an mehren Stellen vorkommt, und wir denken es an allen oder einigen dieser Stellen durch Anderes, überall aber durch Dasselbe ersetzbar, so nennen wir den hierbei unveründerlich er- scheinenden Theil des Ausdruckes Function, den ersetzbaren ihr Argument. Da demnach etwas als Argument und zugleich an solchen Stellen in der Funetion vorkommen kann, wo es nicht ersetzbar gedacht wird, so unterscheiden wir in der Funetion die Arguments- stellen von den übrigen. ; http://rcin.org.pl P 17 Es möge hier vor einer Täuschung gewarnt werden, zu welcher der Sprachgebrauch leicht Veranlassung giebt. Wenn man die beiden Sätze: „die Zahl 20 ist als Summe von vier Quadratzahlen darstellbar“ und „jede positive ganze Zahl ist als Summe von vier Quadrat- zahlen darstellbar“ vergleicht, so scheint es möglich zu sein, „als Summe von vier Quadratzahlen darstellbar zu sein“ als Funetion aufzufassen, die einmal als Argument „die Zahl 20“, das andre Mal „jede positive ganze Zahl“ hat. Die Irrigkeit dieser Auffassung erkennt man durch die Bemerkung, dass „die Zahl 20% und „jede positive ganze Zahl“ nicht Begriffe gleichen Ranges sind. Was von der Zahl 20 ausgesagt wird, kann nicht in demselben Sinne von „jede positive ganze Zahl“, allerdings aber unter Umständen von jeder positiven ganzen Zahl ausgesagt werden. Der Ausdruck „jede positive ganze Zahl“ giebt nicht wie „die Zahl 20^ für sich allein eine selbständige Vorstellung, sondern bekommt erst durch den Zusammenhang des Satzes einen Sinn. Für uns haben die verschiedenen Weisen, wie derselbe be- griffliche Inhalt als Function dieses oder jenes Arguments auf- gefasst werden kann, keine Wichtigkeit, solange Funetion und Argument völlig bestimmt sind. Wenn aber das Argument un- bestimmt wird wie in dem Urtheile: „du kannst als Argument für „nals Summe von vier Quadratzahlen darstellbar zu sein““ eine beliebige positive ganze Zahl nehmen: der Satz bleibt immer richtig”, so gewinnt die Unterscheidung von Function und Argu- ment eine inhaltliche Bedeutung. Es kann auch umgekehrt das Argument bestimmt, die Funetion aber unbestimmt sein. In beiden Fällen wird durch den Gegensatz des Zestimmten und Unbestimmien oder des mehr und minder Bestimmten das Ganze dem Inhalte nach und nicht nur in der Auffassung in Function und Argument zerlegt. Wenn man in einer Function ein bis dahin als unersetzbar angesehenes Zeichen*) an einigen oder allen Stellen, wo es vor- kommt, erseizbar denkt, so erhält man durch diese Auffassungs- *) Es kann auch ein schon vorher ersetzbar gedachtes Zeichen an solehen Stellen, wo es bisher als bleibend angesehen wurde, jetzt eben- falls als ersetzbar aufgefasst werden. Frege, Pormolspraobe. http://rcin.org.pl ? 18 weise eine Function, die ausser den bisherigen noch ein Argument hat. Auf diese Weise entstehen Functionen von zwei und mehr Argumenten. So kann z.B. „der Umstand, dass Wasserstoffgas leichter als Kohlensäuregas ist“ als Fünetion der beiden Argumente „Wasserstoffgas“ und „Kohlensäuregas“ aufgefasst werden. Das Subjeet ist in dem Sinne des Sprechenden gewöhnlich das hauptsächliche Argument; das nächst wichtige erscheint oft als Objeet. Die Sprache hat durch die Wahl zwischen Formen und Wörtern, wie Activum — Passivum, schwerer — leichter, geben — empfangen die Freiheit, nach Belieben diesen oder jenen Bestandtheil des Satzes als hanptsächliches Argument erscheinen zu lassen, eine Freiheit, die jedoch durch den Mangel an Wörtern beschränkt ist. $ 10. Um eine unbestimmte Function des Argumentes A aus- zudrücken, lassen wir A in Klammern eingeschlossen auf einen Buchstaben folgen, z. B.: P (A). Ebenso bedeutet V (A, B) eine Function der beiden Argumente A und B, die nicht näher bestimmt ist. Hierbei vertreten die Stellen von A und B in der Klammer die Stellen, welche A und B in der Function einnehmen, einerlei ob dies einzelne, oder für A sowohl wie für # mehre sind. Daher ist P (A, B) von ¥ (B, A) im Allgemeinen verschieden. Diesem entsprechend werden unbestimmte Funetionen mehrer Argumente ausgedrückt. Man kann I— (4) lesen: „4 hat die Eigenschaft dr". L— Y (A, D) mag übersetzt werden durch „ steht in der P-Beziehung zu 4“ oder „ ist Ergebnis einer Anwendung des Verfahrens Y auf den Gegenstand 4“. Da in dem Ausdrucke o (A) das Zeichen ® an einer Stelle vorkommt, und da wir es durch http://rcin.org.pl 19 andere Zeichen Y, X ersetzt denken können — wodurch dann andere Functionen des Argumentes 4 ausgedrückt würden —, so kann man 4 (A) als eine Function des Argumentes P auf- fassen. Man sieht hieran besonders klar, dass der Functions- begriff der Analysis, dem ich mich im Allgemeinen angeschlossen habe, weit beschränkter ist als der hier entwickelte. Die Allgemeinheit. $ 11. In dem Ausdrucke eines Urtheils kann man die rechts von | — stehende Verbindung von Zeichen immer als Function eines der darin vorkommenden Zeichen ansehen. Setzt man an die Stelle dieses Argumentes einen deutschen Buchstaben, und giebt man dem Imhältsstriche eine Höhlung, in der dieser selbe Buchstabe steht, mie in LL— (a), so bedeutet dies das Urtheil, dass jene Function eine Thatsache sei, was man auch als ihr Argument ansehen möge. Da ein als Funetionszeichen wie P in 4 (4) gebrauchter Buchstabe selbst als Argument einer Function angesehen werden kann, so kann an die Stelle desselben in dem Sinne, der eben festgesetzt ist, ein deutscher Buchstabe treten. Die Bedeutung eines deutschen Buch- staben ist nur den selbstverständlichen Beschränkungen unter- worfen, dass dabei die Beurtheilbarkeit ($ 2) einer auf einen Inhaltsstrich folgenden Zeichenverbindung unberührt bleiben muss, und dass, wenn der deutsche Buchstabe als Functionszeichen auf- tritt, diesem Umstande Rechnung getragen werde. Alle übrigen Bedingungen, denen das unterworfen sein muss, was an die Stelle eines deutschen Buchstaben gesetzt werden darf, sind in das Ur- theil aufzunehmen. Aus einem solchen. Urtheile kann man daher immer eine beliebige Menge von Urtheilen mit weniger allgemeinem Inhalte herleiten, indem man jedes Mal an die Stelle des deutschen Buchstaben etwas Anderes einsetzt, wobei dann die Höhlung im Inhaltsstriche wieder verschwindet. Der links von der Höhlung befindliche wagerechte Strich in HE- 9 (a) ist der Inhaltsstrich dafür, dass & (a) gelte, was man auch an die Stelle von a setzen möge, der rechts von der Höhlung befindliche http://rcin.org.pl 2* 20 ist der Inhaltsstrich von d (a), wobei an die Stelle von a etwas Bestimmtes eingesetzt gedacht werden muss. Nach dem, was oben über die Bedeutung des Urtheilsstriches gesagt worden, ist leicht zu sehen, was ein Ausdruck wie AX (a) bedeutet. Dieser kann als Theil in einem Urtheile vorkommen wie HA L-5— X(a) , — X (a) . Es ist einleuchtend, dass man aus diesen Urtheilen nicht wie aus (a) durch Einsetzen von etwas Bestimmten an die Stelle von a weniger allgemeine Urtheile ableiten kann. Durch HH“ X (a) wird verneint, dass X (a) immer eine Thatsache sei, was man auch an die Stelle von a setzen möge. Hiermit ist keineswegs geleugnet, dass man für a eine Bedeutung A angeben könne, sodass X (4) eine Thatsache sei. | BS —— X(a) bedeutet, dass der Fall, wo Aq) bejaht und 4 verneint wird, nicht eintritt. Hiermit ist aber keineswegs verneint, dass der Fall, wo X(4) bejaht und A verneint wird, eintrete; denn, wie wir eben sahen, kann X(4) bejaht und doch —“ —X(a) ver- neint werden. Also auch hier kann man nicht etwas Beliebiges an die Stelle von a setzen, ohne die Richtigkeit des Urtheils zu gefährden. Dies erklärt, weshalb die Höhlung mit dem hinein- geschriebenen deutschen Buchstaben nöthig ist: sie grenzt das Gebiet ab, auf welches sich die durch den Buchstaben bezeich- nete Allgemeinheit bezieht. Nur innerhalb seines Gebietes hält der deutsche Buchstabe seine Bedeutung fest; in einem Urtheile kann derselbe deutsche Buchstabe in verschiedenen Gebieten vor- kommen, ohne dass die Bedeutung, die man ihm etwa in dem einen beilegt, sich auf die übrigen miterstreckt. Das Gebiet eines deutschen Buchstaben kann das eines andern einschliessen, wie das Beispiel http://rcin.org.pl 21 LEE uu Ke B(a, e) zeigt. In diesem Falle müssen sie verschieden gewählt werden; man dürfte nicht statt e a setzen. Es ist natürlich gestattet, einen deutschen Buchstaben überall in seinem Gebiete durch einen be- stimmten andern zu ersetzen, wenn nur an Stellen, wo vorher verschiedene Buchstaben standen, auch nachher verschiedene stelien. Dies ist ohne Einfluss auf den Inhalt. Andere Ersetzungen sind nur dann erlaubt, wenn die Höhlung unmittelbar auf den Ur- theilsstrich folgt, sodass der Inhalt des ganzen Urtheils das Gebiet des deutschen Buchstaben ausmacht. Weil dieser Fall demnach ein ausgezeichneter ist, will ich für ihn folgende Abkürzung ein- führen. in’ lateinischer Buchstabe habe als Gebiet immer den Inhalt des ganzen Urtheils, ohne dass dies durch eine Höhlung im Inhaltsstrich bezeichnet wird. Wenn ein lateinischer Buchstabe in einem Ausdrucke vorkommt, dem kein Urtheilsstrich vorher- geht, so ist dieser Ausdruck sinnlos. Zin lateinischer Buchstabe darf immer durch einen deutschen, der noch nicht im Urtheile vorkommt, ersetzt werden, wobei die Höhlung unmittelbar nach dem Urtheilsstriche anzubringen ist. Z. B. kann man statt I— X (o) setzen H X (a). wenn 4 nur an den Argumentsstellen in X (a) vorkommt. Auch ist einleuchtend, dass man aus E-— 9 — 4 ableiten. kann 1 Z pia - Ar wenn A ein Ausdruck ist, in welchem a nicht vorkommt, und menn a in d (a) nur an den Argumentsstellen steht. Wenn — 2 _ D(a) verneint wird, so muss man eine Bedeutung für a an- geben können, sodass Y (a) verneint wird. Wenn also —* GH (a) verneint und 4 bejaht würde, so müsste man eine Bedeutung für a angeben können, sodass A bejaht und ® (a) verneint würde. Dies kann man aber wegen http://rcin.org.pl 22 | ; P (a) 5 nicht; denn dies bedeutet, dass, was auch @ sein möge, der Fall, wo S (a) verneint und 4 bejaht würde, ausgeschlossen sei. Daher kann man nicht — % ® (a) verneinen und 4 bejahen; d. h.: KZ (a) 14 Ebenso kann man aus HT ai $ (a) —4 — B folgern I—— TE — 4 — B., wenn 4 in 4 und Æ nicht vorkommt und ® (a) nur an den Argu- mentsstellen æ enthält. Dieser Fall kann auf den vorigen zurück- geführt werden, da man statt n setzen und wieder in verwandeln kann. Aehnliches gilt, wenn noch mehr Bedingungs- striche vorhanden sind, $ 12. Wir betrachten jetzt einige Verbindungen von Zeichen. I5--— X (9) http://rcin.org.pl 23 bedeutet, dass man etwas, z.B. 4, finden könne, sodass X (4) ver- ; neint werde. Man kann daher übersetzen: „es giebt einige Dinge, die nicht die Eigenschaft X haben.* Hiervon abweichend ist der Sinn von H£ X (a). Dies bedeutet: „was auch à sein mag, X (a) ist immer zu ver- neinen“, oder: „etwas, was die Eigenschaft X habe, giebt es nicht“; oder, wenn wir etwas, was die Eigenschaft X hat, ein X nennen: „es giebt kein X“. — Ada) wird verneint durch HAN): Man kann es daher übersetzen: „es giebt A’s“.*) [—— Dia — X (a) bedeutet: „was man auch an die Stelle von a setzen möge, der Fall, dass P(a) verneint und X(a) bejaht werden müsste, kommt nicht vor“. Da ist es also möglich, dass bei einigen Bedeutungen, die man dem a geben kann, P(a) zu bejahen und X(a) zu bejahen, bei andern P(a) zu bejahen und X(a) zu verneinen, bei noch andern P(a) zu verneinen und X(a) zu verneinen wäre. Man kann daher übersetzen: „wenn etwas die Eigenschaft X hat, so hat es auch die Eigenschaft P“, oder „jedes X ist ein P“, oder „alle X's sind Dier, Dies ist die Art, wie ursächliche Zusammenhänge ausgedrückt werden. 5 P(a) — Pla). bedeutet: „dem a kann keine solche Bedeutung gegeben werden, dass P(a) und Fa) beide bejaht werden könnten“. Man kann *) Dies ist so zu verstehen, dass es den Fall „es giebt ein 4* mit- umfasst. Wenn z. B. () den Umstand bedeutet, dass œ ein Haus ist, 80 heisst Fo A „es giebt Häuser oder mindestens Ein Haus“. Vgl. $2, Anm. 2. http://rcin.org.pl 24 daher übersetzen: „was die Eigenschaft P hat, hat nicht die Eigenschaft P", oder „kein Y ist ein P“. KT P(a) — A (a) verneint $n P(a) und kann daher wiedergegeben werden — A (a) durch: „einige 4's sind nicht Dier", Hr Pla) — M(a) leugnet, dass kein M ein P sei, und bedeutet daher: „einige“ M’s sind P’s“; oder: „es ist möglich, dass ein M ein P sei“. So ergiebt sich die Tafel der logischen Gegensätze: Sgr P(a) contrür IT Pla) — X (m — X(a) 39 eh $us 4 <> b Za © b a ? So a l l t „ Bé. t e EY On. e r e Kä T n n nr P(a) conträr Pa) ) Das Wort „einige“ ist hier immer so zu verstehen, dass es den Fall „ein“ mit umfasst. Weitläufiger würde man sagen: „einige oder mindestens doch ein *. http://rcin.org.pl II. Darstellung und Ableitung einiger Urtheile des reinen Denkens. $ 13. Einige Grundsätze des Denkens sind schon im ersten Abschnitte herangezogen worden, um in Regeln für die Anwendung unserer Zeichen verwandelt zu werden. Diese Regeln und die Gesetze, deren Abbilder sie sind, können in der Begriffsschrift deshalb nicht ausgedrückt werden, weil sie ihr zu Grunde liegen. In diesem Abschnitte sollen nun einige Urtheile des reinen Denkens, bei denen dies möglich ist, in Zeichen dargestellt werden. Es liegt nahe, die zusammengesetzteren dieser Urtheile aus einfacheren abzuleiten, nicht um sie gewisser zu machen, was meistens un- nöthig wäre, sondern um die Beziehungen der Urtheile zu einander hervortreten zu lassen. Es ist offenbar nicht dasselbe, ob man blos die Gesetze kennt, oder ob man auch weiss, wie die einen durch die andern schon mitgegeben sind. Auf diese Weise gelangt man zu einer kleinen Anzahl von Gesetzen, in welchen, wenn man die in den Regeln enthaltenen hinzunimmt, der Inhalt aller, obschon unentwickelt, eingeschlossen ist. Und auch dies ist ein Nutzen der ableitenden Darstellungsweise, dass sie jenen Kern kennen lehrt. Da man bei der unübersehbaren Menge der aufstellbaren Gesetze nicht alle aufzählen kann, so ist Vollständigkeit nicht anders als durch Aufsuchung derer zu erreichen, die der Kraft nach alle in sich schliessen. Nun muss freilich zugestanden werden, dass die Zurückführung nicht nur in dieser einen Weise möglich ist. Daher werden durch eine solche Darstellungsweise nicht alle Beziehungen der Gesetze des Denkens klar gelegt. Es giebt vielleicht noch eine andere Reihe von Urtheilen, aus denen ebenfalls, mit Hin- zunahme der in den Regeln enthaltenen, alle Denkgesetze ab- geleitet werden können. Immerhin ist mit der hier gegebenen http://rcin.org.pl 26 Zurückführungsweise eine solche Menge von Beziehungen dargelegt, dass jede andere Ableitung sehr dadurch erleichtert wird. Die Zahl der Sätze, die in der folgenden Darstellung den Kern bilden, ist neun. Von diesen bedürfen drei, die Formeln 1, 2 und 8, zu ihrem Ausdrucke, abgesehen von Buchstaben, nur des Zeichens der Bedingtheit; drei, die Formeln 28, 31 und 41, ent- halten dazu noch das Zeichen der Verneinung, zwei, die Formeln 52 und 54, das der Inhaltsgleichheit, und in einem, Formel 58, kommt die Höhlung des Inhaltsstriches zur Verwendung. Die folgende Ableitung würde den Leser ermüden, wollte er sie in allen Einzelheiten verfolgen; sie hat nur den Zweck, die Antwort für jede Frage über die Abfolge eines Gesetzes bereit zu halten. $ 14. —ü miss, Kc (1. besagt: „der Fall wo d verneint, b bejaht und « bejaht wird, ist ausgeschlossen“. Dies leuchtet ein, da @ nicht zugleich verneint und bejaht werden kann. Man kann das Urtheil auch so in Worten ausdrücken: „wenn ein Satz « gilt, so gilt er auch, falls ein beliebiger Satz b gilt“. Es bedeute z.B. 4 den Satz, dass die Summe der Winkel im Dreiecke ABC zwei Rechte betrage; b den Satz, dass der Winkel 42C ein Rechter sei. Dann erhalten wir das Urtheil: ,wenn die Summe der Winkel im Dreiecke ABC zwei Rechte beträgt, so gilt dies auch für den Fall, dass der Winkel APC ein Rechter ist“, Die 1 rechts von | 一 一 一 和 ist die Nummer dieser Formel. 4 a 1—— T a SS h gees AS 2 d | b c (2. bedeutet: „der Fall wo http://rcin.org.pl 27 verneint und bejaht wird, findet nicht statt“. a EK C bedeutet aber den Umstand, dass der Fall, wo a verneint, b bejaht, und c bejaht wird, ausgeschlossen sei. Die Verneinung von ———— 4 ES —— b Le sagt, dass a verneint und b bejaht werde. Die Ver- is Ls neinung von SS a aber bedeutet, dass 4 verneint, c bejaht — c werde. Die Verneinung von | a gir bedeutet also, dass a verneint, c bejaht, —— b bejaht werde. —c b und c zieht aber die Bejahung von Die Bejahung von b nach sich. Daher hat die Verneinung von http://rcin.org.pl 28 a RC -b — | | die Verneinung von 4 und die Bejahung von b und von c zur Folge. Diesen Fall schliesst die Bejahung von a m C grade aus. Es kann also der Fall, wo Rz: € L5 Gë verneint und a Ly C bejaht wird, nicht stattfinden, und dies behauptet das Urtheil et a E ym —— b Le a E Ol Für den Fall, dass ursächliche Verknüpfungen vorliegen, kann man dies auch so ausdrücken: „wenn ein Satz (a) die nothwendige Folge von zwei Sätzen -一 -一 一 人 (b und cl ist ( | ES ) und wenn der eine von ihnen (b) | C wieder die nothwendige Folge des andern (c) ist, so ist der Satz (a) die nothwendige Folge dieses letzten (c) allein. http://rcin.org.pl 29 Es bedeute z. B. c, dass in einer Zahlenreihe Z jedes nachfolgende Glied grösser als das vorangehende sei; b, dass ein Glied M grösser als Z sei; a, dass das Glied N grösser als Z sei. Dann erhalten wir folgendes Urtheil: „wenn aus den Sätzen, dass in der Zahlenreihe Z jedes fol- gende Glied grösser als das vorangehende ist, und dass das Glied M grösser als Z ist, geschlossen werden kann, dass das Glied N grösser als Z ist, und wenn aus dem Satze, dass in der Zahlenreihe Z jedes nachfolgende Glied grösser als das vorangehende ist, folgt, dass M grösser als Z ist, so kann der Satz, dass N grösser als Z ist, aus dem Satze geschlossen werden, dass jedes nachfolgende Glied in der Zahlenreihe Z grösser als das vorangehende ist“. $ 15. —4 2 | E b Le a T: € (1): a|————a — a ders P? E EZ Co E — a a Leg = ke c b a a —b LA (3. Die 2 links bedeutet, dass rechts davon die Formel (2) steht. Der Schluss, welcher den Uebergang von (2) und (1) zu (3) be- wirkt, ist naeh $ 6 abgekürzt ausgedrückt. Ausführlich würde er So geschrieben werden: http://rcin.org.pl 30 — b (3. Um nun den Satz (1) in der verwickelteren Gestalt, in der er hier erscheint, leichter erkennbar zu machen, dient die kleine Tabelle unter der 1. Sie besagt, dass man in frz Ex) a - http://rcin.org.pl 31 _——a | [5% — Le Shee 1 | c an die Stelle von 4 und a NM an die Stelle von ^ setzen möge. I * Kr 1 a 3 | E» | 5 Ben | — | | E c — a Ka (2) _ emu al- a I a piu. b 一 一 一 HE B E b a | T E a —d I5. 1 B c a —— € KH a = (4. Die Tabelle unter der (2) bedeutet, dass man in I a Pe ; | E an die Stellen von a, b, c die rechts — „ davon stehenden Ausdrücke setzen | HW möge, wodurch man erhält er http://rcin.org.pl 32 4 (1): a | —— a — b ble http://rcin.org.pl Die Bedeutung des doppelten Kolon ist in $ 6 erklärt. Beispiel zu (5). Es sei a der Umstand, dass das Stück Eisen magnetisch werde; b der Umstand, dass durch den Draht 7 ein galvanischer Strom fliesse; c der Umstand, dass der Schlüssel 7 niedergedrückt werde. Wir erhalten dann das Urtheil: „wenn der Satz gilt, dass “ magnetisch wird. sobald durch 7 ein galvanischer Strom fliesst; wenn ferner der Satz gilt, dass ein galvanischer Strom durch D fliesst, sobald 7 niedergedrückt wird: so wird Z magnetisch, wenn 7 niedergedrückt wird.“ Man kann (5) bei Voraussetzung ursächlicher Zusammenhänge so ausdrücken: , „wenn b eine hinreichende Bedingung für o, wenn c eine hinreichende Bedingung für b ist, so ist c eine hinreichende Bedingung für 4.“ 5 I ls b | € (6. Frege, Formelsprache. http://rcin.org.pl 34 | 一 一 -a mM Ed a — b (6) : ga —— A Kr | a Las ai hz ie Rate | > b ie | ¡eE cel ——Y | — 4 "ob rr =] (7. Dieser Satz unterscheidet sich von (5) nur dadurch, dass an die Stelle der einen Bedingung, c, zwei, c und d, getreten sind. Beispiel zu (7). Es bedeute d den Umstand, dass der Kolben K einer Lufipsiape von seiner äussersten Lage links in seine äusserste Lage rechts bewegt werde; € den Umstand, dass der Hahn H in der Stellung I sich befinde; b den Umstand, dass die Dichtigkeit D der Luft im Reci- pienten der Luftpumpe auf die Hälfte gebracht werde; a den Umstand, dass die Höhe H des Standes eines mit dem Raume des Recipienten in Verbindung stehenden Barometers auf die Hälfte herabsinke. Dann erhalten wir das Urtheil: „wenn der Satz gilt, dass die Höhe H des Barometer- standes auf die Hälfte herabsinkt, sobald die Dichtigkeit D der Luft auf die Hälfte gebracht wird; wenn ferner der Satz gilt, dass die Luftdichtigkeit D auf die Hälfte gebracht wird, wenn der Kolben K aus der äusser- sten Lage links in die äusserste Lage rechts bewegt wird, und wenn der Hahn H sich in der Stellung I befindet: so folgt, dass die Höhe H des Barometerstandes auf die Hälfte herab- sinkt, wenn der Kolben K aus der äussersten Lage links in die äusserste Lage rechts bewegt wird, während der Hahn H sich in der Stellung I befindet“, http://rcin.org.pl 35 $ 16. bh T — Hi E d (8. a bedeutet, dass der Fall, wo a verneint, b und d | = aber bejaht werden, nicht stattfinde; a bedeutet dasselbe, und (8) sagt, dass der | Si Fall, wo — a verneint und d —b | Des | TE b i = b d bejaht werde, ausgeschlossen sei. Dies kann auch so ausgesprochen werden: „wenn ein Satz die Folge von zwei Bedingungen ist, so ist deren Reihenfolge gleichgiltig *. a 5 Ee | ud | 83 a Lo (8) : a a l a La | Le d ae, g^ — —b ———b d iru Be (9. Dieser Satz unterscheidet sich nur unwesentlich von (5). http://rcin.org.pl 3 TR (10. Le (11. Diese Formel kann man so übersetzen: „wenn der Satz, dass A oder nicht c stattfinde, eine hinreichende Bedingung für « ist, so ist b allein eine hinreichende Bedingung für a.“ 8 1 dle | e (5) : E A E http://rcin.org.pl cid 37 (12. Die Sitze (12) bis (17) und (22) zeigen, wie bei mehren Bedingungen die Reihenfolge abgeändert werden kann. 12 (19): a|——2a le cid d a = c d (5) : a — a RON | E b b|— 一 你 | T. c d cle (12): — 4 —e — e http://rcin.org.pl (13. (14. a Cube d 12 h M —— a A a > C d Gite 8 a a La ble (16) : a TE c EN = JE 11 d e ÉS E http://rcin.org.pl c d (15. (16. 39 8 E] E Jo S BA CSSS Si HT ISS E RS om ee o Som age e OB | | | | | | ; 303020 = — | 上 pupa pera PL eb HAS, 一 一 - — EA A, Ke OP mee] Ls E I M REB a ERE SER | E A ESE A AA PIT — Men eo = = E Res SS o 8 Sal Bat — 11 17 N RRC? 8 m. „ „HHH o © S So AMS © kee" ES 9 40 Dieser Satz ist von (7.) nur unwesentlich verschieden. P lel tee | E a wien b E — d (18): — a a l | a | = | X7 d ——— d b a e er | a c | b | — BEA | | m d d|e | — e 9 alb ble cid (19): b | —— b Ber c b CC: d D Ey http://rcin.org.pl (20. (21. 41 16 (22. (22) : http://rcin.org.pl (23. (24. b (25. (26. http://rcin.org.pl 43 26 1 ¡pu b a —«q > eli — 4 | —D a Ms En =>, Lr (27. Man kann nicht (zugleich) a bejahen und w verneinen. $ 17. Em E. a Lë (28. bedeutet: „der Fall, wo Ki v b verneint und | a bejaht wird, —4 —b findet nicht statt“. Die Verneinung von U b bedeutet, dass a Li d bejaht und ——b' verneint wird; d. h. dass a verneint und b bejaht wird. Dieser Fall wird durch CI ausgeschlossen. — Dieses Urtheil begründet den Uebergang vom modus ponens zum modus tollens. Es bedeute z. B. b den Satz, dass der Mensch M lebe; a den Satz, dass M athme. Dann haben wir das Urtheil: „wenn aus dem Umstande, dass M lebt, sein Athmen geschlos- sen werden kann, so kann aus dem Umstande, dass er nicht athmet, sein Tod geschlossen werden.“ 28 E37 p BEES, I e = dee — 4 ib -一 和 (29. http://rcin.org.pl 44 Wenn b und c hinreichende Bedingungen für a sind, so kann aus der Verneinung von a und der Bejahung der einen Bedingung (c) die Verneinung der andern Bedingung geschlossen werden. 29 | H mb — b (30. $ 18. 1— Sax (31 d -r@ bedeutet die Verneinung der Verneinung, mithin die Bejahung von a, Es kann also nicht a verneint und (zugleich) 4;-4 bejaht werden. Duplex negatio affirmat. Die Verneinung der Vóráciuias ist Bejahung. 31 (7): alb b | vrb al — c| 4 d a ET Ly CH E = — / | de (32. (28) :: | WI a SÉ (33. http://rcin.org.pl Wenn a oder b stattfindet, so findet b oder a statt. 33 (D) al——b Lë bi——a E: 45 (34. Wenn das Eintreten des Umstandes c beim Wegfall des Hinderungs- grundes b das Stattfinden von a zur Folge hat, so kann aus dem Nichtstattfinden von d beim Eintreten von c auf das Eintreten des Hinderungsgrundes b geschlossen werden. 34 ma € ee: b http://rcin.org.pl (36. 46 Der Fall, wo b verneint, —-@ bejaht und 4 bejaht wird, tritt nicht ein. Man kann dies so aussprechen: „wenn « eintritt, so findet eins von beiden, a oder b, statt.“ 36 I alc | rce c (9) : b|——5 — 4 Deg | — a ipe eas (37. Wenn 4 die nothwendige Folge davon ist, dass b oder c ein- tritt, so ist 4 die nothwendige Folge von c allein. Es bedeute z. B. b den Umstand, dass der erste Factor eines Products P O wird; € den Umstand, dass der zweite Factor von P O wird; 4 den Umstand, dass das Product P O wird. Dann haben wir das Urtheil: „wenn das Product P 0 wird, falls der erste oder der zweite Factor O wird, so kann aus dem Verschwinden des zweiten Factors das Verschwinden des Productes geschlossen werden.“ 36 e ta 4 a (8) : — APA alb LA bla | => dja na (38. (2) — — a | 5 ebe bla | sum c| 4 2 a a (39. (35): — k ·ͤä— alb SE bla | a € a "cO a — (40. http://rcin.org.pl $ 19. Die Bejahung von a verneint die Verneinung von a. 27 (41): a a a (40): b|- a La Ecg — Ha 47 (41. (42. (43. Wenn nur die Wahl zwischen « und 4 ist, so findet 4 statt. Man hat z. B. zwei Fälle zu unterscheiden, welche die ganze Indem man den ersten verfolgt, gelangt man zu dem Ergebnisse, dass « stattfindet; desgleichen, wenn man Möglichkeit erschöpfen. den zweiten verfolgt. Dann gilt der Satz 4. 43 (21): bla d ra (5) : a a L 22 Le b c P c a —C (BB)V:: (44 (45. tritt, so gilt a. =-¢ (46. Wenn 4 gilt, sowohl falls c eintritt, als auch falls c nicht ein- hat, so findet a statt.“ 16 Le | —a Ke E ees EC (21) ie CH de puer T —4 H? le ei | | — bla | | a de | 7b c|5 | b TE Ein anderer Ausdruck ist: eintritt, und wenn das Eintreten von c 4 zur nothwendigen Folge „wenn 4 oder c (47. Man kann diesen Satz so aussprechen: „wenn sowohl c als auch b eine hinreichende Bedingung für a ist, und wenn b oder c stattfindet, so gilt der Satz a.“ Dieses Urtheil wird angewendet, wo bei einem Beweise zwei Fälle zu unterscheiden sind. Wo mehre Fälle vorkommen, kann man immer auf zwei zurückgehen, indem man einen von den Fällen als den ersten, die Gesammtheit der übrigen als den zweiten Fall ansieht. Den letzteren kann man wieder in zwei Fälle zerlegen und hiermit so lange fortfahren, als noch Zerlegungen möglich sind. 47 RER | (23) : E http://rcin.org.pl 49 : | d = 9 — 0 | [401 = d N | aE Te — CC eld | € Lg (48. Wenn d eine hinreichende Bedingung dafür ist, dass b oder c stattfindet, und wenn sowohl b als auch c eine hinreichende Bedingung für a ist, so ist d eine hinreichende Bedingung für a. Ein Beispiel der Anwendung bietet die Ableitung von Formel (101). 47 SU VOR: pr ——— 4 [e —b E (12) : b a Mc rm a | a c a — me = d Ko: R6 SES | b e ; (49. (17) : À b a Er epee c a Le Led Uo Ee d WA 7 EE EA D 4 (50. (18) : Frege, Temps tp. rin. org. pl 4 ——d (51. $ 20. aie Be (d) (c=d) (52. Der Fall, wo der Inhalt von c gleich dem Inhalt von d ist, wo fc) bejaht und f(d) verneint wird, findet nicht statt. Dieser Satz drückt aus, dass man überall statt c d setzen könne, wenn c=d ist. In f(c) kann c auch an andern als den Arguments- stellen vorkommen. Daher kann c auch noch in /(d) enthalten sein. 52 Er (d) | —f (o c= (8) : Se a | f (à) Face | f (a) de | —e=a d | (c — d) Te) (53. $ 21. r (c= ei, (54. Der Inhalt von c ist gleich dem Inhalte von c. 54 L— (c az e) (53) : „ E I-(d=c f(4) | (4= o) Less SR (55. (9) : b | (d — c) in (c) c | (c z d) —f (d) uas] ——-f e) (c — d) —f (d) 125 (c) —f (d) 3 E222 ze) (56. (52) :: http://rcin.org.pl 51 dle Keis (c) c|d — f (d) (c=d). (57. $ 22. | E AO) (58. —.B — f(a) bedeutet, dass / (a) stattfinde, was man auch unter a verstehen möge. Wenn daher —.* —/(a) bejaht wird, so kann f(c) nicht verneint werden. Dies drückt unser Satz aus. a kann hier nur an den Argumentsstellen von f vorkommen, weil diese Function auch ausserhalb des Gebietes von a im Urtheile vorkommt. 58 IT 118 mal fa m 一 9 (b) ol: 00 一 Fe (30) : — a | f b) j (a c|g 0) || EE b | —£ —— f (a) — f (6) — g (a) ——- g (b) (59. Beispiel. Es bedeute b einen Vogel Strauss, nämlich ein einzelnes zu dieser Art gehörendes Thier; g (4) „A ist ein Vogel“; f (A) „A kann fliegen“. Dann haben wir das Urtheil: „wenn dieser Strauss ein Vogel ist und nicht fliegen kann, so ist daraus zu schliessen, dass einige Vögel *) nicht fliegen können.“ Man sieht, wie dieses Urtheil eine Schlussart ersetzt, näm- lich Felapton oder Fesapo, zwischen denen hier kein Unterschied gemacht wird, weil die Hervorhebung eines Subjects wegfällt. 58 — rO (a) | ms | Eso — Y A) ———h (b) ——h(à 10 ch 0 | —— y (a) (13) : — *) $12, 2. Anm. http://rcin.org.pl g 52 own Q — > — 58 Pm — y (A) WEI Cl (8) : a | f (x) b | g (x) 4 — f (a) — 9 (a) (60. (61. (62. Dieses Urtheil ersetzt die Schlussweise Barbara in dem Falle, dass der Untersatz (y (x)) einen besondern Inhalt hat. 62 (24) : a f) a ro — yla) c | g(x) bjim http://rcin.org.pl 53 62 | f (x) La 40) Lg (a) g (x) (18) : a| f (x) | CI b SE f (a) — f (a) Zu. his — 9 (a) c | g (x) oe) d |^) EE (y) (64. 64 E XI f (x) y |x p: h (x) E ERAS —g (a) 5 (E) m h (x) (61) : — a| ————— f (x) Em f (x) $ — h (x) | — h (2) — y (a) — y (a) f(A) PE g(A) ase ee g (a) ele — MA) — h (a) (65. Hier kommt a in zwei Gebieten vor, ohne dass dies eine beson- dere Beziehung andeutete. In dem einen Gebiete könnte man statt Q auch etwa e schreiben. Dieses Urtheil ersetzt die Schluss- weise Barbara für den Fall, dass der Untersatz ` ` a — g(a) Aa) einen allgemeinen Inhalt hat. Der Leser, der sich in die Ab- leitungsart der Begriffsschrift hineingedacht hat, wird im Stande sein, auch die Urtheile herzuleiten, welche den andern Schluss- weisen entsprechen. Hier mögen diese als Beispiele genügen. http://rcin.org.pl 54 65 I /@ | — h (x) FTIR —g (a) 一 -一 一 一 9 (a) Kr (a) (8): ————— a |— f (x) I f (x) |: h (x) | | = (x) HE dE EE CH | . Dia „„ — (a) — (a) 58 l - f (o) Se Zeie (7) : Mu E a |f (c) | Tace) pL P) | | La c |b — ((2—/ (9) z b] alll-2-/W)=b)) —— “—f(a) EL f) s 9 (57) :: —ſ f( | 4 ET . SC alo — [C &— f (9) =) http://rcin.org.pl (66. (67. (68. III. Einiges aus einer allgemeinen Reihenlehre. $ 23. Die folgenden Ableitungen sollen eine allgemeine Vor- stellung von der Handhabung dieser Begriffsschrift geben, wenn sie auch vielleicht nicht hinreichen, deren Nutzen ganz erkennen zu lassen. Dieser würde erst bei verwickelteren Sätzen deutlich hervortreten. Ausserdem sieht man an diesem Beispiele, wie das von jedem durch die Sinne oder selbst durch eine Anschauufig a priori gegebenen Inhalte absehende reine Denken allein aus dem Inhalte, welcher seiner eigenen Beschaffenheit entspringt, Urtheile hervorzubringen vermag, die auf den ersten Blick nur auf Grund irgendeiner Anschauung möglich zu sein scheinen. Man kann dies mit der Verdichtung vergleichen, mittels deren es gelungen ist, die dem kindlichen Bewusstsein als Nichts erscheinende Luft in eine sichtbare tropfenbildende Flüssigkeit zu verwandeln. Die im Folgenden entwickelten Sätze über Reihen übertreffen an All gemeinheit beiweitem alle ähnlichen, welche aus irgendeiner An- schauung von Reihen abgeleitet werden können. Wenn man es daher für angemessener halten möchte, eine anschauliche Vor- stellung von Reihe zu Grunde zu legen, so vergesse man nicht, dass die so gewonnenen Sätze, welche etwa gleichen Wortlaut mit den hier gegebenen hätten, doch lange nicht ebensoviel als diese besagen würden, weil sie nur in dem Gebiete eben der An- schauung Giltigkeit hätten, auf welche sie gegründet wären. $ 24. A AS ô, F (a) ES N) a `f (0, a) (69. http://rcin.org.pl 56 Dieser Satz unterscheidet sich von den bisher betrachteten Ur- theilen dadurch, dass Zeichen darin vorkommen, die vorher nicht erklärt worden sind; er giebt selber diese Erklärung. Er sagt nicht: „die rechte Seite der Gleichung hat denselben Inhalt wie die linke“; sondern: „sie soll denselben Inhalt haben“. Dieser Satz ist daher kein Urtheil und folglich auch kein synthetisches Urtheil, um mich des kantischen Ausdrucks zu bedienen. Ich be- merke dies, weil Kant alle Urtheile der Mathematik für synthetische hält. Wäre nun (69) ein synthetisches Urtheil, so wären es auch die daraus abgeleiteten Sätze. Man kann aber die durch die- sen Satz eingeführten Bezeichnungen und daher ihn selbst als ihre Erklärung entbehren: nichts folgt aus ihm, was nicht auch ohne ihn erschlossen werden könnte. Solche Erklärungen haben nur den Zweck, durch Festsetzung einer Abkürzung eine äusser- liche Erleichterung herbeizuführen. Ausserdem dienen sie dazu eine besondere Verbindung von Zeichen aus der Fülle der mög- lichen hervorzuheben, um daran einen festern Anhalt für die Vor- stellung zu gewinnen. Wenn nun auch die genannte Erleichterung bei der geringen Zahl der hier aufgeführten Urtheile kaum merk- lich ist, so habe ich doch des Beispiels wegen diese Formel auf- genommen. Obgleich (69) ursprünglich. kein Urtheil ist, so verwandelt es sich doch sofort in ein solches; denn nachdem die Bedeutung der neuen Zeichen einmal festgesetzt ist, so gilt sie nunmehr, und es gilt daher auch Formel (69) als Urtheil, aber als analytisches, weil es, was in die neuen Zeichen hineingelegt war, nur wieder hervortreten lässt. Diese Doppelseitigkeit der Formel ist durch die Verdoppelung des Urtheilsstrichs angedeutet. In Bezug auf die folgenden Ableitungen kann also (69) als gewöhnliches Urtheil behandelt werden. Die kleinen griechischen Buchstaben, die hier zuerst vor- kommen, vertreten keinen selbständigen Inhalt, wie die deutschen und lateinischen. Bei ihnen ist nur die Gleichheit und Ver- schiedenheit zu beachten, sodass man an die Stellen von « und d beliebige andere kleine griechische Buchstaben setzen kann, wenn nur die Stellen, die vorher von gleichen Buchstaben eingenommen waren, auch wieder von gleichen eingenommen werden, und wenn verschiedene Buchstaben nieht durch gleiche ersetzt werden. Diese Gleichheit oder Verschiedenheit der griechischen Buchstaben http://rcin.org.pl 787 hat aber nur innerhalb der Formel Bedeutung, für die sie wie hier für a \ f (8, q besonders eingeführt worden sind. Sie dienen dem Zwecke, dass aus der abgekürzten Form d ( F (a) a \ f (0, «) Jederzeit die ausführliche ; M i. unzweideutig wiederhergestellt werden könne. Es bedeutet z. B. den Ausdruck wührend a F (a) ô \/ (6, a) keinen Sinn hat. Man sieht, dass der ausfiihrliche Ausdruck, wie verwickelt auch die Functionen F und / sein mögen, immer mit Sicherheit wiedergefunden werden kann, abgesehen von der gleich- giltigen Wahl der deutschen Buchstaben. Es kann I— fu durch ,4 ist Ergebnis einer Anwendung des Verfahrens / auf I". oder durch „/' ist der Gegenstand einer Anwendung des Verfahrens / deren Ergebnis A ist“, oder durch „A steht in der /-Beziehung zu I“, oder durch ,/" steht in der umgekehrten /-Beziehung zu A“ wiedergegeben werden, welche Ausdrücke als gleichbedeutend gelten sollen. http://rcin.org.pl 58 ( F (a) f (9, a) mag übersetzt werden: „der Umstand, dass die Eigenschaft F sich in der /-Reihe vererbt.“ Dfesen Ausdruck kann vielleicht fol- gendes Beispiel annehmbar machen. Es bedeute A4 (M, IN) den Umstand, dass N ein Kind von M ist; 5 (P) den Umstand, dass P ein Mensch ist. Dann ist a ( X (a) EE E Los à oder -A (d A (6, a) -一 一 也 0 1 der Umstand, dass jedes Kind eines Menschén wieder ein Mensch ist, oder dass die Eigenschaft, Mensch zu sein, sich vererbt. Man sieht übrigens, dass die Wiedergabe in Worten schwierig und selbst unmöglich werden kann, wenn an die Stellen von F und f sehr verwickelte Functionen treten. In Worten würde demnach der Satz (69) so ausgedrückt werden kónnen: „Wenn aus dem Satze, dass b die Eigenschaft F hat, alige- mein, mas auch b sein mag, geschlossen werden kann, dass Jedes Ergebnis einer Anwendung des Verfahrens f auf b die Eigenschaft F habe, so sage ich: „ „die Eigenschaft E vererbt sich in der f- Reihe.“ “ $ 25. LM Ae F (a) : Sa ð; F » — ( T — ft dÉ il ei — FÒ) f (0, a) (68): — 一 = ajd (N) e Fü9 BH = FO | L Are) | | f (x, a) | F (D) F (a) ar. | ¡Eds a f (ô, a) a\ f (ô, a) (10. cl Däi: — A http://rcin.org.pl 59 — fra) mis A c | F (a) RUTH 2 m 7 F(a „ ax f (ô, a) ax f (ô, a) al | F (y) H,) | — f (x, y) Le seg — f {x, a) (71. (58) : : — i —¼¼.ĩöꝛ fa» T £o RT: F (y) "Lan | — f (y) ely —— F(x) EE bon Te os DE 4) (72. Wenn die Eigenschaft F sich in der f-Reihe vererbt; wenn x die Eigenschaft F hat und y Ergebnis einer Anwendung des Verfahrens f auf x ist: so hat y die Eigenschaft F. 72 Laag F (y) E — F (a) d ( F (a) f (6, a) | a ul geg HN) H—— FW | | | f (x, y) pee | | i( F (a) ( d ake) f (6, a) ban [3 1 F (a) 6% a) (73. a http://rcin.org.pl 60 FO 72 S T Cres o | — — F (x) | ic E 0 í a \ f (ô, a) (8): g = a | —— Fly). >t | F (y) ¡— f(x, y) | —f ( y) b F (x) dias: dn Wee f (6, a) f (ô, a) — — F (2j (74. | a Wenn x eine Eigenschaft F hat, die sich in der f-Reihe vererbt, so hat jedes Ergebnis einer Anwendung des Verfahrens ~ f auf x die Eigenschaft F. 69 Was a) à , F (a) eh F(b) LE? a) (52) — i c| 5— S — F (0) da I | | — f (b, a) | a `f (0, c)) Seet 0 (Be —f (b, a) «Nf (d, a) Z Fi (78. GING Ki Wenn aus dem Satze, dass b die Eigenschaft F hat, mas auch b sein mag, geschlossen werden kann, dass jedes Ergebnis einer Anwendung des Verfahrens f auf d die Eigenschaft F habe, so vererbt sich die Eigenschaft F in der f-Reihe. § 26. 3, G F u) | PTE $0 — | — f (a, a) =% / (a, yp) ll | (30 N ah a H a\ f (0, a) (76. Dies ist die Erklárung der rechts stehenden Zeichenverbindung http://rcin.org.pl 61 d f (xy; yg). In Betreff der Verdoppelung des Urtheilsstriches und der griechischen Buchstaben verweise ich auf $ 24. Es ginge nieht an, statt des oben stehenden Ausdrucks einfach yf. y) zu schreiben, weil bei einer ausführlich hingeschriebenen Function von x und y diese Buchstaben auch noch ausserhalb der Argu- mentsstellen vorkommen könnten, wobei dann nicht zu ersehen wäre, welche Stellen als Argumentsstellen anznsehen wären. Die Letzteren müssen also als solehe gekennzeichnet werden. Dies geschieht hier durch die Indices y und f. Man muss diese ver- schieden wählen in Anbetracht des Falles, dass die beiden Argumente einander gleich wären. Wir nehmen griechische Buchstaben hierzu, damit wir eine gewisse Auswahl haben, um für den Fall, dass A f(xy, y) einen ähnlich gebauten Ausdruck in sich schlósse, die Bezeichnung der Argumentsstellen des eingeschlossenen Ausdrucks von denen des einschliessenden verschieden wählen zu können. Die Gleich- heit und Verschiedenheit der griechischen Buchstaben hat hier nur Bedeutung innerhalb des Ausdruckes 5 f Gy ups ausserhalb können dieselben vorkommen, ohne dass hierdurch irgendeine Beziehung zu diesen angedeutet würde. Wir übersetzen 5 f Gy, dal durch „y folgt in der Reihe auf x^, eine Ausdrucksweise, die freilich nur möglich ist, solange die Function / bestimmt ist. In Worten wird demnach (76) etwa so ausgesprochen werden können: Wenn aus den beiden Sätzen, dass jedes Ergebnis einer An- wendung des Verfahrens f auf x die Eigenschaft F habe, und dass die Eigenschaft F sich in der f-Reihe vererbe, was auch F sein mag, geschlossen werden kann, dass y die Eigenschaft F habe, so sage ich: http://rcin.org.pl 62 „y folgt in der f-Reihe auf x“; oder: „x geht in der f-Reihe dem y vorher“ .*) $ 27. E 76 la 2 ps — f (x, a) = F(a, yg) d Fla) En te ~ «*f (6, a) (68) : 8 : s: HE br nf ANT) IF (a) E | —f (x, a) tna | Le e |- - d bus | 4 f (9, a) eA. /r, vp) b s f Gv ug) e|F (77. Hier sind nach $ 10 / (y), F(a), F (a) als verschiedene Functionen des Arguments F anzusehen. (77) bedeutet: Wenn y in der f-Reihe auf x folgt; wenn die Eigenschaft F sich in der f-Reihe lvererbt; wenn jedes Ergebnis einer An- wendung des Verfahrens f auf x die Eigenschaft A hat: so hat y die Eigenschaft F. 77 H —— F (y) d ( F (a) Cd, «) ¿ln ug) | a (17) : *) Um die Allgemeinheit des hierdurch gegebenen Begriffs des Auf- einanderfolgens in einer Reihe deutlicher zu machen, erinnere ich an einige Möglichkeiten. Es ist hierunter nicht nur eine solche Aneinander- reihung begriffen, wie die Perlen auf einer Schnur zeigen, sondern auch eine Verzweigung wie beim Stammbaum, eine Vereinigung mehrer Zweige, sowie ein ringartiges Insichzurücklaufen. http://rcin.org.pl a | F (y) pv) red | "Aren — I, +S F'(@) e fis | — f (e, 0) a\ f go i( F (a) d |5 f Gy, ug) f (9, a) (2): ———————————— a|—— FW) = ss F (y) | Ef Wy yg) d | kom & f (Ly, yg) P | &—— pq) | Lm il (e) „ — dra La f (ô. a) F (y) F (a) Á 1 (0, 4) MET jm ^ T F (a) a S f (0, a) (5) : E a Gg: F (y) E= Se: F (y) | 3 | | — HAC 1 Ser | (SS & * f (d, a) | | ax f (0, a) b| 9 —— 24 | F (x) | | f (x, a) LEM — nn cl Fx ^ ige a) |. F (x) (74) : — E F yla MTS | | 5 ( yg) | 5/ F (o) Be Gx | a f (6, a) F (a) http://rcin.org.pl 63 (78. (79. (80. 64 F (x) vorkommt, so kann bei der — f(x,y) Ersetzung des y durch den deutschen Buchstaben a die Hóhlung diesem Ausdrucke nach $ 11 unmittelbar vorhergehen. Man kann (81) übersetzen: Wenn x eine Eigenschaft F hat, die sich in der f-Reihe ver- erbt, und wenn y in der f-Reihe auf x folgt, so hat y die Eigenschaft F.*) Es sei beispielsweise F die Eigenschaft, ein Haufe Bohnen zu sein; es sei das Verfahren / die Verminderung eines Haufens Bohnen um eine Bohne, so dass f (a, b) den Umstand bedeute, dass b alle Bohnen des Haufens 4 ausser einer und sonst nichts enthalte. Dann würde man durch unsern. Satz zu dem Ergebnisse gelangen, dass eine einzige oder selbst gar keine Bohne ein Haufe Bohnen sei, wenn die Eigenschaft, ein Haufe zu sein, sich in der /-Reihe vererbt. Dies ist jedoch nicht allgemein der Fall, weil es gewisse z giebt, bei denen wegen der Unbestimmtheit des Begriffes „Haufe“ E (z) unbeurtheilbar ist. Da in (74.) y nur in 81 EXE T Lf (yy yg) Sa Ax a) | MAA c air an (18) : a | —— FW SONES | F (Ep up) E | Ji do d/ F (a) b 19 a) Da c | F (x) E «) dia — La (82. *) Hierauf beruht die Bernoullische Induction. http://rcin.org.pl 65 | 3 T. (ty, Ha h (x) | | T h (a) "| 7 (0, a) SE EE | -—h(e) — — h (2) (SOLES b| g (x) 44 * (x) 81 (8) : a ED M B X f(y, yg) Al de, a (ð, cl al F(x) Frege, Formeisprache. — ttp://rcin.org.pl tm eee ZA) |. (y) a f(x B y ug) h (x) | | y (a) | TA (a) a f (ô, a) (83. EE F (y) | | = 4 f (v, Ya) d ( F (a) a f (9, a) F Sind pum seem Fp JE Ef yr yg) 一 一 一 re '( (a) pe a) (84. 5 66 - NET TU F (y) sc afta yos | ee a) | F (a) — — 0 a f (6, a) + f (xy, yg) (12) : e 4 L (y) ! Bet We A con | En Du pa) | f (8, a) ó ( F (a) E, ae Ni (a) ru. a) E d| fy ug) . (19) : Vu, FT, WS ES: X pod SIN sl % F(a) ak ët a) E ( (6, a) D F (2) De , a) a "Ros a) f Gy. ya) 21 NI / ler vo | — f m, 2) Ze Eo dë 四 ge "T f (8, a) E E (d, «) m ge Lë a) (73) :: e TI IF 5 d SE 2) ber, lo (0, a) ei SES Le, a) http;/frcin.org.plz f yy (85. (86. (87. 67 Die Ableitung dieses Satzes wird in Worten etwa folgender- massen lauten: a) Es folge y in der /-Reihe auf 2; B) es habe jedes Ergebnis einer Anwendung des Verfahrens f auf x die Eigenschaft A": y) es vererbe sich die Eigenschaft F in der /-Reihe. Aus diesen Voraussetzungen folgt nach (85): ó) y hat die Eigenschaft F. e) Es sei z Ergebnis einer Anwendung des Verfahrens / auf y. Dann folgt aus (y), (9), (€) nach (72): - z hat die Eigenschaft F. Daher: Wenn z Ergebnis einer Anmendung des Verfahrens f auf einen Gegenstand y ist, der in der f-Reihe auf x folgt, und wenn jedes Ergebnis einer Anwendung des Verfahrens f auf x eine Eigenschaft F hat, die sich in der F-Reihe vererbt, so hat z diese Eigenschaft F. 4 fuz) i( F (a) | ax f (0, a) ¡—£——F (a) Le, a) ZI (ty ug) 87 NO F (2) (15) : aj F (2) 1 | | F (2) bf (y, 2) i( F (a) « \ , a) d| —£ — F(a) — f(x, a) e 4 f Gy, yg) http:// [T i( F (a) | a\ f (ô, a) ES — f (t a) / (er up) f (y. 2) rcin.org.pl 5* (38. 68 $ 28. ELO $ (w) 76 — Ke K / dur yp i( f (6, a) (52) : d 5 a $ (y) 5 J, v9) mE — f (x, a) | AS 0) ô / F (a) d ==: | [6 F (a) 4% Jun vd AER 4 0 ( a) (89. (5) : - al Fry ug) EE G fy vg) 3 wm. . 18180 Tee m — $e J a dr F (o) J. a) i( T EN 4 a * f (d, a) e (90. A HET 305 zy | | f, a) Pë | af (8, a) dech f &, y) (90) : a MÀ / (x, y) au f (ayy 10 fep» (91. *) In Bezug auf die Höhlung mit F siehe $ 11. http://rcin.org.pl 69 Es möge hier die Ableitung des Satzes (91) in Worten folgen. Aus dem Satze: a) „jedes Ergebnis einer Anwendung des Verfahrens / auf x hat die Eigenschaft F“ kann, was auch % sein mag, geschlossen werden: jedes Ergebnis einer Anwendung des Verfahrens / auf x hat die Eigenschaft F. Daher kann auch aus dem Satze (œ) und dem Satze, dass die Eigenschaft $ sich in der /-Reihe vererbt, was auch $ sein mag, geschlossen werden: jedes Ergebnis einer Anwendung des Verfahrens f auf x hat die Eigenschaft F. Daher gilt nach (90) der Satz: Jedes Ergebnis einer Anwendung eines Verfahrens f auf einen Gegenstand x folgt in der f-Reihe auf dies x. 91 in 4 fy, yg) — f(a, y) (53) : 23 f(A) e, yg) DT $ fy» Val — f(x, y) f, y) e (a =2) (92. dlz 60 m Fo) E Ls F (a) ZU T (y) — f(x, a) d T (a) ó F (a) gu) | Lg a \f(d, a) 3 : Ee a) en za] A A(D)| L— Ta) ke ó — E pP b Di a /(9, a) 5 Fa) —f'(x, a) (90) : http://rcin.org.pl (330 VEI erie 一 ( Ai 5 FW E a f (ô, a) | en N e 3 / (9, a) Fla) L ot a) 93 r I-— 3 1 yn zp) ylz à 8-50 x ( F (a) a\ f(d, a) - 7-30) — f(x, a) a: AY | a 5 f (a, 28) ss ee DH x f (Ly, z a Fg o [^ Va | 5/86) — | is Se ( | U. 2) a a 1 (0, a) E: F (2) 7 Ea BEY 7 30) d |f. 2) | | — f (x, a) SZ 7 We . (88) : : AE O A SF; FIs P ane | ke: T fa, yp) == si (8) : 1%. http://rcin.org.pl (93. (94. (95. a $ f Gr. zg) Eu B f Sy 2; 2 3) be b : f (xy, yp) | d 2) a\/(y, 2) 3 [Ep Vg) (96. Jedes Ergebnis einer Anwendung des Verfahrens f auf einen Gegenstand, der in der f-Reihe auf x folgt, folgt in der f- Reihe auf x. erh HEAR f (zy ag) y b | — f (, a) — ye 5 f (x, da) (75) : SS 7 9/2 f(2, ap) a\f (d, & 97. Die Eigenschaft, in der f-Reihe auf x zu folgen, vererbt sich in der f- Reihe. M (d, da (84) : OE à FD) 4 (xy, P3) Er = S f Gy, 29) ely ke y|z —— 8 f (y vp (98. Wenn y in der f-Reihe auf x und wenn z in der £- Reihe auf y folgt, so folgt z in der f-Reihe auf x. $ 29. —-——(sz 1) = | Pe: er 20 99. Ich verweise hier auf das bei den Formeln (69) und (76) über die Einführung neuer Zeichen Gesagte. Es mag say zg) 5 f (xy, 23) durch „z gehört der mit * anfangenden /-Reihe an“, oder durch „te gehört der mit z endenden /-Reihe an“ übersetzt werden. Dann lautet (99) in Worten so: http://rcin.org.pl 72 Wenn z dasselbe wie x ist, oder auf x in der f- Reihe folgt, so sage ich: „2 gehört der mit x anfangenden f-Reihe an“; oder: „x gehört der mit z endenden f- Reihe an“. z=2 y 99. 上 一 一 EN Sé X fa, pjs 5/ Ep) (57) : fa»r HE = | edu * U 28) Sage 5 f(x d zg) alz EM — $ f €» zg) (100. Fl Gy zg) (48) : — — — bl(z= 2) Hyry dc vg) en ed 3 25 2 ——— $ f (%, v a / Gn vg) E 8 ANA v) y ,. zg) —]14- 3$ f En vg) | ND (z = x) (101. (96 , 92) : : 2—— — y|2 442 | * 210: z|a Lg ALZA ) y|» | — f (z, v) y — A t) (102. Die Ableitung von (102) mag hier in Worten folgen. Wenn z dasselbe wie x ist, so folgt nach (92) jedes Ergebnis einer Anwendung des Verfahrens F auf 2 in der /-Reihe auf x. Wenn 2 in der /-Reihe auf x folgt, so folgt nach (96) jedes Ergebnis einer Anwendung von / auf z in der /-Reihe auf x. Aus diesen beiden Sätzen folgt nach (100): *) In Betreff des letzten Schlusses siehe $ 6. http://rcin.org.pl 73 * Wenn z der mit x anfangenden f- Reihe angehört, so folgt Jedes Ergebnis einer Anwendung des Verfahrens f auf z in der f-Reihe auf x. 100 Fr eg, | | Kj A (£y, 28) E zZ f (x, 25) (19) : „E = x) F Cl 3 FL) 78) | TE f Gy 20 d $e» 2g) LS f Gp 2g) a|(x = 2) | @=2) — (z= x) (103. (55) : dlx A -一 z) A | Ff Gy 2p) Y add 3 f (t, zg) (104. $ 30. Zou St T W b EL a Ep Li «o (52) : : dE — IE n ) 2=x HF np Tarp T 4% / (yy ec pl Gp tp) (105. (37) : a 5 f (x, 25) ET / n zg) 1 / Gn zp) (106. cl en 29) Was in der f-Reihe auf x folgt, gehórt der mit x anfan- genden f-Reihe an. http://rcin.org.pl 74 Ey Eu 5 f (2, vg) : 4 — $ f Gy Vp. 7) : ee EE a 5 f (zy, vj) EPI f (5, vg) P | fy vg) Wiener c fy, v) | 7 f (2y, yg) d 5 f (zy, Vg) | 5 f (25, vg) | — f (y, v) (102) : : SC f &y vp) y Y Lu f (25, vg) we EE f y, vg Hier folge die Ableitung von (108) in Worten. (107. (108. Wenn y der mit z anfangenden /-Reihe angehört, so folgt nach (102) jedes Ergebnis einer Anwendung des Verfahrens f auf y in der /-Reihe auf z. Nach (106) gehórt dann jedes Ergebnis einer Anwendung des Verfahrens / auf y der mit z anfangenden /-Reihe an. Daher: Wenn y der mit z anfangenden f- Reihe angehört, so gehört Jedes Ergebnis einer Anwendung des Verfahrens f auf y der mit z anfangenden f- Reihe an. 108 b -— 1 end a DÉI | 7/0, a) DR |. SG» bj) (75) : — ——ͤ——' ul > 6,2 FO) 3 Fry Pg) | | (8 1 ag) a Cd. «) 109. Die Eigenschaft, der mit x anfangenden f-Reihe anzuge- hören, vererbt sich in der f- Reihe. http://rcin.org.pl 75 109 E (s f Gy, ag) ax f' (0, a) (78) : -一 一 - HI) 37 (zy ' 3) "y $ f (Ey, mp) ey x y|m az 8 (u ma) = fer) — fy, a) (110. 108 EST $ TG vg) | EM. v) g^ (25) : —Ó— € i Ek i r Err rg er vj um ELT "gcn m — f. v) d be, ag — — Fllen 18 pA Folgendes ist die Ableitung von (111) in Worten. Wenn y der mit z anfangenden /-Reihe angehört, so gehört nach (108) jedes Ergebnis einer Anwendung des Verfahrens / auf y der mit z anfangenden /-Reihe an. Daher gehórt dann jedes Ergebnis einer Anwendung des Ver- fahrens f auf y der mit z anfangenden /-Reihe an, oder geht in der /-Reihe dem z vorher. Also: Wenn y der mit z anfangenden f- Reihe angehört, so gehört Jedes Ergebnis einer Anwendung des Verfahrens f auf y der mit z anfangenden f- Reihe an, oder geht in der f-Reihe dem z vorher. http://rcin.org.pl 76 di HE fen 28 | (z = &) be a zg) (11): a 5 Er 28) 5 = f (Ey, 28) b|(z = x) Lä (112. è 4 f(xy, 28) (7) : > + a 5 Er 25) HF f(x, 28) 5122 = > | | Ao B f (y x) 84 rs JE zp) 7 Rd ae f (zy, 2g) d 2 8 f (zy xg) 2 | (z E x) | ~% f (zy, xg) SE fr tg) (113. (104) 12 Y 2] Dra. Weck? Tate, a9) Sinz (114. Folgendes ist die Ableitung dieser Formel in Worten. Es gehöre x der mit z anfangenden /-Reihe an. Dann ist nach (104) z dasselbe wie x; oder x folgt in der f-Reihe auf z. Wenn z dasselbe wie x ist, so gehört nach (112) z der mit x anfangenden /-Reihe an. http://rcin.org.pl 77 Aus den letzten beiden Sätzen folgt: z gehört der mit x an- fangenden /-Reihe an; oder x= folgt in der /-Reihe auf z. Daher: Wenn x der mit z anfangenden f- Reihe angehört, so gehört z der mit x anfangenden f-Reihe an; oder x folgt in der . f- Reihe auf z. $ 31. — Su p d IL- | Bw | =I, e) P d : 1. (115. Ich übersetze d Led £) € durch „der Umstand, dass das Verfahren / eindeutig ist“. Dann kann (115) so wiedergegeben werden: Wenn aus dem Umstande, dass e Ergebnis einer Anwendung des Verfahrens f auf b ist, was auch d sein mag, geschlossen werden kann, dass jedes Ergebnis einer Anwendung des Ver- fahrens f auf b dasselbe wie € sei, so sage ich: „das Verfahren f ist eindeutig“. ee d 115 Hp B HA a) Lou: —— f (b, € , (68) : —— — fa| eiss r) ELE = 2) | | f(b, a) =, (d, a) — — f. P) 一 一 /oz d d b | I f(d, e) EI I /(0, e) £ € (116. cit aje (9) : *) $ 24. http://rcin.org.pl 78 b > n H L— (a zz) LF | | — f'(y, a) d | d c| 1/(0, £) | | 1700. £) € | € a)—*—(¢=2) | F *4 (a a) nece | | — f (y. a) —— f (y, x) | CUBA: a de ëm RT ep IX — fb. a) —— f0, x) (117. (58) A —— ald 7 (a = x) D (az a) | [1 m a) Mum | A) ely om | ER £) € (118. (19) : - 一 一 -一 b = (a — a) 55 — Lage a) K ong | EE? d| I /(6, e) | Ai (ð, £) € reg E — . a) Sp esn —f(y, a) (119. (58) MN mem C= 4 Ka | (a = ax) —/y.T) — fy. a) c|a == FQ, 2) ó I /(6, £) £ (120. (20) : — — http://rcin.org.pl 79 bl(a= x) Biel... dE kret a Kloe: | | fu, a) d — — e| 1 /(0, e) | pe a) d 170 £) a 7 fe e? ag) : | 3 E lf (ty 43) D Ven (121. 4 | 1 ivy Pup ai Wa ag) | I— f (y, a) fly, a) d e E 11058) s (122. 122 7 eu Fr | à f (c, a3) J, a) DENN x) 1 (6, £) (19) : lt B T flep a3) 16 ma) CM | weg MAUS mj 3 od S | ——f (Y, 2) i 170 j 1/6. £) € " LGA m3) | B — 5 (x, m3) / NW = af Yr mg) E Dë E Luz, mp) es ¿a H aj) — Ahttpz//rcin.arof.( 9 — (133. (110) 80 / ng ) A Es x) WG - 35 5 Ur. mg) Km | f (ô, £) (124. Es folge in Worten die Ableitung der Formeln (122) und (124). Es sei x Ergebnis einer Anwendung des eindeutigen Ver- fahrens / auf y. Dann ist nach (120) jedes Ergebnis einer Anwendung des Verfahrens f auf y dasselbe wie 2. Daher gehórt nach (112) jedes Ergebnis einer Anwendung des Verfahrens / auf y der mit x anfangenden /-Reihe an. Also: Wenn x Ergebnis einer Anwendung des eindeutigen Ver- fahrens f auf y ist, so gehört jedes Ergebnis einer Anwen- dung des Verfahrens f auf y der mit x anfangenden f-Reihe an. (Formel 122.) Es folge m in der /-Reihe auf y. Dann ergiebt sich aus (110): wenn jedes Ergebnis einer Anwendung des Verfahrens / auf y der mit x anfangenden /-Reihe angehört, so gehört m der mit « anfangenden /-Reihe an. Dies mit (122) verbunden zeigt, dass, wenn © Ergebnis einer Anwendung des eindeutigen Ver- fahrens / auf y ist, m der mit x anfangenden /-Reihe angehört. Also: Wenn x Ergebnis einer Anwendung des eindeutigen Verfahrens f auf y ist, und wenn m in der f-Reihe auf y folgt, so ge- hört m der mit x anfangenden f-Reihe an. (Formel 124). http://rcin.org.pl 81 124 3 T ft, ma Dr p ur ma) NS S =) d I /(, e) E (20) : d af (a, m) ERR HF (m,, vg c $ f (Uy mg) = Sr (x, mg) ` Zo E Sr (yy. ma) e I f (ô, £) fu 2) — 1 Fd.) Pp xg) € TS Are mal > ie ¿(Mp Tp) CE fe d ma GN: 6 Cas (125. (114) a|m zi | 一 一 一 一 一 过 y (my, x) + Hey ma) OR cR 1 9 ma) fi a) Wi. £) (126. Hier folgt die Ableitung dieser Formel in Worten. Es sei x Ergebnis einer Anwendung des eindeutigen Verfahrens f auf y. Frege, Formelsprache. 6 http://rcin.org.pl 82 Es folge m in der /-Reihe auf y. Dann gehört nach (124) m der mit v anfangenden /-Reihe an. Folglich gehört nach (114) x der mit m anfangenden /-Reihe an; oder m folgt in der f-Reihe auf x. Dies kann man auch ausdrücken: x gehört der mit m anfangenden /- Reihe an, oder geht in der /-Reise dem m voran. Daher: Wenn m in der f-Reihe auf y folgt, und wenn das Verfahren f eindeutig ist, so gehört jedes Ergebnis einer Anwendung des Verfahrens f auf y der mit m anfangenden f-Reihe an, oder geht in der f-Reihe dem m vorher. 126 S A Ei (yy, mg) A ^ x) — ire £) (12) : ———— S HALE mg) E I are , mg) v) Z1 uy mg EE JU x) ¿Ur mp d d d| 1 /(6, 9) e d fo | € € (127. (51) : 一 -一 一 一 http://rcin.org.pl SEA jer ag E E IR 3 Ibu v9) Erik dy mg) ho. ke dran mg) P: 705 x) | Ke f (y, x) C m mg) al (my, yg) a| t reso E Uy mp E b Ff tmp v9 ifs os 9 - v or xp) II cg f» mg) . a) D — Ms f (m , yg) (143) 3: zim vix ! | E) Sr ir | | er mg) | ER x) | : Hl mp yg) | Er mg) nan — = 1 (9, £) E In Worten lautet (129) so: 83 (128. (129. Wenn das Verfahren f eindeutig ist, und wenn y der mit m anfangenden f-Reihe angehört, oder in der f-Reihe dem m vorhergeht, so gehört jedes Ergebnis einer Anwendung des Verfahrens f auf y der mit m anfangenden f-Reihe an, oder geht in der f-Reihe dem m vorher. http://rcin.org.pl K 84 9 er ES ak 57 (mj, ag) y | E i ALS mg) — — fb, a) A ia bg) x HAUS mg) ó I f(6, e) (9) : — ERA 2 —24 f (my, b "TV f (my, ag) Ee, ag) 1— — — mA mg) 1 A fa, mg) itr Aio | f (6, a) de d ua qe MN 170 € 一 ror me bad f (m, dg i (6, €) | à y € — — 4 D d Nu, mg) T? I ag) à f (9, a) loe. Lem “al dry mp Y ET pow f (& a) lar mg — f (0, a) Ff mp hg ire, mg) (15) .. a Mr A ak (130. http://rcin.org.pl 85 F(T) TG Op Tp ee % % ge vif (s md a jd a) DES 59 £) (131. In Worten lautet (131) so: Wenn das Verfahren f eindeutig ist, so vererbt sich die Eigenschaft, der mit m anfangenden f-Reihe anzugehören, oder in der f-Reihe dem m vorherzugehen® in der f-Reihe. 131 ka 3 f (my, ag) d 4 LA S f (ay, mg) f (ó, a) d — I f(d, e) € (9) : — —u-— — http://rcin.org.pl 86 To gd Em 1 R — Gs THT (a, mg) | T WE of (yy, mg) VJ ei | | — Y rey up) | | d | | e| 1/66, 9 | € | | TGF Uy mp) | GZ e Arts yo) | | || Le Gef mp) | n d^ 1 » D 5 : Bn, vp E mp E cg ale’ (m,, ag) zët (cy mg) typ Ap e vi de (69) (132. (83) : : 90 Sr (m, Pg) ENGER. Sr (my, ad 8 A)| E fy mg /n pur Er (xy, yg) n mp) ó = rer ii € (133. In Worten lautet dieser Satz so: Wenn das Verfahren f eindeutig ist, und wenn m und y in http://rcin.org.pl 87 der f-Reihe auf x folgen, so gehört y der mit m anfangenden f-Reihe an, oder geht in der f-Reihe dem m vorher. Ich lasse hier eine Tafel folgen, aus der zu ersehen ist, an welchen Stellen von einer Formel zur Ableitung einer andern Gebrauch gemacht ist. Man kann sich ihrer bedienen, um die Verwendungsweisen einer Formel nachzusehen. Auch ist daraus die Häufigkeit der Anwendung einer Formel zu erkennen. Rechts vom Striche steht immer die Ziffer der Formel, bei deren Ableitung die links bezeichnete verwendet ist. 14 3 7| 67 | 12 16 | 21] 44 | 44] 45 59 一 1| 5 79412 24 21 47 | 45 46 | 60| 93 1|11 7|107 | 12| 35 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| 25 | 47| 49 | 62| 64 1 | 27 8 10 | 12 85 | 24| 63 | 48/101 | 63 | 91 1 | 36 8| 12 | 12| 127 | 25 | 111 | 49 50 64 65 2| 3 8| 17 13 14] 26 27 | 50 65 | 66 ai Al 8| 26] 14] 15 | 27 42 | 51 128 66 | — 2 39 8| 38 [15 ss | 28| 29 52 53 6768 2 73 8| 53]| 16| 17 | 298| 38 | 52 57 | 68| 70 2 79 8| 62 | 16 18 | 29| 30 | 52 89 | 68| 77 3| 4 8| 66 | 16| 22 | 30| 59 | 52 | 105 | 68 | 116 4 5| 8| 74117] 50] 31| 32 | 53 55 | 69 70 5 6 8| 8417 78 | 32 33 | 52 75 | 69| 75 B4 7 8| 96 | 18| 19 | 33| 34 | 53 92 70 71 5 9 9| 10 | 18| 20 | 33| 46 | 54| 55 | 71 72 5 12 9| 11 | 18] 23 | 34| 35 55 56 | 72| 73 5 | 14 9| 19 | 18| 51 | 34| 36 | 55 | 104 | 72| 74 5 | 16 9| 21 | 18| 64 | 35| 40 | 56 | 57 |73| 87 5|18| 9| 37 | 18| 82 | 36 | 37 | 57 | 68 | 74| 81 5 | 22 9| 56 | 19 20 | 36 | 38 | 57° 100 | 75| 97 5 25 9| 61 | 19| 21 | 36 83 58 59 | 75 | 109 5 29 9 117 19 71 | 37 106 | 58 60 | 75 131 5 34 9/130 | 19 86 | 38 39 | 58 61 | 76| 77 5 45 9 132 | 19 103 | 39 40 | 58 62 | 76| 89 5 80] 10 3019 119 40 43 58 67 77 78 5/90 11112 | 19, 123 41 | 42 58 72 77 85 6 7 12 13 | 20 121] 42 43 58 11878 79 7 32 | 12| 15 | 20 125 | 43| 44 | 58 120 | 78 | 110 http://rcin.org.pl 98 | — | 106 | 107 99 | 100 | 107 | 108 99 | 105 | 108 | 109 100 | 101 | 108 | 111 100 | 103 | 109 | 110 101 | 102 | 110 124 102 | 108 | 111 | 129 103 | 104 | 112 | 113 104 | 114 | 112 | 122 105 | 106 | 113 Ear Halle, Druck von E, Karras. http://rcin.org.pl 114 115 116 117 118 119 120 121 122 123 | 126 116 117 118 119 120 121 122 123 124 y i