Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.Fernere Berichtigungen und Nachträge zum ersten Bande. a b a, a b b, a a + b, b a + b,wonach wir haben:
Schade nur, dass wir zum Beweis unsres soeben gebrauchten Theo- rems 37) selbst der Theoreme 36) bedurften -- sonach hier blos ein circulus in demonstrando vorlag -- und dass Herrn Peirce's blos auf den Aussagenkalkul zugeschnittene Deduktion jener Kontrapositions- regel sich auf den Klassenkalkul nicht übertragen zu lassen scheint! Ich verhehle mir keineswegs, dass in der späten Stellung, welche wir dem Theorem 37) (a b) = (b1 a1) ungeachtet seiner Einfach- heit und seines hohen Grades von unmittelbarer Evidenz in dem Systeme unsrer Theorie anweisen mussten, sich möglicherweise noch eine Unvoll- kommenheit von deren, obzwar völlig korrekten, systematischem Auf- baue kund gibt. Wir hatten uns genötigt gesehen, zu dessen Beweise uns auf die Theoreme 20), 32) und 36), die von Gleichungen handeln, zu berufen, wogegen es natürlicher erschiene, namentlich das ent- sprechende Kontrapositionstheorem 32) für Gleichungen: (a = b) = (a1 = b1) umgekehrt kraft Def. (1) auf dasjenige 37) für Subsumtionen zu gründen. Ob aber solch umgekehrter Weg auch durchaus gangbar, ob es möglich ist, in seinem Verfolge ohne mehr oder verwickeltere Prinzipien zu postuliren als die sind, mit denen wir ausgekommen, das ganze Gebäude in gleicher Lückenlosigkeit und Korrektheit zu errichten -- dies zu entscheiden müssen wir künftigen Forschungen und eventuell begabteren oder glücklicheren Denkern überlassen. Seite 356, Zeile 4 v. u. st. a l. a1. " 377. Zu Aufgabe m) macht Herr Wilhelm Rudeck in Glatz i. Schles. die treffende Bemerkung, dass man, um die Gültigkeit der Subsumtion a c1 a b1 + b c1 auf schuellstem Wege einzusehen, blos das Prädikat derselben gemäss Th. i), Bd. 1, S. 376 in b c1 + c1 a + a b1 umzuschreiben braucht, wonach sie sich dann in der That kraft Th. 6+) unmittelbar und elegant ergibt. " 379, Zeile 3 v. u. könnte nach einer Bemerkung von Lüroth das Peirce'sche
ox) (a b c) (a c1 b1) und o+) (a b + c) (b1 c + a1), ja schon aus einem von ihnen, z. B. dem erstern ox), etwa wie folgt abgeleitet werden: Wenn a b c + d ist, so folgt nach jenem a (c + d)1 b1 oder a c1 d1 b1 und dies, durch beiderseitiges Addiren verbunden mit der aus Th. 6x) ohnehin selbstverständlichen Subsumtion a c1 d d gibt: a c1 b1 + d, q. e. d. " 384 möchte ich noch als ein paar geeignete Exempel: a x + b x1 + a b1 + a1 b = a + b, a b + b (x + a1) + a (y + b1) = a + b unter kh) mit eingereiht wissen. " 391, Zeile 16 v. o. oder u. st. Th. 15x) l. Th. 17x). " 542, " 17 v. u. st. dieselbe l. diese. " 553 sq. Herr Macfarlane macht mich darauf aufmerksam, dass ich bei der 30. Aufgabe den Wortlaut seiner zweiten Prämisse nicht in seinem Sinne verstanden, anstatt der seinigen also eine etwas andere Aufgabe Fernere Berichtigungen und Nachträge zum ersten Bande. a b ⊆ a, a b ⊆ b, a ⊆ a + b, b ⊆ a + b,wonach wir haben:
Schade nur, dass wir zum Beweis unsres soeben gebrauchten Theo- rems 37) selbst der Theoreme 36) bedurften — sonach hier blos ein circulus in demonstrando vorlag — und dass Herrn Peirce’s blos auf den Aussagenkalkul zugeschnittene Deduktion jener Kontrapositions- regel sich auf den Klassenkalkul nicht übertragen zu lassen scheint! Ich verhehle mir keineswegs, dass in der späten Stellung, welche wir dem Theorem 37) (a ⊆ b) = (b1 ⊆ a1) ungeachtet seiner Einfach- heit und seines hohen Grades von unmittelbarer Evidenz in dem Systeme unsrer Theorie anweisen mussten, sich möglicherweise noch eine Unvoll- kommenheit von deren, obzwar völlig korrekten, systematischem Auf- baue kund gibt. Wir hatten uns genötigt gesehen, zu dessen Beweise uns auf die Theoreme 20), 32) und 36), die von Gleichungen handeln, zu berufen, wogegen es natürlicher erschiene, namentlich das ent- sprechende Kontrapositionstheorem 32) für Gleichungen: (a = b) = (a1 = b1) umgekehrt kraft Def. (1) auf dasjenige 37) für Subsumtionen zu gründen. Ob aber solch umgekehrter Weg auch durchaus gangbar, ob es möglich ist, in seinem Verfolge ohne mehr oder verwickeltere Prinzipien zu postuliren als die sind, mit denen wir ausgekommen, das ganze Gebäude in gleicher Lückenlosigkeit und Korrektheit zu errichten — dies zu entscheiden müssen wir künftigen Forschungen und eventuell begabteren oder glücklicheren Denkern überlassen. Seite 356, Zeile 4 v. u. st. a l. a1. „ 377. Zu Aufgabe μ) macht Herr Wilhelm Rudeck in Glatz i. Schles. die treffende Bemerkung, dass man, um die Gültigkeit der Subsumtion a c1 ⊆ a b1 + b c1 auf schuellstem Wege einzusehen, blos das Prädikat derselben gemäss Th. ι), Bd. 1, S. 376 in b c1 + c1 a + a b1 umzuschreiben braucht, wonach sie sich dann in der That kraft Th. 6+) unmittelbar und elegant ergibt. „ 379, Zeile 3 v. u. könnte nach einer Bemerkung von Lüroth das Peirce’sche
ο×) (a b ⊆ c) ⊆ (a c1 ⊆ b1) und ο+) (a ⊆ b + c) ⊆ (b1 ⊆ c + a1), ja schon aus einem von ihnen, z. B. dem erstern ο×), etwa wie folgt abgeleitet werden: Wenn a b ⊆ c + d ist, so folgt nach jenem a (c + d)1 ⊆ b1 oder a c1 d1 ⊆ b1 und dies, durch beiderseitiges Addiren verbunden mit der aus Th. 6×) ohnehin selbstverständlichen Subsumtion a c1 d ⊆ d gibt: a c1 ⊆ b1 + d, q. e. d. „ 384 möchte ich noch als ein paar geeignete Exempel: a x + b x1 + a b1 + a1 b = a + b, a b + b (x + a1) + a (y + b1) = a + b unter χ) mit eingereiht wissen. „ 391, Zeile 16 v. o. oder u. st. Th. 15×) l. Th. 17×). „ 542, „ 17 v. u. st. dieselbe l. diese. „ 553 sq. Herr Macfarlane macht mich darauf aufmerksam, dass ich bei der 30. Aufgabe den Wortlaut seiner zweiten Prämisse nicht in seinem Sinne verstanden, anstatt der seinigen also eine etwas andere Aufgabe <TEI> <text> <front> <div n="1"> <list> <item> <hi rendition="#et"><pb facs="#f0019" n="XI"/><fw place="top" type="header">Fernere Berichtigungen und Nachträge zum ersten Bande.</fw><lb/><hi rendition="#c"><hi rendition="#i">a b</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">a</hi>, <hi rendition="#i">a b</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">b</hi>, <hi rendition="#i">a</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>, <hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>,</hi><lb/> wonach wir haben:<lb/><table><row><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">a b</hi>)<hi rendition="#sub">1</hi></cell><cell>(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>)<hi rendition="#sub">1</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi><hi rendition="#sub">1</hi></cell></row><lb/><row><cell><hi rendition="#i">b</hi><hi rendition="#sub">1</hi><choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">a b</hi>)<hi rendition="#sub">1</hi></cell><cell>(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>)<hi rendition="#sub">1</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi></cell></row><lb/></table> und sich nach Def. (3) diese noch ausstehenden Subsumtionen:<lb/><table><row><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">a b</hi>)<hi rendition="#sub">1</hi></cell><cell>(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>)<hi rendition="#sub">1</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi></cell></row><lb/></table> ergeben, somit die Sätze Th. 36) kraft Def. (1) bewiesen wären.<lb/> Schade nur, dass wir zum Beweis unsres soeben gebrauchten Theo-<lb/> rems 37) selbst der Theoreme 36) bedurften — sonach hier blos ein<lb/> circulus in demonstrando vorlag — und dass Herrn <hi rendition="#g">Peirce’</hi>s blos auf<lb/> den Aussagenkalkul zugeschnittene Deduktion jener Kontrapositions-<lb/> regel sich auf den Klassenkalkul nicht übertragen zu lassen scheint!<lb/> Ich verhehle mir keineswegs, dass in der späten Stellung, welche<lb/> wir dem Theorem 37) (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>) = (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>) ungeachtet seiner Einfach-<lb/> heit und seines hohen Grades von unmittelbarer Evidenz in dem Systeme<lb/> unsrer Theorie anweisen mussten, sich <hi rendition="#i">möglicherweise</hi> noch eine Unvoll-<lb/> kommenheit von deren, obzwar völlig korrekten, systematischem Auf-<lb/> baue kund gibt. Wir hatten uns genötigt gesehen, zu dessen Beweise<lb/> uns auf die Theoreme 20), 32) und 36), die von Gleichungen handeln,<lb/> zu berufen, wogegen es natürlicher erschiene, namentlich das ent-<lb/> sprechende Kontrapositionstheorem 32) für Gleichungen: (<hi rendition="#i">a</hi> = <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>)<lb/> umgekehrt kraft Def. (1) auf dasjenige 37) für Subsumtionen zu gründen.<lb/> Ob aber solch umgekehrter Weg auch durchaus gangbar, ob es<lb/> möglich ist, in seinem Verfolge ohne <hi rendition="#i">mehr</hi> oder verwickeltere Prinzipien<lb/> zu postuliren als die sind, mit denen wir ausgekommen, das ganze<lb/> Gebäude in gleicher Lückenlosigkeit und Korrektheit zu errichten —<lb/> dies zu entscheiden müssen wir künftigen Forschungen und eventuell<lb/> begabteren oder glücklicheren Denkern überlassen.</hi> </item><lb/> <item>Seite 356, Zeile 4 v. u. st. <hi rendition="#i">a</hi> l. <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>.</item><lb/> <item>„ 377. Zu Aufgabe <hi rendition="#i">μ</hi>) macht Herr <hi rendition="#g">Wilhelm Rudeck</hi> in Glatz i. Schles. die<lb/> treffende Bemerkung, dass man, um die Gültigkeit der Subsumtion<lb/><hi rendition="#c"><hi rendition="#i">a c</hi><hi rendition="#sub">1</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi></hi><lb/> auf schuellstem Wege einzusehen, blos das Prädikat derselben gemäss<lb/> Th. <hi rendition="#i">ι</hi>), Bd. 1, S. 376 in <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> umzuschreiben braucht, wonach<lb/> sie sich dann in der That kraft Th. 6<hi rendition="#sub">+</hi>) unmittelbar und elegant ergibt.</item><lb/> <item>„ 379, Zeile 3 v. u. könnte nach einer Bemerkung von <hi rendition="#g">Lüroth</hi> das <hi rendition="#g">Peirce’</hi>sche<lb/><table><row><cell>Theorem <hi rendition="#i">v</hi>)</cell><cell>(<hi rendition="#i">a b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">a c</hi><hi rendition="#sub">1</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">d</hi>)</cell></row><lb/></table> aus dessen Theoremen:<lb/><hi rendition="#i">ο</hi><hi rendition="#sub">×</hi>) (<hi rendition="#i">a b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">a c</hi><hi rendition="#sub">1</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) und <hi rendition="#i">ο</hi><hi rendition="#sub">+</hi>) (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>),<lb/> ja schon aus einem von ihnen, z. B. dem erstern <hi rendition="#i">ο</hi><hi rendition="#sub">×</hi>), etwa wie folgt<lb/> abgeleitet werden:<lb/><hi rendition="#et">Wenn <hi rendition="#i">a b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi> ist, so folgt nach jenem <hi rendition="#i">a</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">d</hi>)<hi rendition="#sub">1</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> oder<lb/><hi rendition="#i">a c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> und dies, durch beiderseitiges Addiren verbunden mit der<lb/> aus Th. 6<hi rendition="#sub">×</hi>) ohnehin selbstverständlichen Subsumtion <hi rendition="#i">a c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">d</hi> gibt:<lb/><hi rendition="#i">a c</hi><hi rendition="#sub">1</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">d</hi>, q. e. d.</hi></item><lb/> <item>„ 384 möchte ich noch als ein paar geeignete Exempel:<lb/><hi rendition="#c"><hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>, <hi rendition="#i">a b</hi> + <hi rendition="#i">b</hi> (<hi rendition="#i">x</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>) + <hi rendition="#i">a</hi> (<hi rendition="#i">y</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) = <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi></hi><lb/> unter <hi rendition="#i">χ</hi>) mit eingereiht wissen.</item><lb/> <item>„ 391, Zeile 16 v. o. oder u. st. Th. 15<hi rendition="#sub">×</hi>) l. Th. 17<hi rendition="#sub">×</hi>).</item><lb/> <item>„ 542, „ 17 v. u. st. dieselbe l. diese.</item><lb/> <item>„ 553 sq. Herr <hi rendition="#g">Macfarlane</hi> macht mich darauf aufmerksam, dass ich bei<lb/> der 30. <hi rendition="#g">Aufgabe</hi> den Wortlaut seiner zweiten Prämisse nicht in seinem<lb/> Sinne verstanden, anstatt der seinigen also eine etwas andere Aufgabe<lb/></item> </list> </div> </front> </text> </TEI> [XI/0019]
Fernere Berichtigungen und Nachträge zum ersten Bande.
a b  a, a b  b, a  a + b, b  a + b,
wonach wir haben:
a1  (a b)1 (a + b)1  a1
b1  (a b)1 (a + b)1  b1
und sich nach Def. (3) diese noch ausstehenden Subsumtionen:
a1 + b1  (a b)1 (a + b)1  a1 b1
ergeben, somit die Sätze Th. 36) kraft Def. (1) bewiesen wären.
Schade nur, dass wir zum Beweis unsres soeben gebrauchten Theo-
rems 37) selbst der Theoreme 36) bedurften — sonach hier blos ein
circulus in demonstrando vorlag — und dass Herrn Peirce’s blos auf
den Aussagenkalkul zugeschnittene Deduktion jener Kontrapositions-
regel sich auf den Klassenkalkul nicht übertragen zu lassen scheint!
Ich verhehle mir keineswegs, dass in der späten Stellung, welche
wir dem Theorem 37) (a  b) = (b1  a1) ungeachtet seiner Einfach-
heit und seines hohen Grades von unmittelbarer Evidenz in dem Systeme
unsrer Theorie anweisen mussten, sich möglicherweise noch eine Unvoll-
kommenheit von deren, obzwar völlig korrekten, systematischem Auf-
baue kund gibt. Wir hatten uns genötigt gesehen, zu dessen Beweise
uns auf die Theoreme 20), 32) und 36), die von Gleichungen handeln,
zu berufen, wogegen es natürlicher erschiene, namentlich das ent-
sprechende Kontrapositionstheorem 32) für Gleichungen: (a = b) = (a1 = b1)
umgekehrt kraft Def. (1) auf dasjenige 37) für Subsumtionen zu gründen.
Ob aber solch umgekehrter Weg auch durchaus gangbar, ob es
möglich ist, in seinem Verfolge ohne mehr oder verwickeltere Prinzipien
zu postuliren als die sind, mit denen wir ausgekommen, das ganze
Gebäude in gleicher Lückenlosigkeit und Korrektheit zu errichten —
dies zu entscheiden müssen wir künftigen Forschungen und eventuell
begabteren oder glücklicheren Denkern überlassen.
Seite 356, Zeile 4 v. u. st. a l. a1.
„ 377. Zu Aufgabe μ) macht Herr Wilhelm Rudeck in Glatz i. Schles. die
treffende Bemerkung, dass man, um die Gültigkeit der Subsumtion
a c1  a b1 + b c1
auf schuellstem Wege einzusehen, blos das Prädikat derselben gemäss
Th. ι), Bd. 1, S. 376 in b c1 + c1 a + a b1 umzuschreiben braucht, wonach
sie sich dann in der That kraft Th. 6+) unmittelbar und elegant ergibt.
„ 379, Zeile 3 v. u. könnte nach einer Bemerkung von Lüroth das Peirce’sche
Theorem v) (a b  c + d)  (a c1  b1 + d)
aus dessen Theoremen:
ο×) (a b  c)  (a c1  b1) und ο+) (a  b + c)  (b1  c + a1),
ja schon aus einem von ihnen, z. B. dem erstern ο×), etwa wie folgt
abgeleitet werden:
Wenn a b  c + d ist, so folgt nach jenem a (c + d)1  b1 oder
a c1 d1  b1 und dies, durch beiderseitiges Addiren verbunden mit der
aus Th. 6×) ohnehin selbstverständlichen Subsumtion a c1 d  d gibt:
a c1  b1 + d, q. e. d.
„ 384 möchte ich noch als ein paar geeignete Exempel:
a x + b x1 + a b1 + a1 b = a + b, a b + b (x + a1) + a (y + b1) = a + b
unter χ) mit eingereiht wissen.
„ 391, Zeile 16 v. o. oder u. st. Th. 15×) l. Th. 17×).
„ 542, „ 17 v. u. st. dieselbe l. diese.
„ 553 sq. Herr Macfarlane macht mich darauf aufmerksam, dass ich bei
der 30. Aufgabe den Wortlaut seiner zweiten Prämisse nicht in seinem
Sinne verstanden, anstatt der seinigen also eine etwas andere Aufgabe
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/19 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. XI. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/19>, abgerufen am 15.08.2024. |