Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
§ 52. Rückblick nebst Ergänzungen aus dem neueren Literaturzuwachse.

Als ein Sonderfall ordnet ihr sich ein: der Aussagenkalkul, als ein
auf den Bereich der beiden "Wahrheitswerte" 0 ("falsch") und 1 ("wahr")
beschränkter Klassenkalkul. Die zu verneinende Frage, ob dieser Aus-
sagenkalkul auf einen umfassenderen Wertbereich sich ausdehnen lasse,
wie von gewissen Seiten behauptet ist, wird uns noch im nächsten
Paragraphen beschäftigen. Da somit uns stets
(A 1) = (A = 0)
zu gelten haben wird, können wir sagen, dass auch der Aussagenkalkul
von durchaus universalem Charakter ist.

Auf der zweiten Stufe gelangt die elementare Logik durch Zuhilfe-
nahme auch einer "verneinenden Kopula" erst in den Stand, die parti-
kularen Urteile, affirmative sowol als negative, sowie die bejahenden
Existenzialurteile einzukleiden und die auf sie bezüglichen Schluss-
folgerungen in ihre Gewalt zu bekommen.

Für jede der beiden elementaren Logikstufen gibt es zwei funda-
mentale Probleme, ein allgemeines Eliminationsproblem und ein all-
gemeines Auflösungsproblem, deren letzteres die vorgängige Bewältigung
des ersteren fordert. Für die erste Stufe haben beide Probleme --
allerdings nur bei "endlicher" Menge von Eliminanden resp. Unbekannten --
ihre Lösung bereits vollständig gefunden.

Für die zweite Stufe schien das Auflösungsproblem an Wichtigkeit
gegen das Eliminationsproblem zurückzutreten, -- jedoch nur, um in be-
deutend erweiterter Fassung im dritten Bande wieder zu seinem Recht zu
gelangen.

Weitaus die meisten der bislang zur Lösung aufgestellten "Methoden"
beziehen sich auf die genannten beiden Probleme nur für die erste
Stufe.

Das primitivste, kunstloseste Verfahren ist die Methode von
Jevons -- der Zeit nach die zweite. Sie zerhackt die Prämissen in
kleinste Stücke, sozusagen Atome (Boole's "Konstituenten" in Hinsicht
aller Klassensymbole), um darnach das zur Lösung Erforderliche aus
ihnen herauszuklauben und (mühsam) zusammenzuleimen. Dabei ent-
behrt sie noch der allgemeinen Schemata Boole'scher "Entwicklung"
nach bestimmten von den Symbolen.

Eng schliesst sich an sie an das graphische Verfahren von Venn
und Scheffler -- mit dem Fortschritt, dass man schon etwas mehr
von dem, was dort zu zerhacken gewesen, nunmehr beisammen lassen
kann.

§ 52. Rückblick nebst Ergänzungen aus dem neueren Literaturzuwachse.

Als ein Sonderfall ordnet ihr sich ein: der Aussagenkalkul, als ein
auf den Bereich der beiden „Wahrheitswerte“ 0 („falsch“) und 1 („wahr“)
beschränkter Klassenkalkul. Die zu verneinende Frage, ob dieser Aus-
sagenkalkul auf einen umfassenderen Wertbereich sich ausdehnen lasse,
wie von gewissen Seiten behauptet ist, wird uns noch im nächsten
Paragraphen beschäftigen. Da somit uns stets
(A ≠ 1) = (A = 0)
zu gelten haben wird, können wir sagen, dass auch der Aussagenkalkul
von durchaus universalem Charakter ist.

Auf der zweiten Stufe gelangt die elementare Logik durch Zuhilfe-
nahme auch einer „verneinenden Kopula“ erst in den Stand, die parti-
kularen Urteile, affirmative sowol als negative, sowie die bejahenden
Existenzialurteile einzukleiden und die auf sie bezüglichen Schluss-
folgerungen in ihre Gewalt zu bekommen.

Für jede der beiden elementaren Logikstufen gibt es zwei funda-
mentale Probleme, ein allgemeines Eliminationsproblem und ein all-
gemeines Auflösungsproblem, deren letzteres die vorgängige Bewältigung
des ersteren fordert. Für die erste Stufe haben beide Probleme —
allerdings nur bei „endlicher“ Menge von Eliminanden resp. Unbekannten —
ihre Lösung bereits vollständig gefunden.

Für die zweite Stufe schien das Auflösungsproblem an Wichtigkeit
gegen das Eliminationsproblem zurückzutreten, — jedoch nur, um in be-
deutend erweiterter Fassung im dritten Bande wieder zu seinem Recht zu
gelangen.

Weitaus die meisten der bislang zur Lösung aufgestellten „Methoden“
beziehen sich auf die genannten beiden Probleme nur für die erste
Stufe.

Das primitivste, kunstloseste Verfahren ist die Methode von
Jevons — der Zeit nach die zweite. Sie zerhackt die Prämissen in
kleinste Stücke, sozusagen Atome (Boole’s „Konstituenten“ in Hinsicht
aller Klassensymbole), um darnach das zur Lösung Erforderliche aus
ihnen herauszuklauben und (mühsam) zusammenzuleimen. Dabei ent-
behrt sie noch der allgemeinen Schemata Boole’scher „Entwicklung“
nach bestimmten von den Symbolen.

Eng schliesst sich an sie an das graphische Verfahren von Venn
und Scheffler — mit dem Fortschritt, dass man schon etwas mehr
von dem, was dort zu zerhacken gewesen, nunmehr beisammen lassen
kann.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0083" n="439"/>
            <fw place="top" type="header">§ 52. Rückblick nebst Ergänzungen aus dem neueren Literaturzuwachse.</fw><lb/>
            <p>Als ein Sonderfall ordnet ihr sich ein: der <hi rendition="#i">Aussagenkalkul</hi>, als ein<lb/>
auf den Bereich der beiden &#x201E;Wahrheitswerte&#x201C; 0 (&#x201E;falsch&#x201C;) und 1 (&#x201E;wahr&#x201C;)<lb/>
beschränkter Klassenkalkul. Die zu verneinende Frage, ob dieser Aus-<lb/>
sagenkalkul auf einen umfassenderen Wertbereich sich ausdehnen lasse,<lb/>
wie von gewissen Seiten behauptet ist, wird uns noch im nächsten<lb/>
Paragraphen beschäftigen. Da somit uns stets<lb/><hi rendition="#c">(<hi rendition="#i">A</hi> &#x2260; 1) = (<hi rendition="#i">A</hi> = 0)</hi><lb/>
zu gelten haben wird, können wir sagen, dass auch der Aussagenkalkul<lb/>
von durchaus universalem Charakter ist.</p><lb/>
            <p>Auf der zweiten Stufe gelangt die elementare Logik durch Zuhilfe-<lb/>
nahme auch einer &#x201E;verneinenden Kopula&#x201C; erst in den Stand, die <hi rendition="#i">parti-<lb/>
kularen</hi> Urteile, affirmative sowol als negative, sowie die <hi rendition="#i">bejahenden<lb/>
Existenzialurteile</hi> einzukleiden und die auf sie bezüglichen Schluss-<lb/>
folgerungen in ihre Gewalt zu bekommen.</p><lb/>
            <p>Für jede der beiden elementaren Logikstufen gibt es zwei funda-<lb/>
mentale Probleme, ein allgemeines <hi rendition="#i">Eliminations</hi>problem und ein all-<lb/>
gemeines <hi rendition="#i">Auflösungs</hi>problem, deren letzteres die vorgängige Bewältigung<lb/>
des ersteren fordert. Für die erste Stufe haben beide Probleme &#x2014;<lb/>
allerdings nur bei &#x201E;endlicher&#x201C; Menge von Eliminanden resp. Unbekannten &#x2014;<lb/>
ihre Lösung bereits vollständig gefunden.</p><lb/>
            <p>Für die zweite Stufe schien das Auflösungsproblem an Wichtigkeit<lb/>
gegen das Eliminationsproblem zurückzutreten, &#x2014; jedoch nur, um in be-<lb/>
deutend erweiterter Fassung im dritten Bande wieder zu seinem Recht zu<lb/>
gelangen.</p><lb/>
            <p>Weitaus die meisten der bislang zur Lösung aufgestellten &#x201E;Methoden&#x201C;<lb/>
beziehen sich auf die genannten beiden Probleme nur für die erste<lb/>
Stufe.</p><lb/>
            <p>Das primitivste, kunstloseste Verfahren ist die Methode von<lb/><hi rendition="#g">Jevons</hi> &#x2014; der Zeit nach die zweite. Sie zerhackt die Prämissen in<lb/>
kleinste Stücke, sozusagen Atome (<hi rendition="#g">Boole&#x2019;</hi>s &#x201E;Konstituenten&#x201C; in Hinsicht<lb/><hi rendition="#i">aller</hi> Klassensymbole), um darnach das zur Lösung Erforderliche aus<lb/>
ihnen herauszuklauben und (mühsam) zusammenzuleimen. Dabei ent-<lb/>
behrt sie noch der allgemeinen Schemata <hi rendition="#g">Boole&#x2019;</hi>scher &#x201E;Entwicklung&#x201C;<lb/>
nach bestimmten von den Symbolen.</p><lb/>
            <p>Eng schliesst sich an sie an das graphische Verfahren von <hi rendition="#g">Venn</hi><lb/>
und <hi rendition="#g">Scheffler</hi> &#x2014; mit dem Fortschritt, dass man schon etwas mehr<lb/>
von dem, was dort zu zerhacken gewesen, nunmehr beisammen lassen<lb/>
kann.</p><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[439/0083] § 52. Rückblick nebst Ergänzungen aus dem neueren Literaturzuwachse. Als ein Sonderfall ordnet ihr sich ein: der Aussagenkalkul, als ein auf den Bereich der beiden „Wahrheitswerte“ 0 („falsch“) und 1 („wahr“) beschränkter Klassenkalkul. Die zu verneinende Frage, ob dieser Aus- sagenkalkul auf einen umfassenderen Wertbereich sich ausdehnen lasse, wie von gewissen Seiten behauptet ist, wird uns noch im nächsten Paragraphen beschäftigen. Da somit uns stets (A ≠ 1) = (A = 0) zu gelten haben wird, können wir sagen, dass auch der Aussagenkalkul von durchaus universalem Charakter ist. Auf der zweiten Stufe gelangt die elementare Logik durch Zuhilfe- nahme auch einer „verneinenden Kopula“ erst in den Stand, die parti- kularen Urteile, affirmative sowol als negative, sowie die bejahenden Existenzialurteile einzukleiden und die auf sie bezüglichen Schluss- folgerungen in ihre Gewalt zu bekommen. Für jede der beiden elementaren Logikstufen gibt es zwei funda- mentale Probleme, ein allgemeines Eliminationsproblem und ein all- gemeines Auflösungsproblem, deren letzteres die vorgängige Bewältigung des ersteren fordert. Für die erste Stufe haben beide Probleme — allerdings nur bei „endlicher“ Menge von Eliminanden resp. Unbekannten — ihre Lösung bereits vollständig gefunden. Für die zweite Stufe schien das Auflösungsproblem an Wichtigkeit gegen das Eliminationsproblem zurückzutreten, — jedoch nur, um in be- deutend erweiterter Fassung im dritten Bande wieder zu seinem Recht zu gelangen. Weitaus die meisten der bislang zur Lösung aufgestellten „Methoden“ beziehen sich auf die genannten beiden Probleme nur für die erste Stufe. Das primitivste, kunstloseste Verfahren ist die Methode von Jevons — der Zeit nach die zweite. Sie zerhackt die Prämissen in kleinste Stücke, sozusagen Atome (Boole’s „Konstituenten“ in Hinsicht aller Klassensymbole), um darnach das zur Lösung Erforderliche aus ihnen herauszuklauben und (mühsam) zusammenzuleimen. Dabei ent- behrt sie noch der allgemeinen Schemata Boole’scher „Entwicklung“ nach bestimmten von den Symbolen. Eng schliesst sich an sie an das graphische Verfahren von Venn und Scheffler — mit dem Fortschritt, dass man schon etwas mehr von dem, was dort zu zerhacken gewesen, nunmehr beisammen lassen kann.

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_logik0202_1905
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0202_1905/83
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 2. Leipzig, 1905, S. 439. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0202_1905/83>, abgerufen am 18.12.2024.