stimmte Partikularlösung 0 zurück -- womit sich der oben bemerkte auf- fallende Gegensatz wohl einigermassen erklärt.
In methodologischer Hinsicht verdient es vielleicht Beachtung, dass die Lösungen 13) sich aufgrund derer 11) auch systematisch finden lassen ohne dass man in einen Zirkel gerät.
Um dies zu zeigen, muss ich freilich noch weiter vorgreifen.
Soll etwa 1 ; x j 0 = 0 oder y j 0 = 0 sein, so muss man nach dem Schema von 11) oben rechts haben: y, das ist 1 ; x = vn ; 1 · v.
Der Adventivforderung gemäss wird dabei v dem y als wesentlicher Parameter zugeordnet sein, und da y = 1 ; x bedeuten sollte, so wird der- selben Adventivforderung zuliebe auch v durch 1 ; u zu ersetzen sein, damit schliesslich u dem x als wesentlicher willkürlicher Parameter entspreche.
In § 19 werden wir aber lernen, eine Gleichung von der Form 1 ; x = a in der Gestalt: x = a(u + 0 j u;n) aufzulösen und zugleich sehn, dass dabei als Resultante: a = 1 ; a zutreffen muss.
Mit dem oben motivirten Werte v = 1 ; u, also vn = 0 j un wird nun unser a = (0 j un) ; 1 · 1 ; u = (0 j un) ; 1 ; u und zeigt sich die Forderung der Resul- tante als 1 ; a = 1 ; (0 j un) ; 1 ; u = (0 j un) ; 1 ; u = a von selbst erfüllt. Dar- nach haben wir sofort: x = (u + 0 j un) · (0 j un) ; 1 · 1 ; u = u · (0 j un) ; 1, weil u · 1 ; u = u und (0 j un) · 1 ; u = 0 ist -- d. h. es ist die dritte von den Lösungen 13) gewonnen. Auf diesem Wege hatte ich sie erstmals gefunden.
Dass jedes System von universalen Propositionen (also blos Glei- chungen und Subsumtionen) sich, sofern es lösbar (d. h. nicht absurd) ist, in der Form x = f(u) auflösen lasse, dies hatte sich schon im identischen Kalkul herausgestellt und war das Fortbestehen dieser That- sache auch in der Algebra der Relative wol weniger überraschend.
In § 12 haben wir aber gezeigt, dass hier ein Gleiches auch für Systeme mit partikularen Propositionen (Ungleichungen oder Unsub- sumtionen) gelten muss -- und nicht blos für Systeme mit simultanen sondern auch für solche mit alternativen Forderungen.
Die obigen Beispiele habe ich darum mit Vorliebe aus dem letz- teren, dem ganz neu hinzugekommenen Anwendungsgebiete gewählt. Dies um so mehr, als wir demnächst unsre Aufmerksamkeit für längere Zeit wieder vorwiegend den Problemen von universalem Charakter zu- zuwenden haben werden.
Ebendarum seien nun auch noch folgende Probleme mit ihren Lösungen hiernächst angeführt: 14)
[Formel 1]
, 15)
[Formel 2]
.
Fünfte Vorlesung.
stimmte Partikularlösung 0 zurück — womit sich der oben bemerkte auf- fallende Gegensatz wohl einigermassen erklärt.
In methodologischer Hinsicht verdient es vielleicht Beachtung, dass die Lösungen 13) sich aufgrund derer 11) auch systematisch finden lassen ohne dass man in einen Zirkel gerät.
Um dies zu zeigen, muss ich freilich noch weiter vorgreifen.
Soll etwa 1 ; x ɟ 0 = 0 oder y ɟ 0 = 0 sein, so muss man nach dem Schema von 11) oben rechts haben: y, das ist 1 ; x = v̄ ; 1 · v.
Der Adventivforderung gemäss wird dabei v dem y als wesentlicher Parameter zugeordnet sein, und da y = 1 ; x bedeuten sollte, so wird der- selben Adventivforderung zuliebe auch v durch 1 ; u zu ersetzen sein, damit schliesslich u dem x als wesentlicher willkürlicher Parameter entspreche.
In § 19 werden wir aber lernen, eine Gleichung von der Form 1 ; x = a in der Gestalt: x = a(u + 0 ɟ u;̄) aufzulösen und zugleich sehn, dass dabei als Resultante: a = 1 ; a zutreffen muss.
Mit dem oben motivirten Werte v = 1 ; u, also v̄ = 0 ɟ ū wird nun unser a = (0 ɟ ū) ; 1 · 1 ; u = (0 ɟ ū) ; 1 ; u und zeigt sich die Forderung der Resul- tante als 1 ; a = 1 ; (0 ɟ ū) ; 1 ; u = (0 ɟ ū) ; 1 ; u = a von selbst erfüllt. Dar- nach haben wir sofort: x = (u + 0 ɟ ū) · (0 ɟ ū) ; 1 · 1 ; u = u · (0 ɟ ū) ; 1, weil u · 1 ; u = u und (0 ɟ ū) · 1 ; u = 0 ist — d. h. es ist die dritte von den Lösungen 13) gewonnen. Auf diesem Wege hatte ich sie erstmals gefunden.
Dass jedes System von universalen Propositionen (also blos Glei- chungen und Subsumtionen) sich, sofern es lösbar (d. h. nicht absurd) ist, in der Form x = f(u) auflösen lasse, dies hatte sich schon im identischen Kalkul herausgestellt und war das Fortbestehen dieser That- sache auch in der Algebra der Relative wol weniger überraschend.
In § 12 haben wir aber gezeigt, dass hier ein Gleiches auch für Systeme mit partikularen Propositionen (Ungleichungen oder Unsub- sumtionen) gelten muss — und nicht blos für Systeme mit simultanen sondern auch für solche mit alternativen Forderungen.
Die obigen Beispiele habe ich darum mit Vorliebe aus dem letz- teren, dem ganz neu hinzugekommenen Anwendungsgebiete gewählt. Dies um so mehr, als wir demnächst unsre Aufmerksamkeit für längere Zeit wieder vorwiegend den Problemen von universalem Charakter zu- zuwenden haben werden.
Ebendarum seien nun auch noch folgende Probleme mit ihren Lösungen hiernächst angeführt: 14)
[Formel 1]
, 15)
[Formel 2]
.
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0212"n="198"/><fwplace="top"type="header">Fünfte Vorlesung.</fw><lb/>
stimmte Partikularlösung 0 zurück — womit sich der oben bemerkte auf-<lb/>
fallende Gegensatz wohl einigermassen erklärt.</p><lb/><p>In methodologischer Hinsicht verdient es vielleicht Beachtung, dass<lb/>
die Lösungen 13) sich aufgrund derer 11) auch systematisch finden lassen<lb/>
ohne dass man in einen Zirkel gerät.</p><lb/><p>Um dies zu zeigen, muss ich freilich noch weiter vorgreifen.</p><lb/><p>Soll etwa 1 ; <hirendition="#i">x</hi>ɟ 0 = 0 oder <hirendition="#i">y</hi>ɟ 0 = 0 sein, so muss man nach dem<lb/>
Schema von 11) oben rechts haben: <hirendition="#i">y</hi>, das ist 1 ; <hirendition="#i">x</hi> = <hirendition="#i">v̄</hi> ; 1 · <hirendition="#i">v</hi>.</p><lb/><p>Der Adventivforderung gemäss wird dabei <hirendition="#i">v</hi> dem <hirendition="#i">y</hi> als wesentlicher<lb/>
Parameter zugeordnet sein, und da <hirendition="#i">y</hi> = 1 ; <hirendition="#i">x</hi> bedeuten sollte, so wird der-<lb/>
selben Adventivforderung zuliebe auch <hirendition="#i">v</hi> durch 1 ; <hirendition="#i">u</hi> zu ersetzen sein, damit<lb/>
schliesslich <hirendition="#i">u</hi> dem <hirendition="#i">x</hi> als wesentlicher willkürlicher Parameter entspreche.</p><lb/><p>In § 19 werden wir aber lernen, eine Gleichung von der Form 1 ; <hirendition="#i">x</hi> = <hirendition="#i">a</hi><lb/>
in der Gestalt: <hirendition="#i">x</hi> = <hirendition="#i">a</hi>(<hirendition="#i">u</hi> + 0 ɟ<hirendition="#i">u;̄</hi>) aufzulösen und zugleich sehn, dass dabei<lb/>
als Resultante: <hirendition="#i">a</hi> = 1 ; <hirendition="#i">a</hi> zutreffen muss.</p><lb/><p>Mit dem oben motivirten Werte <hirendition="#i">v</hi> = 1 ; <hirendition="#i">u</hi>, also <hirendition="#i">v̄</hi> = 0 ɟ<hirendition="#i">ū</hi> wird nun unser<lb/><hirendition="#i">a</hi> = (0 ɟ<hirendition="#i">ū</hi>) ; 1 · 1 ; <hirendition="#i">u</hi> = (0 ɟ<hirendition="#i">ū</hi>) ; 1 ; <hirendition="#i">u</hi> und zeigt sich die Forderung der Resul-<lb/>
tante als 1 ; <hirendition="#i">a</hi> = 1 ; (0 ɟ<hirendition="#i">ū</hi>) ; 1 ; <hirendition="#i">u</hi> = (0 ɟ<hirendition="#i">ū</hi>) ; 1 ; <hirendition="#i">u</hi> = <hirendition="#i">a</hi> von selbst erfüllt. Dar-<lb/>
nach haben wir sofort:<lb/><hirendition="#c"><hirendition="#i">x</hi> = (<hirendition="#i">u</hi> + 0 ɟ<hirendition="#i">ū</hi>) · (0 ɟ<hirendition="#i">ū</hi>) ; 1 · 1 ; <hirendition="#i">u</hi> = <hirendition="#i">u</hi> · (0 ɟ<hirendition="#i">ū</hi>) ; 1,</hi><lb/>
weil <hirendition="#i">u</hi> · 1 ; <hirendition="#i">u</hi> = <hirendition="#i">u</hi> und (0 ɟ<hirendition="#i">ū</hi>) · 1 ; <hirendition="#i">u</hi> = 0 ist — d. h. es ist die dritte von den<lb/>
Lösungen 13) gewonnen. Auf diesem Wege hatte ich sie erstmals gefunden.</p><lb/><p>Dass jedes System von universalen Propositionen (also blos Glei-<lb/>
chungen und Subsumtionen) sich, sofern es lösbar (d. h. nicht absurd)<lb/>
ist, in der Form <hirendition="#i">x</hi> = <hirendition="#i">f</hi>(<hirendition="#i">u</hi>) auflösen lasse, dies hatte sich schon im<lb/>
identischen Kalkul herausgestellt und war das Fortbestehen dieser That-<lb/>
sache auch in der Algebra der Relative wol weniger überraschend.</p><lb/><p>In § 12 haben wir aber gezeigt, dass hier ein Gleiches auch für<lb/>
Systeme mit partikularen Propositionen (Ungleichungen oder Unsub-<lb/>
sumtionen) gelten muss — und nicht blos für Systeme mit simultanen<lb/>
sondern auch für solche mit alternativen Forderungen.</p><lb/><p>Die obigen Beispiele habe ich darum mit Vorliebe aus dem letz-<lb/>
teren, dem ganz neu hinzugekommenen Anwendungsgebiete gewählt.<lb/>
Dies um so mehr, als wir demnächst unsre Aufmerksamkeit für längere<lb/>
Zeit wieder vorwiegend den Problemen von universalem Charakter zu-<lb/>
zuwenden haben werden.</p><lb/><p>Ebendarum seien nun auch noch folgende Probleme mit ihren<lb/>
Lösungen hiernächst angeführt:<lb/>
14) <hirendition="#et"><formula/>,</hi><lb/>
15) <hirendition="#et"><formula/>.</hi><lb/></p></div></div></body></text></TEI>
[198/0212]
Fünfte Vorlesung.
stimmte Partikularlösung 0 zurück — womit sich der oben bemerkte auf-
fallende Gegensatz wohl einigermassen erklärt.
In methodologischer Hinsicht verdient es vielleicht Beachtung, dass
die Lösungen 13) sich aufgrund derer 11) auch systematisch finden lassen
ohne dass man in einen Zirkel gerät.
Um dies zu zeigen, muss ich freilich noch weiter vorgreifen.
Soll etwa 1 ; x ɟ 0 = 0 oder y ɟ 0 = 0 sein, so muss man nach dem
Schema von 11) oben rechts haben: y, das ist 1 ; x = v̄ ; 1 · v.
Der Adventivforderung gemäss wird dabei v dem y als wesentlicher
Parameter zugeordnet sein, und da y = 1 ; x bedeuten sollte, so wird der-
selben Adventivforderung zuliebe auch v durch 1 ; u zu ersetzen sein, damit
schliesslich u dem x als wesentlicher willkürlicher Parameter entspreche.
In § 19 werden wir aber lernen, eine Gleichung von der Form 1 ; x = a
in der Gestalt: x = a(u + 0 ɟ u;̄) aufzulösen und zugleich sehn, dass dabei
als Resultante: a = 1 ; a zutreffen muss.
Mit dem oben motivirten Werte v = 1 ; u, also v̄ = 0 ɟ ū wird nun unser
a = (0 ɟ ū) ; 1 · 1 ; u = (0 ɟ ū) ; 1 ; u und zeigt sich die Forderung der Resul-
tante als 1 ; a = 1 ; (0 ɟ ū) ; 1 ; u = (0 ɟ ū) ; 1 ; u = a von selbst erfüllt. Dar-
nach haben wir sofort:
x = (u + 0 ɟ ū) · (0 ɟ ū) ; 1 · 1 ; u = u · (0 ɟ ū) ; 1,
weil u · 1 ; u = u und (0 ɟ ū) · 1 ; u = 0 ist — d. h. es ist die dritte von den
Lösungen 13) gewonnen. Auf diesem Wege hatte ich sie erstmals gefunden.
Dass jedes System von universalen Propositionen (also blos Glei-
chungen und Subsumtionen) sich, sofern es lösbar (d. h. nicht absurd)
ist, in der Form x = f(u) auflösen lasse, dies hatte sich schon im
identischen Kalkul herausgestellt und war das Fortbestehen dieser That-
sache auch in der Algebra der Relative wol weniger überraschend.
In § 12 haben wir aber gezeigt, dass hier ein Gleiches auch für
Systeme mit partikularen Propositionen (Ungleichungen oder Unsub-
sumtionen) gelten muss — und nicht blos für Systeme mit simultanen
sondern auch für solche mit alternativen Forderungen.
Die obigen Beispiele habe ich darum mit Vorliebe aus dem letz-
teren, dem ganz neu hinzugekommenen Anwendungsgebiete gewählt.
Dies um so mehr, als wir demnächst unsre Aufmerksamkeit für längere
Zeit wieder vorwiegend den Problemen von universalem Charakter zu-
zuwenden haben werden.
Ebendarum seien nun auch noch folgende Probleme mit ihren
Lösungen hiernächst angeführt:
14) [FORMEL],
15) [FORMEL].
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. 198. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/212>, abgerufen am 01.09.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/.