Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.

Bild:
<< vorherige Seite
nächste Seite >>

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 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>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0212" n="198"/><fw place="top" type="header">Fünfte Vorlesung.</fw><lb/>
stimmte Partikularlösung 0 zurück &#x2014; 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 ; <hi rendition="#i">x</hi> &#x025F; 0 = 0 oder <hi rendition="#i">y</hi> &#x025F; 0 = 0 sein, so muss man nach dem<lb/>
Schema von 11) oben rechts haben: <hi rendition="#i">y</hi>, das ist 1 ; <hi rendition="#i">x</hi> = <hi rendition="#i">v&#x0304;</hi> ; 1 · <hi rendition="#i">v</hi>.</p><lb/>
          <p>Der Adventivforderung gemäss wird dabei <hi rendition="#i">v</hi> dem <hi rendition="#i">y</hi> als wesentlicher<lb/>
Parameter zugeordnet sein, und da <hi rendition="#i">y</hi> = 1 ; <hi rendition="#i">x</hi> bedeuten sollte, so wird der-<lb/>
selben Adventivforderung zuliebe auch <hi rendition="#i">v</hi> durch 1 ; <hi rendition="#i">u</hi> zu ersetzen sein, damit<lb/>
schliesslich <hi rendition="#i">u</hi> dem <hi rendition="#i">x</hi> als wesentlicher willkürlicher Parameter entspreche.</p><lb/>
          <p>In § 19 werden wir aber lernen, eine Gleichung von der Form 1 ; <hi rendition="#i">x</hi> = <hi rendition="#i">a</hi><lb/>
in der Gestalt: <hi rendition="#i">x</hi> = <hi rendition="#i">a</hi>(<hi rendition="#i">u</hi> + 0 &#x025F; <hi rendition="#i">u;&#x0304;</hi>) aufzulösen und zugleich sehn, dass dabei<lb/>
als Resultante: <hi rendition="#i">a</hi> = 1 ; <hi rendition="#i">a</hi> zutreffen muss.</p><lb/>
          <p>Mit dem oben motivirten Werte <hi rendition="#i">v</hi> = 1 ; <hi rendition="#i">u</hi>, also <hi rendition="#i">v&#x0304;</hi> = 0 &#x025F; <hi rendition="#i">u&#x0304;</hi> wird nun unser<lb/><hi rendition="#i">a</hi> = (0 &#x025F; <hi rendition="#i">u&#x0304;</hi>) ; 1 · 1 ; <hi rendition="#i">u</hi> = (0 &#x025F; <hi rendition="#i">u&#x0304;</hi>) ; 1 ; <hi rendition="#i">u</hi> und zeigt sich die Forderung der Resul-<lb/>
tante als 1 ; <hi rendition="#i">a</hi> = 1 ; (0 &#x025F; <hi rendition="#i">u&#x0304;</hi>) ; 1 ; <hi rendition="#i">u</hi> = (0 &#x025F; <hi rendition="#i">u&#x0304;</hi>) ; 1 ; <hi rendition="#i">u</hi> = <hi rendition="#i">a</hi> von selbst erfüllt. Dar-<lb/>
nach haben wir sofort:<lb/><hi rendition="#c"><hi rendition="#i">x</hi> = (<hi rendition="#i">u</hi> + 0 &#x025F; <hi rendition="#i">u&#x0304;</hi>) · (0 &#x025F; <hi rendition="#i">u&#x0304;</hi>) ; 1 · 1 ; <hi rendition="#i">u</hi> = <hi rendition="#i">u</hi> · (0 &#x025F; <hi rendition="#i">u&#x0304;</hi>) ; 1,</hi><lb/>
weil <hi rendition="#i">u</hi> · 1 ; <hi rendition="#i">u</hi> = <hi rendition="#i">u</hi> und (0 &#x025F; <hi rendition="#i">u&#x0304;</hi>) · 1 ; <hi rendition="#i">u</hi> = 0 ist &#x2014; 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 <hi rendition="#i">x</hi> = <hi rendition="#i">f</hi>(<hi rendition="#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 &#x2014; 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) <hi rendition="#et"><formula/>,</hi><lb/>
15) <hi rendition="#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].

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ?

Language Resource Switchboard?

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.




Ansicht auf Standard zurückstellen

URL zu diesem Werk: https://www.deutschestextarchiv.de/schroeder_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/212
Zitationshilfe: 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 05.05.2024.