Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Zweite Vorlesung.
Denkbereichs, die Summe von allen seinen Individuen oder Elemente-
paaren.

Die zweite Konvention (6) stempelt den identischen Modul 0 (Null)
zu einem völlig leeren Relative, zu einem solchen nämlich, welches
gar kein Elementepaar unsres Denkbereiches 12 (und auch sonst nichts)
enthält.

Wir haben kraft (6) mit Rücksicht auf (5), (5b) und (5g):

1 = Si ji : j0 =
wo die letzte Gleichung, obwohl als rechte Seite derselben nichts zu
sehen ist, dennoch als eine vollständige Gleichung anzusehen wäre.
Rechte Seite ist hier eine Summe, deren sämtliche Glieder "ausfallen",
d. h. in der That buchstäblich: "Nichts". Um die Verwechselung mit
einer unfertigen Gleichung, deren rechte Seite erst noch herzustellen
wäre, zu vermeiden, muss in solchen Fällen, wo alle Glieder auf einer
Seite ausfallen, inskünftige stets das Symbol 0 eintreten.

Die identischen Moduln repräsentiren die äussersten oder Grenz-
fälle, die beiden Extreme unter den denkbaren binären Relativen. Kein
Relativ (innerhalb 12) kann mehr individuelle binäre Relative oder
Elementepaare enthalten als der Modul 1, keines kann deren weniger
enthalten als der Modul 0, und man könnte darum auch 1 als das
"Maximalrelativ", 0 als das "Minimalrelativ" hinstellen. Auf die Zu-
lässigkeit dieser Grenzfälle musste schon bei der allgemeinen Definition
eines binären Relativs hingewiesen werden

Ausser diesen beiden "identischen" Moduln treten aber noch zwei
spezielle (binäre) Relative in der Theorie hervor, die sich durch die
beiden Konventionen (7) definirt finden, nämlich die beiden "relativen
Moduln
" 1' und 0' -- gesprochen etwa: Einsap und Nullap (als Ab-
kürzung von "Eins-Apostroph" etc.).

Wir haben für sie kraft (5) die Darstellungen:

1' = Si j(i = j)(i : j) = Si(i : i)0' = Si j(i j)(i : j).

Ist nämlich -- links vom Mittelstriche -- j i, so ist der Aussagen-
faktor (i = j) gleich 0 und fällt allemal das Glied i : j in der Summe aus.
Ist dagegen j = i, so hat der Aussagenfaktor (i = j) den Wert 1, und ist
das Glied i : j in der Summe vertreten. Dann aber dürfen wir für das j,
welches einerlei mit i, auch den Namen i verwenden, wonach die vorhan-
denen Glieder sich in der Form i : i darstellen werden, und diese sind nun
einfach für jedes i gebildet zu denken.

Das heisst nun: 1' ist die Summe "das Universum, der Bereich"
aller individuellen Selbstrelative des Denkbereichs 12, 0' ist die Summe

Zweite Vorlesung.
Denkbereichs, die Summe von allen seinen Individuen oder Elemente-
paaren.

Die zweite Konvention (6) stempelt den identischen Modul 0 (Null)
zu einem völlig leeren Relative, zu einem solchen nämlich, welches
gar kein Elementepaar unsres Denkbereiches 12 (und auch sonst nichts)
enthält.

Wir haben kraft (6) mit Rücksicht auf (5), (5β) und (5γ):

1 = Σi ji : j0 =
wo die letzte Gleichung, obwohl als rechte Seite derselben nichts zu
sehen ist, dennoch als eine vollständige Gleichung anzusehen wäre.
Rechte Seite ist hier eine Summe, deren sämtliche Glieder „ausfallen“,
d. h. in der That buchstäblich: „Nichts“. Um die Verwechselung mit
einer unfertigen Gleichung, deren rechte Seite erst noch herzustellen
wäre, zu vermeiden, muss in solchen Fällen, wo alle Glieder auf einer
Seite ausfallen, inskünftige stets das Symbol 0 eintreten.

Die identischen Moduln repräsentiren die äussersten oder Grenz-
fälle, die beiden Extreme unter den denkbaren binären Relativen. Kein
Relativ (innerhalb 12) kann mehr individuelle binäre Relative oder
Elementepaare enthalten als der Modul 1, keines kann deren weniger
enthalten als der Modul 0, und man könnte darum auch 1 als das
„Maximalrelativ“, 0 als das „Minimalrelativ“ hinstellen. Auf die Zu-
lässigkeit dieser Grenzfälle musste schon bei der allgemeinen Definition
eines binären Relativs hingewiesen werden

Ausser diesen beiden „identischen“ Moduln treten aber noch zwei
spezielle (binäre) Relative in der Theorie hervor, die sich durch die
beiden Konventionen (7) definirt finden, nämlich die beiden „relativen
Moduln
“ 1' und 0' — gesprochen etwa: Einsap und Nullap (als Ab-
kürzung von „Eins-Apostroph“ etc.).

Wir haben für sie kraft (5) die Darstellungen:

1' = Σi j(i = j)(i : j) = Σi(i : i)0' = Σi j(ij)(i : j).

Ist nämlich — links vom Mittelstriche — ji, so ist der Aussagen-
faktor (i = j) gleich 0 und fällt allemal das Glied i : j in der Summe aus.
Ist dagegen j = i, so hat der Aussagenfaktor (i = j) den Wert 1, und ist
das Glied i : j in der Summe vertreten. Dann aber dürfen wir für das j,
welches einerlei mit i, auch den Namen i verwenden, wonach die vorhan-
denen Glieder sich in der Form i : i darstellen werden, und diese sind nun
einfach für jedes i gebildet zu denken.

Das heisst nun: 1' ist die Summe „das Universum, der Bereich“
aller individuellen Selbstrelative des Denkbereichs 12, 0' ist die Summe

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0040" n="26"/><fw place="top" type="header">Zweite Vorlesung.</fw><lb/>
Denkbereichs, die Summe von <hi rendition="#i">allen</hi> seinen Individuen oder Elemente-<lb/>
paaren.</p><lb/>
          <p>Die zweite Konvention (6) stempelt den identischen Modul 0 (<hi rendition="#i">Null</hi>)<lb/>
zu einem völlig <hi rendition="#i">leeren</hi> Relative, zu einem solchen nämlich, welches<lb/><hi rendition="#i">gar kein</hi> Elementepaar unsres Denkbereiches 1<hi rendition="#sup">2</hi> (und auch sonst nichts)<lb/>
enthält.</p><lb/>
          <p>Wir haben kraft (6) mit Rücksicht auf (5), (5<hi rendition="#i">&#x03B2;</hi>) und (5<hi rendition="#i">&#x03B3;</hi>):<lb/><table><row><cell>1 = <hi rendition="#i">&#x03A3;<hi rendition="#sub">i j</hi>i</hi> : <hi rendition="#i">j</hi></cell><cell>0 =</cell></row><lb/></table> wo die letzte Gleichung, obwohl als rechte Seite derselben nichts zu<lb/>
sehen ist, dennoch als eine vollständige Gleichung anzusehen wäre.<lb/>
Rechte Seite ist hier eine Summe, deren sämtliche Glieder &#x201E;ausfallen&#x201C;,<lb/>
d. h. in der That buchstäblich: &#x201E;<hi rendition="#i">Nichts</hi>&#x201C;. Um die Verwechselung mit<lb/>
einer unfertigen Gleichung, deren rechte Seite erst noch herzustellen<lb/>
wäre, zu vermeiden, muss in solchen Fällen, wo alle Glieder auf einer<lb/>
Seite ausfallen, inskünftige stets das Symbol 0 eintreten.</p><lb/>
          <p>Die identischen Moduln repräsentiren die äussersten oder <hi rendition="#i">Grenz</hi>-<lb/>
fälle, die beiden <hi rendition="#i">Extreme</hi> unter den denkbaren binären Relativen. Kein<lb/>
Relativ (innerhalb 1<hi rendition="#sup">2</hi>) kann mehr individuelle binäre Relative oder<lb/>
Elementepaare enthalten als der Modul 1, keines kann deren weniger<lb/>
enthalten als der Modul 0, und man könnte darum auch 1 als das<lb/>
&#x201E;Maximalrelativ&#x201C;, 0 als das &#x201E;Minimalrelativ&#x201C; hinstellen. Auf die Zu-<lb/>
lässigkeit dieser Grenzfälle musste schon bei der allgemeinen Definition<lb/>
eines binären Relativs hingewiesen werden</p><lb/>
          <p>Ausser diesen beiden &#x201E;identischen&#x201C; Moduln treten aber noch zwei<lb/>
spezielle (binäre) Relative in der Theorie hervor, die sich durch die<lb/>
beiden Konventionen (7) definirt finden, nämlich die beiden &#x201E;<hi rendition="#i">relativen<lb/>
Moduln</hi>&#x201C; 1' und 0' &#x2014; gesprochen etwa: <hi rendition="#i">Einsap</hi> und <hi rendition="#i">Nullap</hi> (als Ab-<lb/>
kürzung von &#x201E;<hi rendition="#i">Eins-Apostroph</hi>&#x201C; etc.).</p><lb/>
          <p>Wir haben für sie kraft (5) die Darstellungen:<lb/><table><row><cell>1' = <hi rendition="#i">&#x03A3;<hi rendition="#sub">i j</hi></hi>(<hi rendition="#i">i</hi> = <hi rendition="#i">j</hi>)(<hi rendition="#i">i</hi> : <hi rendition="#i">j</hi>) = <hi rendition="#i">&#x03A3;<hi rendition="#sub">i</hi></hi>(<hi rendition="#i">i</hi> : <hi rendition="#i">i</hi>)</cell><cell>0' = <hi rendition="#i">&#x03A3;<hi rendition="#sub">i j</hi></hi>(<hi rendition="#i">i</hi> &#x2260; <hi rendition="#i">j</hi>)(<hi rendition="#i">i</hi> : <hi rendition="#i">j</hi>).</cell></row><lb/></table></p>
          <p>Ist nämlich &#x2014; links vom Mittelstriche &#x2014; <hi rendition="#i">j</hi> &#x2260; <hi rendition="#i">i</hi>, so ist der Aussagen-<lb/>
faktor (<hi rendition="#i">i</hi> = <hi rendition="#i">j</hi>) gleich 0 und fällt allemal das Glied <hi rendition="#i">i</hi> : <hi rendition="#i">j</hi> in der Summe aus.<lb/>
Ist dagegen <hi rendition="#i">j</hi> = <hi rendition="#i">i</hi>, so hat der Aussagenfaktor (<hi rendition="#i">i</hi> = <hi rendition="#i">j</hi>) den Wert 1, und ist<lb/>
das Glied <hi rendition="#i">i</hi> : <hi rendition="#i">j</hi> in der Summe vertreten. Dann aber dürfen wir für das <hi rendition="#i">j</hi>,<lb/>
welches <hi rendition="#i">einerlei</hi> mit <hi rendition="#i">i</hi>, auch den Namen <hi rendition="#i">i</hi> verwenden, wonach die vorhan-<lb/>
denen Glieder sich in der Form <hi rendition="#i">i</hi> : <hi rendition="#i">i</hi> darstellen werden, und diese sind nun<lb/>
einfach <hi rendition="#i">für jedes i</hi> gebildet zu denken.</p><lb/>
          <p>Das heisst nun: 1' ist die Summe &#x201E;das Universum, der Bereich&#x201C;<lb/>
aller individuellen <hi rendition="#i">Selbst</hi>relative des Denkbereichs 1<hi rendition="#sup">2</hi>, 0' ist die Summe<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[26/0040] Zweite Vorlesung. Denkbereichs, die Summe von allen seinen Individuen oder Elemente- paaren. Die zweite Konvention (6) stempelt den identischen Modul 0 (Null) zu einem völlig leeren Relative, zu einem solchen nämlich, welches gar kein Elementepaar unsres Denkbereiches 12 (und auch sonst nichts) enthält. Wir haben kraft (6) mit Rücksicht auf (5), (5β) und (5γ): 1 = Σi ji : j 0 = wo die letzte Gleichung, obwohl als rechte Seite derselben nichts zu sehen ist, dennoch als eine vollständige Gleichung anzusehen wäre. Rechte Seite ist hier eine Summe, deren sämtliche Glieder „ausfallen“, d. h. in der That buchstäblich: „Nichts“. Um die Verwechselung mit einer unfertigen Gleichung, deren rechte Seite erst noch herzustellen wäre, zu vermeiden, muss in solchen Fällen, wo alle Glieder auf einer Seite ausfallen, inskünftige stets das Symbol 0 eintreten. Die identischen Moduln repräsentiren die äussersten oder Grenz- fälle, die beiden Extreme unter den denkbaren binären Relativen. Kein Relativ (innerhalb 12) kann mehr individuelle binäre Relative oder Elementepaare enthalten als der Modul 1, keines kann deren weniger enthalten als der Modul 0, und man könnte darum auch 1 als das „Maximalrelativ“, 0 als das „Minimalrelativ“ hinstellen. Auf die Zu- lässigkeit dieser Grenzfälle musste schon bei der allgemeinen Definition eines binären Relativs hingewiesen werden Ausser diesen beiden „identischen“ Moduln treten aber noch zwei spezielle (binäre) Relative in der Theorie hervor, die sich durch die beiden Konventionen (7) definirt finden, nämlich die beiden „relativen Moduln“ 1' und 0' — gesprochen etwa: Einsap und Nullap (als Ab- kürzung von „Eins-Apostroph“ etc.). Wir haben für sie kraft (5) die Darstellungen: 1' = Σi j(i = j)(i : j) = Σi(i : i) 0' = Σi j(i ≠ j)(i : j). Ist nämlich — links vom Mittelstriche — j ≠ i, so ist der Aussagen- faktor (i = j) gleich 0 und fällt allemal das Glied i : j in der Summe aus. Ist dagegen j = i, so hat der Aussagenfaktor (i = j) den Wert 1, und ist das Glied i : j in der Summe vertreten. Dann aber dürfen wir für das j, welches einerlei mit i, auch den Namen i verwenden, wonach die vorhan- denen Glieder sich in der Form i : i darstellen werden, und diese sind nun einfach für jedes i gebildet zu denken. Das heisst nun: 1' ist die Summe „das Universum, der Bereich“ aller individuellen Selbstrelative des Denkbereichs 12, 0' ist die Summe

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/40
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 26. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/40>, abgerufen am 20.04.2024.