Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.Einundzwanzigste Vorlesung. hebt die Voraussetzung unsres Satzes, welche ja die Subsumtion a b ver- Für die drei andern Fälle haben wir dagegen a b, nämlich 0 0, Unser Theorem sagt nun aus: Wenn a gilt (und zugleich b nicht gilt), Die Annahme: a = der Behauptung, dass 2 x 2 = 4 ist (welche Man sieht auch, dass der vorhin in Klammer gesetzte Zusatz "(und Insbesondre ist es natürlich gestattet, in mx) auch c = b, resp. Verbindet man diesen Satz mit den vier Gleichungen von Def. (3) *x welche auf ihn auch zurückgeführt werden könnten, sonach weiter in Zu-
sammenhang gebracht werden durch die Äquivalenzen:
und 36) ergeben, und deren ersterer natürlich, gleichwie der Def. (3) selbst, die weitere Geltung zukommt. Sie ist von Peirce 5 schon gegeben. Hiezu ist noch anzuführen, dass wegen Einundzwanzigste Vorlesung. hebt die Voraussetzung unsres Satzes, welche ja die Subsumtion a ⊆ b ver- Für die drei andern Fälle haben wir dagegen a ⊆ b, nämlich 0 ⊆ 0, Unser Theorem sagt nun aus: Wenn a gilt (und zugleich b nicht gilt), Die Annahme: a = der Behauptung, dass 2 × 2 = 4 ist (welche Man sieht auch, dass der vorhin in Klammer gesetzte Zusatz „(und Insbesondre ist es natürlich gestattet, in μ×) auch c = b, resp. Verbindet man diesen Satz mit den vier Gleichungen von Def. (3) *ξ welche auf ihn auch zurückgeführt werden könnten, sonach weiter in Zu-
sammenhang gebracht werden durch die Äquivalenzen:
und 3̅6̅) ergeben, und deren ersterer natürlich, gleichwie der Def. (3) selbst, die weitere Geltung zukommt. Sie ist von Peirce 5 schon gegeben. Hiezu ist noch anzuführen, dass wegen <TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <pb facs="#f0296" n="272"/> <fw place="top" type="header">Einundzwanzigste Vorlesung.</fw><lb/> <p>hebt die Voraussetzung unsres Satzes, welche ja die Subsumtion <hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi> ver-<lb/> neint, die dritte hervor, wo <hi rendition="#i">a</hi> gilt, <hi rendition="#i">b</hi> nicht gilt.</p><lb/> <p>Für die drei andern Fälle haben wir dagegen <hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>, nämlich 0 <choice><orig></orig><reg>⊆</reg></choice> 0,<lb/> 0 <choice><orig></orig><reg>⊆</reg></choice> i und i <choice><orig></orig><reg>⊆</reg></choice> i — alles zuwider der Hypothesis <hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>.</p><lb/> <p>Unser Theorem sagt nun aus: <hi rendition="#i">Wenn a gilt (und zugleich b nicht gilt),<lb/> so gilt entweder a, oder es gilt c nicht.</hi> Faktisch tritt sicher die erste Alter-<lb/> native ein — ganz einerlei, ob die zweite noch dazu gesetzt wird oder<lb/> nicht: es gilt einfach <hi rendition="#i">a</hi>, und folglich gilt dieses <hi rendition="#i">a</hi> auch dann, wenn <hi rendition="#i">c</hi> gilt.</p><lb/> <p>Die Annahme: <hi rendition="#i">a</hi> = der Behauptung, dass 2 × 2 = 4 ist (welche<lb/> unbestritten gilt), <hi rendition="#i">b</hi> = der Behauptung: Es gibt Hexerei (welche entschieden<lb/> nicht gilt) und <hi rendition="#i">c</hi> = der Behauptung: Der dreidimensionale Raum ist Quer-<lb/> schnitt einer vierdimensionalen Mannigfaltigkeit — würde eine Illustration<lb/> zu dem Satze liefern, ganz einerlei, ob letztere <hi rendition="#i">c</hi> für wahr oder für falsch<lb/> gehalten wird (ihre Richtigkeit ist bekanntlich noch unentschieden) — mag<lb/> das Theorem exemplifiziren.</p><lb/> <p>Man sieht auch, dass der vorhin in Klammer gesetzte Zusatz „(und<lb/> zugleich <hi rendition="#i">b</hi> nicht gilt)“ vollkommen überflüssig ist. Der Satz muss sich<lb/> vereinfachen lassen zu: <hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) — sein Gegenstück ebenso zu: <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>)<lb/> — und in dieser vereinfachten Gestalt fallen die Theoreme in der That<lb/> zusammen mit den schon angeführten <hi rendition="#i">γ</hi>).</p><lb/> <p>Insbesondre ist es natürlich gestattet, in <hi rendition="#i">μ</hi><hi rendition="#sub">×</hi>) auch <hi rendition="#i">c</hi> = <hi rendition="#i">b</hi>, resp.<lb/> in <hi rendition="#i">μ</hi><hi rendition="#sub">+</hi>) <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi>, anzunehmen wodurch die beiden Formeln übergehn in:<lb/> *<hi rendition="#i">ν</hi>) <hi rendition="#et">(<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>):</hi><lb/><hi rendition="#i">Ist es unrichtig, dass b gilt, wann a gilt, so muss a gelten, wann b gilt.</hi></p><lb/> <p>Verbindet man diesen Satz mit den vier Gleichungen von Def. (3)<lb/> und <hi rendition="#i">α</hi>), so ergeben sich die acht Schlüsse:<lb/><list><item>*<hi rendition="#i">ξ</hi><table rendition="#leftBraced"><row><cell>(<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a b</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) + (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>)</cell><cell>(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) + (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>)</cell></row><lb/><row><cell>(<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">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>)</cell><cell>(<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>)</cell></row><lb/><row><cell>(<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) + (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">a b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>)</cell><cell>(<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) + (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>)</cell></row><lb/><row><cell>(<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a b</hi>)</cell><cell>(<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>)</cell></row><lb/></table></item></list> welche auf ihn auch zurückgeführt werden könnten, sonach weiter in Zu-<lb/> sammenhang gebracht werden durch die Äquivalenzen:<lb/><table><row><cell><hi rendition="#i">ο</hi>) (<hi rendition="#i">c</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">a b</hi>) = (<hi rendition="#i">c</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">a</hi>) + (<hi rendition="#i">c</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">b</hi>)</cell><cell>(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) = (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) + (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>)</cell></row><lb/><row><cell>*<hi rendition="#i">π</hi>) (<hi rendition="#i">a b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) = (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>)</cell><cell>(<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) = (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>),</cell></row><lb/></table> die sich aus jenen (3) und <hi rendition="#i">α</hi>) durch beiderseitiges Negiren gemäss Th. 3̅2̅)<lb/> und 3̅6̅) ergeben, und deren ersterer natürlich, gleichwie der Def. (3) selbst,<lb/> die weitere Geltung zukommt. Sie ist von <hi rendition="#g">Peirce</hi> <hi rendition="#sup">5</hi> schon gegeben.</p><lb/> <p>Hiezu ist noch anzuführen, dass wegen<lb/><hi rendition="#c"><hi rendition="#i">a b</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">a</hi> + <hi rendition="#i">b</hi></hi><lb/> auch sein wird:<lb/></p> </div> </div> </div> </body> </text> </TEI> [272/0296]
Einundzwanzigste Vorlesung.
hebt die Voraussetzung unsres Satzes, welche ja die Subsumtion a  b ver-
neint, die dritte hervor, wo a gilt, b nicht gilt.
Für die drei andern Fälle haben wir dagegen a  b, nämlich 0  0,
0  i und i  i — alles zuwider der Hypothesis a  b.
Unser Theorem sagt nun aus: Wenn a gilt (und zugleich b nicht gilt),
so gilt entweder a, oder es gilt c nicht. Faktisch tritt sicher die erste Alter-
native ein — ganz einerlei, ob die zweite noch dazu gesetzt wird oder
nicht: es gilt einfach a, und folglich gilt dieses a auch dann, wenn c gilt.
Die Annahme: a = der Behauptung, dass 2 × 2 = 4 ist (welche
unbestritten gilt), b = der Behauptung: Es gibt Hexerei (welche entschieden
nicht gilt) und c = der Behauptung: Der dreidimensionale Raum ist Quer-
schnitt einer vierdimensionalen Mannigfaltigkeit — würde eine Illustration
zu dem Satze liefern, ganz einerlei, ob letztere c für wahr oder für falsch
gehalten wird (ihre Richtigkeit ist bekanntlich noch unentschieden) — mag
das Theorem exemplifiziren.
Man sieht auch, dass der vorhin in Klammer gesetzte Zusatz „(und
zugleich b nicht gilt)“ vollkommen überflüssig ist. Der Satz muss sich
vereinfachen lassen zu: a  (c  a) — sein Gegenstück ebenso zu: b1  (b  c)
— und in dieser vereinfachten Gestalt fallen die Theoreme in der That
zusammen mit den schon angeführten γ).
Insbesondre ist es natürlich gestattet, in μ×) auch c = b, resp.
in μ+) c = a, anzunehmen wodurch die beiden Formeln übergehn in:
*ν) (a  b)  (b  a):
Ist es unrichtig, dass b gilt, wann a gilt, so muss a gelten, wann b gilt.
Verbindet man diesen Satz mit den vier Gleichungen von Def. (3)
und α), so ergeben sich die acht Schlüsse:
*ξ(c  a b)  (a  c) + (b  c) (a + b  c)  (c  a) + (c  b)
(a b  c)  (c  a) (c  b) (c  a + b)  (a  c) (b  c)
(c  a) + (c  b)  (a b  c) (a  c) + (b  c)  (c  a + b)
(a  c) (b  c)  (c  a b) (c  a) (c  b)  (a + b  c)
welche auf ihn auch zurückgeführt werden könnten, sonach weiter in Zu-
sammenhang gebracht werden durch die Äquivalenzen:
ο) (c  a b) = (c  a) + (c  b) (a + b  c) = (a  c) + (b  c)
*π) (a b  c) = (a  c) (b  c) (c  a + b) = (c  a) (c  b),
die sich aus jenen (3) und α) durch beiderseitiges Negiren gemäss Th. 3̅2̅)
und 3̅6̅) ergeben, und deren ersterer natürlich, gleichwie der Def. (3) selbst,
die weitere Geltung zukommt. Sie ist von Peirce 5 schon gegeben.
Hiezu ist noch anzuführen, dass wegen
a b  a + b
auch sein wird:
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/296 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 272. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/296>, abgerufen am 15.08.2024. |