§ 26. Besprechung noch andrer Methoden. Verfahren von Jevons.
Problem zu verwenden gewesenen Buchstaben entweder unnegirt als sol- cher steht oder aber durch seine Negation vertreten ist.
Um beispielsweise die 7. Aufgabe des § 25 nach Jevons' Methode zu behandeln, würde schon der Ansatz von 27 = 128 Kombinationen (welche je aus sieben Symbolen sich zusammensetzen) erforderlich sein. Man wird sich schwerlich dazu verstehen, für n > 6 die Operationen noch praktisch durchzuführen.
In dieser mit wachsender Zahl n so rasch zunehmenden Weitläufigkeit der Prozesse liegt eine erste und grosse Schwäche der Methode.
Behufs Ausführung des zweiten von der Methode geforderten Pro- zesses muss man eine jede der angesetzten Kombinationen im Geiste zusammenhalten oder vergleichen sowol mit der linken Seite, dem Subjekte, als eventuell mit der rechten Seite, dem Prädikate einer jeden in Form einer Subsumtion gegeben gedachten Prämisse des Problemes. Man muss ja zusehen ob die Kombination mit der Prä- misse verträglich ist, oder nicht, um -- im letztern Falle -- die Kom- bination auszustreichen. Dieses geht genauer dargelegt in folgender Weise vor sich.
Beide Seiten der Prämisse mögen wir als Aggregate von Mono- men uns dargestellt denken, sodass S + S' + .. P + P' + P'' + ... die Form unsrer Prämisse ist, wo die Glieder S, S', .. P, .. selbst Pro- dukte sein werden von höchstens n Symbolen (in der Regel weniger), hervorgehoben aus der Gruppe der überhaupt im Problem vorkommen- den (n) Klassensymbole a, b, c, ... und ihrer (n) Negationen a1, b1, c1, ...
Man hat sich nun zu erinnern, dass nach § 8, kh) die Pluszeichen der Subsumtion links, im Subjekte, mit "und", rechts, im Prädikate aber mit "oder" in Worte zu übersetzen sind, mithin die Prämisse fordert, dass wo die in S vereinigte Faktorenkombination vorliegt, so- wol, als auch wo die in S' vereinigte vorliegt, etc. da auch vorliegen muss entweder die in P oder die in P', oder die in P'', etc. vereinigt erscheinende Kombination von Faktoren.
In Bezug auf die mit dieser Prämisse zu vergleichende Kombi- nation (aus der Menge der 2n angesetzten) -- K möge sie für den Augenblick heissen -- können nun verschiedene Fälle vorliegen.
Entweder sie ist -- nach Th. 6x) oder Prinzip I -- einem der Subjekte S, S', .. (eventuell auch gleichzeitig deren mehreren) einge- ordnet, d. h. die sämtlichen Faktoren, aus denen sich eins dieser Sub- jekte zusammensetzt, treten auch als Faktoren in K auf, oder nicht.
Im letztern Falle treffen schon die Voraussetzungen der Prämisse für unsere Kombination K nicht zu, die Prämisse berührt die Kom-
Schröder, Algebra der Logik. 36
§ 26. Besprechung noch andrer Methoden. Verfahren von Jevons.
Problem zu verwenden gewesenen Buchstaben entweder unnegirt als sol- cher steht oder aber durch seine Negation vertreten ist.
Um beispielsweise die 7. Aufgabe des § 25 nach Jevons' Methode zu behandeln, würde schon der Ansatz von 27 = 128 Kombinationen (welche je aus sieben Symbolen sich zusammensetzen) erforderlich sein. Man wird sich schwerlich dazu verstehen, für n > 6 die Operationen noch praktisch durchzuführen.
In dieser mit wachsender Zahl n so rasch zunehmenden Weitläufigkeit der Prozesse liegt eine erste und grosse Schwäche der Methode.
Behufs Ausführung des zweiten von der Methode geforderten Pro- zesses muss man eine jede der angesetzten Kombinationen im Geiste zusammenhalten oder vergleichen sowol mit der linken Seite, dem Subjekte, als eventuell mit der rechten Seite, dem Prädikate einer jeden in Form einer Subsumtion gegeben gedachten Prämisse des Problemes. Man muss ja zusehen ob die Kombination mit der Prä- misse verträglich ist, oder nicht, um — im letztern Falle — die Kom- bination auszustreichen. Dieses geht genauer dargelegt in folgender Weise vor sich.
Beide Seiten der Prämisse mögen wir als Aggregate von Mono- men uns dargestellt denken, sodass S + S' + ‥ ⋹ P + P' + P'' + … die Form unsrer Prämisse ist, wo die Glieder S, S', ‥ P, ‥ selbst Pro- dukte sein werden von höchstens n Symbolen (in der Regel weniger), hervorgehoben aus der Gruppe der überhaupt im Problem vorkommen- den (n) Klassensymbole a, b, c, … und ihrer (n) Negationen a1, b1, c1, …
Man hat sich nun zu erinnern, dass nach § 8, χ) die Pluszeichen der Subsumtion links, im Subjekte, mit „und“, rechts, im Prädikate aber mit „oder“ in Worte zu übersetzen sind, mithin die Prämisse fordert, dass wo die in S vereinigte Faktorenkombination vorliegt, so- wol, als auch wo die in S' vereinigte vorliegt, etc. da auch vorliegen muss entweder die in P oder die in P', oder die in P'', etc. vereinigt erscheinende Kombination von Faktoren.
In Bezug auf die mit dieser Prämisse zu vergleichende Kombi- nation (aus der Menge der 2n angesetzten) — K möge sie für den Augenblick heissen — können nun verschiedene Fälle vorliegen.
Entweder sie ist — nach Th. 6×) oder Prinzip I — einem der Subjekte S, S', ‥ (eventuell auch gleichzeitig deren mehreren) einge- ordnet, d. h. die sämtlichen Faktoren, aus denen sich eins dieser Sub- jekte zusammensetzt, treten auch als Faktoren in K auf, oder nicht.
Im letztern Falle treffen schon die Voraussetzungen der Prämisse für unsere Kombination K nicht zu, die Prämisse berührt die Kom-
Schröder, Algebra der Logik. 36
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0581"n="561"/><fwplace="top"type="header">§ 26. Besprechung noch andrer Methoden. Verfahren von <hirendition="#g">Jevons</hi>.</fw><lb/>
Problem zu verwenden gewesenen Buchstaben entweder unnegirt als sol-<lb/>
cher steht oder aber durch seine Negation vertreten ist.</p><lb/><p>Um beispielsweise die 7. Aufgabe des § 25 nach <hirendition="#g">Jevons'</hi> Methode<lb/>
zu behandeln, würde schon der Ansatz von 2<hirendition="#sup">7</hi> = 128 Kombinationen (welche<lb/>
je aus sieben Symbolen sich zusammensetzen) erforderlich sein. Man wird<lb/>
sich schwerlich dazu verstehen, für <hirendition="#i">n</hi>> 6 die Operationen noch praktisch<lb/>
durchzuführen.</p><lb/><p>In dieser mit wachsender Zahl <hirendition="#i">n</hi> so rasch zunehmenden Weitläufigkeit<lb/>
der Prozesse liegt eine erste und grosse Schwäche der Methode.</p><lb/><p>Behufs Ausführung des zweiten von der Methode geforderten Pro-<lb/>
zesses muss man eine jede der angesetzten Kombinationen im Geiste<lb/>
zusammenhalten oder vergleichen sowol mit der linken Seite, dem<lb/>
Subjekte, als eventuell mit der rechten Seite, dem Prädikate einer<lb/>
jeden in Form einer Subsumtion gegeben gedachten Prämisse des<lb/>
Problemes. Man muss ja zusehen ob die Kombination mit der Prä-<lb/>
misse <hirendition="#i">verträglich</hi> ist, oder <hirendition="#i">nicht</hi>, um — im letztern Falle — die Kom-<lb/>
bination <hirendition="#i">auszustreichen</hi>. Dieses geht genauer dargelegt in folgender<lb/>
Weise vor sich.</p><lb/><p>Beide Seiten der Prämisse mögen wir als Aggregate von Mono-<lb/>
men uns dargestellt denken, sodass<lb/><hirendition="#c"><hirendition="#i">S</hi> + <hirendition="#i">S</hi>' + ‥⋹<hirendition="#i">P</hi> + <hirendition="#i">P</hi>' + <hirendition="#i">P</hi>'' + …</hi><lb/>
die Form unsrer Prämisse ist, wo die Glieder <hirendition="#i">S</hi>, <hirendition="#i">S</hi>', ‥<hirendition="#i">P</hi>, ‥ selbst Pro-<lb/>
dukte sein werden von höchstens <hirendition="#i">n</hi> Symbolen (in der Regel weniger),<lb/>
hervorgehoben aus der Gruppe der überhaupt im Problem vorkommen-<lb/>
den (<hirendition="#i">n</hi>) Klassensymbole <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi>, … und ihrer (<hirendition="#i">n</hi>) Negationen <hirendition="#i">a</hi><hirendition="#sub">1</hi>, <hirendition="#i">b</hi><hirendition="#sub">1</hi>, <hirendition="#i">c</hi><hirendition="#sub">1</hi>, …</p><lb/><p>Man hat sich nun zu erinnern, dass nach § 8, <hirendition="#i">χ</hi>) die Pluszeichen<lb/>
der Subsumtion links, im Subjekte, mit „<hirendition="#i">und</hi>“, rechts, im Prädikate<lb/>
aber mit „<hirendition="#i">oder</hi>“ in Worte zu übersetzen sind, mithin die Prämisse<lb/>
fordert, dass wo die in <hirendition="#i">S</hi> vereinigte Faktorenkombination vorliegt, <hirendition="#i">so-<lb/>
wol</hi>, <hirendition="#i">als auch</hi> wo die in <hirendition="#i">S</hi>' vereinigte vorliegt, etc. da auch vorliegen<lb/>
muss <hirendition="#i">entweder</hi> die in <hirendition="#i">P oder</hi> die in <hirendition="#i">P</hi>', <hirendition="#i">oder</hi> die in <hirendition="#i">P</hi>'', etc. vereinigt<lb/>
erscheinende Kombination von Faktoren.</p><lb/><p>In Bezug auf die mit dieser Prämisse zu vergleichende Kombi-<lb/>
nation (aus der Menge der 2<hirendition="#i"><hirendition="#sup">n</hi></hi> angesetzten) —<hirendition="#i">K</hi> möge sie für den<lb/>
Augenblick heissen — können nun verschiedene Fälle vorliegen.</p><lb/><p>Entweder sie ist — nach Th. 6<hirendition="#sub">×</hi>) oder Prinzip I — einem der<lb/>
Subjekte <hirendition="#i">S</hi>, <hirendition="#i">S</hi>', ‥ (eventuell auch gleichzeitig deren mehreren) einge-<lb/>
ordnet, d. h. die sämtlichen Faktoren, aus denen sich eins dieser Sub-<lb/>
jekte zusammensetzt, treten auch als Faktoren in <hirendition="#i">K</hi> auf, oder nicht.</p><lb/><p>Im letztern Falle treffen schon die Voraussetzungen der Prämisse<lb/>
für unsere Kombination <hirendition="#i">K</hi> nicht zu, die Prämisse berührt die Kom-<lb/><fwplace="bottom"type="sig"><hirendition="#k">Schröder</hi>, Algebra der Logik. 36</fw><lb/></p></div></div></body></text></TEI>
[561/0581]
§ 26. Besprechung noch andrer Methoden. Verfahren von Jevons.
Problem zu verwenden gewesenen Buchstaben entweder unnegirt als sol-
cher steht oder aber durch seine Negation vertreten ist.
Um beispielsweise die 7. Aufgabe des § 25 nach Jevons' Methode
zu behandeln, würde schon der Ansatz von 27 = 128 Kombinationen (welche
je aus sieben Symbolen sich zusammensetzen) erforderlich sein. Man wird
sich schwerlich dazu verstehen, für n > 6 die Operationen noch praktisch
durchzuführen.
In dieser mit wachsender Zahl n so rasch zunehmenden Weitläufigkeit
der Prozesse liegt eine erste und grosse Schwäche der Methode.
Behufs Ausführung des zweiten von der Methode geforderten Pro-
zesses muss man eine jede der angesetzten Kombinationen im Geiste
zusammenhalten oder vergleichen sowol mit der linken Seite, dem
Subjekte, als eventuell mit der rechten Seite, dem Prädikate einer
jeden in Form einer Subsumtion gegeben gedachten Prämisse des
Problemes. Man muss ja zusehen ob die Kombination mit der Prä-
misse verträglich ist, oder nicht, um — im letztern Falle — die Kom-
bination auszustreichen. Dieses geht genauer dargelegt in folgender
Weise vor sich.
Beide Seiten der Prämisse mögen wir als Aggregate von Mono-
men uns dargestellt denken, sodass
S + S' + ‥ ⋹ P + P' + P'' + …
die Form unsrer Prämisse ist, wo die Glieder S, S', ‥ P, ‥ selbst Pro-
dukte sein werden von höchstens n Symbolen (in der Regel weniger),
hervorgehoben aus der Gruppe der überhaupt im Problem vorkommen-
den (n) Klassensymbole a, b, c, … und ihrer (n) Negationen a1, b1, c1, …
Man hat sich nun zu erinnern, dass nach § 8, χ) die Pluszeichen
der Subsumtion links, im Subjekte, mit „und“, rechts, im Prädikate
aber mit „oder“ in Worte zu übersetzen sind, mithin die Prämisse
fordert, dass wo die in S vereinigte Faktorenkombination vorliegt, so-
wol, als auch wo die in S' vereinigte vorliegt, etc. da auch vorliegen
muss entweder die in P oder die in P', oder die in P'', etc. vereinigt
erscheinende Kombination von Faktoren.
In Bezug auf die mit dieser Prämisse zu vergleichende Kombi-
nation (aus der Menge der 2n angesetzten) — K möge sie für den
Augenblick heissen — können nun verschiedene Fälle vorliegen.
Entweder sie ist — nach Th. 6×) oder Prinzip I — einem der
Subjekte S, S', ‥ (eventuell auch gleichzeitig deren mehreren) einge-
ordnet, d. h. die sämtlichen Faktoren, aus denen sich eins dieser Sub-
jekte zusammensetzt, treten auch als Faktoren in K auf, oder nicht.
Im letztern Falle treffen schon die Voraussetzungen der Prämisse
für unsere Kombination K nicht zu, die Prämisse berührt die Kom-
Schröder, Algebra der Logik. 36
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 561. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/581>, abgerufen am 29.04.2024.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.
