Als Beweis der letzten Äquivalenz 17) haben wir nun ähnlich: (i : ja) = Ph k(1'i h1'k jah k) = (1'i i1'j jai j) = (1 ai j) = ai j, indem wieder diejenigen Faktorenaussagen des Ph k, welche sich bei hi oder kj ergeben, als auf (0 ah k), = 1 hinauslaufende unter- drückt werden durften -- q. e. d.
Ferner wird nun die rhetorische Evidenz gebieterisch erheischen, dass auch folgender Satz für die Einzeiler i und j erweisbar sei: 19) (ia ; j) = (ja ; i).
Sooft nämlich i ein Liebender (a, = amans) ist von j, muss j ein Geliebter (a, = amatus, -a, -um) sein von i, und umgekehrt.
Beweis. Denn die behauptete Gleichung kommt nach dem Satze 17) auf die laut fundamentaler Festsetzung geltende Identität hinaus: ai j = aj i.
Bei diesen Nachweisen hinsichtlich des Einklangs unsrer Theorie mit der rhetorischen Evidenz in der (ohnehin nirgends systematisch nennenswert entwickelten) verbalen Logik relativer Begriffe wollen wir uns vorläufig beruhigen, und an dieser Stelle nicht die Frage zum Austrag bringen, ob die bereits gegebnen Nachweise auch schon ge- nügen, jene Übereinstimmung als eine durchgängig bestehende zu be- gründen oder wenigstens die Interpretation des "Einzeilers" als eines "Elements" des ersten Denkbereichs vollends zu rechtfertigen, die funda- mentale Festsetzung 8) des § 3 aus den Bedürfnissen der Logik selbst zu motiviren. Wir werden fortan, wie früher schon, die beiden Namen "Einzeiler" und "Element" als synonyme gebrauchen. Wir haben noch zu viel zu thun mit der Durchführung von Untersuchungen und der Beantwortung von Fragen, die sich als solche der reinen Algebra (der Relative) an unsre letzten Betrachtungen knüpfen.
Das Theorem 19), welches, zu einem Gespann ergänzt, lautet: 19)
[Formel 1]
hebt einen Sonderfall des zweiten Inversionstheorems hervor, in dem es -- ausnahmsweise -- möglich ist, einen relativen Faktor auch aus dem Prädikate einer Subsumtion zu isoliren, so, wie es uns das erste In- versionstheorem aus dem Subjekte stets gestattet. Dieser Fall liegt hinsichtlich des zweiten relativen Faktors sicher vor, wenn derselbe sowie auch das Subjekt der Subsumtion ein Element ist; beim ersten
Zehnte Vorlesung.
Als Beweis der letzten Äquivalenz 17) haben wir nun ähnlich: (i : j ⋹ a) = Πh k(1'i h1'k j ⋹ ah k) = (1'i i1'j j ⋹ ai j) = (1 ⋹ ai j) = ai j, indem wieder diejenigen Faktorenaussagen des Πh k, welche sich bei h ≠ i oder k ≠ j ergeben, als auf (0 ⋹ ah k), = 1 hinauslaufende unter- drückt werden durften — q. e. d.
Ferner wird nun die rhetorische Evidenz gebieterisch erheischen, dass auch folgender Satz für die Einzeiler i und j erweisbar sei: 19) (i ⋹ a ; j) = (j ⋹ ă ; i).
Sooft nämlich i ein Liebender (a, = amans) ist von j, muss j ein Geliebter (ă, = amatus, -a, -um) sein von i, und umgekehrt.
Beweis. Denn die behauptete Gleichung kommt nach dem Satze 17) auf die laut fundamentaler Festsetzung geltende Identität hinaus: ai j = ăj i.
Bei diesen Nachweisen hinsichtlich des Einklangs unsrer Theorie mit der rhetorischen Evidenz in der (ohnehin nirgends systematisch nennenswert entwickelten) verbalen Logik relativer Begriffe wollen wir uns vorläufig beruhigen, und an dieser Stelle nicht die Frage zum Austrag bringen, ob die bereits gegebnen Nachweise auch schon ge- nügen, jene Übereinstimmung als eine durchgängig bestehende zu be- gründen oder wenigstens die Interpretation des „Einzeilers“ als eines „Elements“ des ersten Denkbereichs vollends zu rechtfertigen, die funda- mentale Festsetzung 8) des § 3 aus den Bedürfnissen der Logik selbst zu motiviren. Wir werden fortan, wie früher schon, die beiden Namen „Einzeiler“ und „Element“ als synonyme gebrauchen. Wir haben noch zu viel zu thun mit der Durchführung von Untersuchungen und der Beantwortung von Fragen, die sich als solche der reinen Algebra (der Relative) an unsre letzten Betrachtungen knüpfen.
Das Theorem 19), welches, zu einem Gespann ergänzt, lautet: 19)
[Formel 1]
hebt einen Sonderfall des zweiten Inversionstheorems hervor, in dem es — ausnahmsweise — möglich ist, einen relativen Faktor auch aus dem Prädikate einer Subsumtion zu isoliren, so, wie es uns das erste In- versionstheorem aus dem Subjekte stets gestattet. Dieser Fall liegt hinsichtlich des zweiten relativen Faktors sicher vor, wenn derselbe sowie auch das Subjekt der Subsumtion ein Element ist; beim ersten
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0430"n="416"/><fwplace="top"type="header">Zehnte Vorlesung.</fw><lb/><p>Als Beweis der letzten Äquivalenz 17) haben wir nun ähnlich:<lb/><hirendition="#c">(<hirendition="#i">i</hi> : <hirendition="#i">j</hi>⋹<hirendition="#i">a</hi>) = <hirendition="#i">Π<hirendition="#sub">h k</hi></hi>(1'<hirendition="#i"><hirendition="#sub">i h</hi></hi>1'<hirendition="#i"><hirendition="#sub">k j</hi></hi>⋹<hirendition="#i">a<hirendition="#sub">h k</hi></hi>) = (1'<hirendition="#i"><hirendition="#sub">i i</hi></hi>1'<hirendition="#i"><hirendition="#sub">j j</hi></hi>⋹<hirendition="#i">a<hirendition="#sub">i j</hi></hi>) = (1 ⋹<hirendition="#i">a<hirendition="#sub">i j</hi></hi>) = <hirendition="#i">a<hirendition="#sub">i j</hi></hi>,</hi><lb/>
indem wieder diejenigen Faktorenaussagen des <hirendition="#i">Π<hirendition="#sub">h k</hi></hi>, welche sich bei<lb/><hirendition="#i">h</hi>≠<hirendition="#i">i</hi> oder <hirendition="#i">k</hi>≠<hirendition="#i">j</hi> ergeben, als auf (0 ⋹<hirendition="#i">a<hirendition="#sub">h k</hi></hi>), = 1 hinauslaufende unter-<lb/>
drückt werden durften — q. e. d.</p><lb/><p>Ferner wird nun die rhetorische Evidenz gebieterisch erheischen,<lb/>
dass auch folgender <hirendition="#g">Satz</hi> für die Einzeiler <hirendition="#i">i</hi> und <hirendition="#i">j</hi> erweisbar sei:<lb/>
19) <hirendition="#et">(<hirendition="#i">i</hi>⋹<hirendition="#i">a</hi> ; <hirendition="#i">j</hi>) = (<hirendition="#i">j</hi>⋹<hirendition="#i">ă</hi> ; <hirendition="#i">i</hi>).</hi></p><lb/><p><hirendition="#i">Sooft</hi> nämlich <hirendition="#i">i ein Liebender</hi> (<hirendition="#i">a</hi>, = amans) <hirendition="#i">ist von j</hi>, <hirendition="#i">muss j ein<lb/>
Geliebter</hi> (<hirendition="#i">ă</hi>, = amatus, -a, -um) <hirendition="#i">sein von i</hi>, <hirendition="#i">und umgekehrt</hi>.</p><lb/><p><hirendition="#g">Beweis</hi>. Denn die behauptete Gleichung kommt nach dem Satze 17)<lb/>
auf die laut fundamentaler Festsetzung geltende Identität hinaus:<lb/><hirendition="#c"><hirendition="#i">a<hirendition="#sub">i j</hi></hi> = <hirendition="#i">ă<hirendition="#sub">j i</hi></hi>.</hi></p><lb/><p>Bei diesen Nachweisen hinsichtlich des Einklangs unsrer Theorie<lb/>
mit der rhetorischen Evidenz in der (ohnehin nirgends systematisch<lb/>
nennenswert entwickelten) verbalen Logik relativer Begriffe wollen wir<lb/>
uns vorläufig beruhigen, und an dieser Stelle nicht die Frage zum<lb/>
Austrag bringen, ob die bereits gegebnen Nachweise auch schon ge-<lb/>
nügen, jene Übereinstimmung als eine durchgängig bestehende zu be-<lb/>
gründen oder wenigstens die Interpretation des „Einzeilers“ als eines<lb/>„Elements“ des ersten Denkbereichs vollends zu rechtfertigen, die funda-<lb/>
mentale Festsetzung 8) des § 3 aus den Bedürfnissen der Logik selbst<lb/>
zu motiviren. Wir werden fortan, wie früher schon, die beiden Namen<lb/>„Einzeiler“ und „Element“ als synonyme gebrauchen. Wir haben noch<lb/>
zu viel zu thun mit der Durchführung von Untersuchungen und der<lb/>
Beantwortung von Fragen, die sich als solche der reinen Algebra (der<lb/>
Relative) an unsre letzten Betrachtungen knüpfen.</p><lb/><p>Das Theorem 19), welches, zu einem Gespann ergänzt, lautet:<lb/>
19) <formula/><lb/>
hebt einen <hirendition="#i">Sonderfall des zweiten Inversionstheorems</hi> hervor, in dem es<lb/>— ausnahmsweise — möglich ist, einen relativen Faktor auch aus dem<lb/>
Prädikate einer Subsumtion zu isoliren, so, wie es uns das erste In-<lb/>
versionstheorem aus dem Subjekte stets gestattet. Dieser Fall liegt<lb/>
hinsichtlich des <hirendition="#i">zweiten</hi> relativen Faktors sicher vor, wenn derselbe<lb/>
sowie auch das Subjekt der Subsumtion ein <hirendition="#i">Element</hi> ist; beim <hirendition="#i">ersten</hi><lb/></p></div></div></body></text></TEI>
[416/0430]
Zehnte Vorlesung.
Als Beweis der letzten Äquivalenz 17) haben wir nun ähnlich:
(i : j ⋹ a) = Πh k(1'i h1'k j ⋹ ah k) = (1'i i1'j j ⋹ ai j) = (1 ⋹ ai j) = ai j,
indem wieder diejenigen Faktorenaussagen des Πh k, welche sich bei
h ≠ i oder k ≠ j ergeben, als auf (0 ⋹ ah k), = 1 hinauslaufende unter-
drückt werden durften — q. e. d.
Ferner wird nun die rhetorische Evidenz gebieterisch erheischen,
dass auch folgender Satz für die Einzeiler i und j erweisbar sei:
19) (i ⋹ a ; j) = (j ⋹ ă ; i).
Sooft nämlich i ein Liebender (a, = amans) ist von j, muss j ein
Geliebter (ă, = amatus, -a, -um) sein von i, und umgekehrt.
Beweis. Denn die behauptete Gleichung kommt nach dem Satze 17)
auf die laut fundamentaler Festsetzung geltende Identität hinaus:
ai j = ăj i.
Bei diesen Nachweisen hinsichtlich des Einklangs unsrer Theorie
mit der rhetorischen Evidenz in der (ohnehin nirgends systematisch
nennenswert entwickelten) verbalen Logik relativer Begriffe wollen wir
uns vorläufig beruhigen, und an dieser Stelle nicht die Frage zum
Austrag bringen, ob die bereits gegebnen Nachweise auch schon ge-
nügen, jene Übereinstimmung als eine durchgängig bestehende zu be-
gründen oder wenigstens die Interpretation des „Einzeilers“ als eines
„Elements“ des ersten Denkbereichs vollends zu rechtfertigen, die funda-
mentale Festsetzung 8) des § 3 aus den Bedürfnissen der Logik selbst
zu motiviren. Wir werden fortan, wie früher schon, die beiden Namen
„Einzeiler“ und „Element“ als synonyme gebrauchen. Wir haben noch
zu viel zu thun mit der Durchführung von Untersuchungen und der
Beantwortung von Fragen, die sich als solche der reinen Algebra (der
Relative) an unsre letzten Betrachtungen knüpfen.
Das Theorem 19), welches, zu einem Gespann ergänzt, lautet:
19) [FORMEL]
hebt einen Sonderfall des zweiten Inversionstheorems hervor, in dem es
— ausnahmsweise — möglich ist, einen relativen Faktor auch aus dem
Prädikate einer Subsumtion zu isoliren, so, wie es uns das erste In-
versionstheorem aus dem Subjekte stets gestattet. Dieser Fall liegt
hinsichtlich des zweiten relativen Faktors sicher vor, wenn derselbe
sowie auch das Subjekt der Subsumtion ein Element ist; beim ersten
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. 416. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/430>, abgerufen am 25.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/.