Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

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

Einundzwanzigste Vorlesung.
symbole gesetzt wird: jene Ungleichheit wäre eine ganz selbstverständliche,
analytische, und sie zu konstatiren: "nichtssagend". -- Wir wollen in dieser
Richtung nicht weiterfahren: das Gesagte wird bereits genügen um erkennen
zu lassen, dass dergleichen Deutungsversuche bei unsern gemischten Formeln
sicherlich ein nutzloses und müssiges Beginnen blieben. --

Indessen haben wir mit derartigen Formeln, mit Formeln von
dieser und jener Art, nur so weit Bekanntschaft gemacht, als nötig
war, jene Verifikation des identischen Kalkuls durch sich selbst
(mittelst mechanischen Rechnens) vornehmen zu können, wie sie in
§ 32 durchgenommen wurde. Im Übrigen konzentrirten wir unsre
Aufmerksamkeit auf die Formeln des Gebietekalkuls, welche also für
beide K alkuln, auch für den mit Aussagen, maassgebend sind.

Demgegenüber wollen wir jetzt auf die dem Gebietekalkul fremden
Sätze und Formeln des Aussagenkalkuls unser Hauptaugenmerk richten,
solche thunlichst systematisch und vollständig aufsuchen.

Dieselben werden teils "gemischter Natur" sein, wodurch sie sich
auf den ersten Blick als solche nur in der einen Disziplin gültige,
(weil nur in ihr interpretable) zu erkennen geben. Teils aber auch
werden sie "reine" Sätze oder Formeln sein (soll heissen: solche von
reinem Charakter), die auch eine Deutung der in sie eingehenden
Buchstaben als Flächen oder Gebiete, Klassen zulassen würden, dann
aber keine allgemeine Geltung zeigen, die also im Gebietekalkul auf
den ersten Blick zu urteilen zwar gelten könnten aber nicht gelten
müssen, nicht unbedingt, notwendig gelten -- welch' letzteren mit
einem Stern auszuzeichnenden wir "die engere Geltung" vindiziren.

Von den zahlreichen Formeln dieser beiden Sorten ist nur eine
kleine Gruppe von einiger, dann aber auch zumeist von grosser Wichtig-
keit und wirklich vielfach für unser Denken maassgebend. Es sind das
im allgemeinen diejenigen Formeln, in welchen nur unverneinte Um-
fangsbeziehungen vorkommen und wollen wir diese thunlichst von den
übrigen gesondert in den Vordergrund stellen.

Um sogleich mit einem Paar von Sätzen zu beginnen, welche
Herrn Peirce entgangen zu sein scheinen, so haben wir zu den seiner-
zeit in Theoremform ausgesprochenen Definitionen (3x) und (3+) -- cf.
§ 29 -- merkwürdigerweise im Aussagenkalkul die folgenden Gegen-
stücke. Hier ist nicht minder auch:

*ax) (a b c) = (a c) + (b c)*a+) (c a + b) = (c a) + (c b),
wenn wir wiederum Buchstaben des kleinen Alphabets auch für Aus-
sagen mitverwenden.

Einundzwanzigste Vorlesung.
symbole gesetzt wird: jene Ungleichheit wäre eine ganz selbstverständliche,
analytische, und sie zu konstatiren: „nichtssagend“. — Wir wollen in dieser
Richtung nicht weiterfahren: das Gesagte wird bereits genügen um erkennen
zu lassen, dass dergleichen Deutungsversuche bei unsern gemischten Formeln
sicherlich ein nutzloses und müssiges Beginnen blieben. —

Indessen haben wir mit derartigen Formeln, mit Formeln von
dieser und jener Art, nur so weit Bekanntschaft gemacht, als nötig
war, jene Verifikation des identischen Kalkuls durch sich selbst
(mittelst mechanischen Rechnens) vornehmen zu können, wie sie in
§ 32 durchgenommen wurde. Im Übrigen konzentrirten wir unsre
Aufmerksamkeit auf die Formeln des Gebietekalkuls, welche also für
beide K alkuln, auch für den mit Aussagen, maassgebend sind.

Demgegenüber wollen wir jetzt auf die dem Gebietekalkul fremden
Sätze und Formeln des Aussagenkalkuls unser Hauptaugenmerk richten,
solche thunlichst systematisch und vollständig aufsuchen.

Dieselben werden teils „gemischter Natur“ sein, wodurch sie sich
auf den ersten Blick als solche nur in der einen Disziplin gültige,
(weil nur in ihr interpretable) zu erkennen geben. Teils aber auch
werden sie „reine“ Sätze oder Formeln sein (soll heissen: solche von
reinem Charakter), die auch eine Deutung der in sie eingehenden
Buchstaben als Flächen oder Gebiete, Klassen zulassen würden, dann
aber keine allgemeine Geltung zeigen, die also im Gebietekalkul auf
den ersten Blick zu urteilen zwar gelten könnten aber nicht gelten
müssen, nicht unbedingt, notwendig gelten — welch’ letzteren mit
einem Stern auszuzeichnenden wir „die engere Geltung“ vindiziren.

Von den zahlreichen Formeln dieser beiden Sorten ist nur eine
kleine Gruppe von einiger, dann aber auch zumeist von grosser Wichtig-
keit und wirklich vielfach für unser Denken maassgebend. Es sind das
im allgemeinen diejenigen Formeln, in welchen nur unverneinte Um-
fangsbeziehungen vorkommen und wollen wir diese thunlichst von den
übrigen gesondert in den Vordergrund stellen.

Um sogleich mit einem Paar von Sätzen zu beginnen, welche
Herrn Peirce entgangen zu sein scheinen, so haben wir zu den seiner-
zeit in Theoremform ausgesprochenen Definitionen (3×) und (3+) — cf.
§ 29 — merkwürdigerweise im Aussagenkalkul die folgenden Gegen-
stücke. Hier ist nicht minder auch:

*α×) (a b ⊆ c) = (a ⊆ c) + (b ⊆ c)*α+) (c ⊆ a + b) = (c ⊆ a) + (c ⊆ b),
wenn wir wiederum Buchstaben des kleinen Alphabets auch für Aus-
sagen mitverwenden.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0282" n="258"/><fw place="top" type="header">Einundzwanzigste Vorlesung.</fw><lb/>
symbole gesetzt wird: jene Ungleichheit wäre eine ganz selbstverständliche,<lb/>
analytische, und sie zu konstatiren: &#x201E;nichtssagend&#x201C;. &#x2014; Wir wollen in dieser<lb/>
Richtung nicht weiterfahren: das Gesagte wird bereits genügen um erkennen<lb/>
zu lassen, dass dergleichen Deutungsversuche bei unsern gemischten Formeln<lb/>
sicherlich ein nutzloses und müssiges Beginnen blieben. &#x2014;</p><lb/>
            <p>Indessen haben wir mit derartigen Formeln, mit Formeln von<lb/>
dieser und jener Art, nur so weit Bekanntschaft gemacht, als nötig<lb/>
war, jene Verifikation des identischen Kalkuls durch sich selbst<lb/>
(mittelst mechanischen Rechnens) vornehmen zu können, wie sie in<lb/>
§ 32 durchgenommen wurde. Im Übrigen konzentrirten wir unsre<lb/>
Aufmerksamkeit auf die Formeln des <hi rendition="#i">Gebiete</hi>kalkuls, welche also für<lb/>
beide K alkuln, auch für den mit Aussagen, maassgebend sind.</p><lb/>
            <p>Demgegenüber wollen wir jetzt auf die dem Gebietekalkul <hi rendition="#i">fremden</hi><lb/>
Sätze und Formeln des Aussagenkalkuls unser Hauptaugenmerk richten,<lb/>
solche thunlichst systematisch und vollständig aufsuchen.</p><lb/>
            <p>Dieselben werden teils &#x201E;gemischter Natur&#x201C; sein, wodurch sie sich<lb/>
auf den ersten Blick als solche nur in der einen Disziplin gültige,<lb/>
(weil nur in ihr interpretable) zu erkennen geben. Teils aber auch<lb/>
werden sie &#x201E;reine&#x201C; Sätze oder Formeln sein (soll heissen: solche von<lb/>
reinem Charakter), die auch eine Deutung der in sie eingehenden<lb/>
Buchstaben als Flächen oder Gebiete, Klassen zulassen würden, dann<lb/>
aber keine allgemeine Geltung zeigen, die also im Gebietekalkul auf<lb/>
den ersten Blick zu urteilen zwar gelten <hi rendition="#i">könnten</hi> aber nicht gelten<lb/><hi rendition="#i">müssen</hi>, nicht unbedingt, notwendig gelten &#x2014; welch&#x2019; letzteren mit<lb/>
einem Stern auszuzeichnenden wir &#x201E;die engere Geltung&#x201C; vindiziren.</p><lb/>
            <p>Von den zahlreichen Formeln dieser beiden Sorten ist nur eine<lb/>
kleine Gruppe von einiger, dann aber auch zumeist von grosser Wichtig-<lb/>
keit und wirklich vielfach für unser Denken maassgebend. Es sind das<lb/>
im allgemeinen diejenigen Formeln, in welchen nur <hi rendition="#i">unverneinte</hi> Um-<lb/>
fangsbeziehungen vorkommen und wollen wir diese thunlichst von den<lb/>
übrigen gesondert in den Vordergrund stellen.</p><lb/>
            <p>Um sogleich mit einem Paar von Sätzen zu beginnen, welche<lb/>
Herrn <hi rendition="#g">Peirce</hi> entgangen zu sein scheinen, so haben wir zu den seiner-<lb/>
zeit in Theoremform ausgesprochenen Definitionen (3<hi rendition="#sub">×</hi>) und (3<hi rendition="#sub">+</hi>) &#x2014; cf.<lb/>
§ 29 &#x2014; merkwürdigerweise <hi rendition="#i">im Aussagenkalkul</hi> die folgenden Gegen-<lb/>
stücke. <hi rendition="#i">Hier</hi> ist nicht minder auch:<lb/><table><row><cell>*<hi rendition="#i">&#x03B1;</hi><hi rendition="#sub">×</hi>) (<hi rendition="#i">a b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) = (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) + (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>)</cell><cell>*<hi rendition="#i">&#x03B1;</hi><hi rendition="#sub">+</hi>) (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) = (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) + (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>),</cell></row><lb/></table> wenn wir wiederum Buchstaben des kleinen Alphabets auch für Aus-<lb/>
sagen mitverwenden.</p><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[258/0282] Einundzwanzigste Vorlesung. symbole gesetzt wird: jene Ungleichheit wäre eine ganz selbstverständliche, analytische, und sie zu konstatiren: „nichtssagend“. — Wir wollen in dieser Richtung nicht weiterfahren: das Gesagte wird bereits genügen um erkennen zu lassen, dass dergleichen Deutungsversuche bei unsern gemischten Formeln sicherlich ein nutzloses und müssiges Beginnen blieben. — Indessen haben wir mit derartigen Formeln, mit Formeln von dieser und jener Art, nur so weit Bekanntschaft gemacht, als nötig war, jene Verifikation des identischen Kalkuls durch sich selbst (mittelst mechanischen Rechnens) vornehmen zu können, wie sie in § 32 durchgenommen wurde. Im Übrigen konzentrirten wir unsre Aufmerksamkeit auf die Formeln des Gebietekalkuls, welche also für beide K alkuln, auch für den mit Aussagen, maassgebend sind. Demgegenüber wollen wir jetzt auf die dem Gebietekalkul fremden Sätze und Formeln des Aussagenkalkuls unser Hauptaugenmerk richten, solche thunlichst systematisch und vollständig aufsuchen. Dieselben werden teils „gemischter Natur“ sein, wodurch sie sich auf den ersten Blick als solche nur in der einen Disziplin gültige, (weil nur in ihr interpretable) zu erkennen geben. Teils aber auch werden sie „reine“ Sätze oder Formeln sein (soll heissen: solche von reinem Charakter), die auch eine Deutung der in sie eingehenden Buchstaben als Flächen oder Gebiete, Klassen zulassen würden, dann aber keine allgemeine Geltung zeigen, die also im Gebietekalkul auf den ersten Blick zu urteilen zwar gelten könnten aber nicht gelten müssen, nicht unbedingt, notwendig gelten — welch’ letzteren mit einem Stern auszuzeichnenden wir „die engere Geltung“ vindiziren. Von den zahlreichen Formeln dieser beiden Sorten ist nur eine kleine Gruppe von einiger, dann aber auch zumeist von grosser Wichtig- keit und wirklich vielfach für unser Denken maassgebend. Es sind das im allgemeinen diejenigen Formeln, in welchen nur unverneinte Um- fangsbeziehungen vorkommen und wollen wir diese thunlichst von den übrigen gesondert in den Vordergrund stellen. Um sogleich mit einem Paar von Sätzen zu beginnen, welche Herrn Peirce entgangen zu sein scheinen, so haben wir zu den seiner- zeit in Theoremform ausgesprochenen Definitionen (3×) und (3+) — cf. § 29 — merkwürdigerweise im Aussagenkalkul die folgenden Gegen- stücke. Hier ist nicht minder auch: *α×) (a b  c) = (a  c) + (b  c) *α+) (c  a + b) = (c  a) + (c  b), wenn wir wiederum Buchstaben des kleinen Alphabets auch für Aus- sagen mitverwenden.

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/282
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 258. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/282>, abgerufen am 06.05.2024.