ebendieses, wonicht in seiner doppelten Anwendung, als Th. 16x) -- dürfte sich gar nicht vermeiden lassen. Es scheint unmöglich zu sein -- und ich behaupte es, solange nicht das Gegenteil dargethan wird -- in der Zeichensprache, ganz in Formeln -- jeden Beweis solcher- gestalt zu führen, dass beim Übergang über jedes ein "ergo" bedeu- tendes Subsumtionszeichen nie mehr als ein Theorem des identischen Kalkuls auf einmal zur Anwendung komme.
Alle unsere Überlegungen führen wir gleichsam unter der Herr- schaft eines (Aussagen-)Faktors, welcher das Fortbestehen der Prämissen unsres Schliessens, zu denen auch alle selbstverständlichen oder ana- lytischen Wahrheiten gezählt werden dürfen, das Fortbestehen der- selben während irgend eines gerade eben vollzogenen Schlusses garan- tirt, und im Grunde nur eine Wirkung des Prinzips In der Identität im Aussagenkalkul ist, demzufolge einmal als wahr Anerkanntes solches stillschweigend oder ausdrücklich bleibt, auch immer wieder in Er- innerung gebracht, überall als wahr angemerkt werden darf -- womit auch Th. 21x) im Zusammenhange steht. Ganz ähnlich, wie auch über unsern rechnerischen Schlüssen im Klassenkalkul jeweils die ("gewöhnliche") Mannigfaltigkeit 1 schwebt, die den Betrachtungen zugrunde gelegt ist und mit der dieselben sozusagen zum Schnitt kommen, während sie ausserhalb, darüber hinaus, keine Geltung bean- spruchen dürfen. --
Es kann jetzt als eine vorzügliche Übung dem Studirenden em- pfohlen werden, die Beweisführungen für die fundamentalen Sätze unsrer Disziplin, wie sie in Bd. 1 in der üblichsten Form, nämlich in verbaler Einkleidung gegeben worden sind, nochmals zu repetiren, so wie wir dies mit den Sätzen selbst in § 29 schon ausgeführt haben, und zwar indem man auch diese Beweisführungen gänzlich in der Zeichensprache des Aussagenkalkuls darstellt. Ganz besonders wären so die Paragraphen 10 und 11 zu berücksichtigen.
Als ein ferneres Exempel sei so noch das Th. 20) hier bewiesen, wobei wir uns des Dualismus halber blos an den einen Teil desselben: Th. 20x) (a b = a) = (ab) zu halten brauchen.
Für diesen führt schon McColl9 den Beweis wesentlich in fol- gender Weise. (Es ist:)
[Formel 1]
Schröder, Algebra der Logik. II. 19
§ 46. Studien.
ebendieses, wonicht in seiner doppelten Anwendung, als Th. 1̅6̅×) — dürfte sich gar nicht vermeiden lassen. Es scheint unmöglich zu sein — und ich behaupte es, solange nicht das Gegenteil dargethan wird — in der Zeichensprache, ganz in Formeln — jeden Beweis solcher- gestalt zu führen, dass beim Übergang über jedes ein „ergo“ bedeu- tendes Subsumtionszeichen nie mehr als ein Theorem des identischen Kalkuls auf einmal zur Anwendung komme.
Alle unsere Überlegungen führen wir gleichsam unter der Herr- schaft eines (Aussagen-)Faktors, welcher das Fortbestehen der Prämissen unsres Schliessens, zu denen auch alle selbstverständlichen oder ana- lytischen Wahrheiten gezählt werden dürfen, das Fortbestehen der- selben während irgend eines gerade eben vollzogenen Schlusses garan- tirt, und im Grunde nur eine Wirkung des Prinzips Ī der Identität im Aussagenkalkul ist, demzufolge einmal als wahr Anerkanntes solches stillschweigend oder ausdrücklich bleibt, auch immer wieder in Er- innerung gebracht, überall als wahr angemerkt werden darf — womit auch Th. 2̅1̅×) im Zusammenhange steht. Ganz ähnlich, wie auch über unsern rechnerischen Schlüssen im Klassenkalkul jeweils die („gewöhnliche“) Mannigfaltigkeit 1 schwebt, die den Betrachtungen zugrunde gelegt ist und mit der dieselben sozusagen zum Schnitt kommen, während sie ausserhalb, darüber hinaus, keine Geltung bean- spruchen dürfen. —
Es kann jetzt als eine vorzügliche Übung dem Studirenden em- pfohlen werden, die Beweisführungen für die fundamentalen Sätze unsrer Disziplin, wie sie in Bd. 1 in der üblichsten Form, nämlich in verbaler Einkleidung gegeben worden sind, nochmals zu repetiren, so wie wir dies mit den Sätzen selbst in § 29 schon ausgeführt haben, und zwar indem man auch diese Beweisführungen gänzlich in der Zeichensprache des Aussagenkalkuls darstellt. Ganz besonders wären so die Paragraphen 10 und 11 zu berücksichtigen.
Als ein ferneres Exempel sei so noch das Th. 20) hier bewiesen, wobei wir uns des Dualismus halber blos an den einen Teil desselben: Th. 20×) (a b = a) = (a⊆b) zu halten brauchen.
Für diesen führt schon McColl9 den Beweis wesentlich in fol- gender Weise. (Es ist:)
[Formel 1]
Schröder, Algebra der Logik. II. 19
<TEI><text><body><divn="1"><divn="2"><divn="3"><p><pbfacs="#f0313"n="289"/><fwplace="top"type="header">§ 46. Studien.</fw><lb/>
ebendieses, wonicht in seiner doppelten Anwendung, als Th. 1̅6̅<hirendition="#sub">×</hi>) —<lb/>
dürfte sich gar nicht vermeiden lassen. Es scheint unmöglich zu sein<lb/>— und ich behaupte es, solange nicht das Gegenteil dargethan wird<lb/>— in der Zeichensprache, ganz in Formeln — jeden Beweis solcher-<lb/>
gestalt zu führen, dass beim Übergang über jedes ein „ergo“ bedeu-<lb/>
tendes Subsumtionszeichen <hirendition="#i">nie mehr</hi> als <hirendition="#i">ein</hi> Theorem des identischen<lb/>
Kalkuls <hirendition="#i">auf einmal</hi> zur Anwendung komme.</p><lb/><p>Alle unsere Überlegungen führen wir gleichsam <hirendition="#i">unter der Herr-<lb/>
schaft eines</hi> (<hirendition="#i">Aussagen-</hi>)<hirendition="#i">Faktors</hi>, welcher das Fortbestehen der Prämissen<lb/>
unsres Schliessens, zu denen auch alle selbstverständlichen oder ana-<lb/>
lytischen Wahrheiten gezählt werden dürfen, das Fortbestehen der-<lb/>
selben während irgend eines gerade eben vollzogenen Schlusses garan-<lb/>
tirt, und im Grunde nur eine Wirkung des Prinzips Ī der Identität<lb/>
im Aussagenkalkul ist, demzufolge einmal als wahr Anerkanntes solches<lb/>
stillschweigend oder ausdrücklich bleibt, auch immer wieder in Er-<lb/>
innerung gebracht, überall als wahr angemerkt werden darf — womit<lb/>
auch Th. 2̅1̅<hirendition="#sub">×</hi>) im Zusammenhange steht. Ganz ähnlich, wie auch<lb/>
über unsern rechnerischen Schlüssen im <hirendition="#i">Klassen</hi>kalkul jeweils die<lb/>
(„gewöhnliche“) Mannigfaltigkeit 1 schwebt, die den Betrachtungen<lb/>
zugrunde gelegt ist und mit der dieselben sozusagen <hirendition="#i">zum Schnitt<lb/>
kommen</hi>, während sie ausserhalb, darüber hinaus, keine Geltung bean-<lb/>
spruchen dürfen. —</p><lb/><p>Es kann jetzt als eine vorzügliche Übung dem Studirenden em-<lb/>
pfohlen werden, die Beweisführungen für die fundamentalen Sätze<lb/>
unsrer Disziplin, wie sie in Bd. 1 in der üblichsten Form, nämlich in<lb/><hirendition="#i">verbaler</hi> Einkleidung gegeben worden sind, nochmals zu repetiren, so<lb/>
wie wir dies mit den Sätzen selbst in § 29 schon ausgeführt haben,<lb/>
und zwar indem man auch diese Beweisführungen gänzlich in der<lb/>
Zeichensprache des Aussagenkalkuls darstellt. Ganz besonders wären<lb/>
so die Paragraphen 10 und 11 zu berücksichtigen.</p><lb/><p>Als ein ferneres Exempel sei so noch das Th. 20) hier bewiesen,<lb/>
wobei wir uns des Dualismus halber blos an den einen Teil desselben:<lb/>
Th. 20<hirendition="#sub">×</hi>) (<hirendition="#i">a b</hi> = <hirendition="#i">a</hi>) = (<hirendition="#i">a</hi><choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">b</hi>) zu halten brauchen.</p><lb/><p>Für diesen führt schon <hirendition="#g">McColl</hi><hirendition="#sup">9</hi> den Beweis wesentlich in fol-<lb/>
gender Weise. (Es ist:)<lb/><hirendition="#et"><formula/></hi><fwplace="bottom"type="sig"><hirendition="#k">Schröder</hi>, Algebra der Logik. II. 19</fw><lb/></p></div></div></div></body></text></TEI>
[289/0313]
§ 46. Studien.
ebendieses, wonicht in seiner doppelten Anwendung, als Th. 1̅6̅×) —
dürfte sich gar nicht vermeiden lassen. Es scheint unmöglich zu sein
— und ich behaupte es, solange nicht das Gegenteil dargethan wird
— in der Zeichensprache, ganz in Formeln — jeden Beweis solcher-
gestalt zu führen, dass beim Übergang über jedes ein „ergo“ bedeu-
tendes Subsumtionszeichen nie mehr als ein Theorem des identischen
Kalkuls auf einmal zur Anwendung komme.
Alle unsere Überlegungen führen wir gleichsam unter der Herr-
schaft eines (Aussagen-)Faktors, welcher das Fortbestehen der Prämissen
unsres Schliessens, zu denen auch alle selbstverständlichen oder ana-
lytischen Wahrheiten gezählt werden dürfen, das Fortbestehen der-
selben während irgend eines gerade eben vollzogenen Schlusses garan-
tirt, und im Grunde nur eine Wirkung des Prinzips Ī der Identität
im Aussagenkalkul ist, demzufolge einmal als wahr Anerkanntes solches
stillschweigend oder ausdrücklich bleibt, auch immer wieder in Er-
innerung gebracht, überall als wahr angemerkt werden darf — womit
auch Th. 2̅1̅×) im Zusammenhange steht. Ganz ähnlich, wie auch
über unsern rechnerischen Schlüssen im Klassenkalkul jeweils die
(„gewöhnliche“) Mannigfaltigkeit 1 schwebt, die den Betrachtungen
zugrunde gelegt ist und mit der dieselben sozusagen zum Schnitt
kommen, während sie ausserhalb, darüber hinaus, keine Geltung bean-
spruchen dürfen. —
Es kann jetzt als eine vorzügliche Übung dem Studirenden em-
pfohlen werden, die Beweisführungen für die fundamentalen Sätze
unsrer Disziplin, wie sie in Bd. 1 in der üblichsten Form, nämlich in
verbaler Einkleidung gegeben worden sind, nochmals zu repetiren, so
wie wir dies mit den Sätzen selbst in § 29 schon ausgeführt haben,
und zwar indem man auch diese Beweisführungen gänzlich in der
Zeichensprache des Aussagenkalkuls darstellt. Ganz besonders wären
so die Paragraphen 10 und 11 zu berücksichtigen.
Als ein ferneres Exempel sei so noch das Th. 20) hier bewiesen,
wobei wir uns des Dualismus halber blos an den einen Teil desselben:
Th. 20×) (a b = a) = (a  b) zu halten brauchen.
Für diesen führt schon McColl9 den Beweis wesentlich in fol-
gender Weise. (Es ist:)
[FORMEL]
Schröder, Algebra der Logik. II. 19
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. 2, Abt. 1. Leipzig, 1891, S. 289. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/313>, abgerufen am 16.07.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/.