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

Einundzwanzigste Vorlesung.
a c = 0, a c1 = 0, a (c + d) = 0, a b1 = 0, a (c d + c1 d1) = 0,
woraus auch zu ersehen, dass keine abgeschwächten Schlüsse vorliegen,
dass vielmehr die obigen Konklusionen die vollen Resultanten darstellen.

Gebrauchte man statt des ausschliessenden das einschliessende "oder"
-- vergl. § 8, z, .. th) -- so ginge von den angeführten fünf Formen
(während die erste und dritte keine Konklusion liefert) die zweite, vierte
und fünfte Form über in:
(a b + c) (a b1) (a c),
(a b + c + d) (a c1 d1) (a b), (a b + c + d) (a b1) (a c + d).
Von diesen drei Schlüssen fallen die letzten beiden aber unter das Schema
des ersten, wie man sieht, wenn man in ihm c + d für c setzt, eventuell
nachdem man b mit c vertauschte.

Und jener erste ist ein gültiger Schluss, welcher leicht durch Elimina-
tion von b aus seiner vereinigten Prämissengleichung a b1 c1 + a b = 0, oder
wieder a (b + c1) = 0, zu rechtfertigen. Es ist mir unbekannt, ob er in
der traditionellen Logik einen Namen erhalten:

Wenn a gilt, so gilt b oder auch c. Nun gelte, wenn a gilt, b nicht.
Dann muss, wenn a gilt, c gelten.

Da er aber sich einfacher darstellt und auch zu seiner Rechtfertigung
ein wenig weniger Rechnung erforderte, so erseheint es naturgemäss, auf
ihn mittelst der Bemerkung, dass
b c1 + b1 c b + c, also (a b c1 + b1 c) (a b + c)
ist, den "modus tollendo-ponens" zurückzuführen, wodurch die selbständige
Begründung des letztern erspart wird. --

Im weitern Verfolg der spezifischen Gesetze des Aussagenkalkuls
(im Vergleiche zum Gebietekalkul) gelangen wir nunmehr zu den
minder wichtigen wenn auch noch bemerkenswerten Partieen derselben.

Sehr paradox erscheint auf den ersten Blick das als allgemein-
gültig in der That hinzustellende Formelpaar des Aussagenkalkuls:

*mx) (a b) (c a)*m+) (a b) (b c)
dessen erste Formel von Peirce 8 p. 187 gegeben ist -- paradox aus
dem Grunde, weil die Aussage c, über welche die Konklusion rechts
berichtet, in der Prämisse links gar nicht vorkommt, diese also keiner-
lei Information über jene Aussage enthalten kann, während man
nichtsdestoweniger berechtigt ist, den Schluss von der Aussage linker-
hand auf die rechterhand als einen "deduktiven" zu bezeichnen.

Leicht ist zunächst der Beweis für die Formeln zu führen. Dieselben
besagen, dass

Einundzwanzigste Vorlesung.
a c = 0, a c1 = 0, a (c + d) = 0, a b1 = 0, a (c d + c1 d1) = 0,
woraus auch zu ersehen, dass keine abgeschwächten Schlüsse vorliegen,
dass vielmehr die obigen Konklusionen die vollen Resultanten darstellen.

Gebrauchte man statt des ausschliessenden das einschliessende „oder“
— vergl. § 8, ζ, ‥ ϑ) — so ginge von den angeführten fünf Formen
(während die erste und dritte keine Konklusion liefert) die zweite, vierte
und fünfte Form über in:
(a ⊆ b + c) (a ⊆ b1) ⊆ (a ⊆ c),
(a ⊆ b + c + d) (a ⊆ c1 d1) ⊆ (a ⊆ b), (a ⊆ b + c + d) (a ⊆ b1) ⊆ (a ⊆ c + d).
Von diesen drei Schlüssen fallen die letzten beiden aber unter das Schema
des ersten, wie man sieht, wenn man in ihm c + d für c setzt, eventuell
nachdem man b mit c vertauschte.

Und jener erste ist ein gültiger Schluss, welcher leicht durch Elimina-
tion von b aus seiner vereinigten Prämissengleichung a b1 c1 + a b = 0, oder
wieder a (b + c1) = 0, zu rechtfertigen. Es ist mir unbekannt, ob er in
der traditionellen Logik einen Namen erhalten:

Wenn a gilt, so gilt b oder auch c. Nun gelte, wenn a gilt, b nicht.
Dann muss, wenn a gilt, c gelten.

Da er aber sich einfacher darstellt und auch zu seiner Rechtfertigung
ein wenig weniger Rechnung erforderte, so erseheint es naturgemäss, auf
ihn mittelst der Bemerkung, dass
b c1 + b1 c ⊆ b + c, also (a ⊆ b c1 + b1 c) ⊆ (a ⊆ b + c)
ist, den „modus tollendo-ponens“ zurückzuführen, wodurch die selbständige
Begründung des letztern erspart wird. —

Im weitern Verfolg der spezifischen Gesetze des Aussagenkalkuls
(im Vergleiche zum Gebietekalkul) gelangen wir nunmehr zu den
minder wichtigen wenn auch noch bemerkenswerten Partieen derselben.

Sehr paradox erscheint auf den ersten Blick das als allgemein-
gültig in der That hinzustellende Formelpaar des Aussagenkalkuls:

*μ×) (a ⊆ b) ⊆ (c ⊆ a)*μ+) (a ⊆ b) ⊆ (b ⊆ c)
dessen erste Formel von Peirce 8 p. 187 gegeben ist — paradox aus
dem Grunde, weil die Aussage c, über welche die Konklusion rechts
berichtet, in der Prämisse links gar nicht vorkommt, diese also keiner-
lei Information über jene Aussage enthalten kann, während man
nichtsdestoweniger berechtigt ist, den Schluss von der Aussage linker-
hand auf die rechterhand als einen „deduktiven“ zu bezeichnen.

Leicht ist zunächst der Beweis für die Formeln zu führen. Dieselben
besagen, dass

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0294" n="270"/><fw place="top" type="header">Einundzwanzigste Vorlesung.</fw><lb/><hi rendition="#c"><hi rendition="#i">a c</hi> = 0, <hi rendition="#i">a c</hi><hi rendition="#sub">1</hi> = 0, <hi rendition="#i">a</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">d</hi>) = 0, <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> = 0, <hi rendition="#i">a</hi> (<hi rendition="#i">c d</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi>) = 0,</hi><lb/>
woraus auch zu ersehen, dass keine abgeschwächten Schlüsse vorliegen,<lb/>
dass vielmehr die obigen Konklusionen die vollen Resultanten darstellen.</p><lb/>
            <p>Gebrauchte man statt des ausschliessenden das einschliessende &#x201E;oder&#x201C;<lb/>
&#x2014; vergl. § 8, <hi rendition="#i">&#x03B6;</hi>, &#x2025; <hi rendition="#i">&#x03D1;</hi>) &#x2014; so ginge von den angeführten fünf Formen<lb/>
(während die erste und dritte keine Konklusion liefert) die zweite, vierte<lb/>
und fünfte Form über in:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>),<lb/>
(<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi>) (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>), (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi>) (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi>).</hi><lb/>
Von diesen drei Schlüssen fallen die letzten beiden aber unter das Schema<lb/>
des ersten, wie man sieht, wenn man in ihm <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi> für <hi rendition="#i">c</hi> setzt, eventuell<lb/>
nachdem man <hi rendition="#i">b</hi> mit <hi rendition="#i">c</hi> vertauschte.</p><lb/>
            <p>Und jener erste ist ein <hi rendition="#i">gültiger Schluss,</hi> welcher leicht durch Elimina-<lb/>
tion von <hi rendition="#i">b</hi> aus seiner vereinigten Prämissengleichung <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi> = 0, oder<lb/>
wieder <hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) = 0, zu rechtfertigen. Es ist mir unbekannt, ob er in<lb/>
der traditionellen Logik einen Namen erhalten:</p><lb/>
            <p> <hi rendition="#i">Wenn a gilt, so gilt b oder auch c. Nun gelte, wenn a gilt, b nicht.<lb/>
Dann muss, wenn a gilt, c gelten.</hi> </p><lb/>
            <p>Da er aber sich einfacher darstellt und auch zu seiner Rechtfertigung<lb/>
ein wenig weniger Rechnung erforderte, so erseheint es naturgemäss, auf<lb/>
ihn mittelst der Bemerkung, dass<lb/><hi rendition="#c"><hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>, also (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>)</hi><lb/>
ist, den &#x201E;modus tollendo-ponens&#x201C; zurückzuführen, wodurch die selbständige<lb/>
Begründung des letztern erspart wird. &#x2014;</p><lb/>
            <p>Im weitern Verfolg der spezifischen Gesetze des Aussagenkalkuls<lb/>
(im Vergleiche zum Gebietekalkul) gelangen wir nunmehr zu den<lb/>
minder wichtigen wenn auch noch bemerkenswerten Partieen derselben.</p><lb/>
            <p>Sehr <hi rendition="#i">paradox</hi> erscheint auf den ersten Blick das als allgemein-<lb/>
gültig in der That hinzustellende Formelpaar des Aussagenkalkuls:<lb/><table><row><cell>*<hi rendition="#i">&#x03BC;</hi><hi rendition="#sub">×</hi>) (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>)</cell><cell>*<hi rendition="#i">&#x03BC;</hi><hi rendition="#sub">+</hi>) (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>)</cell></row><lb/></table> dessen erste Formel von <hi rendition="#g">Peirce</hi> <hi rendition="#sup">8</hi> p. 187 gegeben ist &#x2014; paradox aus<lb/>
dem Grunde, weil die Aussage <hi rendition="#i">c</hi>, über welche die Konklusion rechts<lb/>
berichtet, in der Prämisse links gar nicht vorkommt, diese also keiner-<lb/>
lei Information über jene Aussage enthalten kann, während man<lb/>
nichtsdestoweniger berechtigt ist, den Schluss von der Aussage linker-<lb/>
hand auf die rechterhand als einen &#x201E;deduktiven&#x201C; zu bezeichnen.</p><lb/>
            <p>Leicht ist zunächst der <hi rendition="#g">Beweis</hi> für die Formeln zu führen. Dieselben<lb/>
besagen, dass<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[270/0294] Einundzwanzigste Vorlesung. a c = 0, a c1 = 0, a (c + d) = 0, a b1 = 0, a (c d + c1 d1) = 0, woraus auch zu ersehen, dass keine abgeschwächten Schlüsse vorliegen, dass vielmehr die obigen Konklusionen die vollen Resultanten darstellen. Gebrauchte man statt des ausschliessenden das einschliessende „oder“ — vergl. § 8, ζ, ‥ ϑ) — so ginge von den angeführten fünf Formen (während die erste und dritte keine Konklusion liefert) die zweite, vierte und fünfte Form über in: (a  b + c) (a  b1)  (a  c), (a  b + c + d) (a  c1 d1)  (a  b), (a  b + c + d) (a  b1)  (a  c + d). Von diesen drei Schlüssen fallen die letzten beiden aber unter das Schema des ersten, wie man sieht, wenn man in ihm c + d für c setzt, eventuell nachdem man b mit c vertauschte. Und jener erste ist ein gültiger Schluss, welcher leicht durch Elimina- tion von b aus seiner vereinigten Prämissengleichung a b1 c1 + a b = 0, oder wieder a (b + c1) = 0, zu rechtfertigen. Es ist mir unbekannt, ob er in der traditionellen Logik einen Namen erhalten: Wenn a gilt, so gilt b oder auch c. Nun gelte, wenn a gilt, b nicht. Dann muss, wenn a gilt, c gelten. Da er aber sich einfacher darstellt und auch zu seiner Rechtfertigung ein wenig weniger Rechnung erforderte, so erseheint es naturgemäss, auf ihn mittelst der Bemerkung, dass b c1 + b1 c  b + c, also (a  b c1 + b1 c)  (a  b + c) ist, den „modus tollendo-ponens“ zurückzuführen, wodurch die selbständige Begründung des letztern erspart wird. — Im weitern Verfolg der spezifischen Gesetze des Aussagenkalkuls (im Vergleiche zum Gebietekalkul) gelangen wir nunmehr zu den minder wichtigen wenn auch noch bemerkenswerten Partieen derselben. Sehr paradox erscheint auf den ersten Blick das als allgemein- gültig in der That hinzustellende Formelpaar des Aussagenkalkuls: *μ×) (a  b)  (c  a) *μ+) (a  b)  (b  c) dessen erste Formel von Peirce 8 p. 187 gegeben ist — paradox aus dem Grunde, weil die Aussage c, über welche die Konklusion rechts berichtet, in der Prämisse links gar nicht vorkommt, diese also keiner- lei Information über jene Aussage enthalten kann, während man nichtsdestoweniger berechtigt ist, den Schluss von der Aussage linker- hand auf die rechterhand als einen „deduktiven“ zu bezeichnen. Leicht ist zunächst der Beweis für die Formeln zu führen. Dieselben besagen, dass

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/294
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 270. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/294>, abgerufen am 25.11.2024.