Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Zwölfte Vorlesung.
daher von den Heiden b exakt auch nicht die Grönländer c subtrahirend
ausnehmen kann, sondern nur die grönländischen Heiden b c. Es würde
darnach der Ausdruck b -- c schon jeglichen Sinnes baar sein, und wäre
es nur zulässig die Klasse b -- b c = b (1 -- c) = b c1 zu bilden.

Um uns auch über die sonstigen Gesetze der logischen Subtrak-
tion möglichst rasch zu orientiren, will ich zunächst in übersichtlicher
Formelzusammenstellung die fundamentalen Sätze der arithmetischen
Subtraktion zur Vergleichung hersetzen.

Soweit dieselben auf nicht mehr als drei allgemeine Zahlen Bezug
haben, können letztere -- vergl. meine Schriften 1 und 2 -- in folgende
vier Gruppen gebracht werden:

v1) (a -- b) + b = (a + b) -- b = b -- (b -- a) = a,
v2)
(a + b) -- c = a + (b -- c) = a -- (c -- b) =
= (a -- c) + b = b -- (c -- a),
v3)
a -- (b + c) = (a -- b) -- c =
= (a -- c) -- b,
v4)
a -- b = (a + c) -- (b + c) = (a -- c) -- (b -- c) =
= (c -- b) -- (c -- a) = (a -- c) + (c -- b),
a + b = (a + c) + (b -- c) = (a + c) -- (c -- b) =
= (a -- c) + (b + c) = (b + c) -- (c -- a).

Nach dem Schema k) können wir nun für jeden der hier verglichenen
Ausdrücke den Wert angeben, der demselben im identischen Kalkul beizu-
legen ist. Desgleichen vermögen wir nach dem Schema d) auch seine
Valenzbedingung anzusetzen, oder, wo mehrere Minuszeichen in dem Aus-
druck vorkommen, seine sämtlichen Valenzbedingungen, welche wir dann
zu einer einzigen Gleichung vereinigen mögen. Mit Rücksicht auf diese
seine Valenzbedingung (schlechtweg) können wir endlich jeden Ausdruck
nötigenfalls entwickeln nach den Symbolen, a, b, (c), aus welchen er auf-
gebaut ist.

Sonach ist es dann weiter keine Kunst, zuzusehen, ob (und unter
welchen Bedingungen) die in der Arithmetik gleichwertigen Ausdrücke
auch im identischen Kalkul übereinstimmen und um welche Terme sie sich
andernfalles unterscheiden.

Es stellt sich heraus, dass von den in der Arithmetik geltenden
Gleichungen so ziemlich die Hälfte auch im identischen Kalkul Geltung
besitzt unter der Voraussetzung, dass die Ausdrücke beiderseits gleichzeitig
einen Sinn besitzen, d. h. unter den aus dem Anglick der beiden Seiten
selbst ersichtlichen Valenzbedingungen.

Unter Zugrundelegung derselben Annahme (der "vereinigten" Valenz-
bedingung der Gleichung) bedarf die andere Hälfte der Gleichungen, um
im identischen Kalkul gültig zu werden der Hinzufügung eines Korrektions-
gliedes
auf der einen Seite derselben -- eines additiven oder subtraktiven
Gliedes, welches eines allgemeinen Ausdrucks selber fähig ist.

Zwölfte Vorlesung.
daher von den Heiden b exakt auch nicht die Grönländer c subtrahirend
ausnehmen kann, sondern nur die grönländischen Heiden b c. Es würde
darnach der Ausdruck bc schon jeglichen Sinnes baar sein, und wäre
es nur zulässig die Klasse bb c = b (1 — c) = b c1 zu bilden.

Um uns auch über die sonstigen Gesetze der logischen Subtrak-
tion möglichst rasch zu orientiren, will ich zunächst in übersichtlicher
Formelzusammenstellung die fundamentalen Sätze der arithmetischen
Subtraktion zur Vergleichung hersetzen.

Soweit dieselben auf nicht mehr als drei allgemeine Zahlen Bezug
haben, können letztere — vergl. meine Schriften 1 und 2 — in folgende
vier Gruppen gebracht werden:

v1) (ab) + b = (a + b) — b = b — (ba) = a,
v2)
(a + b) — c = a + (bc) = a — (cb) =
= (ac) + b = b — (ca),
v3)
a — (b + c) = (ab) — c =
= (ac) — b,
v4)
ab = (a + c) — (b + c) = (ac) — (bc) =
= (cb) — (ca) = (ac) + (cb),
a + b = (a + c) + (bc) = (a + c) — (cb) =
= (ac) + (b + c) = (b + c) — (ca).

Nach dem Schema ϰ) können wir nun für jeden der hier verglichenen
Ausdrücke den Wert angeben, der demselben im identischen Kalkul beizu-
legen ist. Desgleichen vermögen wir nach dem Schema δ) auch seine
Valenzbedingung anzusetzen, oder, wo mehrere Minuszeichen in dem Aus-
druck vorkommen, seine sämtlichen Valenzbedingungen, welche wir dann
zu einer einzigen Gleichung vereinigen mögen. Mit Rücksicht auf diese
seine Valenzbedingung (schlechtweg) können wir endlich jeden Ausdruck
nötigenfalls entwickeln nach den Symbolen, a, b, (c), aus welchen er auf-
gebaut ist.

Sonach ist es dann weiter keine Kunst, zuzusehen, ob (und unter
welchen Bedingungen) die in der Arithmetik gleichwertigen Ausdrücke
auch im identischen Kalkul übereinstimmen und um welche Terme sie sich
andernfalles unterscheiden.

Es stellt sich heraus, dass von den in der Arithmetik geltenden
Gleichungen so ziemlich die Hälfte auch im identischen Kalkul Geltung
besitzt unter der Voraussetzung, dass die Ausdrücke beiderseits gleichzeitig
einen Sinn besitzen, d. h. unter den aus dem Anglick der beiden Seiten
selbst ersichtlichen Valenzbedingungen.

Unter Zugrundelegung derselben Annahme (der „vereinigten“ Valenz-
bedingung der Gleichung) bedarf die andere Hälfte der Gleichungen, um
im identischen Kalkul gültig zu werden der Hinzufügung eines Korrektions-
gliedes
auf der einen Seite derselben — eines additiven oder subtraktiven
Gliedes, welches eines allgemeinen Ausdrucks selber fähig ist.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0512" n="492"/><fw place="top" type="header">Zwölfte Vorlesung.</fw><lb/>
daher von den Heiden <hi rendition="#i">b</hi> exakt auch nicht die Grönländer <hi rendition="#i">c</hi> subtrahirend<lb/>
ausnehmen kann, sondern nur die grönländischen Heiden <hi rendition="#i">b c</hi>. Es würde<lb/>
darnach der Ausdruck <hi rendition="#i">b</hi> &#x2014; <hi rendition="#i">c</hi> schon jeglichen Sinnes baar sein, und wäre<lb/>
es nur zulässig die Klasse <hi rendition="#i">b</hi> &#x2014; <hi rendition="#i">b c</hi> = <hi rendition="#i">b</hi> (1 &#x2014; <hi rendition="#i">c</hi>) = <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> zu bilden.</p><lb/>
          <p>Um uns auch über die sonstigen Gesetze der logischen Subtrak-<lb/>
tion möglichst rasch zu orientiren, will ich zunächst in übersichtlicher<lb/>
Formelzusammenstellung die fundamentalen Sätze der arithmetischen<lb/>
Subtraktion zur Vergleichung hersetzen.</p><lb/>
          <p>Soweit dieselben auf nicht mehr als drei allgemeine Zahlen Bezug<lb/>
haben, können letztere &#x2014; vergl. meine Schriften <hi rendition="#sup">1</hi> und <hi rendition="#sup">2</hi> &#x2014; in folgende<lb/>
vier Gruppen gebracht werden:</p><lb/>
          <list>
            <item><hi rendition="#i">v</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a</hi> &#x2014; <hi rendition="#i">b</hi>) + <hi rendition="#i">b</hi> = (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) &#x2014; <hi rendition="#i">b</hi> = <hi rendition="#i">b</hi> &#x2014; (<hi rendition="#i">b</hi> &#x2014; <hi rendition="#i">a</hi>) = <hi rendition="#i">a</hi>,</item><lb/>
            <item><hi rendition="#i">v</hi><hi rendition="#sub">2</hi>)<list rendition="#leftBraced"><item> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) &#x2014; <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi> + (<hi rendition="#i">b</hi> &#x2014; <hi rendition="#i">c</hi>) = <hi rendition="#i">a</hi> &#x2014; (<hi rendition="#i">c</hi> &#x2014; <hi rendition="#i">b</hi>) =</item><lb/><item> = (<hi rendition="#i">a</hi> &#x2014; <hi rendition="#i">c</hi>) + <hi rendition="#i">b</hi> = <hi rendition="#i">b</hi> &#x2014; (<hi rendition="#i">c</hi> &#x2014; <hi rendition="#i">a</hi>),</item></list></item><lb/>
            <item><hi rendition="#i">v</hi><hi rendition="#sub">3</hi>)<list rendition="#leftBraced"><item><hi rendition="#i">a</hi> &#x2014; (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) = (<hi rendition="#i">a</hi> &#x2014; <hi rendition="#i">b</hi>) &#x2014; <hi rendition="#i">c</hi> =</item><lb/><item> = (<hi rendition="#i">a</hi> &#x2014; <hi rendition="#i">c</hi>) &#x2014; <hi rendition="#i">b</hi>,</item></list></item><lb/>
            <item><hi rendition="#i">v</hi><hi rendition="#sub">4</hi>)<list rendition="#leftBraced"><item><hi rendition="#i">a</hi> &#x2014; <hi rendition="#i">b</hi> = (<hi rendition="#i">a</hi> + <hi rendition="#i">c</hi>) &#x2014; (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) = (<hi rendition="#i">a</hi> &#x2014; <hi rendition="#i">c</hi>) &#x2014; (<hi rendition="#i">b</hi> &#x2014; <hi rendition="#i">c</hi>) =</item><lb/><item> = (<hi rendition="#i">c</hi> &#x2014; <hi rendition="#i">b</hi>) &#x2014; (<hi rendition="#i">c</hi> &#x2014; <hi rendition="#i">a</hi>) = (<hi rendition="#i">a</hi> &#x2014; <hi rendition="#i">c</hi>) + (<hi rendition="#i">c</hi> &#x2014; <hi rendition="#i">b</hi>),</item><lb/><item><hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> = (<hi rendition="#i">a</hi> + <hi rendition="#i">c</hi>) + (<hi rendition="#i">b</hi> &#x2014; <hi rendition="#i">c</hi>) = (<hi rendition="#i">a</hi> + <hi rendition="#i">c</hi>) &#x2014; (<hi rendition="#i">c</hi> &#x2014; <hi rendition="#i">b</hi>) =</item><lb/><item> = (<hi rendition="#i">a</hi> &#x2014; <hi rendition="#i">c</hi>) + (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) = (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) &#x2014; (<hi rendition="#i">c</hi> &#x2014; <hi rendition="#i">a</hi>).</item></list></item>
          </list><lb/>
          <p>Nach dem Schema <hi rendition="#i">&#x03F0;</hi>) können wir nun für jeden der hier verglichenen<lb/>
Ausdrücke den Wert angeben, der demselben im identischen Kalkul beizu-<lb/>
legen ist. Desgleichen vermögen wir nach dem Schema <hi rendition="#i">&#x03B4;</hi>) auch seine<lb/>
Valenzbedingung anzusetzen, oder, wo mehrere Minuszeichen in dem Aus-<lb/>
druck vorkommen, seine sämtlichen Valenzbedingungen, welche wir dann<lb/>
zu einer einzigen Gleichung vereinigen mögen. Mit Rücksicht auf diese<lb/>
seine Valenzbedingung (schlechtweg) können wir endlich jeden Ausdruck<lb/>
nötigenfalls entwickeln nach den Symbolen, <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, (<hi rendition="#i">c</hi>), aus welchen er auf-<lb/>
gebaut ist.</p><lb/>
          <p>Sonach ist es dann weiter keine Kunst, zuzusehen, ob (und unter<lb/>
welchen Bedingungen) die in der Arithmetik gleichwertigen Ausdrücke<lb/>
auch im identischen Kalkul übereinstimmen und um welche Terme sie sich<lb/>
andernfalles unterscheiden.</p><lb/>
          <p>Es stellt sich heraus, dass von den in der Arithmetik geltenden<lb/>
Gleichungen so ziemlich die <hi rendition="#i">Hälfte</hi> auch im identischen Kalkul Geltung<lb/>
besitzt unter der Voraussetzung, dass die Ausdrücke beiderseits gleichzeitig<lb/>
einen Sinn besitzen, d. h. unter den aus dem Anglick der beiden Seiten<lb/>
selbst ersichtlichen Valenzbedingungen.</p><lb/>
          <p>Unter Zugrundelegung derselben Annahme (der &#x201E;vereinigten&#x201C; Valenz-<lb/>
bedingung der Gleichung) bedarf die andere Hälfte der Gleichungen, um<lb/>
im identischen Kalkul gültig zu werden der Hinzufügung eines <hi rendition="#i">Korrektions-<lb/>
gliedes</hi> auf der einen Seite derselben &#x2014; eines additiven oder subtraktiven<lb/>
Gliedes, welches eines allgemeinen Ausdrucks selber fähig ist.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[492/0512] Zwölfte Vorlesung. daher von den Heiden b exakt auch nicht die Grönländer c subtrahirend ausnehmen kann, sondern nur die grönländischen Heiden b c. Es würde darnach der Ausdruck b — c schon jeglichen Sinnes baar sein, und wäre es nur zulässig die Klasse b — b c = b (1 — c) = b c1 zu bilden. Um uns auch über die sonstigen Gesetze der logischen Subtrak- tion möglichst rasch zu orientiren, will ich zunächst in übersichtlicher Formelzusammenstellung die fundamentalen Sätze der arithmetischen Subtraktion zur Vergleichung hersetzen. Soweit dieselben auf nicht mehr als drei allgemeine Zahlen Bezug haben, können letztere — vergl. meine Schriften 1 und 2 — in folgende vier Gruppen gebracht werden: v1) (a — b) + b = (a + b) — b = b — (b — a) = a, v2) (a + b) — c = a + (b — c) = a — (c — b) = = (a — c) + b = b — (c — a), v3)a — (b + c) = (a — b) — c = = (a — c) — b, v4)a — b = (a + c) — (b + c) = (a — c) — (b — c) = = (c — b) — (c — a) = (a — c) + (c — b), a + b = (a + c) + (b — c) = (a + c) — (c — b) = = (a — c) + (b + c) = (b + c) — (c — a). Nach dem Schema ϰ) können wir nun für jeden der hier verglichenen Ausdrücke den Wert angeben, der demselben im identischen Kalkul beizu- legen ist. Desgleichen vermögen wir nach dem Schema δ) auch seine Valenzbedingung anzusetzen, oder, wo mehrere Minuszeichen in dem Aus- druck vorkommen, seine sämtlichen Valenzbedingungen, welche wir dann zu einer einzigen Gleichung vereinigen mögen. Mit Rücksicht auf diese seine Valenzbedingung (schlechtweg) können wir endlich jeden Ausdruck nötigenfalls entwickeln nach den Symbolen, a, b, (c), aus welchen er auf- gebaut ist. Sonach ist es dann weiter keine Kunst, zuzusehen, ob (und unter welchen Bedingungen) die in der Arithmetik gleichwertigen Ausdrücke auch im identischen Kalkul übereinstimmen und um welche Terme sie sich andernfalles unterscheiden. Es stellt sich heraus, dass von den in der Arithmetik geltenden Gleichungen so ziemlich die Hälfte auch im identischen Kalkul Geltung besitzt unter der Voraussetzung, dass die Ausdrücke beiderseits gleichzeitig einen Sinn besitzen, d. h. unter den aus dem Anglick der beiden Seiten selbst ersichtlichen Valenzbedingungen. Unter Zugrundelegung derselben Annahme (der „vereinigten“ Valenz- bedingung der Gleichung) bedarf die andere Hälfte der Gleichungen, um im identischen Kalkul gültig zu werden der Hinzufügung eines Korrektions- gliedes auf der einen Seite derselben — eines additiven oder subtraktiven Gliedes, welches eines allgemeinen Ausdrucks selber fähig ist.

Suche im Werk

Hilfe

Informationen zum Werk

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?

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/512
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 492. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/512>, abgerufen am 23.11.2024.