Anmelden (DTAQ)

DWDS dlexDB CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.

Bild:

<< vorherige Seite

nächste Seite >>

§ 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 a01, a10, und a11)
und dann noch weiter b01, ... bis d11 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.

§ 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.*)

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.

<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>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">B</hi> auf die <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">A</hi><hi rendition="#sub">1</hi><lb/>
(oder umgekehrt) genannt wird die <hi rendition="#i">Konversion</hi> &#x2014; <hi rendition="#i">durch Kontraposition</hi> &#x2014;<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 &#x201E;Konversion durch Kontraposition&#x201C;<lb/>
für die umkehrbaren oder reziprokabelen Urteile.<note place="foot" n="*)">Die man auch <hi rendition="#i">konvertible</hi> nennen könnte &#x2014; &#x201E;konvertibel&#x201C; jedoch in<lb/>
andrem Sinne, nämlich mittelst einfacher Umkehrung der &#x201E;conversio <hi rendition="#i">simplex</hi>&#x201C;.<lb/>
In Bezug auf die Umkehrung mittelst &#x201E;Kontraposition&#x201C; 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">&#x03B1;</hi><hi rendition="#sup">01</hi>, <hi rendition="#i">&#x03B1;</hi><hi rendition="#sup">10</hi>, und <hi rendition="#i">&#x03B1;</hi><hi rendition="#sup">11</hi>)<lb/>
und dann noch weiter <hi rendition="#i">&#x03B2;</hi><hi rendition="#sup">01</hi>, &#x2026; bis <hi rendition="#i">&#x03B4;</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 Werk

Informationen zum Werk

Titeldaten
Verfügbarkeit Text (TEI-XML-, HTML-, TCF-, E-Book-Fassung): CC BY-SA 4.0.
Nutzungsbedingungen

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ^?

Language Resource Switchboard^?

Resource/URL übermitteln

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.

Ansicht auf Standard zurückstellen

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 24.11.2024.

Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer Creative-Commons-Lizenz. Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken. Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.

Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der Herabwürdigung der Menschenwürde gezeigt werden. Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des § 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu vermitteln und damit der Förderung seiner Mündigkeit zu dienen.

2007–2024 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften. Kontakt: redaktion(at)deutschestextarchiv.de.

Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.