Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
Dreiundzwanzigste Vorlesung.

Jedenfalls zeigt die Algebra der Logik auch hierin den Charakter
einer echten Wissenschaft, dass sie dem Forschenden gewichtige noch
ungelöste Probleme darbietet. --

Vorstehender § 49 war schon tel, quel geschrieben, als mir das
Manuskript einer Arbeit des Herrn Voigt zur Mitbegutachtung (Korreferat)
überwiesen wurde, der sich auf meine Anregung mit dem oben charakte-
risirten Probleme beschäftigt hatte von dem Standpunkte aus, auf welchem,
nachdem Herr Mitchell 1 (und Miss Ladd 1, vergl. § 54) es zu lösen be-
gonnen, dasselbe durch meine Mitteilung 6 gebracht und gelassen war. Das
Erscheinen von Voigt's Doktorarbeit fällt in die Zeit der Drucklegung meines
gegenwärtigen zweiten Bandes, dessen so viel grösserer Umfang natürlich eine
längere Drucklegungszeit erforderte. Begreiflich wird man manche Anklänge
in meinen vorstehenden und der Voigt'schen Betrachtungen finden, wie ich
denn schon in § 47 zu konstatiren gehabt (S. 326), dass Herr Voigt mir mit
der Publikation meiner Definition und gewisser Sätze vom Individuum, auf
welche er selbständig verfallen, zuvorgekommen. [Letzteres würde umge-
kehrt liegen, wenn ich auf der Heidelberger Naturforscherversammlung die
zweite angezeigte Mitteilung nicht wegen vorgerückter Zeit zurückgezogen
hätte -- cf. 9 ebenda.]

Es ist nicht meine Aufgabe, hier über die mehrseitigen Verdienste
der Voigt'schen durchaus lesenswerten Arbeit mich zu verbreiten [auf
deren eines ich auch in § 41, S. 209, hinzuweisen Veranlassung hatte].
Ich darf und will mich vielmehr begnügen, die Quintessenz der Voigt'schen
Arbeit, soweit sie eben auf jenes Problem Bezug hat, das uns im gegen-
wärtigen Paragraphen beschäftigte, noch darzulegen und kurzmöglichst zu
begründen.

Wenn ein System "eingliedriger partikularer" Forderungen zu er-
füllen ist:
(x p1 0) ... (x pm 0) · (x1 q1 0) ... (x1 qn 0)
und es ist die Zerfällung der Parameter p, q in Individuen gegeben, so
muss es möglich sein, aus jedem der p mindestens je ein Individuum
zu x und zugleich aus jedem der q mindestens je ein Individuum zu x1 zu
schlagen (wie dies schon weiter oben, sowie in 6 von mir ausgesprochen).

Um dies zu entscheiden, wird also auf jede mögliche Weise aus
jedem p ein Individuumglied und zugleich aus jedem q ein solches aus-
zuheben
und zuzusehen sein, ob und wie die gerade ausgehobnen Indi-
viduen aus den p zu x, die aus den q zugleich zu x1 geschlagen
werden könnten.

Alle nur erdenklichen Aushebungsweisen geht man nun nach
Voigt durch, wenn man im Hinblick auf die Multiplikationsregel der
Polynome die m + n Individuensummen:
p1 p2 ... pm q1 q2 ... qn

Dreiundzwanzigste Vorlesung.

Jedenfalls zeigt die Algebra der Logik auch hierin den Charakter
einer echten Wissenschaft, dass sie dem Forschenden gewichtige noch
ungelöste Probleme darbietet. —

Vorstehender § 49 war schon tel, quel geschrieben, als mir das
Manuskript einer Arbeit des Herrn Voigt zur Mitbegutachtung (Korreferat)
überwiesen wurde, der sich auf meine Anregung mit dem oben charakte-
risirten Probleme beschäftigt hatte von dem Standpunkte aus, auf welchem,
nachdem Herr Mitchell 1 (und Miss Ladd 1, vergl. § 54) es zu lösen be-
gonnen, dasselbe durch meine Mitteilung 6 gebracht und gelassen war. Das
Erscheinen von Voigt’s Doktorarbeit fällt in die Zeit der Drucklegung meines
gegenwärtigen zweiten Bandes, dessen so viel grösserer Umfang natürlich eine
längere Drucklegungszeit erforderte. Begreiflich wird man manche Anklänge
in meinen vorstehenden und der Voigt’schen Betrachtungen finden, wie ich
denn schon in § 47 zu konstatiren gehabt (S. 326), dass Herr Voigt mir mit
der Publikation meiner Definition und gewisser Sätze vom Individuum, auf
welche er selbständig verfallen, zuvorgekommen. [Letzteres würde umge-
kehrt liegen, wenn ich auf der Heidelberger Naturforscherversammlung die
zweite angezeigte Mitteilung nicht wegen vorgerückter Zeit zurückgezogen
hätte — cf. 9 ebenda.]

Es ist nicht meine Aufgabe, hier über die mehrseitigen Verdienste
der Voigt’schen durchaus lesenswerten Arbeit mich zu verbreiten [auf
deren eines ich auch in § 41, S. 209, hinzuweisen Veranlassung hatte].
Ich darf und will mich vielmehr begnügen, die Quintessenz der Voigt’schen
Arbeit, soweit sie eben auf jenes Problem Bezug hat, das uns im gegen-
wärtigen Paragraphen beschäftigte, noch darzulegen und kurzmöglichst zu
begründen.

Wenn ein System „eingliedriger partikularer“ Forderungen zu er-
füllen ist:
(x p1 ≠ 0) … (x pm ≠ 0) · (x1 q1 ≠ 0) … (x1 qn ≠ 0)
und es ist die Zerfällung der Parameter p, q in Individuen gegeben, so
muss es möglich sein, aus jedem der p mindestens je ein Individuum
zu x und zugleich aus jedem der q mindestens je ein Individuum zu x1 zu
schlagen (wie dies schon weiter oben, sowie in 6 von mir ausgesprochen).

Um dies zu entscheiden, wird also auf jede mögliche Weise aus
jedem p ein Individuumglied und zugleich aus jedem q ein solches aus-
zuheben
und zuzusehen sein, ob und wie die gerade ausgehobnen Indi-
viduen aus den p zu x, die aus den q zugleich zu x1 geschlagen
werden könnten.

Alle nur erdenklichen Aushebungsweisen geht man nun nach
Voigt durch, wenn man im Hinblick auf die Multiplikationsregel der
Polynome die m + n Individuensummen:
p1 p2pm q1 q2qn

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0422" n="398"/>
            <fw place="top" type="header">Dreiundzwanzigste Vorlesung.</fw><lb/>
            <p>Jedenfalls zeigt die Algebra der Logik auch hierin den Charakter<lb/>
einer echten Wissenschaft, dass sie dem Forschenden gewichtige noch<lb/>
ungelöste Probleme darbietet. &#x2014;</p><lb/>
            <p>Vorstehender § 49 war schon tel, quel geschrieben, als mir das<lb/>
Manuskript einer Arbeit des Herrn <hi rendition="#g">Voigt</hi> zur Mitbegutachtung (Korreferat)<lb/>
überwiesen wurde, der sich auf meine Anregung mit dem oben charakte-<lb/>
risirten Probleme beschäftigt hatte von dem Standpunkte aus, auf welchem,<lb/>
nachdem Herr <hi rendition="#g">Mitchell</hi> <hi rendition="#sup">1</hi> (und Miss <hi rendition="#g">Ladd</hi> <hi rendition="#sup">1</hi>, vergl. § 54) es zu lösen be-<lb/>
gonnen, dasselbe durch meine Mitteilung <hi rendition="#sup">6</hi> gebracht und gelassen war. Das<lb/>
Erscheinen von <hi rendition="#g">Voigt&#x2019;</hi>s Doktorarbeit fällt in die Zeit der Drucklegung meines<lb/>
gegenwärtigen zweiten Bandes, dessen so viel grösserer Umfang natürlich eine<lb/>
längere Drucklegungszeit erforderte. Begreiflich wird man manche Anklänge<lb/>
in meinen vorstehenden und der <hi rendition="#g">Voigt&#x2019;</hi>schen Betrachtungen finden, wie ich<lb/>
denn schon in § 47 zu konstatiren gehabt (S. 326), dass Herr <hi rendition="#g">Voigt</hi> mir mit<lb/>
der Publikation meiner Definition und gewisser Sätze vom Individuum, auf<lb/>
welche er selbständig verfallen, zuvorgekommen. [Letzteres würde umge-<lb/>
kehrt liegen, wenn ich auf der Heidelberger Naturforscherversammlung die<lb/>
zweite angezeigte Mitteilung nicht wegen vorgerückter Zeit zurückgezogen<lb/>
hätte &#x2014; cf. <hi rendition="#sup">9</hi> ebenda.]</p><lb/>
            <p>Es ist nicht meine Aufgabe, hier über die mehrseitigen Verdienste<lb/>
der <hi rendition="#g">Voigt&#x2019;</hi>schen durchaus lesenswerten Arbeit mich zu verbreiten [auf<lb/>
deren eines ich auch in § 41, S. 209, hinzuweisen Veranlassung hatte].<lb/>
Ich darf und will mich vielmehr begnügen, die Quintessenz der <hi rendition="#g">Voigt&#x2019;</hi>schen<lb/>
Arbeit, soweit sie eben auf jenes Problem Bezug hat, das uns im gegen-<lb/>
wärtigen Paragraphen beschäftigte, noch darzulegen und kurzmöglichst zu<lb/>
begründen.</p><lb/>
            <p>Wenn ein System &#x201E;eingliedriger partikularer&#x201C; Forderungen zu er-<lb/>
füllen ist:<lb/><hi rendition="#c">(<hi rendition="#i">x p</hi><hi rendition="#sup">1</hi> &#x2260; 0) &#x2026; (<hi rendition="#i">x p<hi rendition="#sup">m</hi></hi> &#x2260; 0) · (<hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">q</hi><hi rendition="#sup">1</hi> &#x2260; 0) &#x2026; (<hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">q<hi rendition="#sup">n</hi></hi> &#x2260; 0)</hi><lb/>
und es ist die Zerfällung der Parameter <hi rendition="#i">p</hi>, <hi rendition="#i">q</hi> in Individuen <hi rendition="#i">gegeben</hi>, so<lb/>
muss es möglich sein, aus jedem der <hi rendition="#i">p</hi> mindestens je <hi rendition="#i">ein</hi> Individuum<lb/>
zu <hi rendition="#i">x</hi> und zugleich aus jedem der <hi rendition="#i">q</hi> mindestens je <hi rendition="#i">ein</hi> Individuum zu <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> zu<lb/>
schlagen (wie dies schon weiter oben, sowie in <hi rendition="#sup">6</hi> von mir ausgesprochen).</p><lb/>
            <p>Um dies zu entscheiden, wird also auf jede mögliche Weise aus<lb/>
jedem <hi rendition="#i">p</hi> ein Individuumglied und zugleich aus jedem <hi rendition="#i">q</hi> ein solches <hi rendition="#i">aus-<lb/>
zuheben</hi> und zuzusehen sein, ob und wie die gerade ausgehobnen Indi-<lb/>
viduen aus den <hi rendition="#i">p</hi> zu <hi rendition="#i">x</hi>, die aus den <hi rendition="#i">q</hi> zugleich zu <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> geschlagen<lb/>
werden könnten.</p><lb/>
            <p>Alle nur erdenklichen Aushebungsweisen geht man nun nach<lb/><hi rendition="#g">Voigt</hi> durch, wenn man im Hinblick auf die Multiplikationsregel der<lb/>
Polynome die <hi rendition="#i">m</hi> + <hi rendition="#i">n</hi> Individuensummen:<lb/><hi rendition="#c"><hi rendition="#i">p</hi><hi rendition="#sup">1</hi><hi rendition="#i">p</hi><hi rendition="#sup">2</hi> &#x2026; <hi rendition="#i">p<hi rendition="#sup">m</hi> q</hi><hi rendition="#sup">1</hi> <hi rendition="#i">q</hi><hi rendition="#sup">2</hi> &#x2026; <hi rendition="#i">q<hi rendition="#sup">n</hi></hi></hi><lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[398/0422] Dreiundzwanzigste Vorlesung. Jedenfalls zeigt die Algebra der Logik auch hierin den Charakter einer echten Wissenschaft, dass sie dem Forschenden gewichtige noch ungelöste Probleme darbietet. — Vorstehender § 49 war schon tel, quel geschrieben, als mir das Manuskript einer Arbeit des Herrn Voigt zur Mitbegutachtung (Korreferat) überwiesen wurde, der sich auf meine Anregung mit dem oben charakte- risirten Probleme beschäftigt hatte von dem Standpunkte aus, auf welchem, nachdem Herr Mitchell 1 (und Miss Ladd 1, vergl. § 54) es zu lösen be- gonnen, dasselbe durch meine Mitteilung 6 gebracht und gelassen war. Das Erscheinen von Voigt’s Doktorarbeit fällt in die Zeit der Drucklegung meines gegenwärtigen zweiten Bandes, dessen so viel grösserer Umfang natürlich eine längere Drucklegungszeit erforderte. Begreiflich wird man manche Anklänge in meinen vorstehenden und der Voigt’schen Betrachtungen finden, wie ich denn schon in § 47 zu konstatiren gehabt (S. 326), dass Herr Voigt mir mit der Publikation meiner Definition und gewisser Sätze vom Individuum, auf welche er selbständig verfallen, zuvorgekommen. [Letzteres würde umge- kehrt liegen, wenn ich auf der Heidelberger Naturforscherversammlung die zweite angezeigte Mitteilung nicht wegen vorgerückter Zeit zurückgezogen hätte — cf. 9 ebenda.] Es ist nicht meine Aufgabe, hier über die mehrseitigen Verdienste der Voigt’schen durchaus lesenswerten Arbeit mich zu verbreiten [auf deren eines ich auch in § 41, S. 209, hinzuweisen Veranlassung hatte]. Ich darf und will mich vielmehr begnügen, die Quintessenz der Voigt’schen Arbeit, soweit sie eben auf jenes Problem Bezug hat, das uns im gegen- wärtigen Paragraphen beschäftigte, noch darzulegen und kurzmöglichst zu begründen. Wenn ein System „eingliedriger partikularer“ Forderungen zu er- füllen ist: (x p1 ≠ 0) … (x pm ≠ 0) · (x1 q1 ≠ 0) … (x1 qn ≠ 0) und es ist die Zerfällung der Parameter p, q in Individuen gegeben, so muss es möglich sein, aus jedem der p mindestens je ein Individuum zu x und zugleich aus jedem der q mindestens je ein Individuum zu x1 zu schlagen (wie dies schon weiter oben, sowie in 6 von mir ausgesprochen). Um dies zu entscheiden, wird also auf jede mögliche Weise aus jedem p ein Individuumglied und zugleich aus jedem q ein solches aus- zuheben und zuzusehen sein, ob und wie die gerade ausgehobnen Indi- viduen aus den p zu x, die aus den q zugleich zu x1 geschlagen werden könnten. Alle nur erdenklichen Aushebungsweisen geht man nun nach Voigt durch, wenn man im Hinblick auf die Multiplikationsregel der Polynome die m + n Individuensummen: p1 p2 … pm q1 q2 … qn

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/422
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 398. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/422>, abgerufen am 02.05.2024.