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

§ 36. Zurückführung auf den Typus der Gleichung und Ungleichung.
dasselbe lässt sich bereits in Subsumtionen allein formuliren, des-
gleichen schon ganz durch Gleichungen.

Dass aber die Zeichen dieser beiden Beziehungen, als bejahende
und =, nicht ausreichen zur Behandlung auch nur der Probleme der
alten Logik, insbesondre zur Einkleidung der partikularen (und Existenzial-)
Urteile, haben wir in § 34 erkannt.

Erst wenn neben den Operationen des identischen Kalkuls an Ge-
bieten oder Klassen und mit denselben Operationen an Aussagen auch
die Aussagenverneinung zugelassen war, konnte letzteres gelingen, wo-
gegen bei Ausschluss der Negation an Aussagen damit nicht durchzu-
kommen war, wo sonst man auch über sämtliche Operationen ver-
fügte. Mit andern Worten: es waren zwei Beziehungszeichen nötig,
ein bejahendes und ein verneinendes.

Dass wir uns nunmehr für die beiden Zeichen = und aus den
Grundbeziehungen d und d1 entscheiden, ist unsre Willkür.

Ebensogut könnten wir nach Vorbemerktem auch mit den beiden
Zeichen und aus c und c1 auskommen; ja es könnte das bejahende
Zeichen des einen Paares mit dem verneinenden des andern zum aus-
schliesslichen Gebrauch erkoren und bestimmt werden.

Wir lernen so jedoch zunächst einmal auf wenigstens eine Weise
zum Ziel zu kommen -- und, wie sich zeigen wird, auf eine gute
Weise. Ob auf die beste, steht noch dahin. Es bleibt auch ferneren
Spezialforschungen vorbehalten, zu ermitteln, mittelst welcher andern
Paare von Zeichen man ebenfalls zur Lösung aller einschlägigen Auf-
gaben -- aller im Gebiet der Logik des Begriffsumfanges überhaupt
erdenklichen Probleme -- gelangen könnte, und auf welche Weise?
Ja, es wäre auch in Bezug auf die Beziehungszeichen der noch übrigen
Gruppe eigentlich erst noch nachzusehen, ob man nicht vielleicht mit
einem von diesen allein schon auskommen könnte. Man ersieht hier
die Möglichkeit von mehreren Algebra's der Logik! Vergleiche über
diese Fragen auch Frau Franklin-Ladd1, 2, 3.

Ich erblicke darin einen Hauptvorzug der rechnerisch exakten Behand-
lungsweise der logischen Disziplin vor der herkömmlichen schulmässig-ver-
balen, dass sie nach allen Seiten einen Reichtum von Problemen in Sicht
stellt. Es war stets Merkmal einer in gesundem Fortschreiten begriffenen
Wissenschaft, bei jedem Zuwachs an Erkenntnissmaterial durch Herbei-
führung endgültiger Entscheidung über irgend eine Frage, zugleich eine
Fülle von neuen Fragestellungen aufzuwerfen und so zu fortgesetztem Forschen
anzuregen.

Sehen wir darauf hin uns die schulmässige formale Logik an, so finden
wir, wie schon Bd. 1, S. 121 ausgeführt, wohl interessante, hie und da auch

§ 36. Zurückführung auf den Typus der Gleichung und Ungleichung.
dasselbe lässt sich bereits in Subsumtionen allein formuliren, des-
gleichen schon ganz durch Gleichungen.

Dass aber die Zeichen dieser beiden Beziehungen, als bejahende ⊆
und =, nicht ausreichen zur Behandlung auch nur der Probleme der
alten Logik, insbesondre zur Einkleidung der partikularen (und Existenzial-)
Urteile, haben wir in § 34 erkannt.

Erst wenn neben den Operationen des identischen Kalkuls an Ge-
bieten oder Klassen und mit denselben Operationen an Aussagen auch
die Aussagenverneinung zugelassen war, konnte letzteres gelingen, wo-
gegen bei Ausschluss der Negation an Aussagen damit nicht durchzu-
kommen war, wo sonst man auch über sämtliche Operationen ver-
fügte. Mit andern Worten: es waren zwei Beziehungszeichen nötig,
ein bejahendes und ein verneinendes.

Dass wir uns nunmehr für die beiden Zeichen = und ≠ aus den
Grundbeziehungen d und d1 entscheiden, ist unsre Willkür.

Ebensogut könnten wir nach Vorbemerktem auch mit den beiden
Zeichen ⊆ und ⊆ aus c und c1 auskommen; ja es könnte das bejahende
Zeichen des einen Paares mit dem verneinenden des andern zum aus-
schliesslichen Gebrauch erkoren und bestimmt werden.

Wir lernen so jedoch zunächst einmal auf wenigstens eine Weise
zum Ziel zu kommen — und, wie sich zeigen wird, auf eine gute
Weise. Ob auf die beste, steht noch dahin. Es bleibt auch ferneren
Spezialforschungen vorbehalten, zu ermitteln, mittelst welcher andern
Paare von Zeichen man ebenfalls zur Lösung aller einschlägigen Auf-
gaben — aller im Gebiet der Logik des Begriffsumfanges überhaupt
erdenklichen Probleme — gelangen könnte, und auf welche Weise?
Ja, es wäre auch in Bezug auf die Beziehungszeichen der noch übrigen
Gruppe eigentlich erst noch nachzusehen, ob man nicht vielleicht mit
einem von diesen allein schon auskommen könnte. Man ersieht hier
die Möglichkeit von mehreren Algebra’s der Logik! Vergleiche über
diese Fragen auch Frau Franklin-Ladd1, 2, 3.

Ich erblicke darin einen Hauptvorzug der rechnerisch exakten Behand-
lungsweise der logischen Disziplin vor der herkömmlichen schulmässig-ver-
balen, dass sie nach allen Seiten einen Reichtum von Problemen in Sicht
stellt. Es war stets Merkmal einer in gesundem Fortschreiten begriffenen
Wissenschaft, bei jedem Zuwachs an Erkenntnissmaterial durch Herbei-
führung endgültiger Entscheidung über irgend eine Frage, zugleich eine
Fülle von neuen Fragestellungen aufzuwerfen und so zu fortgesetztem Forschen
anzuregen.

Sehen wir darauf hin uns die schulmässige formale Logik an, so finden
wir, wie schon Bd. 1, S. 121 ausgeführt, wohl interessante, hie und da auch

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0143" n="119"/><fw place="top" type="header">§ 36. Zurückführung auf den Typus der Gleichung und Ungleichung.</fw><lb/>
dasselbe lässt sich bereits in Subsumtionen allein formuliren, des-<lb/>
gleichen schon ganz durch Gleichungen.</p><lb/>
            <p>Dass aber die Zeichen dieser beiden Beziehungen, als <hi rendition="#i">bejahende</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><lb/>
und =, nicht ausreichen zur Behandlung auch nur der Probleme der<lb/>
alten Logik, insbesondre zur Einkleidung der <hi rendition="#i">partikularen</hi> (und Existenzial-)<lb/>
Urteile, haben wir in § 34 erkannt.</p><lb/>
            <p>Erst wenn neben den Operationen des identischen Kalkuls an Ge-<lb/>
bieten oder Klassen und <hi rendition="#i">mit</hi> denselben Operationen an Aussagen auch<lb/>
die <hi rendition="#i">Aussagenverneinung</hi> zugelassen war, konnte letzteres gelingen, wo-<lb/>
gegen bei <hi rendition="#i">Ausschluss</hi> der Negation <hi rendition="#i">an Aussagen</hi> damit nicht durchzu-<lb/>
kommen war, wo sonst man auch über sämtliche Operationen ver-<lb/>
fügte. Mit andern Worten: es waren <hi rendition="#i">zwei</hi> Beziehungszeichen nötig,<lb/>
ein bejahendes und ein verneinendes.</p><lb/>
            <p>Dass wir uns nunmehr für die beiden Zeichen = und &#x2260; aus den<lb/>
Grundbeziehungen <hi rendition="#i">d</hi> und <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> entscheiden, ist unsre Willkür.</p><lb/>
            <p>Ebensogut könnten wir nach Vorbemerktem auch mit den beiden<lb/>
Zeichen <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> und <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice>   aus <hi rendition="#i">c</hi> und <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> auskommen; ja es könnte das bejahende<lb/>
Zeichen des einen Paares mit dem verneinenden des andern zum aus-<lb/>
schliesslichen Gebrauch erkoren und bestimmt werden.</p><lb/>
            <p>Wir lernen so jedoch zunächst einmal auf wenigstens <hi rendition="#i">eine</hi> Weise<lb/>
zum Ziel zu kommen &#x2014; und, wie sich zeigen wird, auf eine gute<lb/>
Weise. Ob auf die beste, steht noch dahin. Es bleibt auch ferneren<lb/>
Spezialforschungen vorbehalten, zu ermitteln, mittelst welcher andern<lb/>
Paare von Zeichen man ebenfalls zur Lösung aller einschlägigen Auf-<lb/>
gaben &#x2014; aller im Gebiet der Logik des Begriffsumfanges überhaupt<lb/>
erdenklichen Probleme &#x2014; gelangen könnte, und auf welche Weise?<lb/>
Ja, es wäre auch in Bezug auf die Beziehungszeichen der noch übrigen<lb/>
Gruppe eigentlich erst noch nachzusehen, ob man nicht vielleicht mit<lb/><hi rendition="#i">einem</hi> von <hi rendition="#i">diesen</hi> allein schon auskommen könnte. Man ersieht hier<lb/>
die Möglichkeit von mehreren Algebra&#x2019;s der Logik! Vergleiche über<lb/>
diese Fragen auch Frau <hi rendition="#g">Franklin-Ladd</hi><hi rendition="#sup">1, 2, 3</hi>.</p><lb/>
            <p>Ich erblicke darin einen Hauptvorzug der rechnerisch exakten Behand-<lb/>
lungsweise der logischen Disziplin vor der herkömmlichen schulmässig-ver-<lb/>
balen, dass sie nach allen Seiten einen Reichtum von Problemen in Sicht<lb/>
stellt. Es war stets Merkmal einer in gesundem Fortschreiten begriffenen<lb/>
Wissenschaft, bei jedem Zuwachs an Erkenntnissmaterial durch Herbei-<lb/>
führung endgültiger Entscheidung über irgend eine Frage, zugleich eine<lb/>
Fülle von neuen Fragestellungen aufzuwerfen und so zu fortgesetztem Forschen<lb/>
anzuregen.</p><lb/>
            <p>Sehen wir darauf hin uns die schulmässige formale Logik an, so finden<lb/>
wir, wie schon Bd. 1, S. 121 ausgeführt, wohl interessante, hie und da auch<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[119/0143] § 36. Zurückführung auf den Typus der Gleichung und Ungleichung. dasselbe lässt sich bereits in Subsumtionen allein formuliren, des- gleichen schon ganz durch Gleichungen. Dass aber die Zeichen dieser beiden Beziehungen, als bejahende  und =, nicht ausreichen zur Behandlung auch nur der Probleme der alten Logik, insbesondre zur Einkleidung der partikularen (und Existenzial-) Urteile, haben wir in § 34 erkannt. Erst wenn neben den Operationen des identischen Kalkuls an Ge- bieten oder Klassen und mit denselben Operationen an Aussagen auch die Aussagenverneinung zugelassen war, konnte letzteres gelingen, wo- gegen bei Ausschluss der Negation an Aussagen damit nicht durchzu- kommen war, wo sonst man auch über sämtliche Operationen ver- fügte. Mit andern Worten: es waren zwei Beziehungszeichen nötig, ein bejahendes und ein verneinendes. Dass wir uns nunmehr für die beiden Zeichen = und ≠ aus den Grundbeziehungen d und d1 entscheiden, ist unsre Willkür. Ebensogut könnten wir nach Vorbemerktem auch mit den beiden Zeichen  und  aus c und c1 auskommen; ja es könnte das bejahende Zeichen des einen Paares mit dem verneinenden des andern zum aus- schliesslichen Gebrauch erkoren und bestimmt werden. Wir lernen so jedoch zunächst einmal auf wenigstens eine Weise zum Ziel zu kommen — und, wie sich zeigen wird, auf eine gute Weise. Ob auf die beste, steht noch dahin. Es bleibt auch ferneren Spezialforschungen vorbehalten, zu ermitteln, mittelst welcher andern Paare von Zeichen man ebenfalls zur Lösung aller einschlägigen Auf- gaben — aller im Gebiet der Logik des Begriffsumfanges überhaupt erdenklichen Probleme — gelangen könnte, und auf welche Weise? Ja, es wäre auch in Bezug auf die Beziehungszeichen der noch übrigen Gruppe eigentlich erst noch nachzusehen, ob man nicht vielleicht mit einem von diesen allein schon auskommen könnte. Man ersieht hier die Möglichkeit von mehreren Algebra’s der Logik! Vergleiche über diese Fragen auch Frau Franklin-Ladd1, 2, 3. Ich erblicke darin einen Hauptvorzug der rechnerisch exakten Behand- lungsweise der logischen Disziplin vor der herkömmlichen schulmässig-ver- balen, dass sie nach allen Seiten einen Reichtum von Problemen in Sicht stellt. Es war stets Merkmal einer in gesundem Fortschreiten begriffenen Wissenschaft, bei jedem Zuwachs an Erkenntnissmaterial durch Herbei- führung endgültiger Entscheidung über irgend eine Frage, zugleich eine Fülle von neuen Fragestellungen aufzuwerfen und so zu fortgesetztem Forschen anzuregen. Sehen wir darauf hin uns die schulmässige formale Logik an, so finden wir, wie schon Bd. 1, S. 121 ausgeführt, wohl interessante, hie und da auch

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
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/143
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 119. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/143>, abgerufen am 26.04.2024.