Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.Achtzehnte Vorlesung. nur in universalen Urteilen bewegen darf, über zwei Klassen oder BegriffeA, B zu fällen vermag. Wurde hienach durch die Zulassung auch partikularer Urteilsformen So schon, wenn nur zwei Klassen in Betracht gezogen werden. Mit Wir wollen indess die 165 in universalen Urteilen möglichen Aus- Die einander dual entsprechenden "Typen" sollen durch den Mittel- Vier von den Typen sind als sich selber dual entsprechende zugleich Im ganzen sind es (27 resp.) 26 Typen, welche 16 Haupttypen kon- XXVII0. Tafel der als universale möglichen Urteile.
Achtzehnte Vorlesung. nur in universalen Urteilen bewegen darf, über zwei Klassen oder BegriffeA, B zu fällen vermag. Wurde hienach durch die Zulassung auch partikularer Urteilsformen So schon, wenn nur zwei Klassen in Betracht gezogen werden. Mit Wir wollen indess die 165 in universalen Urteilen möglichen Aus- Die einander dual entsprechenden „Typen“ sollen durch den Mittel- Vier von den Typen sind als sich selber dual entsprechende zugleich Im ganzen sind es (27 resp.) 26 Typen, welche 16 Haupttypen kon- XXVII0. Tafel der als universale möglichen Urteile.
<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 „einfachen“ 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 „Typen“ sollen durch den Mittel-<lb/> strich getrennt nebeneinander gestellt und als ein und derselbe <hi rendition="#i">„Haupt-<lb/> typus“</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 WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
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 23.08.2024. |