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 >>

§ 52. Rückblick nebst Ergänzungen aus dem neueren Literaturzuwachse.
die dortigen Ungleichungsfaktoren sämtlich zerlegt in Binome und diese
dann ausmultiplizirt. Zuletzt muss überschiebendes Addiren der nach
dem obigen Schema zu gewinnenden Konklusionen und Vereinigung
der Konklusionenglieder in geeigneter Weise gerade unser Schema u)
liefern.

Die beiden Beispiele von Miss Ladd kommen, wenn man dieselben
noch etwas vereinfacht, (im zweiten nämlich die beiden simultanen
Gleichungen in eine einzige zusammenzieht, alsdann aber für komplizirte
Koeffizientenausdrücke einfache Symbole einführt,) auf folgende hinaus:
{(a x = 0) + (b x 0) + (c 0)} (p x 0) {p (a1 + b1 + c1) 0},
(p x = 0) (q x = 0) (a x 0) (b x 0) (a p1 q1 0) (b p1 q1 0).
Die Beispiele geben die vollständigen Resultanten an und sind wol die
ersten rechnerisch aus gemischt universalen und partikularen Prämissen ge-
zogenen Schlüsse von solchem Charakter.

Dass nun aber die "Resultante aus dem Rohen" durch eine Klausel
noch zu vervollständigen sei, wurde bereits ausgeführt, -- sowie auch,
dass ungeachtet des Lichtes, welches Herrn Voigt's Arbeit1 noch über
diese und die Auflösungsfrage in einer Hinsicht geworfen, diese
Probleme in einem andern und wesentlichen Sinne noch immer zu
lösen sind.

Sind wir hiernach mit unserm Rückblick über die bis jetzt zu
gebote stehenden Methoden der Algebra der Logik zu Ende, so muss
ich den zuletzt (S. 451 ff.) besprochenen Fall verspäteter Gerechtigkeit
zum Anlass nehmen, sogleich noch zweier analogen Zufälle zu gedenken,
die beide die Prioritätsrechte derselben Forscherin betreffen.

Auf den einen Fall konnte ich schon in den Berichtigungen zur
ersten Abteilung des gegenwärtigen Bandes, sowie in meiner Note in
den Math. Annalen hinweisen, wo sich auch meine subjektiven Ent-
lastungsgründe finden. Trotzdem soll auch hier nochmals statuirt
werden, dass Miss Ladd1 (Frau Franklin) das Verdienst zukommt, die
Bd. 1, S. 670 f. aufgestellten 22 Typen, in welche die aus drei Klassen
zusammensetzbaren Ausdrücke zerfallen, erstmals gegeben und damit die
mangelhafte Aufstellung von Jevons zuerst vollständig berichtigt zu
haben.

Der andere Fall betrifft das dem Resultat nach als Peano's
Formel S. 168 des gegenwärtigen Bandes erwähnte und S. 175 ... 178
zur Lösung gebrachte Problem, die Anzahl der Aussagen zu ermitteln,
welche angebbar sind über n Begriffe. Es war mir entgangen, dass
dieses Problem wesentlich zusammenfällt mit demjenigen, welches schon

§ 52. Rückblick nebst Ergänzungen aus dem neueren Literaturzuwachse.
die dortigen Ungleichungsfaktoren sämtlich zerlegt in Binome und diese
dann ausmultiplizirt. Zuletzt muss überschiebendes Addiren der nach
dem obigen Schema zu gewinnenden Konklusionen und Vereinigung
der Konklusionenglieder in geeigneter Weise gerade unser Schema υ)
liefern.

Die beiden Beispiele von Miss Ladd kommen, wenn man dieselben
noch etwas vereinfacht, (im zweiten nämlich die beiden simultanen
Gleichungen in eine einzige zusammenzieht, alsdann aber für komplizirte
Koeffizientenausdrücke einfache Symbole einführt,) auf folgende hinaus:
{(a x = 0) + (b x ≠ 0) + (c ≠ 0)} (p x ≠ 0) {p (a1 + b1 + c1) ≠ 0},
(p x = 0) (q x = 0) (a x ≠ 0) (b x ≠ 0) (a p1 q1 ≠ 0) (b p1 q1 ≠ 0).
Die Beispiele geben die vollständigen Resultanten an und sind wol die
ersten rechnerisch aus gemischt universalen und partikularen Prämissen ge-
zogenen Schlüsse von solchem Charakter.

Dass nun aber die „Resultante aus dem Rohen“ durch eine Klausel
noch zu vervollständigen sei, wurde bereits ausgeführt, — sowie auch,
dass ungeachtet des Lichtes, welches Herrn Voigt’s Arbeit1 noch über
diese und die Auflösungsfrage in einer Hinsicht geworfen, diese
Probleme in einem andern und wesentlichen Sinne noch immer zu
lösen sind.

Sind wir hiernach mit unserm Rückblick über die bis jetzt zu
gebote stehenden Methoden der Algebra der Logik zu Ende, so muss
ich den zuletzt (S. 451 ff.) besprochenen Fall verspäteter Gerechtigkeit
zum Anlass nehmen, sogleich noch zweier analogen Zufälle zu gedenken,
die beide die Prioritätsrechte derselben Forscherin betreffen.

Auf den einen Fall konnte ich schon in den Berichtigungen zur
ersten Abteilung des gegenwärtigen Bandes, sowie in meiner Note in
den Math. Annalen hinweisen, wo sich auch meine subjektiven Ent-
lastungsgründe finden. Trotzdem soll auch hier nochmals statuirt
werden, dass Miss Ladd1 (Frau Franklin) das Verdienst zukommt, die
Bd. 1, S. 670 f. aufgestellten 22 Typen, in welche die aus drei Klassen
zusammensetzbaren Ausdrücke zerfallen, erstmals gegeben und damit die
mangelhafte Aufstellung von Jevons zuerst vollständig berichtigt zu
haben.

Der andere Fall betrifft das dem Resultat nach als Peano’s
Formel S. 168 des gegenwärtigen Bandes erwähnte und S. 175 … 178
zur Lösung gebrachte Problem, die Anzahl der Aussagen zu ermitteln,
welche angebbar sind über n Begriffe. Es war mir entgangen, dass
dieses Problem wesentlich zusammenfällt mit demjenigen, welches schon

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0097" n="453"/><fw place="top" type="header">§ 52. Rückblick nebst Ergänzungen aus dem neueren Literaturzuwachse.</fw><lb/>
die dortigen Ungleichungsfaktoren sämtlich zerlegt in Binome und diese<lb/>
dann ausmultiplizirt. Zuletzt muss überschiebendes Addiren der nach<lb/>
dem obigen Schema zu gewinnenden Konklusionen und Vereinigung<lb/>
der Konklusionenglieder in geeigneter Weise gerade unser Schema <hi rendition="#i">&#x03C5;</hi>)<lb/>
liefern.</p><lb/>
            <p>Die beiden Beispiele von Miss <hi rendition="#g">Ladd</hi> kommen, wenn man dieselben<lb/>
noch etwas vereinfacht, (im zweiten nämlich die beiden simultanen<lb/>
Gleichungen in eine einzige zusammenzieht, alsdann aber für komplizirte<lb/>
Koeffizientenausdrücke einfache Symbole einführt,) auf folgende hinaus:<lb/><hi rendition="#c">{(<hi rendition="#i">a x</hi> = 0) + (<hi rendition="#i">b x</hi> &#x2260; 0) + (<hi rendition="#i">c</hi> &#x2260; 0)} (<hi rendition="#i">p x</hi> &#x2260; 0) <g ref="subeq"/> {<hi rendition="#i">p</hi> (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) &#x2260; 0},<lb/>
(<hi rendition="#i">p x</hi> = 0) (<hi rendition="#i">q x</hi> = 0) (<hi rendition="#i">a x</hi> &#x2260; 0) (<hi rendition="#i">b x</hi> &#x2260; 0) <g ref="subeq"/> (<hi rendition="#i">a p</hi><hi rendition="#sub">1</hi> <hi rendition="#i">q</hi><hi rendition="#sub">1</hi> &#x2260; 0) (<hi rendition="#i">b p</hi><hi rendition="#sub">1</hi> <hi rendition="#i">q</hi><hi rendition="#sub">1</hi> &#x2260; 0).</hi><lb/>
Die Beispiele geben die vollständigen Resultanten an und sind wol die<lb/><hi rendition="#i">ersten</hi> rechnerisch aus gemischt universalen und partikularen Prämissen ge-<lb/>
zogenen Schlüsse von solchem Charakter.</p><lb/>
            <p>Dass nun aber die &#x201E;Resultante aus dem Rohen&#x201C; durch eine Klausel<lb/>
noch zu vervollständigen sei, wurde bereits ausgeführt, &#x2014; sowie auch,<lb/>
dass ungeachtet des Lichtes, welches Herrn <hi rendition="#g">Voigt&#x2019;</hi>s Arbeit<hi rendition="#sup">1</hi> noch über<lb/>
diese und die Auflösungsfrage in einer Hinsicht geworfen, diese<lb/>
Probleme in einem andern und wesentlichen Sinne noch immer zu<lb/>
lösen sind.</p><lb/>
            <milestone rendition="#hr" unit="section"/>
            <p>Sind wir hiernach mit unserm Rückblick über die bis jetzt zu<lb/>
gebote stehenden Methoden der Algebra der Logik zu Ende, so muss<lb/>
ich den zuletzt (S. 451 ff.) besprochenen Fall verspäteter Gerechtigkeit<lb/>
zum Anlass nehmen, sogleich noch zweier analogen Zufälle zu gedenken,<lb/>
die beide die Prioritätsrechte derselben Forscherin betreffen.</p><lb/>
            <p>Auf den einen Fall konnte ich schon in den Berichtigungen zur<lb/>
ersten Abteilung des gegenwärtigen Bandes, sowie in meiner Note in<lb/>
den Math. Annalen hinweisen, wo sich auch meine subjektiven Ent-<lb/>
lastungsgründe finden. Trotzdem soll auch hier nochmals statuirt<lb/>
werden, dass Miss <hi rendition="#g">Ladd</hi><hi rendition="#sup">1</hi> (Frau <hi rendition="#g">Franklin</hi>) <hi rendition="#i">das Verdienst zukommt, die</hi><lb/>
Bd. 1, S. 670 f. aufgestellten <hi rendition="#i">22 Typen</hi>, <hi rendition="#i">in welche die aus drei Klassen<lb/>
zusammensetzbaren Ausdrücke zerfallen</hi>, <hi rendition="#i">erstmals gegeben</hi> und damit die<lb/>
mangelhafte Aufstellung von <hi rendition="#g">Jevons</hi> zuerst vollständig berichtigt zu<lb/>
haben.</p><lb/>
            <p>Der andere Fall betrifft das dem Resultat nach als <hi rendition="#g">Peano&#x2019;</hi>s<lb/>
Formel S. 168 des gegenwärtigen Bandes erwähnte und S. 175 &#x2026; 178<lb/>
zur Lösung gebrachte Problem, <hi rendition="#i">die Anzahl der Aussagen zu ermitteln</hi>,<lb/><hi rendition="#i">welche angebbar sind über n Begriffe</hi>. Es war mir entgangen, dass<lb/>
dieses Problem wesentlich zusammenfällt mit demjenigen, welches schon<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[453/0097] § 52. Rückblick nebst Ergänzungen aus dem neueren Literaturzuwachse. die dortigen Ungleichungsfaktoren sämtlich zerlegt in Binome und diese dann ausmultiplizirt. Zuletzt muss überschiebendes Addiren der nach dem obigen Schema zu gewinnenden Konklusionen und Vereinigung der Konklusionenglieder in geeigneter Weise gerade unser Schema υ) liefern. Die beiden Beispiele von Miss Ladd kommen, wenn man dieselben noch etwas vereinfacht, (im zweiten nämlich die beiden simultanen Gleichungen in eine einzige zusammenzieht, alsdann aber für komplizirte Koeffizientenausdrücke einfache Symbole einführt,) auf folgende hinaus: {(a x = 0) + (b x ≠ 0) + (c ≠ 0)} (p x ≠ 0) {p (a1 + b1 + c1) ≠ 0}, (p x = 0) (q x = 0) (a x ≠ 0) (b x ≠ 0) (a p1 q1 ≠ 0) (b p1 q1 ≠ 0). Die Beispiele geben die vollständigen Resultanten an und sind wol die ersten rechnerisch aus gemischt universalen und partikularen Prämissen ge- zogenen Schlüsse von solchem Charakter. Dass nun aber die „Resultante aus dem Rohen“ durch eine Klausel noch zu vervollständigen sei, wurde bereits ausgeführt, — sowie auch, dass ungeachtet des Lichtes, welches Herrn Voigt’s Arbeit1 noch über diese und die Auflösungsfrage in einer Hinsicht geworfen, diese Probleme in einem andern und wesentlichen Sinne noch immer zu lösen sind. Sind wir hiernach mit unserm Rückblick über die bis jetzt zu gebote stehenden Methoden der Algebra der Logik zu Ende, so muss ich den zuletzt (S. 451 ff.) besprochenen Fall verspäteter Gerechtigkeit zum Anlass nehmen, sogleich noch zweier analogen Zufälle zu gedenken, die beide die Prioritätsrechte derselben Forscherin betreffen. Auf den einen Fall konnte ich schon in den Berichtigungen zur ersten Abteilung des gegenwärtigen Bandes, sowie in meiner Note in den Math. Annalen hinweisen, wo sich auch meine subjektiven Ent- lastungsgründe finden. Trotzdem soll auch hier nochmals statuirt werden, dass Miss Ladd1 (Frau Franklin) das Verdienst zukommt, die Bd. 1, S. 670 f. aufgestellten 22 Typen, in welche die aus drei Klassen zusammensetzbaren Ausdrücke zerfallen, erstmals gegeben und damit die mangelhafte Aufstellung von Jevons zuerst vollständig berichtigt zu haben. Der andere Fall betrifft das dem Resultat nach als Peano’s Formel S. 168 des gegenwärtigen Bandes erwähnte und S. 175 … 178 zur Lösung gebrachte Problem, die Anzahl der Aussagen zu ermitteln, welche angebbar sind über n Begriffe. Es war mir entgangen, dass dieses Problem wesentlich zusammenfällt mit demjenigen, welches schon

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