wir sind alsdann bei der gewünschten Endstation angelangt, und dass wir uns schon da befinden, muss uns kund werden; der Zug darf nicht weiter fahren zu einer andern Wurzel.
Zu den in ihrem Begriff liegenden primären oder Minimal-Anforde- rungen der allgemeinen Lösung tritt also als eine sekundäre oder Adventiv-Anforderung aus den erwähnten beiden Gründen noch die hinzu, dass die allgemeine Lösung uns jede glücklich vermutete Wurzel als solche dadurch verrate, dass ihr Ausdruck bei deren Einsetzung für das u in f(u) uns diese Wurzel selbst wiedergibt, sie reproduzirt.
Das heisst: f(u) muss so beschaffen sein, wenn anders es eine befriedigende allgemeine Lösung soll heissen dürfen, dass 13) {F(x) = 0} {f(x) = x}. Und da die umgekehrte Aussagensubsumtion -- nach 3) für u = x in Anspruch genommen -- schon ohnehin gilt, so mögen wir dieser Sub- sumtion auch die Form geben der Gleichung 4).
Diese zusätzliche oder adventive Anforderung 4) an die allgemeine Lösung genügt ihrerseits, wenn für eine gewisse Funktion f erfüllt, noch nicht, um diese Funktion als zur Darstellung der allgemeinen Lösung von 1) geeignet zu legitimiren; vielmehr garantirt sie blos, dass die Funktion f(u) alle Wurzeln x umfasse, es offen lassend, ob sie nicht auch noch andre als wie Wurzelwerte anzunehmen oder zu liefern fähig wäre; sie verbürgt uns blos, dass "die Probe 2" stimmen muss.
Andrerseits sahen wir auch, dass 4) keineswegs logische Folge von 3) ist -- wie zum. Überfluss weiter unten streng bewiesen wird.
Zur Charakterisirung einer "nicht vorweg unbefriedigenden" all- gemeinen Lösung müssten wir also eigentlich das Produkt der Aus- sagen 3) und 4) oder auch deren Vereinigung zur Doppelgleichung 14)
[Formel 1]
jeweils hinschreiben.
Bei allen Lösungen von speziellen Problemen, die wir künftig auf- stellen, werden wir Sorge tragen, dass jene Adventivforderung mit- erfüllt ist, und unsre Angaben von Lösungen werden allemal (wonicht anders bemerkt) deren Erfüllung thatsächlich leisten und sie zu erfüllen beanspruchen. Es wäre aber zu umständlich, diesem Umstande mittelst ausdrücklicher Beifügung des Ansatzes f(x) = x -- zumal, wo f(u) einen verwickelten Ausdruck besitzt -- jeweils Rechnung zu tragen, und so werden wir uns mit der Angabe der Lösungen in Gestalt von 3) begnügen. Man merkt sich leicht hinzu: dass u = x immer einen zu- lässigen Wert des u bildet, fähig die Wurzel x zu liefern.
§ 12. Die (erste) Adventivforderung motivirt.
wir sind alsdann bei der gewünschten Endstation angelangt, und dass wir uns schon da befinden, muss uns kund werden; der Zug darf nicht weiter fahren zu einer andern Wurzel.
Zu den in ihrem Begriff liegenden primären oder Minimal-Anforde- rungen der allgemeinen Lösung tritt also als eine sekundäre oder Adventiv-Anforderung aus den erwähnten beiden Gründen noch die hinzu, dass die allgemeine Lösung uns jede glücklich vermutete Wurzel als solche dadurch verrate, dass ihr Ausdruck bei deren Einsetzung für das u in f(u) uns diese Wurzel selbst wiedergibt, sie reproduzirt.
Das heisst: f(u) muss so beschaffen sein, wenn anders es eine befriedigende allgemeine Lösung soll heissen dürfen, dass 13) {F(x) = 0} ⋹ {f(x) = x}. Und da die umgekehrte Aussagensubsumtion — nach 3) für u = x in Anspruch genommen — schon ohnehin gilt, so mögen wir dieser Sub- sumtion auch die Form geben der Gleichung 4).
Diese zusätzliche oder adventive Anforderung 4) an die allgemeine Lösung genügt ihrerseits, wenn für eine gewisse Funktion f erfüllt, noch nicht, um diese Funktion als zur Darstellung der allgemeinen Lösung von 1) geeignet zu legitimiren; vielmehr garantirt sie blos, dass die Funktion f(u) alle Wurzeln x umfasse, es offen lassend, ob sie nicht auch noch andre als wie Wurzelwerte anzunehmen oder zu liefern fähig wäre; sie verbürgt uns blos, dass „die Probe 2“ stimmen muss.
Andrerseits sahen wir auch, dass 4) keineswegs logische Folge von 3) ist — wie zum. Überfluss weiter unten streng bewiesen wird.
Zur Charakterisirung einer „nicht vorweg unbefriedigenden“ all- gemeinen Lösung müssten wir also eigentlich das Produkt der Aus- sagen 3) und 4) oder auch deren Vereinigung zur Doppelgleichung 14)
[Formel 1]
jeweils hinschreiben.
Bei allen Lösungen von speziellen Problemen, die wir künftig auf- stellen, werden wir Sorge tragen, dass jene Adventivforderung mit- erfüllt ist, und unsre Angaben von Lösungen werden allemal (wonicht anders bemerkt) deren Erfüllung thatsächlich leisten und sie zu erfüllen beanspruchen. Es wäre aber zu umständlich, diesem Umstande mittelst ausdrücklicher Beifügung des Ansatzes f(x) = x — zumal, wo f(u) einen verwickelten Ausdruck besitzt — jeweils Rechnung zu tragen, und so werden wir uns mit der Angabe der Lösungen in Gestalt von 3) begnügen. Man merkt sich leicht hinzu: dass u = x immer einen zu- lässigen Wert des u bildet, fähig die Wurzel x zu liefern.
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0185"n="171"/><fwplace="top"type="header">§ 12. Die (erste) Adventivforderung motivirt.</fw><lb/>
wir <hirendition="#i">sind</hi> alsdann bei der gewünschten Endstation angelangt, und dass<lb/>
wir uns schon da befinden, muss uns kund werden; der Zug darf nicht<lb/>
weiter fahren zu einer andern Wurzel.</p><lb/><p>Zu den in ihrem Begriff liegenden primären oder Minimal-Anforde-<lb/>
rungen der allgemeinen Lösung tritt also als eine sekundäre oder<lb/>
Adventiv-Anforderung aus den erwähnten beiden Gründen noch die<lb/>
hinzu, dass die allgemeine Lösung uns jede glücklich vermutete Wurzel<lb/>
als solche dadurch verrate, dass ihr Ausdruck bei deren Einsetzung<lb/>
für das <hirendition="#i">u</hi> in <hirendition="#i">f</hi>(<hirendition="#i">u</hi>) uns diese Wurzel selbst wiedergibt, sie <hirendition="#i">reproduzirt</hi>.</p><lb/><p>Das heisst: <hirendition="#i">f</hi>(<hirendition="#i">u</hi>) muss so beschaffen sein, wenn anders es eine<lb/>
befriedigende allgemeine Lösung soll heissen dürfen, dass<lb/>
13) <hirendition="#et">{<hirendition="#i">F</hi>(<hirendition="#i">x</hi>) = 0} ⋹ {<hirendition="#i">f</hi>(<hirendition="#i">x</hi>) = <hirendition="#i">x</hi>}.</hi><lb/>
Und da die umgekehrte Aussagensubsumtion — nach 3) für <hirendition="#i">u</hi> = <hirendition="#i">x</hi> in<lb/>
Anspruch genommen — schon ohnehin gilt, so mögen wir dieser Sub-<lb/>
sumtion auch die Form geben der <hirendition="#i">Gleichung</hi> 4).</p><lb/><p>Diese zusätzliche oder adventive Anforderung 4) an die allgemeine<lb/>
Lösung genügt ihrerseits, wenn für eine gewisse Funktion <hirendition="#i">f</hi> erfüllt,<lb/>
noch <hirendition="#i">nicht</hi>, um diese Funktion als zur Darstellung der allgemeinen<lb/>
Lösung von 1) geeignet zu legitimiren; vielmehr garantirt sie blos,<lb/>
dass die Funktion <hirendition="#i">f</hi>(<hirendition="#i">u</hi>) <hirendition="#i">alle</hi> Wurzeln <hirendition="#i">x</hi> umfasse, es offen lassend, ob<lb/>
sie nicht auch noch andre als wie Wurzelwerte anzunehmen oder zu<lb/>
liefern fähig wäre; sie verbürgt uns blos, dass „die Probe 2“ stimmen muss.</p><lb/><p>Andrerseits sahen wir auch, dass 4) keineswegs logische Folge<lb/>
von 3) ist — wie zum. Überfluss weiter unten streng bewiesen wird.</p><lb/><p>Zur Charakterisirung einer „nicht vorweg unbefriedigenden“ all-<lb/>
gemeinen Lösung müssten wir also eigentlich das Produkt der Aus-<lb/>
sagen 3) und 4) oder auch deren Vereinigung zur <hirendition="#i">Doppelgleichung</hi><lb/>
14) <hirendition="#et"><formula/></hi><lb/>
jeweils hinschreiben.</p><lb/><p>Bei allen Lösungen von speziellen Problemen, die wir künftig auf-<lb/>
stellen, werden wir Sorge tragen, dass jene Adventivforderung mit-<lb/>
erfüllt ist, und unsre Angaben von Lösungen werden allemal (wonicht<lb/>
anders bemerkt) deren Erfüllung thatsächlich leisten und sie zu erfüllen<lb/><hirendition="#i">beanspruchen</hi>. Es wäre aber zu umständlich, diesem Umstande mittelst<lb/>
ausdrücklicher Beifügung des Ansatzes <hirendition="#i">f</hi>(<hirendition="#i">x</hi>) = <hirendition="#i">x</hi>— zumal, wo <hirendition="#i">f</hi>(<hirendition="#i">u</hi>)<lb/>
einen verwickelten Ausdruck besitzt — jeweils Rechnung zu tragen,<lb/>
und so werden wir uns mit der Angabe der Lösungen in Gestalt von 3)<lb/>
begnügen. Man merkt sich leicht hinzu: <hirendition="#i">dass u</hi> = <hirendition="#i">x immer einen zu-<lb/>
lässigen Wert des u bildet</hi>, <hirendition="#i">fähig die Wurzel x zu liefern</hi>.</p><lb/></div></div></body></text></TEI>
[171/0185]
§ 12. Die (erste) Adventivforderung motivirt.
wir sind alsdann bei der gewünschten Endstation angelangt, und dass
wir uns schon da befinden, muss uns kund werden; der Zug darf nicht
weiter fahren zu einer andern Wurzel.
Zu den in ihrem Begriff liegenden primären oder Minimal-Anforde-
rungen der allgemeinen Lösung tritt also als eine sekundäre oder
Adventiv-Anforderung aus den erwähnten beiden Gründen noch die
hinzu, dass die allgemeine Lösung uns jede glücklich vermutete Wurzel
als solche dadurch verrate, dass ihr Ausdruck bei deren Einsetzung
für das u in f(u) uns diese Wurzel selbst wiedergibt, sie reproduzirt.
Das heisst: f(u) muss so beschaffen sein, wenn anders es eine
befriedigende allgemeine Lösung soll heissen dürfen, dass
13) {F(x) = 0} ⋹ {f(x) = x}.
Und da die umgekehrte Aussagensubsumtion — nach 3) für u = x in
Anspruch genommen — schon ohnehin gilt, so mögen wir dieser Sub-
sumtion auch die Form geben der Gleichung 4).
Diese zusätzliche oder adventive Anforderung 4) an die allgemeine
Lösung genügt ihrerseits, wenn für eine gewisse Funktion f erfüllt,
noch nicht, um diese Funktion als zur Darstellung der allgemeinen
Lösung von 1) geeignet zu legitimiren; vielmehr garantirt sie blos,
dass die Funktion f(u) alle Wurzeln x umfasse, es offen lassend, ob
sie nicht auch noch andre als wie Wurzelwerte anzunehmen oder zu
liefern fähig wäre; sie verbürgt uns blos, dass „die Probe 2“ stimmen muss.
Andrerseits sahen wir auch, dass 4) keineswegs logische Folge
von 3) ist — wie zum. Überfluss weiter unten streng bewiesen wird.
Zur Charakterisirung einer „nicht vorweg unbefriedigenden“ all-
gemeinen Lösung müssten wir also eigentlich das Produkt der Aus-
sagen 3) und 4) oder auch deren Vereinigung zur Doppelgleichung
14) [FORMEL]
jeweils hinschreiben.
Bei allen Lösungen von speziellen Problemen, die wir künftig auf-
stellen, werden wir Sorge tragen, dass jene Adventivforderung mit-
erfüllt ist, und unsre Angaben von Lösungen werden allemal (wonicht
anders bemerkt) deren Erfüllung thatsächlich leisten und sie zu erfüllen
beanspruchen. Es wäre aber zu umständlich, diesem Umstande mittelst
ausdrücklicher Beifügung des Ansatzes f(x) = x — zumal, wo f(u)
einen verwickelten Ausdruck besitzt — jeweils Rechnung zu tragen,
und so werden wir uns mit der Angabe der Lösungen in Gestalt von 3)
begnügen. Man merkt sich leicht hinzu: dass u = x immer einen zu-
lässigen Wert des u bildet, fähig die Wurzel x zu liefern.
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 171. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/185>, abgerufen am 18.12.2024.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.
