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

Achtzehnte Vorlesung.

die Koeffizienten 0 und 1, mit denen behaftet sie in der Entwickelung
unsres Aussagenpolynoms F auftreten, jeweils zu einer fünfzehnstelligen
dyadischen Systemzahl zusammenstellen, und würden so alle 215 = 32 768
überhaupt denkbaren Aussagen eine bestimmte Reihenfolge erhalten, wobei
die erste derselben mit der Nummer 000 ... 00, als absurde, unzulässig,
die letzte 111 ... 11, als identische, selbstverständlich zu nennen wäre --
wie dies schon Herr Franklin1 bemerkte.

Auf diese Weise würde ihre Mannigfaltigkeit sich aber doch bei
weitem nicht so gut übersehen lassen, als bei unsrer früheren Anordnung
derselben. --

Zum Schluss dieser Betrachtung noch ein paar Bemerkungen.

Von Interesse ist noch die Frage nach Zahl und Art der Typen, in
welche unsre 32 767 Aussagen sich einordnen.

Vom Typus einer solchen kann man in zweierlei Hinsicht reden:
"aussagenrechnerisch" indem man gleichen Typus allen den Aussagen zu-
schreibt, welche durch Vertauschungen unter den acht De Morgan'schen
Urteilen a, b, .. l1 in einander übergeführt werden können. [Diese Frage,
die vom geringeren Interesse, dürfte unschwer im Anschluss an Clifford's
Untersuchungsergebnisse in Bd. 1, Anhang 6 zu beantworten sein.] Zweitens
"klassenrechnerisch", indem man zum selben Typus nur diejenigen Aus-
sagen zählt, welche durch Vertauschungen unter den Klassensymbolen A,
B, A1, B1 in einander überführbar sind. Hiernach müssten schon a1, b1,
c1, l1 als partikulare Urteile unter einem ganz andern Typus rangiren als
wie die universalen a, b, c, l.

Vor allem wäre hier in Rücksicht zu ziehen, dass die folgenden fünf
Systeme von Vertauschungen "gestattet" erscheinen, nämlich die ganze
Aussagengruppe nur in sich selbst transformiren:

1)	(A, A1) (a, b) (c, l)	4)	(A, B) (b, c)
	(a1, b1) (c1, l1)		(A1, B1) (b1, c1)
2)	(B, B1) (a, c) (b, l)	5)	(A, B1) (a, l)
	(a1, c1) (b1, l1)		(B, A1) (a1, l1)
3)	(A, A1) (B, B1) (a, l) (b, c)
	(a1, l1) (b1, c1)

Darnach wäre leicht darzuthun, dass z. B. bei einer "Aushebung" (die
bei Clifford den einen Typus der monomischen Aussage lieferte) sich be-
reits fünferlei Typen mit 4 + (4 + 2) + 4 + 1 = 15 Formen ergeben, die
wir je in einer Zeile zusammenstellen:

1. Typ.	a1 b c l, a b1 c l, a b c1 l, a b c l1;
2. Typ.	a1 b1 c l, a1 b c1 l, a b1 c l1, a b c1 l1;
3. Typ.	a1 b c l1, a b1 c1 l;
4. Typ.	a b1 c1 l1, a1 b c1 l1, a1 b1 c l1, a1 b1 c1 l;
5. Typ.	a1 b1 c1 l1.

Achtzehnte Vorlesung.

die Koeffizienten 0 und 1, mit denen behaftet sie in der Entwickelung
unsres Aussagenpolynoms F auftreten, jeweils zu einer fünfzehnstelligen
dyadischen Systemzahl zusammenstellen, und würden so alle 215 = 32 768
überhaupt denkbaren Aussagen eine bestimmte Reihenfolge erhalten, wobei
die erste derselben mit der Nummer 0̅0̅0̅ …̅ 0̅0̅, als absurde, unzulässig,
die letzte 1̅1̅1̅ …̅ 1̅1̅, als identische, selbstverständlich zu nennen wäre —
wie dies schon Herr Franklin1 bemerkte.

Auf diese Weise würde ihre Mannigfaltigkeit sich aber doch bei
weitem nicht so gut übersehen lassen, als bei unsrer früheren Anordnung
derselben. —

Zum Schluss dieser Betrachtung noch ein paar Bemerkungen.

Von Interesse ist noch die Frage nach Zahl und Art der Typen, in
welche unsre 32 767 Aussagen sich einordnen.

Vom Typus einer solchen kann man in zweierlei Hinsicht reden:
„aussagenrechnerisch“ indem man gleichen Typus allen den Aussagen zu-
schreibt, welche durch Vertauschungen unter den acht De Morgan’schen
Urteilen a, b, ‥ l1 in einander übergeführt werden können. [Diese Frage,
die vom geringeren Interesse, dürfte unschwer im Anschluss an Clifford’s
Untersuchungsergebnisse in Bd. 1, Anhang 6 zu beantworten sein.] Zweitens
„klassenrechnerisch“, indem man zum selben Typus nur diejenigen Aus-
sagen zählt, welche durch Vertauschungen unter den Klassensymbolen A,
B, A1, B1 in einander überführbar sind. Hiernach müssten schon a1, b1,
c1, l1 als partikulare Urteile unter einem ganz andern Typus rangiren als
wie die universalen a, b, c, l.

Vor allem wäre hier in Rücksicht zu ziehen, dass die folgenden fünf
Systeme von Vertauschungen „gestattet“ erscheinen, nämlich die ganze
Aussagengruppe nur in sich selbst transformiren:

1)	(A, A1) (a, b) (c, l)	4)	(A, B) (b, c)
	(a1, b1) (c1, l1)		(A1, B1) (b1, c1)
2)	(B, B1) (a, c) (b, l)	5)	(A, B1) (a, l)
	(a1, c1) (b1, l1)		(B, A1) (a1, l1)
3)	(A, A1) (B, B1) (a, l) (b, c)
	(a1, l1) (b1, c1)

Darnach wäre leicht darzuthun, dass z. B. bei einer „Aushebung“ (die
bei Clifford den einen Typus der monomischen Aussage lieferte) sich be-
reits fünferlei Typen mit 4 + (4 + 2) + 4 + 1 = 15 Formen ergeben, die
wir je in einer Zeile zusammenstellen:

1. Typ.	a1 b c l, a b1 c l, a b c1 l, a b c l1;
2. Typ.	a1 b1 c l, a1 b c1 l, a b1 c l1, a b c1 l1;
3. Typ.	a1 b c l1, a b1 c1 l;
4. Typ.	a b1 c1 l1, a1 b c1 l1, a1 b1 c l1, a1 b1 c1 l;
5. Typ.	a1 b1 c1 l1.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0198" n="174"/><fw place="top" type="header">Achtzehnte Vorlesung.</fw><lb/>
die Koeffizienten 0 und 1, mit denen behaftet sie in der Entwickelung<lb/>
unsres Aussagenpolynoms <hi rendition="#i">F</hi> auftreten, jeweils zu einer fünfzehnstelligen<lb/>
dyadischen Systemzahl zusammenstellen, und würden so alle 2<hi rendition="#sup">15</hi> = 32 768<lb/>
überhaupt denkbaren Aussagen eine bestimmte Reihenfolge erhalten, wobei<lb/>
die erste derselben mit der Nummer 0&#x0305;0&#x0305;0&#x0305; &#x2026;&#x0305; 0&#x0305;0&#x0305;, als absurde, unzulässig,<lb/>
die letzte 1&#x0305;1&#x0305;1&#x0305; &#x2026;&#x0305; 1&#x0305;1&#x0305;, als identische, selbstverständlich zu nennen wäre &#x2014;<lb/>
wie dies schon Herr <hi rendition="#g">Franklin</hi><hi rendition="#sup">1</hi> bemerkte.</p><lb/>
            <p>Auf diese Weise würde ihre Mannigfaltigkeit sich aber doch bei<lb/>
weitem nicht so gut übersehen lassen, als bei unsrer früheren Anordnung<lb/>
derselben. &#x2014;</p><lb/>
            <p>Zum Schluss dieser Betrachtung noch ein paar Bemerkungen.</p><lb/>
            <p>Von Interesse ist noch die Frage nach Zahl und Art der <hi rendition="#i">Typen,</hi> in<lb/>
welche unsre 32 767 Aussagen sich einordnen.</p><lb/>
            <p>Vom Typus einer solchen kann man in zweierlei Hinsicht reden:<lb/>
&#x201E;aussagenrechnerisch&#x201C; indem man gleichen Typus allen den Aussagen zu-<lb/>
schreibt, welche durch Vertauschungen unter den acht <hi rendition="#g">De Morgan&#x2019;</hi>schen<lb/>
Urteilen <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, &#x2025; <hi rendition="#i">l</hi><hi rendition="#sub">1</hi> in einander übergeführt werden können. [Diese Frage,<lb/>
die vom geringeren Interesse, dürfte unschwer im Anschluss an <hi rendition="#g">Clifford&#x2019;</hi>s<lb/>
Untersuchungsergebnisse in Bd. 1, Anhang 6 zu beantworten sein.] Zweitens<lb/>
&#x201E;klassenrechnerisch&#x201C;, indem man zum selben Typus nur diejenigen Aus-<lb/>
sagen zählt, welche durch Vertauschungen unter den <hi rendition="#i">Klassen</hi>symbolen <hi rendition="#i">A</hi>,<lb/><hi rendition="#i">B</hi>, <hi rendition="#i">A</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> in einander überführbar sind. Hiernach müssten schon <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>,<lb/><hi rendition="#i">c</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">l</hi><hi rendition="#sub">1</hi> als partikulare Urteile unter einem ganz andern Typus rangiren als<lb/>
wie die universalen <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">l</hi>.</p><lb/>
            <p>Vor allem wäre hier in Rücksicht zu ziehen, dass die folgenden fünf<lb/>
Systeme von Vertauschungen &#x201E;gestattet&#x201C; erscheinen, nämlich die ganze<lb/>
Aussagengruppe nur in sich selbst transformiren:<lb/><table><row><cell>1)</cell><cell>(<hi rendition="#i">A</hi>, <hi rendition="#i">A</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>) (<hi rendition="#i">c</hi>, <hi rendition="#i">l</hi>)</cell><cell>4)</cell><cell>(<hi rendition="#i">A</hi>, <hi rendition="#i">B</hi>) (<hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>)</cell></row><lb/><row><cell/><cell>(<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>, <hi rendition="#i">l</hi><hi rendition="#sub">1</hi>)</cell><cell/><cell>(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">B</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>)</cell></row><lb/><row><cell>2)</cell><cell>(<hi rendition="#i">B</hi>, <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a</hi>, <hi rendition="#i">c</hi>) (<hi rendition="#i">b</hi>, <hi rendition="#i">l</hi>)</cell><cell>5)</cell><cell>(<hi rendition="#i">A</hi>, <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a</hi>, <hi rendition="#i">l</hi>)</cell></row><lb/><row><cell/><cell>(<hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">l</hi><hi rendition="#sub">1</hi>)</cell><cell/><cell>(<hi rendition="#i">B</hi>, <hi rendition="#i">A</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">l</hi><hi rendition="#sub">1</hi>)</cell></row><lb/><row><cell>3)</cell><cell>(<hi rendition="#i">A</hi>, <hi rendition="#i">A</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">B</hi>, <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a</hi>, <hi rendition="#i">l</hi>) (<hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>)</cell><cell/><cell/></row><lb/><row><cell/><cell>(<hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">l</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>)</cell><cell/><cell/></row><lb/></table></p>
            <p>Darnach wäre leicht darzuthun, dass z. B. bei <hi rendition="#i">einer</hi> &#x201E;Aushebung&#x201C; (die<lb/>
bei <hi rendition="#g">Clifford</hi> den <hi rendition="#i">einen</hi> Typus der monomischen Aussage lieferte) sich be-<lb/>
reits fünferlei Typen mit 4 + (4 + 2) + 4 + 1 = 15 Formen ergeben, die<lb/>
wir je in einer Zeile zusammenstellen:<lb/><table><row><cell>1. Typ.</cell><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">b c l</hi>, <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi><hi rendition="#i">c l</hi>, <hi rendition="#i">a b c</hi><hi rendition="#sub">1</hi><hi rendition="#i">l</hi>, <hi rendition="#i">a b c l</hi><hi rendition="#sub">1</hi>;</cell></row><lb/><row><cell>2. Typ.</cell><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">b</hi><hi rendition="#sub">1</hi><hi rendition="#i">c l</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">b c</hi><hi rendition="#sub">1</hi><hi rendition="#i">l</hi>, <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi><hi rendition="#i">c l</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">a b c</hi><hi rendition="#sub">1</hi><hi rendition="#i">l</hi><hi rendition="#sub">1</hi>;</cell></row><lb/><row><cell>3. Typ.</cell><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">b c l</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi><hi rendition="#i">c</hi><hi rendition="#sub">1</hi><hi rendition="#i">l</hi>;</cell></row><lb/><row><cell>4. Typ.</cell><cell><hi rendition="#i">a b</hi><hi rendition="#sub">1</hi><hi rendition="#i">c</hi><hi rendition="#sub">1</hi><hi rendition="#i">l</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">b c</hi><hi rendition="#sub">1</hi><hi rendition="#i">l</hi><hi rendition="#sub">1</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 l</hi><hi rendition="#sub">1</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><hi rendition="#i">l</hi>;</cell></row><lb/><row><cell>5. Typ.</cell><cell><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><hi rendition="#i">l</hi><hi rendition="#sub">1</hi>.</cell></row><lb/></table></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>

[174/0198] Achtzehnte Vorlesung. die Koeffizienten 0 und 1, mit denen behaftet sie in der Entwickelung unsres Aussagenpolynoms F auftreten, jeweils zu einer fünfzehnstelligen dyadischen Systemzahl zusammenstellen, und würden so alle 215 = 32 768 überhaupt denkbaren Aussagen eine bestimmte Reihenfolge erhalten, wobei die erste derselben mit der Nummer 0̅0̅0̅ …̅ 0̅0̅, als absurde, unzulässig, die letzte 1̅1̅1̅ …̅ 1̅1̅, als identische, selbstverständlich zu nennen wäre — wie dies schon Herr Franklin1 bemerkte. Auf diese Weise würde ihre Mannigfaltigkeit sich aber doch bei weitem nicht so gut übersehen lassen, als bei unsrer früheren Anordnung derselben. — Zum Schluss dieser Betrachtung noch ein paar Bemerkungen. Von Interesse ist noch die Frage nach Zahl und Art der Typen, in welche unsre 32 767 Aussagen sich einordnen. Vom Typus einer solchen kann man in zweierlei Hinsicht reden: „aussagenrechnerisch“ indem man gleichen Typus allen den Aussagen zu- schreibt, welche durch Vertauschungen unter den acht De Morgan’schen Urteilen a, b, ‥ l1 in einander übergeführt werden können. [Diese Frage, die vom geringeren Interesse, dürfte unschwer im Anschluss an Clifford’s Untersuchungsergebnisse in Bd. 1, Anhang 6 zu beantworten sein.] Zweitens „klassenrechnerisch“, indem man zum selben Typus nur diejenigen Aus- sagen zählt, welche durch Vertauschungen unter den Klassensymbolen A, B, A1, B1 in einander überführbar sind. Hiernach müssten schon a1, b1, c1, l1 als partikulare Urteile unter einem ganz andern Typus rangiren als wie die universalen a, b, c, l. Vor allem wäre hier in Rücksicht zu ziehen, dass die folgenden fünf Systeme von Vertauschungen „gestattet“ erscheinen, nämlich die ganze Aussagengruppe nur in sich selbst transformiren: 1) (A, A1) (a, b) (c, l) 4) (A, B) (b, c) (a1, b1) (c1, l1) (A1, B1) (b1, c1) 2) (B, B1) (a, c) (b, l) 5) (A, B1) (a, l) (a1, c1) (b1, l1) (B, A1) (a1, l1) 3) (A, A1) (B, B1) (a, l) (b, c) (a1, l1) (b1, c1) Darnach wäre leicht darzuthun, dass z. B. bei einer „Aushebung“ (die bei Clifford den einen Typus der monomischen Aussage lieferte) sich be- reits fünferlei Typen mit 4 + (4 + 2) + 4 + 1 = 15 Formen ergeben, die wir je in einer Zeile zusammenstellen: 1. Typ. a1 b c l, a b1 c l, a b c1 l, a b c l1; 2. Typ. a1 b1 c l, a1 b c1 l, a b1 c l1, a b c1 l1; 3. Typ. a1 b c l1, a b1 c1 l; 4. Typ. a b1 c1 l1, a1 b c1 l1, a1 b1 c l1, a1 b1 c1 l; 5. Typ. a1 b1 c1 l1.

Suche im Werk

Informationen zum Werk

Titeldaten
Verfügbarkeit Text (TEI-XML-, HTML-, TCF-, E-Book-Fassung): CC BY-SA 4.0.
Nutzungsbedingungen

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

Resource/URL übermitteln

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

Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer Creative-Commons-Lizenz. Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken. Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.

Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der Herabwürdigung der Menschenwürde gezeigt werden. Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des § 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu vermitteln und damit der Förderung seiner Mündigkeit zu dienen.

2007–2024 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften. Kontakt: redaktion(at)deutschestextarchiv.de.

Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.