Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>

§ 12. Nichtbeweisbarkeit der 2. Subsumtion des Distributionsgesetzes.
zutrifft, während Beispiele sich darbieten werden, in welchen A keines-
wegs zutrifft. Den Beispielen, sowie dem ganzen Kalkul wird ein her-
vorragendes Interesse auch an sich zukommen.

Die Anwendbarkeit des identischen Kalkuls auf das in § 3, S. 160
mitaufgezählte Feld z) wird demnach keine durchgängige sein, vielmehr
nur eine beschränkte, teilweise oder partielle; sie wird bei den Sätzen 26)
aufhören.

In der systematischen Darstellung der Theorie, mit der wir im
Zuge sind, werde ich also die behauptete Nichtbeweisbarkeit der Sub-
sumtion 26x) nunmehr als erwiesen ansehen.

Dieselbe bildet insofern auch kein wesentliches Moment dieser Theorie,
als der letzteren doch nur obliegt positiv fortzuschreiten, so gut sie es
eben vermag. Das Fortschreiten gelingt ersichtlich auf die Weise, in der
wir es ausführen werden, und auf die Herausforderung, es anders zu
machen, die Subsumtionen 26) mittelst Beweises auf Grundlage des Bis-
herigen zu Theoremen zu erheben, wird niemand sich melden können.

Wir stehen darnach einer merkwürdigen Thatsache gegenüber.

Nach der in § 8 erörterten sprachlichen Einkleidung von a + b
und a · b, wenn a und b als Klassen aufgefasst werden, sind die For-
meln 25x) und 26x) wie folgt in Worte zu fassen:

25x) a b + a c a (b + c). "Alle a, die b sind, nebst allen a, die c
sind, müssen solche a sein, die b oder auch c sind."

Exempel: Die Gebildeten, welche adelig, und die Gebildeten, welche
wohlhabend sind (die adeligen Gebildeten und die wohlhabenden Ge-
bildeten), sind Gebildete, welche adelig oder auch wohlhabend sind.

26x) a (b + c) a b + a c. "Alle a, welche b oder auch c sind,
müssen solche a sein, die b sind, oder auch solche a, die c sind."

Exempel: Die Gebildeten, welche adelig oder auch wohlhabend
sind, sind adelige Gebildete oder auch wohlhabende Gebildete (sind
Gebildete, welche adelig, oder auch Gebildete, welche wohlhabend sind).

Von diesen beiden gleich selbstverständlich klingenden Sätzen lässt
der erstere sich syllogistisch beweisen, der letztere nicht.

Bei den älteren blos verbalen Behandlungen der logischen Disziplin
ist wol sicherlich nie jemand darauf verfallen, jenen ersten Beweis zu
liefern, und übersah man ebenso die Unmöglichkeit des zweiten.

In dem Nachweise und der Ausfüllung solcher Lücken gibt sich
auch wol eine Überlegenheit der mathematischen Behandlungsweise
kund. --

Jene unberücksichtigt gebliebenen Sätze (ich denke fast: sie wer-
den auch nirgends ausgesprochen worden sein) sind nichtsdestoweniger
von der allerhäufigsten Anwendung (begreiflich zumeist unbewusster-

Schröder, Algebra der Logik. 19

§ 12. Nichtbeweisbarkeit der 2. Subsumtion des Distributionsgesetzes.
zutrifft, während Beispiele sich darbieten werden, in welchen A keines-
wegs zutrifft. Den Beispielen, sowie dem ganzen Kalkul wird ein her-
vorragendes Interesse auch an sich zukommen.

Die Anwendbarkeit des identischen Kalkuls auf das in § 3, S. 160
mitaufgezählte Feld ζ) wird demnach keine durchgängige sein, vielmehr
nur eine beschränkte, teilweise oder partielle; sie wird bei den Sätzen 26)
aufhören.

In der systematischen Darstellung der Theorie, mit der wir im
Zuge sind, werde ich also die behauptete Nichtbeweisbarkeit der Sub-
sumtion 26×) nunmehr als erwiesen ansehen.

Dieselbe bildet insofern auch kein wesentliches Moment dieser Theorie,
als der letzteren doch nur obliegt positiv fortzuschreiten, so gut sie es
eben vermag. Das Fortschreiten gelingt ersichtlich auf die Weise, in der
wir es ausführen werden, und auf die Herausforderung, es anders zu
machen, die Subsumtionen 26) mittelst Beweises auf Grundlage des Bis-
herigen zu Theoremen zu erheben, wird niemand sich melden können.

Wir stehen darnach einer merkwürdigen Thatsache gegenüber.

Nach der in § 8 erörterten sprachlichen Einkleidung von a + b
und a · b, wenn a und b als Klassen aufgefasst werden, sind die For-
meln 25×) und 26×) wie folgt in Worte zu fassen:

25×) a b + a c ⋹ a (b + c). „Alle a, die b sind, nebst allen a, die c
sind, müssen solche a sein, die b oder auch c sind.“

Exempel: Die Gebildeten, welche adelig, und die Gebildeten, welche
wohlhabend sind (die adeligen Gebildeten und die wohlhabenden Ge-
bildeten), sind Gebildete, welche adelig oder auch wohlhabend sind.

26×) a (b + c) ⋹ a b + a c. „Alle a, welche b oder auch c sind,
müssen solche a sein, die b sind, oder auch solche a, die c sind.“

Exempel: Die Gebildeten, welche adelig oder auch wohlhabend
sind, sind adelige Gebildete oder auch wohlhabende Gebildete (sind
Gebildete, welche adelig, oder auch Gebildete, welche wohlhabend sind).

Von diesen beiden gleich selbstverständlich klingenden Sätzen lässt
der erstere sich syllogistisch beweisen, der letztere nicht.

Bei den älteren blos verbalen Behandlungen der logischen Disziplin
ist wol sicherlich nie jemand darauf verfallen, jenen ersten Beweis zu
liefern, und übersah man ebenso die Unmöglichkeit des zweiten.

In dem Nachweise und der Ausfüllung solcher Lücken gibt sich
auch wol eine Überlegenheit der mathematischen Behandlungsweise
kund. —

Jene unberücksichtigt gebliebenen Sätze (ich denke fast: sie wer-
den auch nirgends ausgesprochen worden sein) sind nichtsdestoweniger
von der allerhäufigsten Anwendung (begreiflich zumeist unbewusster-

Schröder, Algebra der Logik. 19
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0309" n="289"/><fw place="top" type="header">§ 12. Nichtbeweisbarkeit der 2. Subsumtion des Distributionsgesetzes.</fw><lb/>
zutrifft, während Beispiele sich darbieten werden, in welchen <hi rendition="#i">A</hi> keines-<lb/>
wegs zutrifft. Den Beispielen, sowie dem ganzen Kalkul wird ein her-<lb/>
vorragendes Interesse auch an sich zukommen.</p><lb/>
          <p>Die Anwendbarkeit des identischen Kalkuls auf das in § 3, S. 160<lb/>
mitaufgezählte Feld <hi rendition="#i">&#x03B6;</hi>) wird demnach keine durchgängige sein, vielmehr<lb/>
nur eine beschränkte, teilweise oder partielle; sie wird bei den Sätzen 26)<lb/>
aufhören.</p><lb/>
          <p>In der systematischen Darstellung der Theorie, mit der wir im<lb/>
Zuge sind, werde ich also die behauptete Nichtbeweisbarkeit der Sub-<lb/>
sumtion 26<hi rendition="#sub">×</hi>) nunmehr als erwiesen ansehen.</p><lb/>
          <p>Dieselbe bildet insofern auch kein wesentliches Moment dieser Theorie,<lb/>
als der letzteren doch nur obliegt positiv fortzuschreiten, so gut sie es<lb/>
eben vermag. Das Fortschreiten gelingt ersichtlich auf die Weise, in der<lb/>
wir es ausführen werden, und auf die Herausforderung, es anders zu<lb/>
machen, die Subsumtionen 26) mittelst Beweises auf Grundlage des Bis-<lb/>
herigen zu Theoremen zu erheben, wird niemand sich melden können.</p><lb/>
          <p>Wir stehen darnach einer <hi rendition="#i">merkwürdigen Thatsache</hi> gegenüber.</p><lb/>
          <p>Nach der in § 8 erörterten sprachlichen Einkleidung von <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi><lb/>
und <hi rendition="#i">a</hi> · <hi rendition="#i">b</hi>, wenn <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi> als Klassen aufgefasst werden, sind die For-<lb/>
meln 25<hi rendition="#sub">×</hi>) und 26<hi rendition="#sub">×</hi>) wie folgt in Worte zu fassen:</p><lb/>
          <p>25<hi rendition="#sub">×</hi>) <hi rendition="#i">a b</hi> + <hi rendition="#i">a c</hi> &#x22F9; <hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>). &#x201E;<hi rendition="#i">Alle a</hi>, <hi rendition="#i">die b sind</hi>, <hi rendition="#i">nebst allen a</hi>, <hi rendition="#i">die c<lb/>
sind</hi>, <hi rendition="#i">müssen solche a sein</hi>, <hi rendition="#i">die b oder auch c sind</hi>.&#x201C;</p><lb/>
          <p>Exempel: Die Gebildeten, welche adelig, und die Gebildeten, welche<lb/>
wohlhabend sind (die adeligen Gebildeten und die wohlhabenden Ge-<lb/>
bildeten), sind Gebildete, welche adelig oder auch wohlhabend sind.</p><lb/>
          <p>26<hi rendition="#sub">×</hi>) <hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) &#x22F9; <hi rendition="#i">a b</hi> + <hi rendition="#i">a c</hi>. &#x201E;Alle <hi rendition="#i">a</hi>, welche <hi rendition="#i">b</hi> oder auch <hi rendition="#i">c</hi> sind,<lb/>
müssen solche <hi rendition="#i">a</hi> sein, die <hi rendition="#i">b</hi> sind, oder auch solche <hi rendition="#i">a</hi>, die <hi rendition="#i">c</hi> sind.&#x201C;</p><lb/>
          <p>Exempel: Die Gebildeten, welche adelig oder auch wohlhabend<lb/>
sind, sind adelige Gebildete oder auch wohlhabende Gebildete (sind<lb/>
Gebildete, welche adelig, oder auch Gebildete, welche wohlhabend sind).</p><lb/>
          <p><hi rendition="#i">Von diesen beiden</hi> gleich selbstverständlich klingenden <hi rendition="#i">Sätzen lässt<lb/>
der erstere sich syllogistisch beweisen</hi>, <hi rendition="#i">der letztere nicht</hi>.</p><lb/>
          <p>Bei den älteren blos <hi rendition="#i">verbalen</hi> Behandlungen der logischen Disziplin<lb/>
ist wol sicherlich nie jemand darauf verfallen, jenen ersten Beweis zu<lb/>
liefern, und übersah man ebenso die Unmöglichkeit des zweiten.</p><lb/>
          <p>In dem Nachweise und der Ausfüllung solcher Lücken gibt sich<lb/>
auch wol eine Überlegenheit der mathematischen Behandlungsweise<lb/>
kund. &#x2014;</p><lb/>
          <p>Jene unberücksichtigt gebliebenen Sätze (ich denke fast: sie wer-<lb/>
den auch nirgends ausgesprochen worden sein) sind nichtsdestoweniger<lb/>
von der allerhäufigsten Anwendung (begreiflich zumeist unbewusster-<lb/>
<fw place="bottom" type="sig"><hi rendition="#k">Schröder</hi>, Algebra der Logik. 19</fw><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[289/0309] § 12. Nichtbeweisbarkeit der 2. Subsumtion des Distributionsgesetzes. zutrifft, während Beispiele sich darbieten werden, in welchen A keines- wegs zutrifft. Den Beispielen, sowie dem ganzen Kalkul wird ein her- vorragendes Interesse auch an sich zukommen. Die Anwendbarkeit des identischen Kalkuls auf das in § 3, S. 160 mitaufgezählte Feld ζ) wird demnach keine durchgängige sein, vielmehr nur eine beschränkte, teilweise oder partielle; sie wird bei den Sätzen 26) aufhören. In der systematischen Darstellung der Theorie, mit der wir im Zuge sind, werde ich also die behauptete Nichtbeweisbarkeit der Sub- sumtion 26×) nunmehr als erwiesen ansehen. Dieselbe bildet insofern auch kein wesentliches Moment dieser Theorie, als der letzteren doch nur obliegt positiv fortzuschreiten, so gut sie es eben vermag. Das Fortschreiten gelingt ersichtlich auf die Weise, in der wir es ausführen werden, und auf die Herausforderung, es anders zu machen, die Subsumtionen 26) mittelst Beweises auf Grundlage des Bis- herigen zu Theoremen zu erheben, wird niemand sich melden können. Wir stehen darnach einer merkwürdigen Thatsache gegenüber. Nach der in § 8 erörterten sprachlichen Einkleidung von a + b und a · b, wenn a und b als Klassen aufgefasst werden, sind die For- meln 25×) und 26×) wie folgt in Worte zu fassen: 25×) a b + a c ⋹ a (b + c). „Alle a, die b sind, nebst allen a, die c sind, müssen solche a sein, die b oder auch c sind.“ Exempel: Die Gebildeten, welche adelig, und die Gebildeten, welche wohlhabend sind (die adeligen Gebildeten und die wohlhabenden Ge- bildeten), sind Gebildete, welche adelig oder auch wohlhabend sind. 26×) a (b + c) ⋹ a b + a c. „Alle a, welche b oder auch c sind, müssen solche a sein, die b sind, oder auch solche a, die c sind.“ Exempel: Die Gebildeten, welche adelig oder auch wohlhabend sind, sind adelige Gebildete oder auch wohlhabende Gebildete (sind Gebildete, welche adelig, oder auch Gebildete, welche wohlhabend sind). Von diesen beiden gleich selbstverständlich klingenden Sätzen lässt der erstere sich syllogistisch beweisen, der letztere nicht. Bei den älteren blos verbalen Behandlungen der logischen Disziplin ist wol sicherlich nie jemand darauf verfallen, jenen ersten Beweis zu liefern, und übersah man ebenso die Unmöglichkeit des zweiten. In dem Nachweise und der Ausfüllung solcher Lücken gibt sich auch wol eine Überlegenheit der mathematischen Behandlungsweise kund. — Jene unberücksichtigt gebliebenen Sätze (ich denke fast: sie wer- den auch nirgends ausgesprochen worden sein) sind nichtsdestoweniger von der allerhäufigsten Anwendung (begreiflich zumeist unbewusster- Schröder, Algebra der Logik. 19

Suche im Werk

Hilfe

Informationen zum Werk

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?

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_logik01_1890
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik01_1890/309
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 289. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/309>, abgerufen am 17.02.2025.