Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.§ 38. Zuzug der negirten Gebiete. § 38. Erweiterung des Beziehungskreises durch Zuzug auch der negirten Gebiete. Es wurde schon unter Theorem 37) erwähnt, dass die Anwendung Dies verallgemeinernd wollen wir nunmehr aus einer Beziehung irgend Zu dem Ende ziehen wir ausser den sämtlichen in § 34 einge- Um zunächst diese zahlreichen Beziehungen als Aussagen syste- Es werde fortan unter a101 verstanden die Aussage a1, wenn unter a110 die Aussage a1, wenn umgekehrt darin A durch A1 er- mit a111 werde die Aussage a1 bezeichnet, wenn darin A durch A1 Analog werde jetzt b01, b10 und b11 erklärt als die Aussage b, *) Die man auch konvertible nennen könnte -- "konvertibel" jedoch in andrem Sinne, nämlich mittelst einfacher Umkehrung der "conversio simplex". In Bezug auf die Umkehrung mittelst "Kontraposition" würden alle Urteile als konvertible zu bezeichnen sein. 9*
§ 38. Zuzug der negirten Gebiete. § 38. Erweiterung des Beziehungskreises durch Zuzug auch der negirten Gebiete. Es wurde schon unter Theorem 37) erwähnt, dass die Anwendung Dies verallgemeinernd wollen wir nunmehr aus einer Beziehung irgend Zu dem Ende ziehen wir ausser den sämtlichen in § 34 einge- Um zunächst diese zahlreichen Beziehungen als Aussagen syste- Es werde fortan unter a101 verstanden die Aussage a1, wenn unter a110 die Aussage a1, wenn umgekehrt darin A durch A1 er- mit a111 werde die Aussage a1 bezeichnet, wenn darin A durch A1 Analog werde jetzt b01, b10 und b11 erklärt als die Aussage b, *) Die man auch konvertible nennen könnte — „konvertibel“ jedoch in andrem Sinne, nämlich mittelst einfacher Umkehrung der „conversio simplex“. In Bezug auf die Umkehrung mittelst „Kontraposition“ würden alle Urteile als konvertible zu bezeichnen sein. 9*
<TEI> <text> <body> <div n="1"> <div n="2"> <pb facs="#f0155" n="131"/> <fw place="top" type="header">§ 38. Zuzug der negirten Gebiete.</fw><lb/> <div n="3"> <head>§ 38. <hi rendition="#b">Erweiterung des Beziehungskreises durch Zuzug auch der<lb/> negirten Gebiete.</hi></head><lb/> <p>Es wurde schon unter Theorem 37) erwähnt, dass die Anwendung<lb/> desselben, oder der Schluss von einer Subsumtion <hi rendition="#i">A</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">B</hi> auf die <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><lb/> (oder umgekehrt) genannt wird die <hi rendition="#i">Konversion</hi> — <hi rendition="#i">durch Kontraposition</hi> —<lb/> des die betreffende Prämisse bildenden Subsumtionsurteils. Ebenso leistete<lb/> das Theorem 32) in Gestalt des Schlusses von einer Gleichung <hi rendition="#i">A</hi> = <hi rendition="#i">B</hi><lb/> auf die <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> (oder umgekehrt) diese „Konversion durch Kontraposition“<lb/> für die umkehrbaren oder reziprokabelen Urteile.<note place="foot" n="*)">Die man auch <hi rendition="#i">konvertible</hi> nennen könnte — „konvertibel“ jedoch in<lb/> andrem Sinne, nämlich mittelst einfacher Umkehrung der „conversio <hi rendition="#i">simplex</hi>“.<lb/> In Bezug auf die Umkehrung mittelst „Kontraposition“ würden <hi rendition="#i">alle</hi> Urteile als<lb/> konvertible zu bezeichnen sein.</note></p><lb/> <p>Dies verallgemeinernd wollen wir nunmehr aus einer Beziehung irgend<lb/> welcher Art zwischen irgend zweien der vier Gebiete <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> auf<lb/> jede damit äquivalente Beziehung zwischen wiederum zweien von diesen<lb/> Gebieten schliessen lernen.</p><lb/> <p>Zu dem Ende ziehen wir ausser den sämtlichen in § 34 einge-<lb/> führten Beziehungen zwischen den Gebieten <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi> selber auch<lb/> noch diejenigen in Betracht, welche aus jenen hervorgehen, wenn man<lb/><hi rendition="#i">B</hi> oder <hi rendition="#i">A</hi>, oder beide Gebiete durch ihre Negationen <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> resp. <hi rendition="#i">A</hi><hi rendition="#sub">1</hi><lb/> ersetzt.</p><lb/> <p>Um zunächst diese zahlreichen Beziehungen als Aussagen syste-<lb/> matisch, übersichtlich und mnemonisch zu bezeichnen, lassen wir die<lb/> in § 34 den Symbolen <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#sup">01</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#sup">10</hi> und <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#sup">11</hi> untergelegte Bedeutung oder<lb/> gegebene Auslegung fallen und verwenden die Exponenten 01, 10 und<lb/> 11 in einem neuen (bei <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> hiervon abweichenden) Sinne; wir machen<lb/> uns also unabhängig von gewissen in § 34 vorübergehend stipulirten,<lb/> zu einem Teil aber inzwischen schon überflüssig gewordenen, ohnehin<lb/> antiquirten Bezeichnungen.</p><lb/> <p>Es werde fortan unter <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#sup">01</hi> verstanden die Aussage <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, wenn<lb/> darin <hi rendition="#i">A</hi> belassen, aber <hi rendition="#i">B</hi> durch <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> ersetzt wird,</p><lb/> <p>unter <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#sup">10</hi> die Aussage <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, wenn umgekehrt darin <hi rendition="#i">A</hi> durch <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> er-<lb/> setzt, <hi rendition="#i">B</hi> belassen wird,</p><lb/> <p>mit <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#sup">11</hi> werde die Aussage <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> bezeichnet, wenn darin <hi rendition="#i">A</hi> durch <hi rendition="#i">A</hi><hi rendition="#sub">1</hi><lb/> und zugleich auch <hi rendition="#i">B</hi> durch <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> ersetzt wird.</p><lb/> <p>Analog werde jetzt <hi rendition="#i">b</hi><hi rendition="#sup">01</hi>, <hi rendition="#i">b</hi><hi rendition="#sup">10</hi> und <hi rendition="#i">b</hi><hi rendition="#sup">11</hi> erklärt als die Aussage <hi rendition="#i">b</hi>,<lb/> nachdem in dieser bezüglich <hi rendition="#i">B</hi> durch <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>, oder <hi rendition="#i">A</hi> durch <hi rendition="#i">A</hi><hi rendition="#sub">1</hi>, oder <hi rendition="#i">B</hi><lb/> nebst <hi rendition="#i">A</hi> durch <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> und <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> ersetzt sind, und finde <hi rendition="#i">c</hi><hi rendition="#sup">01</hi>, <hi rendition="#i">c</hi><hi rendition="#sup">10</hi>, <hi rendition="#i">c</hi><hi rendition="#sup">11</hi> und so<lb/> weiter bis <hi rendition="#i">g</hi><hi rendition="#sup">01</hi>, <hi rendition="#i">g</hi><hi rendition="#sup">10</hi> und <hi rendition="#i">g</hi><hi rendition="#sup">11</hi> (mit letzterem zugleich auch <hi rendition="#i">α</hi><hi rendition="#sup">01</hi>, <hi rendition="#i">α</hi><hi rendition="#sup">10</hi>, und <hi rendition="#i">α</hi><hi rendition="#sup">11</hi>)<lb/> und dann noch weiter <hi rendition="#i">β</hi><hi rendition="#sup">01</hi>, … bis <hi rendition="#i">δ</hi><hi rendition="#sup">11</hi> die entsprechende Erklärung.</p><lb/> <fw place="bottom" type="sig">9*</fw><lb/> </div> </div> </div> </body> </text> </TEI> [131/0155]
§ 38. Zuzug der negirten Gebiete.
§ 38. Erweiterung des Beziehungskreises durch Zuzug auch der
negirten Gebiete.
Es wurde schon unter Theorem 37) erwähnt, dass die Anwendung
desselben, oder der Schluss von einer Subsumtion A  B auf die B1  A1
(oder umgekehrt) genannt wird die Konversion — durch Kontraposition —
des die betreffende Prämisse bildenden Subsumtionsurteils. Ebenso leistete
das Theorem 32) in Gestalt des Schlusses von einer Gleichung A = B
auf die A1 = B1 (oder umgekehrt) diese „Konversion durch Kontraposition“
für die umkehrbaren oder reziprokabelen Urteile. *)
Dies verallgemeinernd wollen wir nunmehr aus einer Beziehung irgend
welcher Art zwischen irgend zweien der vier Gebiete A, B, A1, B1 auf
jede damit äquivalente Beziehung zwischen wiederum zweien von diesen
Gebieten schliessen lernen.
Zu dem Ende ziehen wir ausser den sämtlichen in § 34 einge-
führten Beziehungen zwischen den Gebieten A und B selber auch
noch diejenigen in Betracht, welche aus jenen hervorgehen, wenn man
B oder A, oder beide Gebiete durch ihre Negationen B1 resp. A1
ersetzt.
Um zunächst diese zahlreichen Beziehungen als Aussagen syste-
matisch, übersichtlich und mnemonisch zu bezeichnen, lassen wir die
in § 34 den Symbolen a101, a110 und a111 untergelegte Bedeutung oder
gegebene Auslegung fallen und verwenden die Exponenten 01, 10 und
11 in einem neuen (bei a1 hiervon abweichenden) Sinne; wir machen
uns also unabhängig von gewissen in § 34 vorübergehend stipulirten,
zu einem Teil aber inzwischen schon überflüssig gewordenen, ohnehin
antiquirten Bezeichnungen.
Es werde fortan unter a101 verstanden die Aussage a1, wenn
darin A belassen, aber B durch B1 ersetzt wird,
unter a110 die Aussage a1, wenn umgekehrt darin A durch A1 er-
setzt, B belassen wird,
mit a111 werde die Aussage a1 bezeichnet, wenn darin A durch A1
und zugleich auch B durch B1 ersetzt wird.
Analog werde jetzt b01, b10 und b11 erklärt als die Aussage b,
nachdem in dieser bezüglich B durch B1, oder A durch A1, oder B
nebst A durch B1 und A1 ersetzt sind, und finde c01, c10, c11 und so
weiter bis g01, g10 und g11 (mit letzterem zugleich auch α01, α10, und α11)
und dann noch weiter β01, … bis δ11 die entsprechende Erklärung.
*) Die man auch konvertible nennen könnte — „konvertibel“ jedoch in
andrem Sinne, nämlich mittelst einfacher Umkehrung der „conversio simplex“.
In Bezug auf die Umkehrung mittelst „Kontraposition“ würden alle Urteile als
konvertible zu bezeichnen sein.
9*
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/155 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 131. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/155>, abgerufen am 26.08.2024. |