ersten Grundlegung kann das Bisherige genügen und wollen wir unsre Aufmerksamkeit demnächst dem Beweisverfahren für die aufgezählten Sätze zuwenden.
Diejenigen von den vorstehenden allgemeinen Sätzen, welche sich in der Form von Gleichungen präsentiren, sichern uns, falls die Glei- chungen primäre im Boole'schen Sinne sind, die Mittel zur Umfor- mung, Transformation von Ausdrücken: jeder nach dem Schema der einen Seite der Gleichung gestaltete Ausdruck kann durch einen nach dem Vorbild der andern Seite umgestalteten ersetzt werden. Von solchen Mitteln lässt sich, mit dem Erfolge dass man zu neuen Er- kenntnissen geführt wird, ein judiziöser Gebrauch machen.
Ebenso, wenn die Gleichungen sekundäre sind, verbürgen unsre Sätze uns die Erlaubniss zur äquivalenten Umformung von Behaup- tungen, Urteilen oder Aussagen, sobald solche nur die Form der einen Seite der Gleichung haben, gleichviel welcher von beiden Seiten.
Formeln, die wie z. B. 1) die Form von sekundären Subsumtionen haben, gestatten wenigstens das Ziehen von Schlüssen, als den Über- gang von einer Prämisse der Form des Minor zu einer Konklusion von der Form des Major der Aussagensubsumtion -- ein Übergang, der bei der Aussagenäquivalenz sogar vor- und rückwärts statthaft.
Aber auch diejenigen Sätze oder Formeln, welche wie 5, 7, 14, 15) blos als primäre Subsumtionen sich darstellen, ermöglichen -- im Hinblick besonders auf Prinzip II sowie Th. 2) und 3) des Bd. 1 -- noch in mannigfaltiger Weise das Ziehen von Schlüssen.
Dem Anfänger scheinen solche wenn auch allgemeingültige Subsum- tionen vielleicht herzlich wenig Information zu liefern, nur wenig zu lehren, und erscheint der Rat am Platze sie, und ihresgleichen später, hin- sichtlich ihrer Bedeutung ja nicht zu unterschätzen.
Nicht nur ist ja, nach dem Theorem von R. Grassmann (ab) = (a = ab) = (a + b = b) z. B., jede Subsumtion ohnehin äquivalent einer Gleichung, die dann freilich von minder einfachem Ausdrucke und dem- gemäss von beschränkterer Anwendungsfähigkeit erscheint, sondern es wird auch ein jeder, der sich selbstthätig an Untersuchungen oder Forschungen, an die Lösung von Aufgaben in unsrer Disziplin wagt, unfehlbar folgende Erfahrung machen.
So unliebsam gross die Menge der Sätze, die wir aufzustellen haben, so überwältigend die Fülle der Formeln auf den ersten Blick erschienen sein mochte, sie scheint in solchem Falle noch lange nicht gross genug zu sein; man ist froh um eine jede derselben, auf die man sich zu berufen vermöchte, mag sie auch blos den dürftigen Inhalt einer Subsumtion auf- weisen; man steht den gewichtigsten Problemen unsrer Disziplin oft noch beinahe ratlos gegenüber, und erkennt ihren wirklich grossen Reichtum an
Dritte Vorlesung.
ersten Grundlegung kann das Bisherige genügen und wollen wir unsre Aufmerksamkeit demnächst dem Beweisverfahren für die aufgezählten Sätze zuwenden.
Diejenigen von den vorstehenden allgemeinen Sätzen, welche sich in der Form von Gleichungen präsentiren, sichern uns, falls die Glei- chungen primäre im Boole’schen Sinne sind, die Mittel zur Umfor- mung, Transformation von Ausdrücken: jeder nach dem Schema der einen Seite der Gleichung gestaltete Ausdruck kann durch einen nach dem Vorbild der andern Seite umgestalteten ersetzt werden. Von solchen Mitteln lässt sich, mit dem Erfolge dass man zu neuen Er- kenntnissen geführt wird, ein judiziöser Gebrauch machen.
Ebenso, wenn die Gleichungen sekundäre sind, verbürgen unsre Sätze uns die Erlaubniss zur äquivalenten Umformung von Behaup- tungen, Urteilen oder Aussagen, sobald solche nur die Form der einen Seite der Gleichung haben, gleichviel welcher von beiden Seiten.
Formeln, die wie z. B. 1) die Form von sekundären Subsumtionen haben, gestatten wenigstens das Ziehen von Schlüssen, als den Über- gang von einer Prämisse der Form des Minor zu einer Konklusion von der Form des Major der Aussagensubsumtion — ein Übergang, der bei der Aussagenäquivalenz sogar vor- und rückwärts statthaft.
Aber auch diejenigen Sätze oder Formeln, welche wie 5, 7, 14, 15) blos als primäre Subsumtionen sich darstellen, ermöglichen — im Hinblick besonders auf Prinzip II sowie Th. 2) und 3) des Bd. 1 — noch in mannigfaltiger Weise das Ziehen von Schlüssen.
Dem Anfänger scheinen solche wenn auch allgemeingültige Subsum- tionen vielleicht herzlich wenig Information zu liefern, nur wenig zu lehren, und erscheint der Rat am Platze sie, und ihresgleichen später, hin- sichtlich ihrer Bedeutung ja nicht zu unterschätzen.
Nicht nur ist ja, nach dem Theorem von R. Grassmann (a ⋹ b) = (a = ab) = (a + b = b) z. B., jede Subsumtion ohnehin äquivalent einer Gleichung, die dann freilich von minder einfachem Ausdrucke und dem- gemäss von beschränkterer Anwendungsfähigkeit erscheint, sondern es wird auch ein jeder, der sich selbstthätig an Untersuchungen oder Forschungen, an die Lösung von Aufgaben in unsrer Disziplin wagt, unfehlbar folgende Erfahrung machen.
So unliebsam gross die Menge der Sätze, die wir aufzustellen haben, so überwältigend die Fülle der Formeln auf den ersten Blick erschienen sein mochte, sie scheint in solchem Falle noch lange nicht gross genug zu sein; man ist froh um eine jede derselben, auf die man sich zu berufen vermöchte, mag sie auch blos den dürftigen Inhalt einer Subsumtion auf- weisen; man steht den gewichtigsten Problemen unsrer Disziplin oft noch beinahe ratlos gegenüber, und erkennt ihren wirklich grossen Reichtum an
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0110"n="96"/><fwplace="top"type="header">Dritte Vorlesung.</fw><lb/>
ersten Grundlegung kann das Bisherige genügen und wollen wir unsre<lb/>
Aufmerksamkeit demnächst dem Beweisverfahren für die aufgezählten<lb/>
Sätze zuwenden.</p><lb/><p>Diejenigen von den vorstehenden allgemeinen Sätzen, welche sich<lb/>
in der Form von <hirendition="#i">Gleichungen</hi> präsentiren, sichern uns, falls die Glei-<lb/>
chungen primäre im <hirendition="#g">Boole’</hi>schen Sinne sind, die Mittel zur <hirendition="#i">Umfor-<lb/>
mung</hi>, Transformation <hirendition="#i">von Ausdrücken:</hi> jeder nach dem Schema der<lb/>
einen Seite der Gleichung gestaltete Ausdruck kann durch einen nach<lb/>
dem Vorbild der andern Seite umgestalteten ersetzt werden. Von<lb/>
solchen Mitteln lässt sich, mit dem Erfolge dass man zu neuen Er-<lb/>
kenntnissen geführt wird, ein judiziöser Gebrauch machen.</p><lb/><p>Ebenso, wenn die Gleichungen sekundäre sind, verbürgen unsre<lb/>
Sätze uns die Erlaubniss zur äquivalenten Umformung von Behaup-<lb/>
tungen, Urteilen oder Aussagen, sobald solche nur die Form der einen<lb/>
Seite der Gleichung haben, gleichviel welcher von beiden Seiten.</p><lb/><p>Formeln, die wie z. B. 1) die Form von sekundären Subsumtionen<lb/>
haben, gestatten wenigstens das <hirendition="#i">Ziehen von Schlüssen</hi>, als den Über-<lb/>
gang von einer Prämisse der Form des Minor zu einer Konklusion<lb/>
von der Form des Major der Aussagensubsumtion — ein Übergang,<lb/>
der bei der Aussagenäquivalenz sogar vor- und rückwärts statthaft.</p><lb/><p>Aber auch diejenigen Sätze oder Formeln, welche wie 5, 7, 14,<lb/>
15) blos als primäre <hirendition="#i">Subsumtionen</hi> sich darstellen, ermöglichen — im<lb/>
Hinblick besonders auf Prinzip II sowie Th. 2) und 3) des Bd. 1 —<lb/>
noch in mannigfaltiger Weise das Ziehen von Schlüssen.</p><lb/><p>Dem Anfänger scheinen solche wenn auch allgemeingültige Subsum-<lb/>
tionen vielleicht herzlich wenig Information zu liefern, nur wenig zu<lb/>
lehren, und erscheint der Rat am Platze sie, und ihresgleichen später, hin-<lb/>
sichtlich ihrer Bedeutung ja nicht zu unterschätzen.</p><lb/><p>Nicht nur ist ja, nach dem Theorem von R. <hirendition="#g">Grassmann</hi> (<hirendition="#i">a</hi>⋹<hirendition="#i">b</hi>) =<lb/>
(<hirendition="#i">a</hi> = <hirendition="#i">ab</hi>) = (<hirendition="#i">a</hi> + <hirendition="#i">b</hi> = <hirendition="#i">b</hi>) z. B., jede Subsumtion ohnehin äquivalent einer<lb/>
Gleichung, die dann freilich von minder einfachem Ausdrucke und dem-<lb/>
gemäss von beschränkterer Anwendungsfähigkeit erscheint, sondern es wird<lb/>
auch ein jeder, der sich selbstthätig an Untersuchungen oder Forschungen,<lb/>
an die Lösung von Aufgaben in unsrer Disziplin wagt, unfehlbar folgende<lb/>
Erfahrung machen.</p><lb/><p>So unliebsam gross die Menge der Sätze, die wir aufzustellen haben,<lb/>
so überwältigend die Fülle der Formeln auf den ersten Blick erschienen<lb/>
sein mochte, sie scheint in solchem Falle noch lange nicht gross genug zu<lb/>
sein; man ist <hirendition="#i">froh um eine jede derselben,</hi> auf die man sich zu berufen<lb/>
vermöchte, mag sie auch blos den dürftigen Inhalt einer Subsumtion auf-<lb/>
weisen; man steht den gewichtigsten Problemen unsrer Disziplin oft noch<lb/>
beinahe ratlos gegenüber, und erkennt ihren wirklich grossen Reichtum an<lb/></p></div></div></body></text></TEI>
[96/0110]
Dritte Vorlesung.
ersten Grundlegung kann das Bisherige genügen und wollen wir unsre
Aufmerksamkeit demnächst dem Beweisverfahren für die aufgezählten
Sätze zuwenden.
Diejenigen von den vorstehenden allgemeinen Sätzen, welche sich
in der Form von Gleichungen präsentiren, sichern uns, falls die Glei-
chungen primäre im Boole’schen Sinne sind, die Mittel zur Umfor-
mung, Transformation von Ausdrücken: jeder nach dem Schema der
einen Seite der Gleichung gestaltete Ausdruck kann durch einen nach
dem Vorbild der andern Seite umgestalteten ersetzt werden. Von
solchen Mitteln lässt sich, mit dem Erfolge dass man zu neuen Er-
kenntnissen geführt wird, ein judiziöser Gebrauch machen.
Ebenso, wenn die Gleichungen sekundäre sind, verbürgen unsre
Sätze uns die Erlaubniss zur äquivalenten Umformung von Behaup-
tungen, Urteilen oder Aussagen, sobald solche nur die Form der einen
Seite der Gleichung haben, gleichviel welcher von beiden Seiten.
Formeln, die wie z. B. 1) die Form von sekundären Subsumtionen
haben, gestatten wenigstens das Ziehen von Schlüssen, als den Über-
gang von einer Prämisse der Form des Minor zu einer Konklusion
von der Form des Major der Aussagensubsumtion — ein Übergang,
der bei der Aussagenäquivalenz sogar vor- und rückwärts statthaft.
Aber auch diejenigen Sätze oder Formeln, welche wie 5, 7, 14,
15) blos als primäre Subsumtionen sich darstellen, ermöglichen — im
Hinblick besonders auf Prinzip II sowie Th. 2) und 3) des Bd. 1 —
noch in mannigfaltiger Weise das Ziehen von Schlüssen.
Dem Anfänger scheinen solche wenn auch allgemeingültige Subsum-
tionen vielleicht herzlich wenig Information zu liefern, nur wenig zu
lehren, und erscheint der Rat am Platze sie, und ihresgleichen später, hin-
sichtlich ihrer Bedeutung ja nicht zu unterschätzen.
Nicht nur ist ja, nach dem Theorem von R. Grassmann (a ⋹ b) =
(a = ab) = (a + b = b) z. B., jede Subsumtion ohnehin äquivalent einer
Gleichung, die dann freilich von minder einfachem Ausdrucke und dem-
gemäss von beschränkterer Anwendungsfähigkeit erscheint, sondern es wird
auch ein jeder, der sich selbstthätig an Untersuchungen oder Forschungen,
an die Lösung von Aufgaben in unsrer Disziplin wagt, unfehlbar folgende
Erfahrung machen.
So unliebsam gross die Menge der Sätze, die wir aufzustellen haben,
so überwältigend die Fülle der Formeln auf den ersten Blick erschienen
sein mochte, sie scheint in solchem Falle noch lange nicht gross genug zu
sein; man ist froh um eine jede derselben, auf die man sich zu berufen
vermöchte, mag sie auch blos den dürftigen Inhalt einer Subsumtion auf-
weisen; man steht den gewichtigsten Problemen unsrer Disziplin oft noch
beinahe ratlos gegenüber, und erkennt ihren wirklich grossen Reichtum an
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. 3, Abt. 1. Leipzig, 1895, S. 96. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/110>, abgerufen am 24.08.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/.