Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
Vierundzwanzigste Vorlesung.

Resumirend können wir etwa sagen, dass die Umordnung der
chiffrirten Sätze unserer Theorie in die nachstehende Reihenfolge: 1)
bis 31), 38), 37), 32), 33), 34), 35), 41), 36), 39), 40), 42) usw. durch-
führbar ist und hinsichtlich der Eleganz der dadurch ermöglichten
Beweisführungen nicht zu verachtende Vorteile bietet.

Hiermit gelangt eine erste Gruppe unserer Vervollkommnungs-
bestrebungen zum Abschluss.

In einem ganz kurzen "Abriss" der algebraischen Logik, den ich
plane, gedenke ich den nach vorstehenden Andeutungen (vergl. auch
unten S. 423) verbesserten Lehrgang zu verwirklichen.

Eine zweite Gruppe von auf Vervollkommnung der Theorie im
ersten Bande abzielenden Bemerkungen bezieht sich auf die Theoreme 45)
und 46) des § 19, Bd. 1, S. 420 ... 424, sowie Bd. 2, S. 33 f., welche
lehren, wie mit im Sinne Boole's "entwickelten" Funktionen identisch
zu rechnen sei.

Zunächst, -- wie wir jedoch sehn werden, blos "formell" -- lassen
diese Sätze eine naheliegende Verallgemeinerung zu, indem an die Stelle
der "Konstituenten" in den Boole'schen Entwicklungsschemata auch
treten darf irgend ein System von Argumenten (Gebieten, Klassen),
von denen weiter nichts bekannt zu sein braucht, als dass sie unter
sich disjunkt sind. Für solche Argumente mögen wir füglich den
Namen "Konstituenten" beibehalten.

Dann aber handelt es sich von vornherein nicht sowol um
Funktionen, welche gemäss den Boole'schen Schemata nach jenen Ar-
gumenten "entwickelt" zu denken wären, als vielmehr einfacher blos
um Ausdrücke, welche eben inbezug auf diese Argumente linear und
homogen sind.

Gedachte Verallgemeinerungen präsentiren sich in der That als
die Hülfssätze:

Funktionen oder Ausdrücke, welche homogen linear sind inbezug
auf ein System von disjunkten Argumenten (den "Konstituenten"), können --
gleichwie durch Addition, so auch -- durch Multiplikation "überschiebend"
("durch Superposition") verknüpft werden; das heisst: man braucht immer
nur die Koeffizienten ihrer gleichnamigen Glieder durch die betreffende
Rechnungsart zu verknüpfen.

Letztere mag man vielleicht kurz ihre "gleichstelligen" oder "korre-
spondirenden", "homologen" Koeffizienten nennen, -- jenes, insofern man
sich die Glieder einer jeden von den Funktionen nach den Argumenten
"geordnet" denkt. Als "gleichnamig" sollten hier wiederum nur diejenigen

Vierundzwanzigste Vorlesung.

Resumirend können wir etwa sagen, dass die Umordnung der
chiffrirten Sätze unserer Theorie in die nachstehende Reihenfolge: 1)
bis 31), 38), 37), 32), 33), 34), 35), 41), 36), 39), 40), 42) usw. durch-
führbar ist und hinsichtlich der Eleganz der dadurch ermöglichten
Beweisführungen nicht zu verachtende Vorteile bietet.

Hiermit gelangt eine erste Gruppe unserer Vervollkommnungs-
bestrebungen zum Abschluss.

In einem ganz kurzen „Abriss“ der algebraischen Logik, den ich
plane, gedenke ich den nach vorstehenden Andeutungen (vergl. auch
unten S. 423) verbesserten Lehrgang zu verwirklichen.

Eine zweite Gruppe von auf Vervollkommnung der Theorie im
ersten Bande abzielenden Bemerkungen bezieht sich auf die Theoreme 45)
und 46) des § 19, Bd. 1, S. 420 … 424, sowie Bd. 2, S. 33 f., welche
lehren, wie mit im Sinne Boole’s „entwickelten“ Funktionen identisch
zu rechnen sei.

Zunächst, — wie wir jedoch sehn werden, blos „formell“ — lassen
diese Sätze eine naheliegende Verallgemeinerung zu, indem an die Stelle
der „Konstituenten“ in den Boole’schen Entwicklungsschemata auch
treten darf irgend ein System von Argumenten (Gebieten, Klassen),
von denen weiter nichts bekannt zu sein braucht, als dass sie unter
sich disjunkt sind. Für solche Argumente mögen wir füglich den
Namen „Konstituenten“ beibehalten.

Dann aber handelt es sich von vornherein nicht sowol um
Funktionen, welche gemäss den Boole’schen Schemata nach jenen Ar-
gumenten „entwickelt“ zu denken wären, als vielmehr einfacher blos
um Ausdrücke, welche eben inbezug auf diese Argumente linear und
homogen sind.

Gedachte Verallgemeinerungen präsentiren sich in der That als
die Hülfssätze:

Funktionen oder Ausdrücke, welche homogen linear sind inbezug
auf ein System von disjunkten Argumenten (den „Konstituenten“), können —
gleichwie durch Addition, so auch — durch Multiplikation „überschiebend“
(„durch Superposition“) verknüpft werden; das heisst: man braucht immer
nur die Koeffizienten ihrer gleichnamigen Glieder durch die betreffende
Rechnungsart zu verknüpfen.

Letztere mag man vielleicht kurz ihre „gleichstelligen“ oder „korre-
spondirenden“, „homologen“ Koeffizienten nennen, — jenes, insofern man
sich die Glieder einer jeden von den Funktionen nach den Argumenten
„geordnet“ denkt. Als „gleichnamig“ sollten hier wiederum nur diejenigen

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0050" n="406"/>
            <fw place="top" type="header">Vierundzwanzigste Vorlesung.</fw><lb/>
            <p>Resumirend können wir etwa sagen, dass die Umordnung der<lb/>
chiffrirten Sätze unserer Theorie in die nachstehende Reihenfolge: 1)<lb/>
bis 31), 38), 37), 32), 33), 34), 35), 41), 36), 39), 40), 42) usw. durch-<lb/>
führbar ist und hinsichtlich der Eleganz der dadurch ermöglichten<lb/>
Beweisführungen nicht zu verachtende <hi rendition="#i">Vorteile</hi> bietet.</p><lb/>
            <p>Hiermit gelangt eine <hi rendition="#i">erste</hi> Gruppe unserer Vervollkommnungs-<lb/>
bestrebungen zum Abschluss.</p><lb/>
            <p>In einem ganz kurzen &#x201E;Abriss&#x201C; der algebraischen Logik, den ich<lb/>
plane, gedenke ich den nach vorstehenden Andeutungen (vergl. auch<lb/>
unten S. 423) verbesserten Lehrgang zu verwirklichen.</p><lb/>
            <p>Eine <hi rendition="#i">zweite</hi> Gruppe von auf Vervollkommnung der Theorie im<lb/>
ersten Bande abzielenden Bemerkungen bezieht sich auf die Theoreme 45)<lb/>
und 46) des § 19, Bd. 1, S. 420 &#x2026; 424, sowie Bd. 2, S. 33 f., welche<lb/>
lehren, wie mit im Sinne <hi rendition="#g">Boole&#x2019;</hi>s &#x201E;<hi rendition="#i">entwickelten</hi>&#x201C; Funktionen identisch<lb/>
zu rechnen sei.</p><lb/>
            <p>Zunächst, &#x2014; wie wir jedoch sehn werden, blos &#x201E;<hi rendition="#i">formell</hi>&#x201C; &#x2014; lassen<lb/>
diese Sätze eine naheliegende <hi rendition="#i">Verallgemeinerung</hi> zu, indem an die Stelle<lb/>
der &#x201E;Konstituenten&#x201C; in den <hi rendition="#g">Boole&#x2019;</hi>schen Entwicklungsschemata auch<lb/>
treten darf irgend ein System von Argumenten (Gebieten, Klassen),<lb/>
von denen weiter nichts bekannt zu sein braucht, als dass sie <hi rendition="#i">unter<lb/>
sich disjunkt sind</hi>. Für solche Argumente mögen wir füglich den<lb/>
Namen &#x201E;<hi rendition="#i">Konstituenten</hi>&#x201C; beibehalten.</p><lb/>
            <p>Dann aber handelt es sich von vornherein nicht sowol um<lb/>
Funktionen, welche gemäss den <hi rendition="#g">Boole&#x2019;</hi>schen Schemata nach jenen Ar-<lb/>
gumenten &#x201E;entwickelt&#x201C; zu denken wären, als vielmehr einfacher blos<lb/>
um Ausdrücke, welche eben inbezug auf diese Argumente <hi rendition="#i">linear und<lb/>
homogen</hi> sind.</p><lb/>
            <p>Gedachte Verallgemeinerungen präsentiren sich in der That als<lb/>
die <hi rendition="#g">Hülfssätze</hi>:</p><lb/>
            <p><hi rendition="#i">Funktionen</hi> oder Ausdrücke, <hi rendition="#i">welche homogen linear sind inbezug<lb/>
auf ein System von disjunkten Argumenten</hi> (den &#x201E;Konstituenten&#x201C;), <hi rendition="#i">können</hi> &#x2014;<lb/>
gleichwie <hi rendition="#i">durch Addition</hi>, so auch &#x2014; <hi rendition="#i">durch Multiplikation</hi> &#x201E;<hi rendition="#i">überschiebend</hi>&#x201C;<lb/>
(&#x201E;<hi rendition="#i">durch Superposition</hi>&#x201C;) <hi rendition="#i">verknüpft werden;</hi> das heisst: man braucht immer<lb/>
nur <hi rendition="#i">die Koeffizienten ihrer gleichnamigen Glieder</hi> durch die betreffende<lb/>
Rechnungsart zu verknüpfen.</p><lb/>
            <p>Letztere mag man vielleicht kurz ihre &#x201E;gleichstelligen&#x201C; oder &#x201E;korre-<lb/>
spondirenden&#x201C;, &#x201E;homologen&#x201C; Koeffizienten nennen, &#x2014; jenes, insofern man<lb/>
sich die Glieder einer jeden von den Funktionen nach den Argumenten<lb/>
&#x201E;geordnet&#x201C; denkt. Als &#x201E;<hi rendition="#i">gleichnamig</hi>&#x201C; sollten hier wiederum nur diejenigen<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[406/0050] Vierundzwanzigste Vorlesung. Resumirend können wir etwa sagen, dass die Umordnung der chiffrirten Sätze unserer Theorie in die nachstehende Reihenfolge: 1) bis 31), 38), 37), 32), 33), 34), 35), 41), 36), 39), 40), 42) usw. durch- führbar ist und hinsichtlich der Eleganz der dadurch ermöglichten Beweisführungen nicht zu verachtende Vorteile bietet. Hiermit gelangt eine erste Gruppe unserer Vervollkommnungs- bestrebungen zum Abschluss. In einem ganz kurzen „Abriss“ der algebraischen Logik, den ich plane, gedenke ich den nach vorstehenden Andeutungen (vergl. auch unten S. 423) verbesserten Lehrgang zu verwirklichen. Eine zweite Gruppe von auf Vervollkommnung der Theorie im ersten Bande abzielenden Bemerkungen bezieht sich auf die Theoreme 45) und 46) des § 19, Bd. 1, S. 420 … 424, sowie Bd. 2, S. 33 f., welche lehren, wie mit im Sinne Boole’s „entwickelten“ Funktionen identisch zu rechnen sei. Zunächst, — wie wir jedoch sehn werden, blos „formell“ — lassen diese Sätze eine naheliegende Verallgemeinerung zu, indem an die Stelle der „Konstituenten“ in den Boole’schen Entwicklungsschemata auch treten darf irgend ein System von Argumenten (Gebieten, Klassen), von denen weiter nichts bekannt zu sein braucht, als dass sie unter sich disjunkt sind. Für solche Argumente mögen wir füglich den Namen „Konstituenten“ beibehalten. Dann aber handelt es sich von vornherein nicht sowol um Funktionen, welche gemäss den Boole’schen Schemata nach jenen Ar- gumenten „entwickelt“ zu denken wären, als vielmehr einfacher blos um Ausdrücke, welche eben inbezug auf diese Argumente linear und homogen sind. Gedachte Verallgemeinerungen präsentiren sich in der That als die Hülfssätze: Funktionen oder Ausdrücke, welche homogen linear sind inbezug auf ein System von disjunkten Argumenten (den „Konstituenten“), können — gleichwie durch Addition, so auch — durch Multiplikation „überschiebend“ („durch Superposition“) verknüpft werden; das heisst: man braucht immer nur die Koeffizienten ihrer gleichnamigen Glieder durch die betreffende Rechnungsart zu verknüpfen. Letztere mag man vielleicht kurz ihre „gleichstelligen“ oder „korre- spondirenden“, „homologen“ Koeffizienten nennen, — jenes, insofern man sich die Glieder einer jeden von den Funktionen nach den Argumenten „geordnet“ denkt. Als „gleichnamig“ sollten hier wiederum nur diejenigen

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_logik0202_1905
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0202_1905/50
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 2. Leipzig, 1905, S. 406. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0202_1905/50>, abgerufen am 22.11.2024.