Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Dritte Vorlesung.
Namen. Auch "nichts ist nichts", 0 0, ein rundes Quadrat ist ein
rundes Quadrat -- dürfen wir sagen.

Auch wer solche Behauptung nicht als selbstverständlich hinnehmen
möchte, wird wenigstens zugeben müssen, dass dieselbe unbedenklich ist: es
kann durch sie kein Irrtum erzeugt werden, gerade weil es "nichts" ist,
worauf sich die Aussage bezieht; über "nichts" will sie eine Information
erteilen und charakterisirt sich somit als eine inhaltsleere.

Nun haben wir mittelst der in den Definitionen (2) und (3) ge-
troffenen Übereinkunft ausgemacht, die Symbole 0, 1, a · b und a + b
unter allen Umständen zu den "Gebieten" unsrer Mannigfaltigkeit zu
rechnen, sie nötigenfalls, wenn es keine eigentlichen Gebiete geben
sollte, welche die ihnen beigelegten Eigenschaften besitzen, als "un-
eigentliche" Gebiete -- meinetwegen sinnlose Namen -- dieser Mannig-
faltigkeit zuzuschlagen.

Nach dem Vorausgeschickten können wir also auch für diese
"Gebiete" den Satz der Identität in Anspruch nehmen und darauf die
Überlegung gründen, durch welche sich oben der Beweis der Theo-
reme 6) ergab.

In § 7 wird sich übrigens herausstellen, dass der Fall, wo jenen
Symbolen der Wert 0 zukommt, in der That der einzige Fall ist und
bleibt, in welchem sie uneigentliche Gebiete vorstellen. Dies ist zudem
auch a priori klar. Denn entweder gibt es ein wirkliches Gebiet, welches
die Bedeutung des Symbols a b ausmacht, oder nicht. Im letztern Falle ist
das als Gebiet hingestellte Zeichen a b sinnlos, bedeutet nichts und kann 0
genannt werden. Analog a + b, falls es ausarten sollte.

Dass nun auf die identische Null ebenfalls das Prinzip I anwendbar
ist, also 0 0 sein muss, ist -- zum Überfluss -- schon in der Def. (2x)
der identischen 0 enthalten, indem die Formel 0 a als eine allgemein-
gültige auch für ein die 0 bedeutendes a in Anspruch genommen werden
darf. Auch unter diesem Gesichtspunkt also erscheinen die Subsumtionen a),
auf die unser Beweis der Theoreme 6) sich gründete, selbst dann zulässig,
wenn a b oder a + b uneigentliche Gebiete sein sollten, d. i. eben 0 bedeuten.

Endlich würden für a b = 0 die Subsumtionen 6x) sich auf Grund
der Def. (2x) auch unmittelbar verifiziren lassen -- vergl. § 9, r) -- wo-
gegen für den Fall a + b = 0 zur Bewahrheitung der Subsumtionen 6+)
das Theorem 24+) könnte herangezogen werden.

Nach Th. 6) muss im identischen Kalkul mit Gebieten nun --
umgekehrt wie in der Arithmetik und Zahlentheorie -- gesagt werden:
das Produkt sei stets in seinem Faktor (dem ersten oder auch dem
zweiten) enthalten; und es muss auch gesagt werden: der Summand,
das Glied, sei in der Summe enthalten. --

Mit dem Bisherigen haben wir bereits die formale Grundlage für
einen bedeutenden (ersten) Teil des Gebäudes unsrer Disziplin gewonnen.

Dritte Vorlesung.
Namen. Auch „nichts ist nichts“, 0 ⋹ 0, ein rundes Quadrat ist ein
rundes Quadrat — dürfen wir sagen.

Auch wer solche Behauptung nicht als selbstverständlich hinnehmen
möchte, wird wenigstens zugeben müssen, dass dieselbe unbedenklich ist: es
kann durch sie kein Irrtum erzeugt werden, gerade weil es „nichts“ ist,
worauf sich die Aussage bezieht; über „nichts“ will sie eine Information
erteilen und charakterisirt sich somit als eine inhaltsleere.

Nun haben wir mittelst der in den Definitionen (2) und (3) ge-
troffenen Übereinkunft ausgemacht, die Symbole 0, 1, a · b und a + b
unter allen Umständen zu den „Gebieten“ unsrer Mannigfaltigkeit zu
rechnen, sie nötigenfalls, wenn es keine eigentlichen Gebiete geben
sollte, welche die ihnen beigelegten Eigenschaften besitzen, als „un-
eigentliche“ Gebiete — meinetwegen sinnlose Namen — dieser Mannig-
faltigkeit zuzuschlagen.

Nach dem Vorausgeschickten können wir also auch für diese
„Gebiete“ den Satz der Identität in Anspruch nehmen und darauf die
Überlegung gründen, durch welche sich oben der Beweis der Theo-
reme 6) ergab.

In § 7 wird sich übrigens herausstellen, dass der Fall, wo jenen
Symbolen der Wert 0 zukommt, in der That der einzige Fall ist und
bleibt, in welchem sie uneigentliche Gebiete vorstellen. Dies ist zudem
auch a priori klar. Denn entweder gibt es ein wirkliches Gebiet, welches
die Bedeutung des Symbols a b ausmacht, oder nicht. Im letztern Falle ist
das als Gebiet hingestellte Zeichen a b sinnlos, bedeutet nichts und kann 0
genannt werden. Analog a + b, falls es ausarten sollte.

Dass nun auf die identische Null ebenfalls das Prinzip I anwendbar
ist, also 0 ⋹ 0 sein muss, ist — zum Überfluss — schon in der Def. (2×)
der identischen 0 enthalten, indem die Formel 0 ⋹ a als eine allgemein-
gültige auch für ein die 0 bedeutendes a in Anspruch genommen werden
darf. Auch unter diesem Gesichtspunkt also erscheinen die Subsumtionen α),
auf die unser Beweis der Theoreme 6) sich gründete, selbst dann zulässig,
wenn a b oder a + b uneigentliche Gebiete sein sollten, d. i. eben 0 bedeuten.

Endlich würden für a b = 0 die Subsumtionen 6×) sich auf Grund
der Def. (2×) auch unmittelbar verifiziren lassen — vergl. § 9, ϱ) — wo-
gegen für den Fall a + b = 0 zur Bewahrheitung der Subsumtionen 6+)
das Theorem 24+) könnte herangezogen werden.

Nach Th. 6) muss im identischen Kalkul mit Gebieten nun —
umgekehrt wie in der Arithmetik und Zahlentheorie — gesagt werden:
das Produkt sei stets in seinem Faktor (dem ersten oder auch dem
zweiten) enthalten; und es muss auch gesagt werden: der Summand,
das Glied, sei in der Summe enthalten. —

Mit dem Bisherigen haben wir bereits die formale Grundlage für
einen bedeutenden (ersten) Teil des Gebäudes unsrer Disziplin gewonnen.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0220" n="200"/><fw place="top" type="header">Dritte Vorlesung.</fw><lb/>
Namen. Auch &#x201E;nichts ist nichts&#x201C;, 0 &#x22F9; 0, ein rundes Quadrat ist ein<lb/>
rundes Quadrat &#x2014; dürfen wir sagen.</p><lb/>
          <p>Auch wer solche Behauptung nicht als selbstverständlich hinnehmen<lb/>
möchte, wird wenigstens zugeben müssen, dass dieselbe <hi rendition="#i">unbedenklich</hi> ist: es<lb/>
kann durch sie kein Irrtum erzeugt werden, gerade weil es &#x201E;nichts&#x201C; ist,<lb/>
worauf sich die Aussage bezieht; über &#x201E;nichts&#x201C; will sie eine Information<lb/>
erteilen und charakterisirt sich somit als eine inhaltsleere.</p><lb/>
          <p>Nun haben wir mittelst der in den Definitionen (2) und (3) ge-<lb/>
troffenen Übereinkunft ausgemacht, die Symbole 0, 1, <hi rendition="#i">a</hi> · <hi rendition="#i">b</hi> und <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi><lb/>
unter allen Umständen zu den &#x201E;Gebieten&#x201C; unsrer Mannigfaltigkeit zu<lb/>
rechnen, sie nötigenfalls, wenn es keine <hi rendition="#i">eigentlichen</hi> Gebiete geben<lb/>
sollte, welche die ihnen beigelegten Eigenschaften besitzen, als &#x201E;un-<lb/>
eigentliche&#x201C; Gebiete &#x2014; meinetwegen sinnlose Namen &#x2014; dieser Mannig-<lb/>
faltigkeit zuzuschlagen.</p><lb/>
          <p>Nach dem Vorausgeschickten können wir also auch für diese<lb/>
&#x201E;Gebiete&#x201C; den Satz der Identität in Anspruch nehmen und darauf die<lb/>
Überlegung gründen, durch welche sich oben der Beweis der Theo-<lb/>
reme 6) ergab.</p><lb/>
          <p>In § 7 wird sich übrigens herausstellen, dass der Fall, wo jenen<lb/>
Symbolen der Wert 0 zukommt, in der That der einzige Fall ist und<lb/>
bleibt, in welchem sie uneigentliche Gebiete vorstellen. Dies ist zudem<lb/>
auch a priori klar. Denn entweder gibt es ein wirkliches Gebiet, welches<lb/>
die Bedeutung des Symbols <hi rendition="#i">a b</hi> ausmacht, oder nicht. Im letztern Falle ist<lb/>
das als Gebiet hingestellte Zeichen <hi rendition="#i">a b</hi> sinnlos, bedeutet nichts und kann 0<lb/>
genannt werden. Analog <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>, falls es ausarten sollte.</p><lb/>
          <p>Dass nun auf die identische Null ebenfalls das Prinzip I anwendbar<lb/>
ist, also 0 &#x22F9; 0 sein muss, ist &#x2014; zum Überfluss &#x2014; schon in der Def. (2<hi rendition="#sub">×</hi>)<lb/>
der identischen 0 enthalten, indem die Formel 0 &#x22F9; <hi rendition="#i">a</hi> als eine allgemein-<lb/>
gültige auch für ein die 0 bedeutendes <hi rendition="#i">a</hi> in Anspruch genommen werden<lb/>
darf. Auch unter diesem Gesichtspunkt also erscheinen die Subsumtionen <hi rendition="#i">&#x03B1;</hi>),<lb/>
auf die unser Beweis der Theoreme 6) sich gründete, selbst dann zulässig,<lb/>
wenn <hi rendition="#i">a b</hi> oder <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> uneigentliche Gebiete sein sollten, d. i. eben 0 bedeuten.</p><lb/>
          <p>Endlich würden für <hi rendition="#i">a b</hi> = 0 die Subsumtionen 6<hi rendition="#sub">×</hi>) sich auf Grund<lb/>
der Def. (2<hi rendition="#sub">×</hi>) auch unmittelbar verifiziren lassen &#x2014; vergl. § 9, <hi rendition="#i">&#x03F1;</hi>) &#x2014; wo-<lb/>
gegen für den Fall <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> = 0 zur Bewahrheitung der Subsumtionen 6<hi rendition="#sub">+</hi>)<lb/>
das Theorem 24<hi rendition="#sub">+</hi>) könnte herangezogen werden.</p><lb/>
          <p>Nach Th. 6) muss im identischen Kalkul mit Gebieten nun &#x2014;<lb/><hi rendition="#i">umgekehrt wie in der Arithmetik</hi> und Zahlentheorie &#x2014; gesagt werden:<lb/><hi rendition="#i">das Produkt sei stets in seinem Faktor</hi> (dem ersten oder auch dem<lb/>
zweiten) <hi rendition="#i">enthalten</hi>; und es muss auch gesagt werden: <hi rendition="#i">der Summand</hi>,<lb/>
das Glied, <hi rendition="#i">sei in der Summe enthalten</hi>. &#x2014;</p><lb/>
          <p>Mit dem Bisherigen haben wir bereits die <hi rendition="#i">formale Grundlage</hi> für<lb/>
einen bedeutenden (ersten) Teil des Gebäudes unsrer Disziplin gewonnen.<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[200/0220] Dritte Vorlesung. Namen. Auch „nichts ist nichts“, 0 ⋹ 0, ein rundes Quadrat ist ein rundes Quadrat — dürfen wir sagen. Auch wer solche Behauptung nicht als selbstverständlich hinnehmen möchte, wird wenigstens zugeben müssen, dass dieselbe unbedenklich ist: es kann durch sie kein Irrtum erzeugt werden, gerade weil es „nichts“ ist, worauf sich die Aussage bezieht; über „nichts“ will sie eine Information erteilen und charakterisirt sich somit als eine inhaltsleere. Nun haben wir mittelst der in den Definitionen (2) und (3) ge- troffenen Übereinkunft ausgemacht, die Symbole 0, 1, a · b und a + b unter allen Umständen zu den „Gebieten“ unsrer Mannigfaltigkeit zu rechnen, sie nötigenfalls, wenn es keine eigentlichen Gebiete geben sollte, welche die ihnen beigelegten Eigenschaften besitzen, als „un- eigentliche“ Gebiete — meinetwegen sinnlose Namen — dieser Mannig- faltigkeit zuzuschlagen. Nach dem Vorausgeschickten können wir also auch für diese „Gebiete“ den Satz der Identität in Anspruch nehmen und darauf die Überlegung gründen, durch welche sich oben der Beweis der Theo- reme 6) ergab. In § 7 wird sich übrigens herausstellen, dass der Fall, wo jenen Symbolen der Wert 0 zukommt, in der That der einzige Fall ist und bleibt, in welchem sie uneigentliche Gebiete vorstellen. Dies ist zudem auch a priori klar. Denn entweder gibt es ein wirkliches Gebiet, welches die Bedeutung des Symbols a b ausmacht, oder nicht. Im letztern Falle ist das als Gebiet hingestellte Zeichen a b sinnlos, bedeutet nichts und kann 0 genannt werden. Analog a + b, falls es ausarten sollte. Dass nun auf die identische Null ebenfalls das Prinzip I anwendbar ist, also 0 ⋹ 0 sein muss, ist — zum Überfluss — schon in der Def. (2×) der identischen 0 enthalten, indem die Formel 0 ⋹ a als eine allgemein- gültige auch für ein die 0 bedeutendes a in Anspruch genommen werden darf. Auch unter diesem Gesichtspunkt also erscheinen die Subsumtionen α), auf die unser Beweis der Theoreme 6) sich gründete, selbst dann zulässig, wenn a b oder a + b uneigentliche Gebiete sein sollten, d. i. eben 0 bedeuten. Endlich würden für a b = 0 die Subsumtionen 6×) sich auf Grund der Def. (2×) auch unmittelbar verifiziren lassen — vergl. § 9, ϱ) — wo- gegen für den Fall a + b = 0 zur Bewahrheitung der Subsumtionen 6+) das Theorem 24+) könnte herangezogen werden. Nach Th. 6) muss im identischen Kalkul mit Gebieten nun — umgekehrt wie in der Arithmetik und Zahlentheorie — gesagt werden: das Produkt sei stets in seinem Faktor (dem ersten oder auch dem zweiten) enthalten; und es muss auch gesagt werden: der Summand, das Glied, sei in der Summe enthalten. — Mit dem Bisherigen haben wir bereits die formale Grundlage für einen bedeutenden (ersten) Teil des Gebäudes unsrer Disziplin gewonnen.

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