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.

nur in universalen Urteilen bewegen darf, über zwei Klassen oder Begriffe
A, B zu fällen vermag.

Wurde hienach durch die Zulassung auch partikularer Urteilsformen
die Menge der "einfachen" Urteile von 14 auf 75 (res. von 15 auf 76) und
die der Urteile überhaupt von 166 auf 32 767 erhöht, so erweiterte sich
also durch den genannten Prozess, welcher die Logik von ihrer ersten
Etappe auf die zweite erhob, der Bereich der abgebbaren Aussagen jener
Art auf mehr als das Fünffache, und der der abgebbaren Aussagen über-
haupt auf mehr als das 197-fache!

So schon, wenn nur zwei Klassen in Betracht gezogen werden. Mit
Bezug auf Urteile über drei oder mehr Klassen würden natürlich diese Ver-
hältnisszahlen sich noch rapide steigern.

Wir wollen indess die 165 in universalen Urteilen möglichen Aus-
sagen selber im Überblick angeben und zwar (so elegant es uns möglich)
ausgedrückt in den 4 primitiven Symbolen a, c, b, l und unter Zusammen-
stellung aller derer, die aussagenrechnerisch als vom selben Typus er-
scheinen. Zur Kontrole ist die Anzahl der Repräsentanten eines jeden
Typus auch leicht vom Mathematiker a priori zu ermitteln.

Die einander dual entsprechenden "Typen" sollen durch den Mittel-
strich getrennt nebeneinander gestellt und als ein und derselbe "Haupt-
typus" angesehen werden.

Vier von den Typen sind als sich selber dual entsprechende zugleich
Haupttypen und werden an der durchgehenden Schreibung (unter Fehlen
des Mittelstriches) zu erkennen sein. Von einem der übrigen Haupttypen
(an sich dem fünften) die sich demnach in zwei Typen spalten, wird nur
der eine Typus in dem Tablean vertreten sein, indem sein duales Gegen-
stück auf die absurde Aussage hinausläuft.

Im ganzen sind es (27 resp.) 26 Typen, welche 16 Haupttypen kon-
stituiren und entsprechend der unten gegebenen Zusammenstellung aus
4 + 2 x 6 + 2 x 4 + 2 x 12 + 1 + 2 x 4 + 2 x 12 + 2 x 6 + 2 x 3 +
+ 4 + 12 + 2 x 12 + 2 x 4 + 2 x 6 + 4 + 2 x 1 = 165
Ausdrücken bestehen.

XXVII0. Tafel der als universale möglichen Urteile.

a, c, b, l
a c, a b, a l, c b, c l, b l	a + c, a + b, a + l, c + b, c + l, b + l
a c b, a c l, a b l, c b l	a + c + b, a + c + l, a + b + l, c + b + l
a + c b, a + c l, a + b l	a (c + b), a (c + l), a (b + l)
a c + b, a c + l, a b + c	(a + c) b, (a + c) l, (a + b) c
a b + l, a l + c, a l + b	(a + b) l, (a + l) c, (a + l) b
c + b l, b + c l, l + b c	c (b + l), b (c + l), l (b + c)

Achtzehnte Vorlesung.

nur in universalen Urteilen bewegen darf, über zwei Klassen oder Begriffe
A, B zu fällen vermag.

Wurde hienach durch die Zulassung auch partikularer Urteilsformen
die Menge der „einfachen“ Urteile von 14 auf 75 (res. von 15 auf 76) und
die der Urteile überhaupt von 166 auf 32 767 erhöht, so erweiterte sich
also durch den genannten Prozess, welcher die Logik von ihrer ersten
Etappe auf die zweite erhob, der Bereich der abgebbaren Aussagen jener
Art auf mehr als das Fünffache, und der der abgebbaren Aussagen über-
haupt auf mehr als das 197-fache!

So schon, wenn nur zwei Klassen in Betracht gezogen werden. Mit
Bezug auf Urteile über drei oder mehr Klassen würden natürlich diese Ver-
hältnisszahlen sich noch rapide steigern.

Die einander dual entsprechenden „Typen“ sollen durch den Mittel-
strich getrennt nebeneinander gestellt und als ein und derselbe „Haupt-
typus“ angesehen werden.

Im ganzen sind es (27 resp.) 26 Typen, welche 16 Haupttypen kon-
stituiren und entsprechend der unten gegebenen Zusammenstellung aus
4 + 2 × 6 + 2 × 4 + 2 × 12 + 1 + 2 × 4 + 2 × 12 + 2 × 6 + 2 × 3 +
+ 4 + 12 + 2 × 12 + 2 × 4 + 2 × 6 + 4 + 2 × 1 = 165
Ausdrücken bestehen.

XXVII0. Tafel der als universale möglichen Urteile.

a, c, b, l
a c, a b, a l, c b, c l, b l	a + c, a + b, a + l, c + b, c + l, b + l
a c b, a c l, a b l, c b l	a + c + b, a + c + l, a + b + l, c + b + l
a + c b, a + c l, a + b l	a (c + b), a (c + l), a (b + l)
a c + b, a c + l, a b + c	(a + c) b, (a + c) l, (a + b) c
a b + l, a l + c, a l + b	(a + b) l, (a + l) c, (a + l) b
c + b l, b + c l, l + b c	c (b + l), b (c + l), l (b + c)

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p>
              <pb facs="#f0188" n="164"/>
              <fw place="top" type="header">Achtzehnte Vorlesung.</fw><lb/> <hi rendition="#i">nur in universalen Urteilen bewegen darf, über zwei Klassen oder Begriffe<lb/>
A, B zu fällen vermag.</hi> </p><lb/>
            <p>Wurde hienach durch die Zulassung auch partikularer Urteilsformen<lb/>
die Menge der &#x201E;einfachen&#x201C; Urteile von 14 auf 75 (res. von 15 auf 76) und<lb/>
die der Urteile überhaupt von 166 auf 32 767 erhöht, so erweiterte sich<lb/>
also durch den genannten Prozess, welcher die Logik von ihrer ersten<lb/>
Etappe auf die zweite erhob, der Bereich der abgebbaren Aussagen jener<lb/>
Art auf mehr als das Fünffache, und der der abgebbaren Aussagen über-<lb/>
haupt auf mehr als das 197-fache!</p><lb/>
            <p>So schon, wenn nur <hi rendition="#i">zwei</hi> Klassen in Betracht gezogen werden. Mit<lb/>
Bezug auf Urteile über drei oder mehr Klassen würden natürlich diese Ver-<lb/>
hältnisszahlen sich noch rapide steigern.</p><lb/>
            <p>Wir wollen indess die 165 in universalen Urteilen möglichen Aus-<lb/>
sagen selber im Überblick angeben und zwar (so elegant es uns möglich)<lb/>
ausgedrückt in den 4 primitiven Symbolen <hi rendition="#i">a</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">l</hi> und unter Zusammen-<lb/>
stellung aller derer, die aussagenrechnerisch als vom selben Typus er-<lb/>
scheinen. Zur Kontrole ist die Anzahl der Repräsentanten eines jeden<lb/>
Typus auch leicht vom Mathematiker a priori zu ermitteln.</p><lb/>
            <p>Die einander dual entsprechenden &#x201E;Typen&#x201C; sollen durch den Mittel-<lb/>
strich getrennt nebeneinander gestellt und als ein und derselbe <hi rendition="#i">&#x201E;Haupt-<lb/>
typus&#x201C;</hi> angesehen werden.</p><lb/>
            <p>Vier von den Typen sind als sich selber dual entsprechende zugleich<lb/>
Haupttypen und werden an der durchgehenden Schreibung (unter Fehlen<lb/>
des Mittelstriches) zu erkennen sein. Von einem der übrigen Haupttypen<lb/>
(an sich dem fünften) die sich demnach in zwei Typen spalten, wird nur<lb/>
der eine Typus in dem Tablean vertreten sein, indem sein duales Gegen-<lb/>
stück auf die absurde Aussage hinausläuft.</p><lb/>
            <p>Im ganzen sind es (27 resp.) 26 Typen, welche 16 Haupttypen kon-<lb/>
stituiren und entsprechend der unten gegebenen Zusammenstellung aus<lb/><hi rendition="#c">4 + 2 × 6 + 2 × 4 + 2 × 12 + 1 + 2 × 4 + 2 × 12 + 2 × 6 + 2 × 3 +<lb/>
+ 4 + 12 + 2 × 12 + 2 × 4 + 2 × 6 + 4 + 2 × 1 = 165</hi><lb/>
Ausdrücken bestehen.</p><lb/>
            <p> <hi rendition="#c">XXVII<hi rendition="#sup">0</hi>. <hi rendition="#g">Tafel der als universale möglichen Urteile</hi>.</hi> </p><lb/>
            <table>
              <row>
                <cell cols="2"><hi rendition="#i">a</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">l</hi></cell>
              </row><lb/>
              <row>
                <cell><hi rendition="#i">a c</hi>, <hi rendition="#i">a b</hi>, <hi rendition="#i">a l</hi>, <hi rendition="#i">c b</hi>, <hi rendition="#i">c l</hi>, <hi rendition="#i">b l</hi></cell>
                <cell><hi rendition="#i">a</hi> + <hi rendition="#i">c</hi>, <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>, <hi rendition="#i">a</hi> + <hi rendition="#i">l</hi>, <hi rendition="#i">c</hi> + <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi> + <hi rendition="#i">l</hi>, <hi rendition="#i">b</hi> + <hi rendition="#i">l</hi></cell>
              </row><lb/>
              <row>
                <cell><hi rendition="#i">a c b</hi>, <hi rendition="#i">a c l</hi>, <hi rendition="#i">a b l</hi>, <hi rendition="#i">c b l</hi></cell>
                <cell><hi rendition="#i">a</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">b</hi>, <hi rendition="#i">a</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">l</hi>, <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">l</hi>, <hi rendition="#i">c</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">l</hi></cell>
              </row><lb/>
              <row>
                <cell><hi rendition="#i">a</hi> + <hi rendition="#i">c b</hi>, <hi rendition="#i">a</hi> + <hi rendition="#i">c l</hi>, <hi rendition="#i">a</hi> + <hi rendition="#i">b l</hi></cell>
                <cell><hi rendition="#i">a</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">b</hi>), <hi rendition="#i">a</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">l</hi>), <hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">l</hi>)</cell>
              </row><lb/>
              <row>
                <cell><hi rendition="#i">a c</hi> + <hi rendition="#i">b</hi>, <hi rendition="#i">a c</hi> + <hi rendition="#i">l</hi>, <hi rendition="#i">a b</hi> + <hi rendition="#i">c</hi></cell>
                <cell>(<hi rendition="#i">a</hi> + <hi rendition="#i">c</hi>) <hi rendition="#i">b</hi>, (<hi rendition="#i">a</hi> + <hi rendition="#i">c</hi>) <hi rendition="#i">l</hi>, (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) <hi rendition="#i">c</hi></cell>
              </row><lb/>
              <row>
                <cell><hi rendition="#i">a b</hi> + <hi rendition="#i">l</hi>, <hi rendition="#i">a l</hi> + <hi rendition="#i">c</hi>, <hi rendition="#i">a l</hi> + <hi rendition="#i">b</hi></cell>
                <cell>(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) <hi rendition="#i">l</hi>, (<hi rendition="#i">a</hi> + <hi rendition="#i">l</hi>) <hi rendition="#i">c</hi>, (<hi rendition="#i">a</hi> + <hi rendition="#i">l</hi>) <hi rendition="#i">b</hi></cell>
              </row><lb/>
              <row>
                <cell><hi rendition="#i">c</hi> + <hi rendition="#i">b l</hi>, <hi rendition="#i">b</hi> + <hi rendition="#i">c l</hi>, <hi rendition="#i">l</hi> + <hi rendition="#i">b c</hi></cell>
                <cell><hi rendition="#i">c</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">l</hi>), <hi rendition="#i">b</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">l</hi>), <hi rendition="#i">l</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>)</cell>
              </row><lb/>
            </table>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>

[164/0188] Achtzehnte Vorlesung. nur in universalen Urteilen bewegen darf, über zwei Klassen oder Begriffe A, B zu fällen vermag. Wurde hienach durch die Zulassung auch partikularer Urteilsformen die Menge der „einfachen“ Urteile von 14 auf 75 (res. von 15 auf 76) und die der Urteile überhaupt von 166 auf 32 767 erhöht, so erweiterte sich also durch den genannten Prozess, welcher die Logik von ihrer ersten Etappe auf die zweite erhob, der Bereich der abgebbaren Aussagen jener Art auf mehr als das Fünffache, und der der abgebbaren Aussagen über- haupt auf mehr als das 197-fache! So schon, wenn nur zwei Klassen in Betracht gezogen werden. Mit Bezug auf Urteile über drei oder mehr Klassen würden natürlich diese Ver- hältnisszahlen sich noch rapide steigern. Wir wollen indess die 165 in universalen Urteilen möglichen Aus- sagen selber im Überblick angeben und zwar (so elegant es uns möglich) ausgedrückt in den 4 primitiven Symbolen a, c, b, l und unter Zusammen- stellung aller derer, die aussagenrechnerisch als vom selben Typus er- scheinen. Zur Kontrole ist die Anzahl der Repräsentanten eines jeden Typus auch leicht vom Mathematiker a priori zu ermitteln. Die einander dual entsprechenden „Typen“ sollen durch den Mittel- strich getrennt nebeneinander gestellt und als ein und derselbe „Haupt- typus“ angesehen werden. Vier von den Typen sind als sich selber dual entsprechende zugleich Haupttypen und werden an der durchgehenden Schreibung (unter Fehlen des Mittelstriches) zu erkennen sein. Von einem der übrigen Haupttypen (an sich dem fünften) die sich demnach in zwei Typen spalten, wird nur der eine Typus in dem Tablean vertreten sein, indem sein duales Gegen- stück auf die absurde Aussage hinausläuft. Im ganzen sind es (27 resp.) 26 Typen, welche 16 Haupttypen kon- stituiren und entsprechend der unten gegebenen Zusammenstellung aus 4 + 2 × 6 + 2 × 4 + 2 × 12 + 1 + 2 × 4 + 2 × 12 + 2 × 6 + 2 × 3 + + 4 + 12 + 2 × 12 + 2 × 4 + 2 × 6 + 4 + 2 × 1 = 165 Ausdrücken bestehen. XXVII0. Tafel der als universale möglichen Urteile. a, c, b, l a c, a b, a l, c b, c l, b l a + c, a + b, a + l, c + b, c + l, b + l a c b, a c l, a b l, c b l a + c + b, a + c + l, a + b + l, c + b + l a + c b, a + c l, a + b l a (c + b), a (c + l), a (b + l) a c + b, a c + l, a b + c (a + c) b, (a + c) l, (a + b) c a b + l, a l + c, a l + b (a + b) l, (a + l) c, (a + l) b c + b l, b + c l, l + b c c (b + l), b (c + l), l (b + c)

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