Anmelden (DTAQ)

DWDS dlexDB CLARIN-D

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

Bild:

<< vorherige Seite

nächste Seite >>

Anhang 6.

ebendiese drei Symbole, so ergibt sich als die gedachte volle Resultante
nur: 0 = 0.

Der Aussagenbereich, mit dem wir es im vorliegenden ersten Bande
der exakten Logik ausschliesslich zu thun haben, war auf die universalen
Urteile beschränkt, umfasste nämlich nur, was mittelst Gleichungen oder
Subsumtionen ausdrückbar ist.

In diesem Bereiche kann ein unmittelbarer Widerspruch (S. 6) über-
haupt nicht vorkommen, sintemal bekanntlich das kontradiktorische Gegen-
teil einer universalen allemal eine partikulare Behauptung ist -- vergl. S. 33.
Gleichwol kann mittelbar, innerlich, auch schon auf dieser ersten Logik-
etappe ein Widerspruch zwischen sowol als in Aussagen auftreten, insofern
sie zusammen oder für sich schon auf die Behauptung 1 = 0 hinaus-
laufen oder zu schliessen gestatten -- zusammen, wie z. B. die Gleichungen
a = 0 und a1 = 0, und für sich schon, wie z. B. x + x1 = 0, oder wie
a x y1 + a1 + x1 + y = 0 -- womit sie denn in unmittelbaren Widerspruch
treten würden zu der allen unsern Betrachtungen implicite zugrunde liegenden
Annahme, dass 1 nicht gleich, 0 sei.

Dass dergleichen nun hier nicht vorliegen kann, ist mit obigem dar-
gethan.

Und wie sollten auch jene Prämissen x = ph (a, b, ..), y = ps (a, ..),
... einen Widerspruch mit einander involviren, da durch eine jede der-
selben doch nur festgesetzt wird, was unter dem Buchstaben linker-
hand verstanden werden solle, einem Buchstaben, der neu, noch un-
erwähnt war, und auf den in den übrigen Prämissen auch keinerlei
Bezug genommen ist?!

Aus diesen Gründen wird uns also die absurde Resultante über-
haupt nicht in den Weg kommen und mag fortan unberücksichtigt
bleiben. --

Als in x, y, z symmetrische Resultanten können nun überhaupt nur
folgende fünfzehn -- von achterlei Typus -- auftreten *), für die wir
die beigesetzten Chiffren einführen:

R0) 0 = 0.

R1) x y z = 0, R1') x1 y1 z1 = 0.

R2) x y z + x1 y1 z1 = 0.

R3) x1 y z + y1 z x + z1 x y = 0, R3') x y1 z1 + y z1 x1 + z x1 y1 = 0.

R4) x y z + x1 y z + y1 z x + z1 x y = 0 oder y z + z x + x y = 0
R4') x1 y1 z1 + x y1 z1 + y z1 x1 + z x1 y1 = 0 oder y1 z1 + z1 x1 + x1 y1 = 0.

R5) x y z + x y1 z1 + y z1 x1 + z x1 y1 = 0 oder x = y z1 + y1 z

*) Bei Mitberücksichtigung der absurden Resultante: R9), nämlich 1 = 0 wären
es 16 Resultanten von 9 verschiedenen Typen.

Anhang 6.

ebendiese drei Symbole, so ergibt sich als die gedachte volle Resultante
nur: 0 = 0.

In diesem Bereiche kann ein unmittelbarer Widerspruch (S. 6) über-
haupt nicht vorkommen, sintemal bekanntlich das kontradiktorische Gegen-
teil einer universalen allemal eine partikulare Behauptung ist — vergl. S. 33.
Gleichwol kann mittelbar, innerlich, auch schon auf dieser ersten Logik-
etappe ein Widerspruch zwischen sowol als in Aussagen auftreten, insofern
sie zusammen oder für sich schon auf die Behauptung 1 = 0 hinaus-
laufen oder zu schliessen gestatten — zusammen, wie z. B. die Gleichungen
a = 0 und a1 = 0, und für sich schon, wie z. B. x + x1 = 0, oder wie
a x y1 + a1 + x1 + y = 0 — womit sie denn in unmittelbaren Widerspruch
treten würden zu der allen unsern Betrachtungen implicite zugrunde liegenden
Annahme, dass 1 nicht gleich, ≠ 0 sei.

Dass dergleichen nun hier nicht vorliegen kann, ist mit obigem dar-
gethan.

Und wie sollten auch jene Prämissen x = φ (a, b, ‥), y = ψ (a, ‥),
… einen Widerspruch mit einander involviren, da durch eine jede der-
selben doch nur festgesetzt wird, was unter dem Buchstaben linker-
hand verstanden werden solle, einem Buchstaben, der neu, noch un-
erwähnt war, und auf den in den übrigen Prämissen auch keinerlei
Bezug genommen ist?!

Aus diesen Gründen wird uns also die absurde Resultante über-
haupt nicht in den Weg kommen und mag fortan unberücksichtigt
bleiben. —

Als in x, y, z symmetrische Resultanten können nun überhaupt nur
folgende fünfzehn — von achterlei Typus — auftreten *), für die wir
die beigesetzten Chiffren einführen:

R0) 0 = 0.

R1) x y z = 0, R1') x1 y1 z1 = 0.

R2) x y z + x1 y1 z1 = 0.

R3) x1 y z + y1 z x + z1 x y = 0, R3') x y1 z1 + y z1 x1 + z x1 y1 = 0.

R4) x y z + x1 y z + y1 z x + z1 x y = 0 oder y z + z x + x y = 0
R4') x1 y1 z1 + x y1 z1 + y z1 x1 + z x1 y1 = 0 oder y1 z1 + z1 x1 + x1 y1 = 0.

R5) x y z + x y1 z1 + y z1 x1 + z x1 y1 = 0 oder x = y z1 + y1 z

*) Bei Mitberücksichtigung der absurden Resultante: R9), nämlich 1 = 0 wären
es 16 Resultanten von 9 verschiedenen Typen.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0708" n="688"/><fw place="top" type="header">Anhang 6.</fw><lb/>
ebendiese drei Symbole, so ergibt sich als die gedachte volle Resultante<lb/>
nur: 0 = 0.</p><lb/>
          <p>Der Aussagenbereich, mit dem wir es im vorliegenden ersten Bande<lb/>
der exakten Logik ausschliesslich zu thun haben, war auf die <hi rendition="#i">universalen</hi><lb/>
Urteile beschränkt, umfasste nämlich nur, was mittelst Gleichungen oder<lb/>
Subsumtionen ausdrückbar ist.</p><lb/>
          <p>In diesem Bereiche kann ein <hi rendition="#i">unmittelbarer</hi> Widerspruch (S. 6) über-<lb/>
haupt nicht vorkommen, sintemal bekanntlich das kontradiktorische Gegen-<lb/>
teil einer universalen allemal eine partikulare Behauptung ist &#x2014; vergl. S. 33.<lb/>
Gleichwol kann mittelbar, innerlich, auch schon auf dieser ersten Logik-<lb/>
etappe ein Widerspruch <hi rendition="#i">zwischen</hi> sowol als <hi rendition="#i">in</hi> Aussagen auftreten, insofern<lb/>
sie zusammen oder für sich schon auf die Behauptung 1 = 0 hinaus-<lb/>
laufen oder zu schliessen gestatten &#x2014; zusammen, wie z. B. die Gleichungen<lb/><hi rendition="#i">a</hi> = 0 und <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> = 0, und für sich schon, wie z. B. <hi rendition="#i">x</hi> + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> = 0, oder wie<lb/><hi rendition="#i">a x y</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">y</hi> = 0 &#x2014; womit sie denn in unmittelbaren Widerspruch<lb/>
treten würden zu der allen unsern Betrachtungen implicite zugrunde liegenden<lb/>
Annahme, dass 1 nicht gleich, &#x2260; 0 sei.</p><lb/>
          <p>Dass dergleichen nun hier nicht vorliegen kann, ist mit obigem dar-<lb/>
gethan.</p><lb/>
          <p>Und wie sollten auch jene Prämissen <hi rendition="#i">x</hi> = <hi rendition="#i">&#x03C6;</hi> (<hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, &#x2025;), <hi rendition="#i">y</hi> = <hi rendition="#i">&#x03C8;</hi> (<hi rendition="#i">a</hi>, &#x2025;),<lb/>
&#x2026; einen Widerspruch mit einander involviren, da durch eine jede der-<lb/>
selben doch nur festgesetzt wird, was unter dem Buchstaben linker-<lb/>
hand verstanden werden solle, einem Buchstaben, der neu, noch un-<lb/>
erwähnt war, und auf den in den übrigen Prämissen auch keinerlei<lb/>
Bezug genommen ist?!</p><lb/>
          <p>Aus diesen Gründen wird uns also die absurde Resultante über-<lb/>
haupt nicht in den Weg kommen und mag fortan unberücksichtigt<lb/>
bleiben. &#x2014;</p><lb/>
          <p>Als in <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z symmetrische Resultanten</hi> können nun überhaupt nur<lb/>
folgende <hi rendition="#i">fünfzehn</hi> &#x2014; von <hi rendition="#i">acht</hi>erlei Typus &#x2014; auftreten <note place="foot" n="*)">Bei Mitberücksichtigung der absurden Resultante: <hi rendition="#i">R</hi><hi rendition="#sub">9</hi>), nämlich 1 = 0 wären<lb/>
es 16 Resultanten von 9 verschiedenen Typen.</note>, für die wir<lb/>
die beigesetzten Chiffren einführen:</p><lb/>
          <list>
            <item><hi rendition="#i">R</hi><hi rendition="#sub">0</hi>) <hi rendition="#et">0 = 0.</hi></item><lb/>
            <item><hi rendition="#i">R</hi><hi rendition="#sub">1</hi>) <hi rendition="#et"><hi rendition="#i">x y z</hi> = 0, <hi rendition="#i">R</hi><hi rendition="#sub">1</hi>') <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi><hi rendition="#sub">1</hi> = 0.</hi></item><lb/>
            <item><hi rendition="#i">R</hi><hi rendition="#sub">2</hi>) <hi rendition="#et"><hi rendition="#i">x y z</hi> + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi><hi rendition="#sub">1</hi> = 0.</hi></item><lb/>
            <item><hi rendition="#i">R</hi><hi rendition="#sub">3</hi>) <hi rendition="#i">x</hi><hi rendition="#sub">1</hi><hi rendition="#i">y z</hi> + <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z x</hi> + <hi rendition="#i">z</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x y</hi> = 0, <hi rendition="#i">R</hi><hi rendition="#sub">3</hi>') <hi rendition="#i">x y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">y z</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">z x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> = 0.</item><lb/>
            <item><hi rendition="#i">R</hi><hi rendition="#sub">4</hi>) <hi rendition="#i">x y z</hi> + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y z</hi> + <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z x</hi> + <hi rendition="#i">z</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x y</hi> = 0 oder <hi rendition="#i">y z</hi> + <hi rendition="#i">z x</hi> + <hi rendition="#i">x y</hi> = 0<lb/><hi rendition="#et"><hi rendition="#i">R</hi><hi rendition="#sub">4</hi>') <hi rendition="#i">x</hi><hi rendition="#sub">1</hi><hi rendition="#i">y</hi><hi rendition="#sub">1</hi><hi rendition="#i">z</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">x y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">y z</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">z x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> = 0 oder <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">z</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> = 0.</hi></item><lb/>
            <item><hi rendition="#i">R</hi><hi rendition="#sub">5</hi>) <hi rendition="#i">x y z</hi> + <hi rendition="#i">x y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">y z</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">z x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> = 0 oder <hi rendition="#i">x</hi> = <hi rendition="#i">y z</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi></item>
          </list><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>

[688/0708] Anhang 6. ebendiese drei Symbole, so ergibt sich als die gedachte volle Resultante nur: 0 = 0. Der Aussagenbereich, mit dem wir es im vorliegenden ersten Bande der exakten Logik ausschliesslich zu thun haben, war auf die universalen Urteile beschränkt, umfasste nämlich nur, was mittelst Gleichungen oder Subsumtionen ausdrückbar ist. In diesem Bereiche kann ein unmittelbarer Widerspruch (S. 6) über- haupt nicht vorkommen, sintemal bekanntlich das kontradiktorische Gegen- teil einer universalen allemal eine partikulare Behauptung ist — vergl. S. 33. Gleichwol kann mittelbar, innerlich, auch schon auf dieser ersten Logik- etappe ein Widerspruch zwischen sowol als in Aussagen auftreten, insofern sie zusammen oder für sich schon auf die Behauptung 1 = 0 hinaus- laufen oder zu schliessen gestatten — zusammen, wie z. B. die Gleichungen a = 0 und a1 = 0, und für sich schon, wie z. B. x + x1 = 0, oder wie a x y1 + a1 + x1 + y = 0 — womit sie denn in unmittelbaren Widerspruch treten würden zu der allen unsern Betrachtungen implicite zugrunde liegenden Annahme, dass 1 nicht gleich, ≠ 0 sei. Dass dergleichen nun hier nicht vorliegen kann, ist mit obigem dar- gethan. Und wie sollten auch jene Prämissen x = φ (a, b, ‥), y = ψ (a, ‥), … einen Widerspruch mit einander involviren, da durch eine jede der- selben doch nur festgesetzt wird, was unter dem Buchstaben linker- hand verstanden werden solle, einem Buchstaben, der neu, noch un- erwähnt war, und auf den in den übrigen Prämissen auch keinerlei Bezug genommen ist?! Aus diesen Gründen wird uns also die absurde Resultante über- haupt nicht in den Weg kommen und mag fortan unberücksichtigt bleiben. — Als in x, y, z symmetrische Resultanten können nun überhaupt nur folgende fünfzehn — von achterlei Typus — auftreten *), für die wir die beigesetzten Chiffren einführen: R0) 0 = 0. R1) x y z = 0, R1') x1 y1 z1 = 0. R2) x y z + x1 y1 z1 = 0. R3) x1 y z + y1 z x + z1 x y = 0, R3') x y1 z1 + y z1 x1 + z x1 y1 = 0. R4) x y z + x1 y z + y1 z x + z1 x y = 0 oder y z + z x + x y = 0 R4') x1 y1 z1 + x y1 z1 + y z1 x1 + z x1 y1 = 0 oder y1 z1 + z1 x1 + x1 y1 = 0. R5) x y z + x y1 z1 + y z1 x1 + z x1 y1 = 0 oder x = y z1 + y1 z *) Bei Mitberücksichtigung der absurden Resultante: R9), nämlich 1 = 0 wären es 16 Resultanten von 9 verschiedenen Typen.

Suche im Werk

Informationen zum Werk

Titeldaten
Verfügbarkeit Text (TEI-XML-, HTML-, TCF-, E-Book-Fassung): CC BY-SA 4.0.
Nutzungsbedingungen

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ^?

Language Resource Switchboard^?

Resource/URL übermitteln

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_logik01_1890
URL zu dieser Seite:	https://www.deutschestextarchiv.de/schroeder_logik01_1890/708
Zitationshilfe:	Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 688. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/708>, abgerufen am 16.02.2025.

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.

2007–2025 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften (Kontakt).

Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2025. URL: https://www.deutschestextarchiv.de/.