Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

§ 6. Gespanne von Formeln und Sätzen.
kein Name in Gebrauch; es scheint dafür der Ausdruck "Dualisiren"
zur Verfügung zu stehen (minder gut, weil schon mit Nebendeutungen
versehen, wol "Opponiren, Opposition, Entgegensetzung" oder dergl.).

Also: durch Dualisiren gehen die nebeneinander, durch Konjugiren
die untereinander stehenden von den vier Formeln in einander über,
und weil jene beiden erlaubte Prozesse sein werden, so dürfen mit
irgend einer von den vier Formeln zugleich alle viere Geltung bean-
spruchen. Die vier Formeln, die sich nur auf zweie oder eine auch
reduziren können, bilden eine Tetrade, ein Quadrupel, Viergespann von
-- wie wir sagen wollen -- "verwandten" Formeln oder Sätzen.

Beispiele dazu liefern schon die bisher aufgeführten Sätze.

Eine Reduktion der vier Formeln auf dreie, welche verschiedene Sätze
zum Ausdruck brächten und dennoch in Hinsicht der Operationen des Konju-
girens und Dualisirens eine (vollständige) Gruppe bildeten, ist unmöglich.
Dies würde sich leicht im Anschluss an unsre Ausführungen apagogisch
beweisen, theoretisch begründen lassen. Man mag sich jedoch auch an
der aus der Praxis unsrer Disziplin zu schöpfenden Erfahrung genügen
lassen, dass Triaden, Tripel, Dreigespanne von Formeln in dieser niemals
auftreten.

In eine Dyade, ein Paar oder Zweigespann von Formeln kann das
Viergespann auf zwei Arten ausarten. Entweder könnten hiebei die
einander konjugirten, oder die zueinander dualen Formeln jeweils in
eine zusammenfallen -- abgesehen natürlich von der Wahl der Buch-
staben, mit denen die in die Formel als Terme eingehenden allgemeinen
Relative gerade benannt erscheinen und wofür ja der Grundsatz mass-
gebend ist: "der Name thut nichts zur Sache". Im erstern Falle sind
die verbleibenden das Zweigespann bildenden Formeln, als duale, durch
einen Mittelstrich getrennt nebeneinander gesetzt (oder wenigstens auf
einer Zeile stehend zu denken). Im letztern Falle -- der jedoch nicht
vorzukommen scheint -- würden sie als konjugirte, untereinander stehen.
Dagegen kommt es -- wie beim Zweigespann:
7) [Formel 1]
-- vor, dass die dualen Formeln zugleich konjugirte sind, ohne dass
doch diese oder jene unter sich zusammenfielen.

Dass die vier Formeln auch in eine zu einer "Monade", einem
"Eingespann" zusammenschrumpfen können, zeigt sich schon bei den
Sätzen 0), 1) und 13).

Im Hinblick auf diese Möglichkeiten oder Degenerationsfälle wer-
den wir allgemein am besten (ohne nähere Zahlbezeichnung) blos von
einem "Gespann" von Formeln oder Sätzen reden.


§ 6. Gespanne von Formeln und Sätzen.
kein Name in Gebrauch; es scheint dafür der Ausdruck „Dualisiren
zur Verfügung zu stehen (minder gut, weil schon mit Nebendeutungen
versehen, wol „Opponiren, Opposition, Entgegensetzung“ oder dergl.).

Also: durch Dualisiren gehen die nebeneinander, durch Konjugiren
die untereinander stehenden von den vier Formeln in einander über,
und weil jene beiden erlaubte Prozesse sein werden, so dürfen mit
irgend einer von den vier Formeln zugleich alle viere Geltung bean-
spruchen. Die vier Formeln, die sich nur auf zweie oder eine auch
reduziren können, bilden eine Tetrade, ein Quadrupel, Viergespann von
— wie wir sagen wollen — „verwandten“ Formeln oder Sätzen.

Beispiele dazu liefern schon die bisher aufgeführten Sätze.

Eine Reduktion der vier Formeln auf dreie, welche verschiedene Sätze
zum Ausdruck brächten und dennoch in Hinsicht der Operationen des Konju-
girens und Dualisirens eine (vollständige) Gruppe bildeten, ist unmöglich.
Dies würde sich leicht im Anschluss an unsre Ausführungen apagogisch
beweisen, theoretisch begründen lassen. Man mag sich jedoch auch an
der aus der Praxis unsrer Disziplin zu schöpfenden Erfahrung genügen
lassen, dass Triaden, Tripel, Dreigespanne von Formeln in dieser niemals
auftreten.

In eine Dyade, ein Paar oder Zweigespann von Formeln kann das
Viergespann auf zwei Arten ausarten. Entweder könnten hiebei die
einander konjugirten, oder die zueinander dualen Formeln jeweils in
eine zusammenfallen — abgesehen natürlich von der Wahl der Buch-
staben, mit denen die in die Formel als Terme eingehenden allgemeinen
Relative gerade benannt erscheinen und wofür ja der Grundsatz mass-
gebend ist: „der Name thut nichts zur Sache“. Im erstern Falle sind
die verbleibenden das Zweigespann bildenden Formeln, als duale, durch
einen Mittelstrich getrennt nebeneinander gesetzt (oder wenigstens auf
einer Zeile stehend zu denken). Im letztern Falle — der jedoch nicht
vorzukommen scheint — würden sie als konjugirte, untereinander stehen.
Dagegen kommt es — wie beim Zweigespann:
7) [Formel 1]
— vor, dass die dualen Formeln zugleich konjugirte sind, ohne dass
doch diese oder jene unter sich zusammenfielen.

Dass die vier Formeln auch in eine zu einer „Monade“, einem
„Eingespann“ zusammenschrumpfen können, zeigt sich schon bei den
Sätzen 0), 1) und 13).

Im Hinblick auf diese Möglichkeiten oder Degenerationsfälle wer-
den wir allgemein am besten (ohne nähere Zahlbezeichnung) blos von
einem „Gespann“ von Formeln oder Sätzen reden.


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0105" n="91"/><fw place="top" type="header">§ 6. Gespanne von Formeln und Sätzen.</fw><lb/>
kein Name in Gebrauch; es scheint dafür der Ausdruck &#x201E;<hi rendition="#i">Dualisiren</hi>&#x201C;<lb/>
zur Verfügung zu stehen (minder gut, weil schon mit Nebendeutungen<lb/>
versehen, wol &#x201E;Opponiren, Opposition, Entgegensetzung&#x201C; oder dergl.).</p><lb/>
          <p>Also: durch <hi rendition="#i">Dualisiren</hi> gehen die <hi rendition="#i">neben</hi>einander, durch <hi rendition="#i">Konjugiren</hi><lb/>
die <hi rendition="#i">unter</hi>einander stehenden von den vier Formeln in einander über,<lb/>
und weil jene beiden erlaubte Prozesse sein werden, so dürfen mit<lb/>
irgend einer von den vier Formeln zugleich alle viere Geltung bean-<lb/>
spruchen. Die <hi rendition="#i">vier</hi> Formeln, die sich nur auf <hi rendition="#i">zweie</hi> oder <hi rendition="#i">eine</hi> auch<lb/>
reduziren können, bilden eine <hi rendition="#i">Tetrade</hi>, ein <hi rendition="#i">Quadrupel</hi>, <hi rendition="#i">Viergespann</hi> von<lb/>
&#x2014; wie wir sagen wollen &#x2014; &#x201E;<hi rendition="#i">verwandten</hi>&#x201C; Formeln oder Sätzen.</p><lb/>
          <p>Beispiele dazu liefern schon die bisher aufgeführten Sätze.</p><lb/>
          <p>Eine Reduktion der vier Formeln auf dreie, welche verschiedene Sätze<lb/>
zum Ausdruck brächten und dennoch in Hinsicht der Operationen des Konju-<lb/>
girens und Dualisirens eine (vollständige) Gruppe bildeten, ist unmöglich.<lb/>
Dies würde sich leicht im Anschluss an unsre Ausführungen apagogisch<lb/>
beweisen, theoretisch begründen lassen. Man mag sich jedoch auch an<lb/>
der aus der Praxis unsrer Disziplin zu schöpfenden Erfahrung genügen<lb/>
lassen, dass Triaden, Tripel, Dreigespanne von Formeln in dieser niemals<lb/>
auftreten.</p><lb/>
          <p>In eine <hi rendition="#i">Dyade</hi>, ein <hi rendition="#i">Paar</hi> oder <hi rendition="#i">Zweigespann</hi> von Formeln kann das<lb/>
Viergespann <hi rendition="#i">auf zwei Arten</hi> ausarten. Entweder könnten hiebei die<lb/>
einander <hi rendition="#i">konjugirten</hi>, oder die zueinander <hi rendition="#i">dualen</hi> Formeln jeweils in<lb/><hi rendition="#i">eine</hi> zusammenfallen &#x2014; abgesehen natürlich von der Wahl der Buch-<lb/>
staben, mit denen die in die Formel als Terme eingehenden allgemeinen<lb/>
Relative gerade benannt erscheinen und wofür ja der Grundsatz mass-<lb/>
gebend ist: &#x201E;der Name thut nichts zur Sache&#x201C;. Im erstern Falle sind<lb/>
die verbleibenden das Zweigespann bildenden Formeln, als <hi rendition="#i">duale</hi>, durch<lb/>
einen Mittelstrich getrennt nebeneinander gesetzt (oder wenigstens auf<lb/><hi rendition="#i">einer Zeile</hi> stehend <hi rendition="#i">zu denken</hi>). Im letztern Falle &#x2014; der jedoch nicht<lb/>
vorzukommen scheint &#x2014; würden sie als <hi rendition="#i">konjugirte</hi>, untereinander stehen.<lb/>
Dagegen kommt es &#x2014; wie beim Zweigespann:<lb/><hi rendition="#c">7) <formula/></hi><lb/>
&#x2014; vor, dass die dualen Formeln zugleich konjugirte sind, ohne dass<lb/>
doch diese oder jene unter sich zusammenfielen.</p><lb/>
          <p>Dass die vier Formeln auch in <hi rendition="#i">eine</hi> zu einer &#x201E;Monade&#x201C;, einem<lb/>
&#x201E;Eingespann&#x201C; zusammenschrumpfen können, zeigt sich schon bei den<lb/>
Sätzen 0), 1) und 13).</p><lb/>
          <p>Im Hinblick auf diese Möglichkeiten oder Degenerationsfälle wer-<lb/>
den wir allgemein am besten (ohne nähere Zahlbezeichnung) blos von<lb/>
einem &#x201E;<hi rendition="#i">Gespann</hi>&#x201C; von Formeln oder Sätzen reden.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[91/0105] § 6. Gespanne von Formeln und Sätzen. kein Name in Gebrauch; es scheint dafür der Ausdruck „Dualisiren“ zur Verfügung zu stehen (minder gut, weil schon mit Nebendeutungen versehen, wol „Opponiren, Opposition, Entgegensetzung“ oder dergl.). Also: durch Dualisiren gehen die nebeneinander, durch Konjugiren die untereinander stehenden von den vier Formeln in einander über, und weil jene beiden erlaubte Prozesse sein werden, so dürfen mit irgend einer von den vier Formeln zugleich alle viere Geltung bean- spruchen. Die vier Formeln, die sich nur auf zweie oder eine auch reduziren können, bilden eine Tetrade, ein Quadrupel, Viergespann von — wie wir sagen wollen — „verwandten“ Formeln oder Sätzen. Beispiele dazu liefern schon die bisher aufgeführten Sätze. Eine Reduktion der vier Formeln auf dreie, welche verschiedene Sätze zum Ausdruck brächten und dennoch in Hinsicht der Operationen des Konju- girens und Dualisirens eine (vollständige) Gruppe bildeten, ist unmöglich. Dies würde sich leicht im Anschluss an unsre Ausführungen apagogisch beweisen, theoretisch begründen lassen. Man mag sich jedoch auch an der aus der Praxis unsrer Disziplin zu schöpfenden Erfahrung genügen lassen, dass Triaden, Tripel, Dreigespanne von Formeln in dieser niemals auftreten. In eine Dyade, ein Paar oder Zweigespann von Formeln kann das Viergespann auf zwei Arten ausarten. Entweder könnten hiebei die einander konjugirten, oder die zueinander dualen Formeln jeweils in eine zusammenfallen — abgesehen natürlich von der Wahl der Buch- staben, mit denen die in die Formel als Terme eingehenden allgemeinen Relative gerade benannt erscheinen und wofür ja der Grundsatz mass- gebend ist: „der Name thut nichts zur Sache“. Im erstern Falle sind die verbleibenden das Zweigespann bildenden Formeln, als duale, durch einen Mittelstrich getrennt nebeneinander gesetzt (oder wenigstens auf einer Zeile stehend zu denken). Im letztern Falle — der jedoch nicht vorzukommen scheint — würden sie als konjugirte, untereinander stehen. Dagegen kommt es — wie beim Zweigespann: 7) [FORMEL] — vor, dass die dualen Formeln zugleich konjugirte sind, ohne dass doch diese oder jene unter sich zusammenfielen. Dass die vier Formeln auch in eine zu einer „Monade“, einem „Eingespann“ zusammenschrumpfen können, zeigt sich schon bei den Sätzen 0), 1) und 13). Im Hinblick auf diese Möglichkeiten oder Degenerationsfälle wer- den wir allgemein am besten (ohne nähere Zahlbezeichnung) blos von einem „Gespann“ von Formeln oder Sätzen reden.

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_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/105
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 91. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/105>, abgerufen am 25.11.2024.