eindeutig bestimmt, also x konstant, unabhängig von u, sein werde?, u. a. m. Wir werden deshalb noch ein paarmal auf das Problem zurückzukommen haben. --
§ 20. Vorübergehend "Transoperationen" genannte Knüpfungen und deren Inversionsprobleme. Quaderrelative.
Eine wichtige aber schwere Frage ist die nach der Vollständigkeit unsrer Algebra der binären Relative, nämlich die Frage: ob diese Disziplin mit ihren sechs Spezies für alle Zwecke der reinen und angewandten Theorie (insbesondre auch der Logik binärer Relativbegriffe) notwendig ausreicht?
Wir hoffen dieser Frage später noch näher zu treten, uns hier be- gnügend, mit einer kleinen Episode zu derselben zunächst einmal blos ein Scherflein beizusteuern.
Beim ersten Blick auf die Definitionen (12) S. 29 der beiden relativen Knüpfungen vermittelst des allgemeinen Koeffizienten ihres Erzeugnisses nimmt man wahr, dass sich durch blosse Vertauschung der Zeichen S und P in ihnen zwei neue und eigenartige Knüpfungs- weisen ergeben müssen. Hätte man nicht vielleicht nötig gehabt, auch diese beiden -- sagen wir (vorübergehend): als zwei "Transoperationen" -- nämlich als eine
"Transmultiplikation
"Transaddition"*)
zu definiren mittelst der Festsetzung: 1)
(ab)i j = Phai hbh j
(ab)i j = Sh(ai h + bh j)
und somit noch die Ausdrücke:
ab sprich a "ab" b
ab sprich a "auf" b
unsrer Theorie als Erzeugniss zweier weitern "Spezies" einzuverleiben?
Diese spezielle Frage wenigstens ist zu verneinen.
Nach bekannten Festsetzungen und Schemata des Aussagenkalkuls kann man nämlich zerlegen und wieder vereinigen:
(ab)i j = Phai hPhbh j =
(ab)i j = Shai h + Shbh j =
= Ph(ai h + 0h j)Ph(0i h + bh j) =
= Shai h1h j + Sh1i hbh j =
= (a j 0)i j(0 j b)i j =
= (a ; 1)i j + (1 ; b)i j =
= {a j 0)(0 j b)}i j
= (a ; 1 + 1 ; b)i j
woraus hervorgeht, dass die Relative 2)
ab = (a j 0)(0 j b)
ab = a ; 1 + 1 ; b
als durch die bisherigen 6 Spezies schon hinreichend einfach ausdrück-
*) In 5 p. 52 gebraucht Peirce diesen Namen in einem ganz andern, mit Recht von ihm wieder fallen gelassenen Sinne.
Siebente Vorlesung.
eindeutig bestimmt, also x konstant, unabhängig von u, sein werde?, u. a. m. Wir werden deshalb noch ein paarmal auf das Problem zurückzukommen haben. —
§ 20. Vorübergehend „Transoperationen“ genannte Knüpfungen und deren Inversionsprobleme. Quaderrelative.
Eine wichtige aber schwere Frage ist die nach der Vollständigkeit unsrer Algebra der binären Relative, nämlich die Frage: ob diese Disziplin mit ihren sechs Spezies für alle Zwecke der reinen und angewandten Theorie (insbesondre auch der Logik binärer Relativbegriffe) notwendig ausreicht?
Wir hoffen dieser Frage später noch näher zu treten, uns hier be- gnügend, mit einer kleinen Episode zu derselben zunächst einmal blos ein Scherflein beizusteuern.
Beim ersten Blick auf die Definitionen (12) S. 29 der beiden relativen Knüpfungen vermittelst des allgemeinen Koeffizienten ihres Erzeugnisses nimmt man wahr, dass sich durch blosse Vertauschung der Zeichen Σ und Π in ihnen zwei neue und eigenartige Knüpfungs- weisen ergeben müssen. Hätte man nicht vielleicht nötig gehabt, auch diese beiden — sagen wir (vorübergehend): als zwei „Transoperationen“ — nämlich als eine
„Transmultiplikation
„Transaddition“*)
zu definiren mittelst der Festsetzung: 1)
(a ⌢ b)i j = Πhai hbh j
(a ⌣ b)i j = Σh(ai h + bh j)
und somit noch die Ausdrücke:
a ⌢ b sprich a „ab“ b
a ⌣ b sprich a „auf“ b
unsrer Theorie als Erzeugniss zweier weitern „Spezies“ einzuverleiben?
Diese spezielle Frage wenigstens ist zu verneinen.
Nach bekannten Festsetzungen und Schemata des Aussagenkalkuls kann man nämlich zerlegen und wieder vereinigen:
(a ⌢ b)i j = Πhai hΠhbh j =
(a ⌣ b)i j = Σhai h + Σhbh j =
= Πh(ai h + 0h j)Πh(0i h + bh j) =
= Σhai h1h j + Σh1i hbh j =
= (a ɟ 0)i j(0 ɟ b)i j =
= (a ; 1)i j + (1 ; b)i j =
= {a ɟ 0)(0 ɟ b)}i j
= (a ; 1 + 1 ; b)i j
woraus hervorgeht, dass die Relative 2)
a ⌢ b = (a ɟ 0)(0 ɟ b)
a ⌣ b = a ; 1 + 1 ; b
als durch die bisherigen 6 Spezies schon hinreichend einfach ausdrück-
*) In 5 p. 52 gebraucht Peirce diesen Namen in einem ganz andern, mit Recht von ihm wieder fallen gelassenen Sinne.
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0292"n="278"/><fwplace="top"type="header">Siebente Vorlesung.</fw><lb/>
eindeutig bestimmt, also <hirendition="#i">x</hi> konstant, unabhängig von <hirendition="#i">u</hi>, sein werde?,<lb/>
u. a. m. Wir werden deshalb noch ein paarmal auf das Problem<lb/>
zurückzukommen haben. —</p></div><lb/><divn="2"><head>§ 20. <hirendition="#b">Vorübergehend „Transoperationen“ genannte Knüpfungen<lb/>
und deren Inversionsprobleme. Quaderrelative.</hi></head><lb/><p>Eine wichtige aber schwere Frage ist die nach der <hirendition="#i">Vollständigkeit</hi><lb/>
unsrer Algebra der binären Relative, nämlich die Frage: ob diese Disziplin<lb/>
mit ihren sechs Spezies für alle Zwecke der reinen und angewandten Theorie<lb/>
(insbesondre auch der Logik binärer Relativbegriffe) notwendig ausreicht?</p><lb/><p>Wir hoffen dieser Frage später noch näher zu treten, uns hier be-<lb/>
gnügend, mit einer kleinen Episode zu derselben zunächst einmal blos ein<lb/>
Scherflein beizusteuern.</p><lb/><p>Beim ersten Blick auf die Definitionen (12) S. 29 der beiden<lb/>
relativen Knüpfungen vermittelst des allgemeinen Koeffizienten ihres<lb/>
Erzeugnisses nimmt man wahr, dass sich durch blosse Vertauschung<lb/>
der Zeichen <hirendition="#i">Σ</hi> und <hirendition="#i">Π</hi> in ihnen zwei neue und eigenartige Knüpfungs-<lb/>
weisen ergeben müssen. Hätte man nicht vielleicht nötig gehabt, auch<lb/>
diese beiden — sagen wir (vorübergehend): als zwei „<hirendition="#i">Transoperationen</hi>“<lb/>— nämlich als eine<lb/><table><row><cell>„<hirendition="#i">Transmultiplikation</hi></cell><cell>„<hirendition="#i">Transaddition</hi>“<noteplace="foot"n="*)">In <hirendition="#sup">5</hi> p. 52 gebraucht <hirendition="#g">Peirce</hi> diesen Namen in einem ganz andern, mit<lb/>
Recht von ihm wieder fallen gelassenen Sinne.</note></cell></row><lb/></table> zu definiren mittelst der Festsetzung:<lb/>
1) <table><lb/><row><cell>(<hirendition="#i">a</hi>⌢<hirendition="#i">b</hi>)<hirendition="#i"><hirendition="#sub">i j</hi></hi> = <hirendition="#i">Π<hirendition="#sub">h</hi>a<hirendition="#sub">i h</hi>b<hirendition="#sub">h j</hi></hi></cell><cell>(<hirendition="#i">a</hi>⌣<hirendition="#i">b</hi>)<hirendition="#i"><hirendition="#sub">i j</hi></hi> = <hirendition="#i">Σ<hirendition="#sub">h</hi></hi>(<hirendition="#i">a<hirendition="#sub">i h</hi></hi> + <hirendition="#i">b<hirendition="#sub">h j</hi></hi>)</cell></row><lb/></table> und somit noch die Ausdrücke:<lb/><table><row><cell><hirendition="#i">a</hi>⌢<hirendition="#i">b</hi> sprich <hirendition="#i">a</hi>„<hirendition="#i">ab</hi>“<hirendition="#i">b</hi></cell><cell><hirendition="#i">a</hi>⌣<hirendition="#i">b</hi> sprich <hirendition="#i">a</hi>„<hirendition="#i">auf</hi>“<hirendition="#i">b</hi></cell></row><lb/></table> unsrer Theorie als Erzeugniss zweier weitern „Spezies“ einzuverleiben?</p><lb/><p>Diese spezielle Frage wenigstens ist zu verneinen.</p><lb/><p>Nach bekannten Festsetzungen und Schemata des Aussagenkalkuls<lb/>
kann man nämlich zerlegen und wieder vereinigen:<lb/><table><row><cell>(<hirendition="#i">a</hi>⌢<hirendition="#i">b</hi>)<hirendition="#i"><hirendition="#sub">i j</hi></hi> = <hirendition="#i">Π<hirendition="#sub">h</hi>a<hirendition="#sub">i h</hi>Π<hirendition="#sub">h</hi>b<hirendition="#sub">h j</hi></hi> =</cell><cell>(<hirendition="#i">a</hi>⌣<hirendition="#i">b</hi>)<hirendition="#i"><hirendition="#sub">i j</hi></hi> = <hirendition="#i">Σ<hirendition="#sub">h</hi>a<hirendition="#sub">i h</hi></hi> + <hirendition="#i">Σ<hirendition="#sub">h</hi>b<hirendition="#sub">h j</hi></hi> =</cell></row><lb/><row><cell>= <hirendition="#i">Π<hirendition="#sub">h</hi></hi>(<hirendition="#i">a<hirendition="#sub">i h</hi></hi> + 0<hirendition="#i"><hirendition="#sub">h j</hi></hi>)<hirendition="#i">Π<hirendition="#sub">h</hi></hi>(0<hirendition="#i"><hirendition="#sub">i h</hi></hi> + <hirendition="#i">b<hirendition="#sub">h j</hi></hi>) =</cell><cell>= <hirendition="#i">Σ<hirendition="#sub">h</hi>a<hirendition="#sub">i h</hi></hi>1<hirendition="#i"><hirendition="#sub">h j</hi></hi> + <hirendition="#i">Σ<hirendition="#sub">h</hi></hi>1<hirendition="#i"><hirendition="#sub">i h</hi>b<hirendition="#sub">h j</hi></hi> =</cell></row><lb/><row><cell>= (<hirendition="#i">a</hi>ɟ 0)<hirendition="#i"><hirendition="#sub">i j</hi></hi>(0 ɟ<hirendition="#i">b</hi>)<hirendition="#i"><hirendition="#sub">i j</hi></hi> =</cell><cell>= (<hirendition="#i">a</hi> ; 1)<hirendition="#i"><hirendition="#sub">i j</hi></hi> + (1 ; <hirendition="#i">b</hi>)<hirendition="#i"><hirendition="#sub">i j</hi></hi> =</cell></row><lb/><row><cell>= {<hirendition="#i">a</hi>ɟ 0)(0 ɟ<hirendition="#i">b</hi>)}<hirendition="#i"><hirendition="#sub">i j</hi></hi></cell><cell>= (<hirendition="#i">a</hi> ; 1 + 1 ; <hirendition="#i">b</hi>)<hirendition="#i"><hirendition="#sub">i j</hi></hi></cell></row><lb/></table> woraus hervorgeht, dass die Relative<lb/>
2) <table><lb/><row><cell><hirendition="#i">a</hi>⌢<hirendition="#i">b</hi> = (<hirendition="#i">a</hi>ɟ 0)(0 ɟ<hirendition="#i">b</hi>)</cell><cell><hirendition="#i">a</hi>⌣<hirendition="#i">b</hi> = <hirendition="#i">a</hi> ; 1 + 1 ; <hirendition="#i">b</hi></cell></row><lb/></table> als durch die bisherigen 6 Spezies schon hinreichend einfach ausdrück-<lb/></p></div></div></body></text></TEI>
[278/0292]
Siebente Vorlesung.
eindeutig bestimmt, also x konstant, unabhängig von u, sein werde?,
u. a. m. Wir werden deshalb noch ein paarmal auf das Problem
zurückzukommen haben. —
§ 20. Vorübergehend „Transoperationen“ genannte Knüpfungen
und deren Inversionsprobleme. Quaderrelative.
Eine wichtige aber schwere Frage ist die nach der Vollständigkeit
unsrer Algebra der binären Relative, nämlich die Frage: ob diese Disziplin
mit ihren sechs Spezies für alle Zwecke der reinen und angewandten Theorie
(insbesondre auch der Logik binärer Relativbegriffe) notwendig ausreicht?
Wir hoffen dieser Frage später noch näher zu treten, uns hier be-
gnügend, mit einer kleinen Episode zu derselben zunächst einmal blos ein
Scherflein beizusteuern.
Beim ersten Blick auf die Definitionen (12) S. 29 der beiden
relativen Knüpfungen vermittelst des allgemeinen Koeffizienten ihres
Erzeugnisses nimmt man wahr, dass sich durch blosse Vertauschung
der Zeichen Σ und Π in ihnen zwei neue und eigenartige Knüpfungs-
weisen ergeben müssen. Hätte man nicht vielleicht nötig gehabt, auch
diese beiden — sagen wir (vorübergehend): als zwei „Transoperationen“
— nämlich als eine
„Transmultiplikation „Transaddition“ *)
zu definiren mittelst der Festsetzung:
1) (a ⌢ b)i j = Πhai hbh j (a ⌣ b)i j = Σh(ai h + bh j)
und somit noch die Ausdrücke:
a ⌢ b sprich a „ab“ b a ⌣ b sprich a „auf“ b
unsrer Theorie als Erzeugniss zweier weitern „Spezies“ einzuverleiben?
Diese spezielle Frage wenigstens ist zu verneinen.
Nach bekannten Festsetzungen und Schemata des Aussagenkalkuls
kann man nämlich zerlegen und wieder vereinigen:
(a ⌢ b)i j = Πhai hΠhbh j = (a ⌣ b)i j = Σhai h + Σhbh j =
= Πh(ai h + 0h j)Πh(0i h + bh j) = = Σhai h1h j + Σh1i hbh j =
= (a ɟ 0)i j(0 ɟ b)i j = = (a ; 1)i j + (1 ; b)i j =
= {a ɟ 0)(0 ɟ b)}i j = (a ; 1 + 1 ; b)i j
woraus hervorgeht, dass die Relative
2) a ⌢ b = (a ɟ 0)(0 ɟ b) a ⌣ b = a ; 1 + 1 ; b
als durch die bisherigen 6 Spezies schon hinreichend einfach ausdrück-
*) In 5 p. 52 gebraucht Peirce diesen Namen in einem ganz andern, mit
Recht von ihm wieder fallen gelassenen Sinne.
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. 278. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/292>, abgerufen am 19.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/.
