Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.Zehnte Vorlesung. sein kann. Ein solches Relativ u müsste nämlich dann das Einaugesein, als welches sich das eine (oder andre) der beiden genannten Ele- mentepaare präsentirt. Das Einauge u = i : j kann, als h : k aus- schliessend*), auch nicht z enthalten, dessen Teil ja laut Assumtion sowol h : k als i : j ist. Ebensowenig kann aber auch die Negation un = i : j unser z als Teil enthalten, obwol es h : k einschliessen wird, weil es den Teil i : j von z ausschliesst. Damit ist gezeigt, dass jedes durch die rechte Seite von 24) cha- Die Individuumscharakteristiken, entnommen einerseits dem iden- Allein so bündig dieser vorstehende Beweis auch ist, so vermag Ich bin in dieser Richtung wenigstens bis zu einem bestimmten Punkte Für jedes u ist entweder z u oder z un, aber niemals beides, weil Darnach ist entweder Nehmen wir zu dem Ende an, es sei z z ; 0', so muss also zeilen- Weiter muss von vornherein entweder z 1' oder z 0' sein, von Entweder nämlich haben wir *) Dass dies zutrifft, wird ganz strenge eigentlich erst weiter unten -- sub 27) --
gerechtfertigt. Zehnte Vorlesung. sein kann. Ein solches Relativ u müsste nämlich dann das Einaugesein, als welches sich das eine (oder andre) der beiden genannten Ele- mentepaare präsentirt. Das Einauge u = i : j kann, als h : k aus- schliessend*), auch nicht z enthalten, dessen Teil ja laut Assumtion sowol h : k als i : j ist. Ebensowenig kann aber auch die Negation ū = i : j͞ unser z als Teil enthalten, obwol es h : k einschliessen wird, weil es den Teil i : j von z ausschliesst. Damit ist gezeigt, dass jedes durch die rechte Seite von 24) cha- Die Individuumscharakteristiken, entnommen einerseits dem iden- Allein so bündig dieser vorstehende Beweis auch ist, so vermag Ich bin in dieser Richtung wenigstens bis zu einem bestimmten Punkte Für jedes u ist entweder z ⋹ u oder z ⋹ ū, aber niemals beides, weil Darnach ist entweder Nehmen wir zu dem Ende an, es sei z ⋹ z ; 0', so muss also zeilen- Weiter muss von vornherein entweder z ⋹ 1' oder z ⋹ 0' sein, von Entweder nämlich haben wir *) Dass dies zutrifft, wird ganz strenge eigentlich erst weiter unten — sub 27) —
gerechtfertigt. <TEI> <text> <body> <div n="1"> <div n="2"> <p><pb facs="#f0450" n="436"/><fw place="top" type="header">Zehnte Vorlesung.</fw><lb/> sein kann. Ein solches Relativ <hi rendition="#i">u</hi> müsste nämlich dann das Einauge<lb/> sein, als welches sich das eine (oder andre) der beiden genannten Ele-<lb/> mentepaare präsentirt. Das Einauge <hi rendition="#i">u</hi> = <hi rendition="#i">i</hi> : <hi rendition="#i">j</hi> kann, als <hi rendition="#i">h</hi> : <hi rendition="#i">k</hi> aus-<lb/> schliessend<note place="foot" n="*)">Dass dies zutrifft, wird ganz strenge eigentlich erst weiter unten — sub 27) —<lb/> gerechtfertigt.</note>, auch nicht <hi rendition="#i">z</hi> enthalten, dessen Teil ja laut Assumtion<lb/> sowol <hi rendition="#i">h</hi> : <hi rendition="#i">k</hi> als <hi rendition="#i">i</hi> : <hi rendition="#i">j</hi> ist. Ebensowenig kann aber auch die Negation<lb/><hi rendition="#i">ū</hi> = <hi rendition="#i">i</hi> : <hi rendition="#i">j</hi>͞ unser <hi rendition="#i">z</hi> als Teil enthalten, obwol es <hi rendition="#i">h</hi> : <hi rendition="#i">k</hi> einschliessen wird,<lb/> weil es den Teil <hi rendition="#i">i</hi> : <hi rendition="#i">j</hi> von <hi rendition="#i">z</hi> ausschliesst.</p><lb/> <p>Damit ist gezeigt, dass jedes durch die rechte Seite von 24) cha-<lb/> rakterisirte binäre Relativ <hi rendition="#i">z</hi> gerade <hi rendition="#i">ein</hi> Auge haben muss, und folglich<lb/> auch erfüllen muss die schon bekannte „Charakteristik des Einauges“,<lb/> wie sie linkerhand in 24) sich angegeben findet.</p><lb/> <p>Die Individuumscharakteristiken, entnommen einerseits dem iden-<lb/> tischen Kalkul als niederer Stufe und andrerseits der Theorie der rela-<lb/> tiven Modulknüpfungen als höherer Stufe der Algebra der Relative,<lb/> müssen darnach einander äquivalent sein, q. e. d.</p><lb/> <p><hi rendition="#i">Allein</hi> so bündig dieser vorstehende Beweis auch ist, so vermag<lb/> ich mich doch in methodologischer Hinsicht mit demselben noch nicht<lb/> ganz zufrieden zu geben. Als Desideratum schwebt mir noch die For-<lb/> derung vor, die linke Seite von 24) auch rein <hi rendition="#i">analytisch</hi>, rechnerisch,<lb/> aus der rechten abzuleiten, ungefähr wie dies umgekehrt bereits (so<lb/> ziemlich) geleistet wurde.</p><lb/> <p>Ich bin in dieser Richtung wenigstens bis zu einem bestimmten Punkte<lb/> vorgedrungen, und bietet mein Weg einige interessante Momente, weshalb<lb/> die Betrachtungen in Kürze dargelegt seien.</p><lb/> <p>Für jedes <hi rendition="#i">u</hi> ist entweder <hi rendition="#i">z</hi> ⋹ <hi rendition="#i">u</hi> oder <hi rendition="#i">z</hi> ⋹ <hi rendition="#i">ū</hi>, aber <hi rendition="#i">niemals beides</hi>, weil<lb/><hi rendition="#c">(<hi rendition="#i">z</hi> ⋹ <hi rendition="#i">u</hi>)(<hi rendition="#i">z</hi> ⋹ <hi rendition="#i">ū</hi>) = (<hi rendition="#i">z</hi> ⋹ <hi rendition="#i">uū</hi>) = (<hi rendition="#i">z</hi> ⋹ 0) = (<hi rendition="#i">z</hi> = 0)</hi><lb/> in Widerspruch mit der Stipulation <hi rendition="#i">z</hi> ≠ 0 treten würde.</p><lb/> <p>Darnach ist entweder<lb/><hi rendition="#c"><hi rendition="#i">z</hi>⋹<hi rendition="#i">z̄</hi> ɟ 1' oder aber <hi rendition="#i">z</hi> ⋹ <hi rendition="#i">z</hi> ; 0'.</hi><lb/> Um nachzuweisen, dass von diesen beiden Alternativen notwendig die erstere<lb/> statt hat, kann man versuchen, die letztere ad absurdum zu führen.</p><lb/> <p>Nehmen wir zu dem Ende an, es sei <hi rendition="#i">z</hi> ⋹ <hi rendition="#i">z</hi> ; 0', so muss also zeilen-<lb/> schematisch sein 1<hi rendition="#i">αβγ</hi>0 ⋹ 111<hi rendition="#i">γ̄</hi>0, d. h. es muss die Zeilenkategorie <hi rendition="#i">γ</hi> ent-<lb/> fallen und <hi rendition="#i">z</hi> = <hi rendition="#i">z</hi> ; 0' · <hi rendition="#i">z</hi> = 1<hi rendition="#i">αβ</hi>-0 ohne einbesetzte Zeilen sein.</p><lb/> <p>Weiter muss von vornherein entweder <hi rendition="#i">z</hi> ⋹ 1' oder <hi rendition="#i">z</hi> ⋹ 0' sein, von<lb/> welchen beiden Möglichkeiten die erstere sich refutiren lässt.</p><lb/> <p>Entweder nämlich haben wir<lb/><hi rendition="#et"><hi rendition="#i">z</hi>⋹<hi rendition="#i">z</hi> ɟ 0 (und damit <hi rendition="#i">z</hi> = <hi rendition="#i">z</hi> ɟ 0 = 1---0) oder<lb/><hi rendition="#i">z</hi> ⋹ <hi rendition="#i">z̄</hi> ; 1 [und damit (<hi rendition="#i">z</hi> ɟ 0)<hi rendition="#i">z</hi> = 0, <hi rendition="#i">z</hi> ɟ 0 = 0, <hi rendition="#i">z</hi> = <hi rendition="#i">z̄</hi> ; 1 · <hi rendition="#i">z</hi> ; 0' · <hi rendition="#i">z</hi> = -<hi rendition="#i">αβ</hi>-0].</hi><lb/></p> </div> </div> </body> </text> </TEI> [436/0450]
Zehnte Vorlesung.
sein kann. Ein solches Relativ u müsste nämlich dann das Einauge
sein, als welches sich das eine (oder andre) der beiden genannten Ele-
mentepaare präsentirt. Das Einauge u = i : j kann, als h : k aus-
schliessend *), auch nicht z enthalten, dessen Teil ja laut Assumtion
sowol h : k als i : j ist. Ebensowenig kann aber auch die Negation
ū = i : j͞ unser z als Teil enthalten, obwol es h : k einschliessen wird,
weil es den Teil i : j von z ausschliesst.
Damit ist gezeigt, dass jedes durch die rechte Seite von 24) cha-
rakterisirte binäre Relativ z gerade ein Auge haben muss, und folglich
auch erfüllen muss die schon bekannte „Charakteristik des Einauges“,
wie sie linkerhand in 24) sich angegeben findet.
Die Individuumscharakteristiken, entnommen einerseits dem iden-
tischen Kalkul als niederer Stufe und andrerseits der Theorie der rela-
tiven Modulknüpfungen als höherer Stufe der Algebra der Relative,
müssen darnach einander äquivalent sein, q. e. d.
Allein so bündig dieser vorstehende Beweis auch ist, so vermag
ich mich doch in methodologischer Hinsicht mit demselben noch nicht
ganz zufrieden zu geben. Als Desideratum schwebt mir noch die For-
derung vor, die linke Seite von 24) auch rein analytisch, rechnerisch,
aus der rechten abzuleiten, ungefähr wie dies umgekehrt bereits (so
ziemlich) geleistet wurde.
Ich bin in dieser Richtung wenigstens bis zu einem bestimmten Punkte
vorgedrungen, und bietet mein Weg einige interessante Momente, weshalb
die Betrachtungen in Kürze dargelegt seien.
Für jedes u ist entweder z ⋹ u oder z ⋹ ū, aber niemals beides, weil
(z ⋹ u)(z ⋹ ū) = (z ⋹ uū) = (z ⋹ 0) = (z = 0)
in Widerspruch mit der Stipulation z ≠ 0 treten würde.
Darnach ist entweder
z⋹z̄ ɟ 1' oder aber z ⋹ z ; 0'.
Um nachzuweisen, dass von diesen beiden Alternativen notwendig die erstere
statt hat, kann man versuchen, die letztere ad absurdum zu führen.
Nehmen wir zu dem Ende an, es sei z ⋹ z ; 0', so muss also zeilen-
schematisch sein 1αβγ0 ⋹ 111γ̄0, d. h. es muss die Zeilenkategorie γ ent-
fallen und z = z ; 0' · z = 1αβ-0 ohne einbesetzte Zeilen sein.
Weiter muss von vornherein entweder z ⋹ 1' oder z ⋹ 0' sein, von
welchen beiden Möglichkeiten die erstere sich refutiren lässt.
Entweder nämlich haben wir
z⋹z ɟ 0 (und damit z = z ɟ 0 = 1---0) oder
z ⋹ z̄ ; 1 [und damit (z ɟ 0)z = 0, z ɟ 0 = 0, z = z̄ ; 1 · z ; 0' · z = -αβ-0].
*) Dass dies zutrifft, wird ganz strenge eigentlich erst weiter unten — sub 27) —
gerechtfertigt.
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_logik03_1895 |
URL zu dieser Seite: | https://www.deutschestextarchiv.de/schroeder_logik03_1895/450 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 436. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/450>, abgerufen am 01.09.2024. |