Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.Dreiundzwanzigste Vorlesung. 21' e 26' = (A1 B + C1 B1 = 1) (A1 B 0) (C1 B 0) · (A1 B1 0) (C1 B1 0) (A1 + C1 = 1) (A1 0) (A1 C1 0) (C1 0) l' k' = = (A1 + C1 = 1) (A1 C1 0) k' l'. -- 15' · 30' = (C B + C1 B1 = 1) (A B 0) (A1 B 0) · (A B1 0) (C1 B1 0) (A C 0) (A1 C 0) (A C1 0) (C1 0) l s = = (A C 0) (A C1 0) (A1 C 0) s = aA, C s. -- 23' · 29' = (C1 B + A1 C B1 = 1) (A B 0) (A1 B 0) (C B1 0) (C1 + A1 = 1) (A C1 0) (A1 C1 0) (A1 C 0) m r = = (A1 + C1 = 1) (A C1 0) (A1 C 0) (A1 C1 0) m = aA, C aA1, C1 m wo r unterdrückbar, da l' ohnehin gelten muss und l' r = l' ist. -- 27' · 30' = (A C B + A1 C1 B1 = 1) (A B 0) (C1 B1 0) (A C + A1 C1 = 1) (A C 0) (A1 C1 0) n = dA, C dA1, C1 n. -- [Es war dem Verfasser bei der Korrektur nicht vergönnt, alle beab- Aus der Vergleichung erhellt, dass die Syllogistik für die Ger- Einen Vorzug grösserer Exaktheit aber besitzt keine Syllogistik Um Anspruch auf vollkommene Genauigkeit zu erlangen, mussten Jener Umstand aber lässt wol den Wert einer Syllogistik über- Dreiundzwanzigste Vorlesung. 21’ η 26’ = (A1 B + C1 B1 = 1) (A1 B ≠ 0) (C1 B ≠ 0) · (A1 B1 ≠ 0) (C1 B1 ≠ 0) ⊆ ⊆ (A1 + C1 = 1) (A1 ≠ 0) (A1 C1 ≠ 0) (C1 ≠ 0) λ' ϰ' = = (A1 + C1 = 1) (A1 C1 ≠ 0) ϰ' λ'. — 15’ · 30’ = (C B + C1 B1 = 1) (A B ≠ 0) (A1 B ≠ 0) · (A B1 ≠ 0) (C1 B1 ≠ 0) ⊆ ⊆ (A C ≠ 0) (A1 C ≠ 0) (A C1 ≠ 0) (C1 ≠ 0) λ σ = = (A C ≠ 0) (A C1 ≠ 0) (A1 C ≠ 0) σ = αA, C σ. — 23’ · 29’ = (C1 B + A1 C B1 = 1) (A B ≠ 0) (A1 B ≠ 0) (C B1 ≠ 0) ⊆ ⊆ (C1 + A1 = 1) (A C1 ≠ 0) (A1 C1 ≠ 0) (A1 C ≠ 0) μ ϱ = = (A1 + C1 = 1) (A C1 ≠ 0) (A1 C ≠ 0) (A1 C1 ≠ 0) μ = aA, C αA1, C1 μ wo ϱ unterdrückbar, da λ' ohnehin gelten muss und λ' ϱ = λ' ist. — 27’ · 30’ = (A C B + A1 C1 B1 = 1) (A B ≠ 0) (C1 B1 ≠ 0) ⊆ ⊆ (A C + A1 C1 = 1) (A C ≠ 0) (A1 C1 ≠ 0) ν = δA, C δA1, C1 ν. — [Es war dem Verfasser bei der Korrektur nicht vergönnt, alle beab- Aus der Vergleichung erhellt, dass die Syllogistik für die Ger- Einen Vorzug grösserer Exaktheit aber besitzt keine Syllogistik Um Anspruch auf vollkommene Genauigkeit zu erlangen, mussten Jener Umstand aber lässt wol den Wert einer Syllogistik über- <TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <pb facs="#f0394" n="370"/> <fw place="top" type="header">Dreiundzwanzigste Vorlesung.</fw><lb/> <list> <item>21’ η 26’ = (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi> + <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi> ≠ 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi> ≠ 0) · (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> ≠ 0) <choice><orig></orig><reg>⊆</reg></choice><lb/><choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">λ</hi>' <hi rendition="#i">ϰ</hi>' =<lb/> = (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">ϰ</hi>' <hi rendition="#i">λ</hi>'. —</item><lb/> <item>15’ · 30’ = (<hi rendition="#i">C B</hi> + <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A B</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi> ≠ 0) · (<hi rendition="#i">A B</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> ≠ 0) <choice><orig></orig><reg>⊆</reg></choice><lb/><choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">A C</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">λ σ</hi> =<lb/> = (<hi rendition="#i">A C</hi> ≠ 0) (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) <hi rendition="#i">σ</hi> = <hi rendition="#i">α</hi><hi rendition="#sup"><hi rendition="#i">A</hi>, <hi rendition="#i">C</hi></hi> <hi rendition="#i">σ</hi>. —</item><lb/> <item>23’ · 29’ = (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C B</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A B</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi> ≠ 0) (<hi rendition="#i">C B</hi><hi rendition="#sub">1</hi> ≠ 0) <choice><orig></orig><reg>⊆</reg></choice><lb/><choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) <hi rendition="#i">μ ϱ</hi> =<lb/> = (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A C</hi><hi rendition="#sub">1</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">μ</hi> = <hi rendition="#i">a</hi><hi rendition="#sup"><hi rendition="#i">A</hi>, <hi rendition="#i">C</hi></hi> <hi rendition="#i">α</hi><hi rendition="#sup"><hi rendition="#i">A</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">C</hi><hi rendition="#sub">1</hi></hi> <hi rendition="#i">μ</hi></item> </list><lb/> <p>wo <hi rendition="#i">ϱ</hi> unterdrückbar, da <hi rendition="#i">λ</hi>' ohnehin gelten muss und <hi rendition="#i">λ</hi>' <hi rendition="#i">ϱ</hi> = <hi rendition="#i">λ</hi>' ist. —</p><lb/> <list> <item>27’ · 30’ = (<hi rendition="#i">A C B</hi> + <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> = 1) (<hi rendition="#i">A B</hi> ≠ 0) (<hi rendition="#i">C</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> ≠ 0) <choice><orig></orig><reg>⊆</reg></choice><lb/><choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">A C</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> = 1) (<hi rendition="#i">A C</hi> ≠ 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> ≠ 0) <hi rendition="#i">ν</hi> = <hi rendition="#i">δ</hi><hi rendition="#sup"><hi rendition="#i">A</hi>, <hi rendition="#i">C</hi></hi> <hi rendition="#i">δ</hi><hi rendition="#sup"><hi rendition="#i">A</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">C</hi><hi rendition="#sub">1</hi></hi> <hi rendition="#i">ν</hi>. —</item> </list><lb/> <p>[Es war dem Verfasser bei der Korrektur nicht vergönnt, alle beab-<lb/> sichtigten Kontrolrechnungen durchzuführen; daher ist noch vielseitige<lb/> Prüfung der Angaben zu wünschen.]</p><lb/> <p>Aus der Vergleichung erhellt, dass die Syllogistik für die <hi rendition="#g">Ger-<lb/> gonne’</hi>schen Urteilsformen beträchtlich komplizirter sein wird als die-<lb/> jenige für die <hi rendition="#g">De Morgan’</hi>schen, welche letztere, wie sie schon in<lb/> der erstern mitenthalten ist, auch ihrerseits wieder die gewöhnliche<lb/> Syllogistik der verbalen Urteilsformen unter sich begreift.</p><lb/> <p>Einen Vorzug grösserer Exaktheit aber besitzt keine Syllogistik<lb/> vor der andern, wofern eine jede nur, wie vorstehend, eine korrekte<lb/> Darstellung nach den Regeln unsrer Disziplin gefunden.</p><lb/> <p>Um Anspruch auf vollkommene Genauigkeit zu erlangen, mussten<lb/> diese Syllogistiken auch solche Formen von Schlüssen mit in Berück-<lb/> sichtigung ziehen, bei denen die Konklusion <hi rendition="#i">nicht</hi> in den Kreis der<lb/> Urteilsformen fällt, aus welchem die Prämissen zu entnehmen waren.<lb/> (Diese stellen sich als eine verhältnissmässig grosse Reihe von Schluss-<lb/> formen dar, und ihrer Vernachlässigung machte sich die verbale Syllo-<lb/> gistik schuldig.)</p><lb/> <p>Jener Umstand aber lässt wol den Wert einer Syllogistik über-<lb/> haupt zurücktreten gegenüber dem Werte der <hi rendition="#i">Methode</hi>, durch welche<lb/> in ihr, gleichwie in den noch viel allgemeineren Eliminationsproblemen,<lb/> die in der Logik des identischen Aussagenkalkuls erdacht werden können,<lb/> jeweils die Konklusion (als Resultante) zu gewinnen ist.</p> </div><lb/> </div> </div> </body> </text> </TEI> [370/0394]
Dreiundzwanzigste Vorlesung.
21’ η 26’ = (A1 B + C1 B1 = 1) (A1 B ≠ 0) (C1 B ≠ 0) · (A1 B1 ≠ 0) (C1 B1 ≠ 0) 
 (A1 + C1 = 1) (A1 ≠ 0) (A1 C1 ≠ 0) (C1 ≠ 0) λ' ϰ' =
= (A1 + C1 = 1) (A1 C1 ≠ 0) ϰ' λ'. —
15’ · 30’ = (C B + C1 B1 = 1) (A B ≠ 0) (A1 B ≠ 0) · (A B1 ≠ 0) (C1 B1 ≠ 0) 
 (A C ≠ 0) (A1 C ≠ 0) (A C1 ≠ 0) (C1 ≠ 0) λ σ =
= (A C ≠ 0) (A C1 ≠ 0) (A1 C ≠ 0) σ = αA, C σ. —
23’ · 29’ = (C1 B + A1 C B1 = 1) (A B ≠ 0) (A1 B ≠ 0) (C B1 ≠ 0) 
 (C1 + A1 = 1) (A C1 ≠ 0) (A1 C1 ≠ 0) (A1 C ≠ 0) μ ϱ =
= (A1 + C1 = 1) (A C1 ≠ 0) (A1 C ≠ 0) (A1 C1 ≠ 0) μ = aA, C αA1, C1 μ
wo ϱ unterdrückbar, da λ' ohnehin gelten muss und λ' ϱ = λ' ist. —
27’ · 30’ = (A C B + A1 C1 B1 = 1) (A B ≠ 0) (C1 B1 ≠ 0) 
 (A C + A1 C1 = 1) (A C ≠ 0) (A1 C1 ≠ 0) ν = δA, C δA1, C1 ν. —
[Es war dem Verfasser bei der Korrektur nicht vergönnt, alle beab-
sichtigten Kontrolrechnungen durchzuführen; daher ist noch vielseitige
Prüfung der Angaben zu wünschen.]
Aus der Vergleichung erhellt, dass die Syllogistik für die Ger-
gonne’schen Urteilsformen beträchtlich komplizirter sein wird als die-
jenige für die De Morgan’schen, welche letztere, wie sie schon in
der erstern mitenthalten ist, auch ihrerseits wieder die gewöhnliche
Syllogistik der verbalen Urteilsformen unter sich begreift.
Einen Vorzug grösserer Exaktheit aber besitzt keine Syllogistik
vor der andern, wofern eine jede nur, wie vorstehend, eine korrekte
Darstellung nach den Regeln unsrer Disziplin gefunden.
Um Anspruch auf vollkommene Genauigkeit zu erlangen, mussten
diese Syllogistiken auch solche Formen von Schlüssen mit in Berück-
sichtigung ziehen, bei denen die Konklusion nicht in den Kreis der
Urteilsformen fällt, aus welchem die Prämissen zu entnehmen waren.
(Diese stellen sich als eine verhältnissmässig grosse Reihe von Schluss-
formen dar, und ihrer Vernachlässigung machte sich die verbale Syllo-
gistik schuldig.)
Jener Umstand aber lässt wol den Wert einer Syllogistik über-
haupt zurücktreten gegenüber dem Werte der Methode, durch welche
in ihr, gleichwie in den noch viel allgemeineren Eliminationsproblemen,
die in der Logik des identischen Aussagenkalkuls erdacht werden können,
jeweils die Konklusion (als Resultante) zu gewinnen ist.
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/394 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 370. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/394>, abgerufen am 16.07.2024. |