Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.Zwölfte Vorlesung. dort (bei Xk h) a = b = 1 genommen hätte. M. a. W.: wenn man dieVerschiedenheit der x-Bilder zu verschiednen der in Betracht kommen- den Objekte, und der Objekte zu verschiednen der in Betracht kommen- den x-Bilder, nicht blos für die Elemente von b resp. von a, sondern für die Elemente des ganzen Denkbereiches von vornherein fordert. An Stelle von 1) erhalten wir dann: 12) [Formel 1] und an Stelle von 2) weit einfacher: 13) y = (xn j 1')x(1' j xn), an Stelle von (4) also als "vierte Fassung" der Ähnlichkeitsbedingung: (14) [Formel 2] , worin das x nun allerdings ein andres, beschränkteres Relativ sein wird, als das x in den früheren Formeln, jedoch -- in 12) bis 14) das x auch durchweg mit unserm z identifizirt werden darf. Wir werden die Formeln so (für z statt x angeschrieben gedacht) zuweilen citiren, und ist namentlich zu beachten, dass gleichwie die Forderung 12) -- mit davor geschriebnem [Formel 3] -- sich in die rechte Seite der Ähn- lichkeitsbedingung (14) oder (10) äquivalent hat umschreiben lassen, so auch umgekehrt die folgerungen 12) (in z angeschrieben) mittelst äquivalenter Transformation aus (10) hervorzugehen nicht verfehlen können. Zur Entdeckung des Zusammenhanges 11) zwischen y und z, und Werden beide Anforderungen gleichzeitig gestellt, so folgt also Zwölfte Vorlesung. dort (bei Xk h) a = b = 1 genommen hätte. M. a. W.: wenn man dieVerschiedenheit der x-Bilder zu verschiednen der in Betracht kommen- den Objekte, und der Objekte zu verschiednen der in Betracht kommen- den x-Bilder, nicht blos für die Elemente von b resp. von a, sondern für die Elemente des ganzen Denkbereiches von vornherein fordert. An Stelle von 1) erhalten wir dann: 12) [Formel 1] und an Stelle von 2) weit einfacher: 13) y = (x̄ ɟ 1')x(1' ɟ x̄), an Stelle von (4) also als „vierte Fassung“ der Ähnlichkeitsbedingung: (14) [Formel 2] , worin das x nun allerdings ein andres, beschränkteres Relativ sein wird, als das x in den früheren Formeln, jedoch — in 12) bis 14) das x auch durchweg mit unserm z identifizirt werden darf. Wir werden die Formeln so (für z statt x angeschrieben gedacht) zuweilen citiren, und ist namentlich zu beachten, dass gleichwie die Forderung 12) — mit davor geschriebnem [Formel 3] — sich in die rechte Seite der Ähn- lichkeitsbedingung (14) oder (10) äquivalent hat umschreiben lassen, so auch umgekehrt die folgerungen 12) (in z angeschrieben) mittelst äquivalenter Transformation aus (10) hervorzugehen nicht verfehlen können. Zur Entdeckung des Zusammenhanges 11) zwischen y und z, und Werden beide Anforderungen gleichzeitig gestellt, so folgt also <TEI> <text> <body> <div n="1"> <div n="2"> <p><pb facs="#f0620" n="606"/><fw place="top" type="header">Zwölfte Vorlesung.</fw><lb/> dort (bei <hi rendition="#i">X<hi rendition="#sub">k h</hi></hi>) <hi rendition="#i">a</hi> = <hi rendition="#i">b</hi> = 1 genommen hätte. M. a. W.: wenn man die<lb/> Verschiedenheit der <hi rendition="#i">x</hi>-Bilder zu verschiednen der in Betracht kommen-<lb/> den Objekte, und der Objekte zu verschiednen der in Betracht kommen-<lb/> den <hi rendition="#i">x</hi>-Bilder, nicht blos für die Elemente von <hi rendition="#i">b</hi> resp. von <hi rendition="#i">a</hi>, sondern<lb/> für die Elemente des ganzen Denkbereiches von vornherein fordert.<lb/> An Stelle von 1) erhalten wir dann:<lb/> 12) <formula/><lb/> und an Stelle von 2) weit einfacher:<lb/> 13) <hi rendition="#et"><hi rendition="#i">y</hi> = (<hi rendition="#i">x̄</hi> ɟ 1')<hi rendition="#i">x</hi>(1' ɟ <hi rendition="#i">x̄</hi>),</hi><lb/> an Stelle von (4) also als „<hi rendition="#g">vierte Fassung</hi>“ der Ähnlichkeitsbedingung:<lb/> (14) <formula/>,<lb/> worin das <hi rendition="#i">x</hi> nun allerdings ein andres, beschränkteres Relativ sein<lb/> wird, als das <hi rendition="#i">x</hi> in den früheren Formeln, jedoch — in 12) bis 14)<lb/> das <hi rendition="#i">x</hi> auch durchweg <hi rendition="#i">mit unserm z identifizirt werden darf</hi>. Wir werden<lb/> die Formeln so (für <hi rendition="#i">z</hi> statt <hi rendition="#i">x</hi> angeschrieben gedacht) zuweilen citiren,<lb/> und ist namentlich zu beachten, dass gleichwie die Forderung 12)<lb/> — mit davor geschriebnem <formula/> — sich in die rechte Seite der Ähn-<lb/> lichkeitsbedingung (14) oder (10) äquivalent hat umschreiben lassen,<lb/> so auch umgekehrt die folgerungen 12) (in <hi rendition="#i">z</hi> angeschrieben) mittelst<lb/> äquivalenter Transformation aus (10) hervorzugehen nicht verfehlen<lb/> können.</p><lb/> <p>Zur Entdeckung des Zusammenhanges 11) zwischen <hi rendition="#i">y</hi> und <hi rendition="#i">z</hi>, und<lb/> damit zur Fassung (10), kann man endlich auch von (5) aus heuristisch<lb/> gelangen, indem man über <hi rendition="#i">y</hi> gewisse „externe“ Verfügungen trifft, nämlich<lb/> die „adventive“ forderung aufstellt: dass die ausserhalb <hi rendition="#i">a</hi> befindlichen<lb/> Elemente des Denkbereichs, die Elemente von <hi rendition="#i">ā</hi>, gar keine <hi rendition="#i">y</hi>-bilder <hi rendition="#i">haben</hi>,<lb/> sowie die ausserhalb <hi rendition="#i">b</hi> befindlichen oder Elemente von <hi rendition="#i">b̄</hi> gar keine <hi rendition="#i">y</hi>-Bilder<lb/><hi rendition="#i">sein</hi> sollen. Solches drücken die beiden Ansätze aus:<lb/> 15) <hi rendition="#et"><hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>{(<hi rendition="#i">h</hi>⋹<hi rendition="#i">ā</hi>) ⋹ (<hi rendition="#i">y</hi> ; <hi rendition="#i">h</hi> = 0)} = 0 ɟ <hi rendition="#i">ȳ</hi> ɟ <hi rendition="#i">a</hi> = (<hi rendition="#i">y</hi> ⋹ <hi rendition="#i">ă</hi>),<lb/><hi rendition="#i">Π<hi rendition="#sub">k</hi></hi>{(<hi rendition="#i">k</hi> ⋹ <hi rendition="#i">b̄</hi>) ⋹ (<hi rendition="#i">ȳ</hi> ; <hi rendition="#i">k</hi> = 0)} = 0 ɟ <hi rendition="#i">ȳ̆</hi> ɟ <hi rendition="#i">b</hi> = (<hi rendition="#i">y</hi> ⋹ <hi rendition="#i">b</hi>),</hi><lb/> deren Begründung gemäss <hi rendition="#i">ϱ</hi>) S. 557 mit<lb/><hi rendition="#c"><hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>{<hi rendition="#i">ā<hi rendition="#sub">h</hi></hi>⋹ (<hi rendition="#i">ȳ̆</hi> ɟ 0)<hi rendition="#i"><hi rendition="#sub">h</hi></hi>} = <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a</hi> + <hi rendition="#i">ȳ̆</hi> ɟ 0)<hi rendition="#i"><hi rendition="#sub">h</hi></hi> = 0 ɟ (<hi rendition="#i">a</hi> + <hi rendition="#i">ȳ̆</hi> ɟ 0) = <hi rendition="#i">ă</hi> ɟ <hi rendition="#i">ȳ̆</hi> ɟ 0,</hi><lb/> etc. leicht zu geben ist.</p><lb/> <p>Werden beide Anforderungen gleichzeitig gestellt, so folgt also<lb/><hi rendition="#c"><hi rendition="#i">y</hi>⋹<hi rendition="#i">ăb</hi> oder <hi rendition="#i">y</hi> = <hi rendition="#i">ăby</hi> = <hi rendition="#i">z</hi>,</hi><lb/> d. h. es kann das genannter Auflage unterworfene <hi rendition="#i">y</hi> als unser <hi rendition="#i">z</hi> bezeichnet<lb/> werden. <hi rendition="#i">Für dieses z</hi> gilt natürlich dann auch<lb/></p> </div> </div> </body> </text> </TEI> [606/0620]
Zwölfte Vorlesung.
dort (bei Xk h) a = b = 1 genommen hätte. M. a. W.: wenn man die
Verschiedenheit der x-Bilder zu verschiednen der in Betracht kommen-
den Objekte, und der Objekte zu verschiednen der in Betracht kommen-
den x-Bilder, nicht blos für die Elemente von b resp. von a, sondern
für die Elemente des ganzen Denkbereiches von vornherein fordert.
An Stelle von 1) erhalten wir dann:
12) [FORMEL]
und an Stelle von 2) weit einfacher:
13) y = (x̄ ɟ 1')x(1' ɟ x̄),
an Stelle von (4) also als „vierte Fassung“ der Ähnlichkeitsbedingung:
(14) [FORMEL],
worin das x nun allerdings ein andres, beschränkteres Relativ sein
wird, als das x in den früheren Formeln, jedoch — in 12) bis 14)
das x auch durchweg mit unserm z identifizirt werden darf. Wir werden
die Formeln so (für z statt x angeschrieben gedacht) zuweilen citiren,
und ist namentlich zu beachten, dass gleichwie die Forderung 12)
— mit davor geschriebnem [FORMEL] — sich in die rechte Seite der Ähn-
lichkeitsbedingung (14) oder (10) äquivalent hat umschreiben lassen,
so auch umgekehrt die folgerungen 12) (in z angeschrieben) mittelst
äquivalenter Transformation aus (10) hervorzugehen nicht verfehlen
können.
Zur Entdeckung des Zusammenhanges 11) zwischen y und z, und
damit zur Fassung (10), kann man endlich auch von (5) aus heuristisch
gelangen, indem man über y gewisse „externe“ Verfügungen trifft, nämlich
die „adventive“ forderung aufstellt: dass die ausserhalb a befindlichen
Elemente des Denkbereichs, die Elemente von ā, gar keine y-bilder haben,
sowie die ausserhalb b befindlichen oder Elemente von b̄ gar keine y-Bilder
sein sollen. Solches drücken die beiden Ansätze aus:
15) Πh{(h⋹ā) ⋹ (y ; h = 0)} = 0 ɟ ȳ ɟ a = (y ⋹ ă),
Πk{(k ⋹ b̄) ⋹ (ȳ ; k = 0)} = 0 ɟ ȳ̆ ɟ b = (y ⋹ b),
deren Begründung gemäss ϱ) S. 557 mit
Πh{āh⋹ (ȳ̆ ɟ 0)h} = Πh(a + ȳ̆ ɟ 0)h = 0 ɟ (a + ȳ̆ ɟ 0) = ă ɟ ȳ̆ ɟ 0,
etc. leicht zu geben ist.
Werden beide Anforderungen gleichzeitig gestellt, so folgt also
y⋹ăb oder y = ăby = z,
d. h. es kann das genannter Auflage unterworfene y als unser z bezeichnet
werden. Für dieses z gilt natürlich dann auch
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/620 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 606. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/620>, abgerufen am 03.09.2024. |