Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.§ 33. Boole's Kalkul unfähig, partikulare Urteile darzustellen. jetzt an die Frage herantreten, wie denn hier auch die partikularenUrteilsformen i und o wiederzugeben sein würden? Für den Bedarf unsres bisherigen Klassenkalkuls haben vollkommen Hier ist nun zunächst die Thatsache zu konstatiren: dass mit diesen Boole und nach ihm Jevons haben allerdings geglaubt, dies zu ver- Die erstgenannten wähnten durch eine Gleichung: Dass aber solches nicht angängig ist, erkennt man augenblicklich, sofern Es kann daher, solange man die Bedeutung von w offen lässt, durch Wollte man aber vielleicht fordern, dass mit w die Vorstellung einer Der allgemeinste Ausdruck für diejenige Klasse w, welche bei ganz § 33. Boole’s Kalkul unfähig, partikulare Urteile darzustellen. jetzt an die Frage herantreten, wie denn hier auch die partikularenUrteilsformen i und o wiederzugeben sein würden? Für den Bedarf unsres bisherigen Klassenkalkuls haben vollkommen Hier ist nun zunächst die Thatsache zu konstatiren: dass mit diesen Boole und nach ihm Jevons haben allerdings geglaubt, dies zu ver- Die erstgenannten wähnten durch eine Gleichung: Dass aber solches nicht angängig ist, erkennt man augenblicklich, sofern Es kann daher, solange man die Bedeutung von w offen lässt, durch Wollte man aber vielleicht fordern, dass mit w die Vorstellung einer Der allgemeinste Ausdruck für diejenige Klasse w, welche bei ganz <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’</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 — 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> — 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 — 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 WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
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 14.08.2024. |