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

§ 33. Boole's Kalkul unfähig, partikulare Urteile darzustellen.
jetzt an die Frage herantreten, wie denn hier auch die partikularen
Urteilsformen i und o wiederzugeben sein würden?

Für den Bedarf unsres bisherigen Klassenkalkuls haben vollkommen
ausgereicht: die beiden Beziehungszeichen der Subsumtion und der Gleich-
heit und die Operationen der drei Spezies (Multiplikation, Addition und
Negation) als ausgeführt an Klassen.

Hier ist nun zunächst die Thatsache zu konstatiren: dass mit diesen
Mitteln allein die partikularen Urteile nicht ausgedrückt werden können,
dass also mit jenen beiden Beziehungszeichen und diesen drei Operationen,
ausgeführt an den zum Subjekt und Prädikatbegriffe gehörigen oder
beisteuernden beiden Klassen A, B und irgend welchen andern Klassen
das gesteckte Ziel sich unmöglich erreichen lässt.

Boole und nach ihm Jevons haben allerdings geglaubt, dies zu ver-
mögen -- ein Irrtum, welchen ebenfalls geteilt zu haben Miss Ladd 1
pag. 24 implicite mir fälschlich zuschreibt.

Die erstgenannten wähnten durch eine Gleichung:
w A = w B,
in welcher w ein unbestimmtes Klassensymbol vorstellt, das Urteil i dar-
stellen zu können: einige A sind B.

Dass aber solches nicht angängig ist, erkennt man augenblicklich, sofern
man nur bemerkt, dass speziell für w = 0, desgleichen für w = A B, die obige
Gleichung immer identisch erfüllt ist -- ob einige A auch B sein mögen, oder nicht.

Es kann daher, solange man die Bedeutung von w offen lässt, durch
die Gleichung w A = w B keine Relation zwischen A und B ausgedrückt
werden. [In der That gibt Elimination von w aus ihr blos 0 = 0 zur voll-
ständigen Resultante.]

Wollte man aber vielleicht fordern, dass mit w die Vorstellung einer
Klasse verknüpft werde, welche eben diejenigen unter den A enthält, die
B sind, somit auch diejenigen unter den B, die A sind, eine Klasse, die
wir kürzer A B nennen mögen und bei welcher nur zu unterstellen bleibt,
dass sie keine leere, d. i. von 0 verschieden ist, so würde zu entgegnen
sein, dass eben diese Unterstellung die Hauptsache ist: Einige A müssen B
sein, sobald die Klasse A B keine leere, nicht gleich 0 ist, sowie um-
gekehrt -- und dass, wenn solches feststeht, der Ansatz w A = w B ganz
entbehrlich, eine überflüssige Weitläufigkeit wird. Gerade das Wichtigste
zu einem blos mental zu ergänzenden Anhängsel, einem mit Stillschweigen
übergangenen Vorbehalte von einer nichtssagenden Formalie zu machen, kann
sich unmöglich empfehlen.

Der allgemeinste Ausdruck für diejenige Klasse w, welche bei ganz
beliebig gegebenem Wertepaare A, B die Gleichung w A = w B schon ohnehin
erfüllt, würde beiläufig sein
w = u (A B + A1 B1),
worin u eine arbiträre Klasse bedeutet.

§ 33. Boole’s Kalkul unfähig, partikulare Urteile darzustellen.
jetzt an die Frage herantreten, wie denn hier auch die partikularen
Urteilsformen i und o wiederzugeben sein würden?

Für den Bedarf unsres bisherigen Klassenkalkuls haben vollkommen
ausgereicht: die beiden Beziehungszeichen der Subsumtion und der Gleich-
heit und die Operationen der drei Spezies (Multiplikation, Addition und
Negation) als ausgeführt an Klassen.

Hier ist nun zunächst die Thatsache zu konstatiren: dass mit diesen
Mitteln allein die partikularen Urteile nicht ausgedrückt werden können,
dass also mit jenen beiden Beziehungszeichen und diesen drei Operationen,
ausgeführt an den zum Subjekt und Prädikatbegriffe gehörigen oder
beisteuernden beiden Klassen A, B und irgend welchen andern Klassen
das gesteckte Ziel sich unmöglich erreichen lässt.

Boole und nach ihm Jevons haben allerdings geglaubt, dies zu ver-
mögen — ein Irrtum, welchen ebenfalls geteilt zu haben Miss Ladd 1
pag. 24 implicite mir fälschlich zuschreibt.

Die erstgenannten wähnten durch eine Gleichung:
w A = w B,
in welcher w ein unbestimmtes Klassensymbol vorstellt, das Urteil i dar-
stellen zu können: einige A sind B.

Dass aber solches nicht angängig ist, erkennt man augenblicklich, sofern
man nur bemerkt, dass speziell für w = 0, desgleichen für w = A B, die obige
Gleichung immer identisch erfüllt ist — ob einige A auch B sein mögen, oder nicht.

Es kann daher, solange man die Bedeutung von w offen lässt, durch
die Gleichung w A = w B keine Relation zwischen A und B ausgedrückt
werden. [In der That gibt Elimination von w aus ihr blos 0 = 0 zur voll-
ständigen Resultante.]

Wollte man aber vielleicht fordern, dass mit w die Vorstellung einer
Klasse verknüpft werde, welche eben diejenigen unter den A enthält, die
B sind, somit auch diejenigen unter den B, die A sind, eine Klasse, die
wir kürzer A B nennen mögen und bei welcher nur zu unterstellen bleibt,
dass sie keine leere, d. i. von 0 verschieden ist, so würde zu entgegnen
sein, dass eben diese Unterstellung die Hauptsache ist: Einige A müssen B
sein, sobald die Klasse A B keine leere, nicht gleich 0 ist, sowie um-
gekehrt — und dass, wenn solches feststeht, der Ansatz w A = w B ganz
entbehrlich, eine überflüssige Weitläufigkeit wird. Gerade das Wichtigste
zu einem blos mental zu ergänzenden Anhängsel, einem mit Stillschweigen
übergangenen Vorbehalte von einer nichtssagenden Formalie zu machen, kann
sich unmöglich empfehlen.

Der allgemeinste Ausdruck für diejenige Klasse w, welche bei ganz
beliebig gegebenem Wertepaare A, B die Gleichung w A = w B schon ohnehin
erfüllt, würde beiläufig sein
w = u (A B + A1 B1),
worin u eine arbiträre Klasse bedeutet.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0115" n="91"/><fw place="top" type="header">§ 33. <hi rendition="#g">Boole&#x2019;</hi>s Kalkul unfähig, partikulare Urteile darzustellen.</fw><lb/>
jetzt an die Frage herantreten, wie denn hier auch die partikularen<lb/>
Urteilsformen <hi rendition="#i">i</hi> und <hi rendition="#i">o</hi> wiederzugeben sein würden?</p><lb/>
            <p>Für den Bedarf unsres bisherigen Klassenkalkuls haben vollkommen<lb/>
ausgereicht: die beiden <hi rendition="#i">Beziehungszeichen der Subsumtion und der Gleich-<lb/>
heit und die</hi> Operationen der <hi rendition="#i">drei Spezies</hi> (Multiplikation, Addition und<lb/>
Negation) <hi rendition="#i">als ausgeführt an Klassen</hi>.</p><lb/>
            <p>Hier ist nun zunächst die Thatsache zu konstatiren: <hi rendition="#i">dass mit diesen<lb/>
Mitteln allein die partikularen Urteile nicht ausgedrückt werden können</hi>,<lb/>
dass also mit jenen beiden Beziehungszeichen und diesen drei Operationen,<lb/>
ausgeführt an den zum Subjekt und Prädikatbegriffe gehörigen oder<lb/>
beisteuernden beiden Klassen <hi rendition="#i">A</hi>, <hi rendition="#i">B</hi> und irgend welchen andern Klassen<lb/>
das gesteckte Ziel sich unmöglich erreichen lässt.</p><lb/>
            <p><hi rendition="#g">Boole</hi> und nach ihm <hi rendition="#g">Jevons</hi> haben allerdings geglaubt, dies zu ver-<lb/>
mögen &#x2014; ein Irrtum, welchen ebenfalls geteilt zu haben Miss <hi rendition="#g">Ladd</hi> <hi rendition="#sup">1</hi><lb/>
pag. 24 implicite mir fälschlich zuschreibt.</p><lb/>
            <p>Die erstgenannten wähnten durch eine Gleichung:<lb/><hi rendition="#c"><hi rendition="#i">w A</hi> = <hi rendition="#i">w B</hi>,</hi><lb/>
in welcher <hi rendition="#i">w</hi> ein unbestimmtes Klassensymbol vorstellt, das Urteil <hi rendition="#i">i</hi> dar-<lb/>
stellen zu können: einige <hi rendition="#i">A</hi> sind <hi rendition="#i">B</hi>.</p><lb/>
            <p><hi rendition="#i">Dass aber solches nicht angängig ist, erkennt man augenblicklich, sofern<lb/>
man nur bemerkt, dass speziell für w</hi> = 0, <hi rendition="#i">desgleichen für w</hi> = <hi rendition="#i">A B, die obige<lb/>
Gleichung immer identisch erfüllt ist</hi> &#x2014; ob einige <hi rendition="#i">A</hi> auch <hi rendition="#i">B</hi> sein mögen, oder nicht.</p><lb/>
            <p>Es kann daher, solange man die Bedeutung von <hi rendition="#i">w</hi> offen lässt, durch<lb/>
die Gleichung <hi rendition="#i">w A</hi> = <hi rendition="#i">w B</hi> keine Relation zwischen <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi> ausgedrückt<lb/>
werden. [In der That gibt Elimination von <hi rendition="#i">w</hi> aus ihr blos 0 = 0 zur voll-<lb/>
ständigen Resultante.]</p><lb/>
            <p>Wollte man aber vielleicht fordern, dass mit <hi rendition="#i">w</hi> die Vorstellung einer<lb/>
Klasse verknüpft werde, welche eben diejenigen unter den <hi rendition="#i">A</hi> enthält, die<lb/><hi rendition="#i">B</hi> sind, somit auch diejenigen unter den <hi rendition="#i">B</hi>, die <hi rendition="#i">A</hi> sind, eine Klasse, die<lb/>
wir kürzer <hi rendition="#i">A B</hi> nennen mögen und bei welcher nur zu unterstellen bleibt,<lb/>
dass sie <hi rendition="#i">keine leere,</hi> d. i. von 0 verschieden ist, so würde zu entgegnen<lb/>
sein, dass eben diese Unterstellung die Hauptsache ist: Einige <hi rendition="#i">A</hi> müssen <hi rendition="#i">B</hi><lb/>
sein, sobald die Klasse <hi rendition="#i">A B</hi> keine leere, nicht gleich 0 ist, sowie um-<lb/>
gekehrt &#x2014; und dass, wenn solches feststeht, der Ansatz <hi rendition="#i">w A</hi> = <hi rendition="#i">w B</hi> ganz<lb/>
entbehrlich, eine überflüssige Weitläufigkeit wird. Gerade das Wichtigste<lb/>
zu einem blos mental zu ergänzenden Anhängsel, einem mit Stillschweigen<lb/>
übergangenen Vorbehalte von einer nichtssagenden Formalie zu machen, kann<lb/>
sich unmöglich empfehlen.</p><lb/>
            <p>Der allgemeinste Ausdruck für diejenige Klasse <hi rendition="#i">w</hi>, welche bei ganz<lb/>
beliebig gegebenem Wertepaare <hi rendition="#i">A</hi>, <hi rendition="#i">B</hi> die Gleichung <hi rendition="#i">w A</hi> = <hi rendition="#i">w B</hi> schon ohnehin<lb/>
erfüllt, würde beiläufig sein<lb/><hi rendition="#c"><hi rendition="#i">w</hi> = <hi rendition="#i">u</hi> (<hi rendition="#i">A B</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>),</hi><lb/>
worin <hi rendition="#i">u</hi> eine arbiträre Klasse bedeutet.</p><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[91/0115] § 33. Boole’s Kalkul unfähig, partikulare Urteile darzustellen. jetzt an die Frage herantreten, wie denn hier auch die partikularen Urteilsformen i und o wiederzugeben sein würden? Für den Bedarf unsres bisherigen Klassenkalkuls haben vollkommen ausgereicht: die beiden Beziehungszeichen der Subsumtion und der Gleich- heit und die Operationen der drei Spezies (Multiplikation, Addition und Negation) als ausgeführt an Klassen. Hier ist nun zunächst die Thatsache zu konstatiren: dass mit diesen Mitteln allein die partikularen Urteile nicht ausgedrückt werden können, dass also mit jenen beiden Beziehungszeichen und diesen drei Operationen, ausgeführt an den zum Subjekt und Prädikatbegriffe gehörigen oder beisteuernden beiden Klassen A, B und irgend welchen andern Klassen das gesteckte Ziel sich unmöglich erreichen lässt. Boole und nach ihm Jevons haben allerdings geglaubt, dies zu ver- mögen — ein Irrtum, welchen ebenfalls geteilt zu haben Miss Ladd 1 pag. 24 implicite mir fälschlich zuschreibt. Die erstgenannten wähnten durch eine Gleichung: w A = w B, in welcher w ein unbestimmtes Klassensymbol vorstellt, das Urteil i dar- stellen zu können: einige A sind B. Dass aber solches nicht angängig ist, erkennt man augenblicklich, sofern man nur bemerkt, dass speziell für w = 0, desgleichen für w = A B, die obige Gleichung immer identisch erfüllt ist — ob einige A auch B sein mögen, oder nicht. Es kann daher, solange man die Bedeutung von w offen lässt, durch die Gleichung w A = w B keine Relation zwischen A und B ausgedrückt werden. [In der That gibt Elimination von w aus ihr blos 0 = 0 zur voll- ständigen Resultante.] Wollte man aber vielleicht fordern, dass mit w die Vorstellung einer Klasse verknüpft werde, welche eben diejenigen unter den A enthält, die B sind, somit auch diejenigen unter den B, die A sind, eine Klasse, die wir kürzer A B nennen mögen und bei welcher nur zu unterstellen bleibt, dass sie keine leere, d. i. von 0 verschieden ist, so würde zu entgegnen sein, dass eben diese Unterstellung die Hauptsache ist: Einige A müssen B sein, sobald die Klasse A B keine leere, nicht gleich 0 ist, sowie um- gekehrt — und dass, wenn solches feststeht, der Ansatz w A = w B ganz entbehrlich, eine überflüssige Weitläufigkeit wird. Gerade das Wichtigste zu einem blos mental zu ergänzenden Anhängsel, einem mit Stillschweigen übergangenen Vorbehalte von einer nichtssagenden Formalie zu machen, kann sich unmöglich empfehlen. Der allgemeinste Ausdruck für diejenige Klasse w, welche bei ganz beliebig gegebenem Wertepaare A, B die Gleichung w A = w B schon ohnehin erfüllt, würde beiläufig sein w = u (A B + A1 B1), worin u eine arbiträre Klasse bedeutet.

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/115
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 91. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/115>, abgerufen am 23.11.2024.