Gelegenheiten, bei welchen ebendiese Aussage anwendbar oder zulässig ist, gilt.
Als vonhause verständlich und allein bekannt werde wieder nur angesehen das Subsumtionszeichen , sei es zwischen Gebiete oder Klassen gesetzt, sei es auch (insbesondere) zwischen Aussagen. Auch verstehen wir von selbst das (identische) Produkt zweier Aussagen, durch welches die Faktoraussagen als gleichzeitig gültige hingestellt werden.
Mit diesen Mitteln ist auch bereits die Gleichheit, und ins- besondre die Aussagenäquivalenz erklärt durch eine (unter anderm nachher wieder zu rekapitulirende) allgemeine Festsetzung. Durch diese Mittel hat auch die identische 0 und 1 des Gebiete- wie des Aussagenkalkuls, es hat das identische Produkt zweier Gebiete oder Klassen, sowie deren Summe, und damit auch (Produkt und) Summe von Aussagen ihre Definition in der bisherigen Theorie bereits syste- matisch gefunden, desgleichen endlich die Negation eines Gebietes und speziell auch die einer Aussage.
Es kommt aber noch darauf an, nunmehr auch zu definiren die sonstigen aufgezählten "Beziehungen" als solche zwischen Gebieten und damit auch wiederum als solche zwischen irgend denkbaren Aussagen.
Am einfachsten definirt sich: [10] b = c', somit auch b1 = c1', das heisst: mittelst der Festsetzung: {AB} = {BA} wird als Sinn der Aussage linkerhand die Subsumtion rechterhand hingestellt. Es findet damit die aus didaktischen Gründen schon am Schluss des § 3, Bd. 1, S. 167, angeführte (dort unnumerirt gelassene) Definition der eventuellen Überordnung hier im System nun ihre Stelle.
Weiter ist zu definiren: [20] d = c c' = b c, sonach d1 = c1 + c1' = b1 + c1, d. h. mittelst: {A = B} = {AB} {BA} = {AB} {AB} wird der Begriff der Gleichheit auf den der Subsumtion gegründet -- was wesentlich nur eine Reproduktion unsrer alten Def. (1) ist.
Hiernach erscheint der Gebrauch der Symbole b, c, d fortan legitimirt.
Gelegenheiten, bei welchen ebendiese Aussage anwendbar oder zulässig ist, gilt.
Als vonhause verständlich und allein bekannt werde wieder nur angesehen das Subsumtionszeichen ⊆, sei es zwischen Gebiete oder Klassen gesetzt, sei es auch (insbesondere) zwischen Aussagen. Auch verstehen wir von selbst das (identische) Produkt zweier Aussagen, durch welches die Faktoraussagen als gleichzeitig gültige hingestellt werden.
Mit diesen Mitteln ist auch bereits die Gleichheit, und ins- besondre die Aussagenäquivalenz erklärt durch eine (unter anderm nachher wieder zu rekapitulirende) allgemeine Festsetzung. Durch diese Mittel hat auch die identische 0 und 1 des Gebiete- wie des Aussagenkalkuls, es hat das identische Produkt zweier Gebiete oder Klassen, sowie deren Summe, und damit auch (Produkt und) Summe von Aussagen ihre Definition in der bisherigen Theorie bereits syste- matisch gefunden, desgleichen endlich die Negation eines Gebietes und speziell auch die einer Aussage.
Es kommt aber noch darauf an, nunmehr auch zu definiren die sonstigen aufgezählten „Beziehungen“ als solche zwischen Gebieten und damit auch wiederum als solche zwischen irgend denkbaren Aussagen.
Am einfachsten definirt sich: [10] b = c', somit auch b1 = c1', das heisst: mittelst der Festsetzung: {A⊆B} = {B⊆A} wird als Sinn der Aussage linkerhand die Subsumtion rechterhand hingestellt. Es findet damit die aus didaktischen Gründen schon am Schluss des § 3, Bd. 1, S. 167, angeführte (dort unnumerirt gelassene) Definition der eventuellen Überordnung hier im System nun ihre Stelle.
Weiter ist zu definiren: [20] d = c c' = b c, sonach d1 = c1 + c1' = b1 + c1, d. h. mittelst: {A = B} = {A⊆B} {B⊆A} = {A⊆B} {A⊆B} wird der Begriff der Gleichheit auf den der Subsumtion gegründet — was wesentlich nur eine Reproduktion unsrer alten Def. (1) ist.
Hiernach erscheint der Gebrauch der Symbole b, c, d fortan legitimirt.
<TEI><text><body><divn="1"><divn="2"><divn="3"><p><pbfacs="#f0131"n="107"/><fwplace="top"type="header">§ 35. Analytische Definition jener Umfangsbeziehungen.</fw><lb/><hirendition="#i">Gelegenheiten</hi>, bei welchen ebendiese Aussage anwendbar oder zulässig<lb/>
ist, gilt.</p><lb/><p>Als vonhause verständlich und allein bekannt werde wieder nur<lb/>
angesehen das Subsumtionszeichen <choice><orig></orig><reg>⊆</reg></choice>, sei es zwischen Gebiete oder<lb/>
Klassen gesetzt, sei es auch (insbesondere) zwischen Aussagen. Auch<lb/>
verstehen wir von selbst das (identische) Produkt zweier Aussagen,<lb/>
durch welches die Faktoraussagen als gleichzeitig gültige hingestellt<lb/>
werden.</p><lb/><p>Mit diesen Mitteln ist auch bereits die Gleichheit, und ins-<lb/>
besondre die Aussagenäquivalenz erklärt durch eine (unter anderm<lb/>
nachher wieder zu rekapitulirende) allgemeine Festsetzung. Durch<lb/>
diese Mittel hat auch die identische 0 und 1 des Gebiete- wie des<lb/>
Aussagenkalkuls, es hat das identische Produkt zweier Gebiete oder<lb/>
Klassen, sowie deren Summe, und damit auch (Produkt und) Summe<lb/>
von Aussagen ihre Definition in der bisherigen Theorie bereits syste-<lb/>
matisch gefunden, desgleichen endlich die Negation eines Gebietes und<lb/>
speziell auch die einer Aussage.</p><lb/><p>Es kommt aber noch darauf an, nunmehr auch zu definiren die<lb/>
sonstigen aufgezählten „Beziehungen“ als solche zwischen Gebieten<lb/>
und damit auch wiederum als solche zwischen irgend denkbaren<lb/>
Aussagen.</p><lb/><p>Am einfachsten definirt sich:<lb/>
[1<hirendition="#sup">0</hi>] <hirendition="#et"><hirendition="#i">b</hi> = <hirendition="#i">c</hi>', somit auch <hirendition="#i">b</hi><hirendition="#sub">1</hi> = <hirendition="#i">c</hi><hirendition="#sub">1</hi>',</hi><lb/>
das heisst: mittelst der Festsetzung:<lb/><hirendition="#c">{<hirendition="#i">A</hi><choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">B</hi>} = {<hirendition="#i">B</hi><choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">A</hi>}</hi><lb/>
wird als Sinn der Aussage linkerhand die Subsumtion rechterhand<lb/>
hingestellt. Es findet damit die aus didaktischen Gründen schon am<lb/>
Schluss des § 3, Bd. 1, S. 167, angeführte (dort unnumerirt gelassene)<lb/>
Definition der eventuellen Überordnung hier im System nun ihre Stelle.</p><lb/><p>Weiter ist zu definiren:<lb/>
[2<hirendition="#sup">0</hi>] <hirendition="#et"><hirendition="#i">d</hi> = <hirendition="#i">c c</hi>' = <hirendition="#i">b c</hi>, sonach <hirendition="#i">d</hi><hirendition="#sub">1</hi> = <hirendition="#i">c</hi><hirendition="#sub">1</hi> + <hirendition="#i">c</hi><hirendition="#sub">1</hi>' = <hirendition="#i">b</hi><hirendition="#sub">1</hi> + <hirendition="#i">c</hi><hirendition="#sub">1</hi>,</hi><lb/>
d. h. mittelst:<lb/><hirendition="#c">{<hirendition="#i">A</hi> = <hirendition="#i">B</hi>} = {<hirendition="#i">A</hi><choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">B</hi>} {<hirendition="#i">B</hi><choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">A</hi>} = {<hirendition="#i">A</hi><choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">B</hi>} {<hirendition="#i">A</hi><choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">B</hi>}</hi><lb/>
wird der Begriff der Gleichheit auf den der Subsumtion gegründet —<lb/>
was wesentlich nur eine Reproduktion unsrer alten Def. (1) ist.</p><lb/><p>Hiernach erscheint der Gebrauch der Symbole <hirendition="#i">b</hi>, <hirendition="#i">c</hi>, <hirendition="#i">d</hi> fortan<lb/>
legitimirt.</p><lb/></div></div></div></body></text></TEI>
[107/0131]
§ 35. Analytische Definition jener Umfangsbeziehungen.
Gelegenheiten, bei welchen ebendiese Aussage anwendbar oder zulässig
ist, gilt.
Als vonhause verständlich und allein bekannt werde wieder nur
angesehen das Subsumtionszeichen , sei es zwischen Gebiete oder
Klassen gesetzt, sei es auch (insbesondere) zwischen Aussagen. Auch
verstehen wir von selbst das (identische) Produkt zweier Aussagen,
durch welches die Faktoraussagen als gleichzeitig gültige hingestellt
werden.
Mit diesen Mitteln ist auch bereits die Gleichheit, und ins-
besondre die Aussagenäquivalenz erklärt durch eine (unter anderm
nachher wieder zu rekapitulirende) allgemeine Festsetzung. Durch
diese Mittel hat auch die identische 0 und 1 des Gebiete- wie des
Aussagenkalkuls, es hat das identische Produkt zweier Gebiete oder
Klassen, sowie deren Summe, und damit auch (Produkt und) Summe
von Aussagen ihre Definition in der bisherigen Theorie bereits syste-
matisch gefunden, desgleichen endlich die Negation eines Gebietes und
speziell auch die einer Aussage.
Es kommt aber noch darauf an, nunmehr auch zu definiren die
sonstigen aufgezählten „Beziehungen“ als solche zwischen Gebieten
und damit auch wiederum als solche zwischen irgend denkbaren
Aussagen.
Am einfachsten definirt sich:
[10] b = c', somit auch b1 = c1',
das heisst: mittelst der Festsetzung:
{A  B} = {B  A}
wird als Sinn der Aussage linkerhand die Subsumtion rechterhand
hingestellt. Es findet damit die aus didaktischen Gründen schon am
Schluss des § 3, Bd. 1, S. 167, angeführte (dort unnumerirt gelassene)
Definition der eventuellen Überordnung hier im System nun ihre Stelle.
Weiter ist zu definiren:
[20] d = c c' = b c, sonach d1 = c1 + c1' = b1 + c1,
d. h. mittelst:
{A = B} = {A  B} {B  A} = {A  B} {A  B}
wird der Begriff der Gleichheit auf den der Subsumtion gegründet —
was wesentlich nur eine Reproduktion unsrer alten Def. (1) ist.
Hiernach erscheint der Gebrauch der Symbole b, c, d fortan
legitimirt.
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. 107. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/131>, abgerufen am 26.06.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/.