Prinzip I der Identität lautet: I.
[Formel 1]
, oder kürzer: °I.
[Formel 2]
. Statt zu sagen: der letztere Satz gilt stets, kann man ihn einfach hinstellen.
Wo in dieser Weise das Umschreiben, Transkribiren eines Theo- rems in die Formelsprache des Aussagenkalkuls keine Vereinfachung seines Ausdrucks liefert und deshalb besser unterlassen wird, wollen wir, wie soeben, ein Ringelchen vor die Chiffre des Theorems setzen.
Prinzip II des Subsumtionsschlusses (Barbara): II.
[Formel 3]
.
Definition (1) der Gleichheit: (1) Def.
[Formel 4]
.
Diese Formel definirt primäre oder Gebietegleichheit (a = b) aus der Subsumtion, und zwar vermittelst Ansetzung einer sekundären oder Aussagengleichheit (nämlich der Äquivalenterklärung zweier pri- mären Aussagen, wie sie das "freie" Gleichheitszeichen andeutet).
Damit dieselbe -- bei der im letzten Nebentext (S. 26) gekenn- zeichneten Deutungsweise unsrer Formeln als solcher des "reinen Aussagen- kalkuls" -- nicht als ein circulus in definiendo, eine Zirkeldefinition er- scheine, sondern als Definition auch der Aussagengleichheit wirklich gelten könne, muss die Berufung auf diesen Begriff und anderweitiger Gebrauch des zugehörigen Beziehungszeichens in ihr selbst vermieden werden.
Dies ist leicht hinzubringen dadurch, dass man die Formel auflöst in das (zwar "gleich" i gesetzt zu denkende, hier aber besser nur schlecht- weg hingestellte) Produkt zweier Subsumtionen:
[Formel 5]
, welches nun erst kraft seines eigenen Sinnes sowie Schema's in die oben als Def. (1) hingestellte Gleichung zusammenzuziehen wäre.
Man bemerkt nämlich, dass ebenso wie die in ihr vorkommende Teil- aussage (ab) (ba), so auch die ganze Aussage oder Festsetzung das Produkt ist zweier vor- und rückwärts in einander übergehenden Subsum- tionen, mithin von ebendieser Form: (AB) (BA), nur dass jetzt A die Aussage (ab) (ba) und B die Aussage (a = b) bedeutet. Nach der in ihr selbst gegebnen, für alle Aussagen -- mögen sie a, b oder A, B heissen -- gelten sollenden Erklärung folgt sonach aus ihr auch: A = B, das heisst: wir dürfen die Definition (1)', wie zu An- fang, nun auch selbst als Gleichung (1) schreiben, und unter dieser ist umgekehrt nichts anderes als das Subsumtionenprodukt (1)' zu verstehen.
Zusatz zu Def. (1): (a = b) = (b = a).
Fünfzehnte Vorlesung.
Prinzip I der Identität lautet: I.
[Formel 1]
, oder kürzer: °I.
[Formel 2]
. Statt zu sagen: der letztere Satz gilt stets, kann man ihn einfach hinstellen.
Wo in dieser Weise das Umschreiben, Transkribiren eines Theo- rems in die Formelsprache des Aussagenkalkuls keine Vereinfachung seines Ausdrucks liefert und deshalb besser unterlassen wird, wollen wir, wie soeben, ein Ringelchen vor die Chiffre des Theorems setzen.
Prinzip II des Subsumtionsschlusses (Barbara): II.
[Formel 3]
.
Definition (1) der Gleichheit: (1) Def.
[Formel 4]
.
Diese Formel definirt primäre oder Gebietegleichheit (a = b) aus der Subsumtion, und zwar vermittelst Ansetzung einer sekundären oder Aussagengleichheit (nämlich der Äquivalenterklärung zweier pri- mären Aussagen, wie sie das „freie“ Gleichheitszeichen andeutet).
Damit dieselbe — bei der im letzten Nebentext (S. 26) gekenn- zeichneten Deutungsweise unsrer Formeln als solcher des „reinen Aussagen- kalkuls“ — nicht als ein circulus in definiendo, eine Zirkeldefinition er- scheine, sondern als Definition auch der Aussagengleichheit wirklich gelten könne, muss die Berufung auf diesen Begriff und anderweitiger Gebrauch des zugehörigen Beziehungszeichens in ihr selbst vermieden werden.
Dies ist leicht hinzubringen dadurch, dass man die Formel auflöst in das (zwar „gleich“ i gesetzt zu denkende, hier aber besser nur schlecht- weg hingestellte) Produkt zweier Subsumtionen:
[Formel 5]
, welches nun erst kraft seines eigenen Sinnes sowie Schema’s in die oben als Def. (1) hingestellte Gleichung zusammenzuziehen wäre.
Man bemerkt nämlich, dass ebenso wie die in ihr vorkommende Teil- aussage (a⊆b) (b⊆a), so auch die ganze Aussage oder Festsetzung das Produkt ist zweier vor- und rückwärts in einander übergehenden Subsum- tionen, mithin von ebendieser Form: (A⊆B) (B⊆A), nur dass jetzt A die Aussage (a⊆b) (b⊆a) und B die Aussage (a = b) bedeutet. Nach der in ihr selbst gegebnen, für alle Aussagen — mögen sie a, b oder A, B heissen — gelten sollenden Erklärung folgt sonach aus ihr auch: A = B, das heisst: wir dürfen die Definition (1)', wie zu An- fang, nun auch selbst als Gleichung (1) schreiben, und unter dieser ist umgekehrt nichts anderes als das Subsumtionenprodukt (1)' zu verstehen.
Zusatz zu Def. (1): (a = b) = (b = a).
<TEI><text><body><divn="1"><divn="2"><divn="3"><pbfacs="#f0052"n="28"/><fwplace="top"type="header">Fünfzehnte Vorlesung.</fw><lb/><p><hirendition="#g">Prinzip I der Identität</hi> lautet:<lb/>
I. <hirendition="#et"><formula/>, oder kürzer:</hi><lb/>
°I. <hirendition="#et"><formula/>.</hi><lb/>
Statt zu sagen: der letztere Satz gilt stets, kann man ihn einfach<lb/>
hinstellen.</p><lb/><p>Wo in dieser Weise das Umschreiben, Transkribiren eines Theo-<lb/>
rems in die Formelsprache des Aussagenkalkuls keine Vereinfachung<lb/>
seines Ausdrucks liefert und deshalb besser unterlassen wird, wollen<lb/>
wir, wie soeben, ein Ringelchen vor die Chiffre des Theorems setzen.</p><lb/><p><hirendition="#g">Prinzip</hi> II <hirendition="#g">des Subsumtionsschlusses</hi> (Barbara):<lb/>
II. <hirendition="#et"><formula/>.</hi></p><lb/><p><hirendition="#g">Definition</hi> (1) <hirendition="#g">der Gleichheit</hi>:<lb/>
(1) Def. <hirendition="#et"><formula/>.</hi></p><lb/><p>Diese Formel definirt primäre oder <hirendition="#i">Gebietegleichheit</hi> (<hirendition="#i">a</hi> = <hirendition="#i">b</hi>) aus<lb/>
der Subsumtion, und zwar vermittelst Ansetzung einer sekundären<lb/>
oder <hirendition="#i">Aussagengleichheit</hi> (nämlich der Äquivalenterklärung zweier pri-<lb/>
mären Aussagen, wie sie das „freie“ Gleichheitszeichen andeutet).</p><lb/><p>Damit dieselbe — bei der im letzten Nebentext (S. 26) gekenn-<lb/>
zeichneten Deutungsweise unsrer Formeln als solcher des „reinen Aussagen-<lb/>
kalkuls“— nicht als ein circulus in definiendo, eine Zirkeldefinition er-<lb/>
scheine, sondern als Definition auch der <hirendition="#i">Aussagengleichheit</hi> wirklich gelten<lb/>
könne, muss die Berufung auf diesen Begriff und anderweitiger Gebrauch<lb/>
des zugehörigen Beziehungszeichens in ihr selbst vermieden werden.</p><lb/><p>Dies ist leicht hinzubringen dadurch, dass man die Formel auflöst in<lb/>
das (zwar „gleich“ i gesetzt zu denkende, hier aber besser nur schlecht-<lb/>
weg hingestellte) Produkt zweier Subsumtionen:<lb/><formula/>,<lb/>
welches nun erst kraft seines eigenen Sinnes sowie Schema’s in die oben<lb/>
als Def. (1) hingestellte Gleichung zusammenzuziehen wäre.</p><lb/><p>Man bemerkt nämlich, dass ebenso wie die in ihr vorkommende Teil-<lb/>
aussage (<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>), so auch die ganze Aussage oder Festsetzung das<lb/>
Produkt ist zweier vor- und rückwärts in einander übergehenden Subsum-<lb/>
tionen, mithin von ebendieser Form: (<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>), nur dass jetzt<lb/><hirendition="#i">A</hi> die Aussage (<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>) und <hirendition="#i">B</hi> die Aussage (<hirendition="#i">a</hi> = <hirendition="#i">b</hi>) bedeutet.<lb/>
Nach der in ihr selbst gegebnen, für <hirendition="#i">alle</hi> Aussagen — mögen sie <hirendition="#i">a</hi>, <hirendition="#i">b</hi><lb/>
oder <hirendition="#i">A</hi>, <hirendition="#i">B</hi> heissen — gelten sollenden Erklärung <hirendition="#i">folgt</hi> sonach aus ihr<lb/>
auch: <hirendition="#i">A</hi> = <hirendition="#i">B</hi>, das heisst: wir dürfen die Definition (1)', wie zu An-<lb/>
fang, nun auch selbst als Gleichung (1) schreiben, und unter dieser ist<lb/>
umgekehrt nichts anderes als das Subsumtionenprodukt (1)' zu verstehen.</p><lb/><p><hirendition="#g">Zusatz zu Def.</hi> (1): (<hirendition="#i">a</hi> = <hirendition="#i">b</hi>) = (<hirendition="#i">b</hi> = <hirendition="#i">a</hi>).</p><lb/></div></div></div></body></text></TEI>
[28/0052]
Fünfzehnte Vorlesung.
Prinzip I der Identität lautet:
I. [FORMEL], oder kürzer:
°I. [FORMEL].
Statt zu sagen: der letztere Satz gilt stets, kann man ihn einfach
hinstellen.
Wo in dieser Weise das Umschreiben, Transkribiren eines Theo-
rems in die Formelsprache des Aussagenkalkuls keine Vereinfachung
seines Ausdrucks liefert und deshalb besser unterlassen wird, wollen
wir, wie soeben, ein Ringelchen vor die Chiffre des Theorems setzen.
Prinzip II des Subsumtionsschlusses (Barbara):
II. [FORMEL].
Definition (1) der Gleichheit:
(1) Def. [FORMEL].
Diese Formel definirt primäre oder Gebietegleichheit (a = b) aus
der Subsumtion, und zwar vermittelst Ansetzung einer sekundären
oder Aussagengleichheit (nämlich der Äquivalenterklärung zweier pri-
mären Aussagen, wie sie das „freie“ Gleichheitszeichen andeutet).
Damit dieselbe — bei der im letzten Nebentext (S. 26) gekenn-
zeichneten Deutungsweise unsrer Formeln als solcher des „reinen Aussagen-
kalkuls“ — nicht als ein circulus in definiendo, eine Zirkeldefinition er-
scheine, sondern als Definition auch der Aussagengleichheit wirklich gelten
könne, muss die Berufung auf diesen Begriff und anderweitiger Gebrauch
des zugehörigen Beziehungszeichens in ihr selbst vermieden werden.
Dies ist leicht hinzubringen dadurch, dass man die Formel auflöst in
das (zwar „gleich“ i gesetzt zu denkende, hier aber besser nur schlecht-
weg hingestellte) Produkt zweier Subsumtionen:
[FORMEL],
welches nun erst kraft seines eigenen Sinnes sowie Schema’s in die oben
als Def. (1) hingestellte Gleichung zusammenzuziehen wäre.
Man bemerkt nämlich, dass ebenso wie die in ihr vorkommende Teil-
aussage (a  b) (b  a), so auch die ganze Aussage oder Festsetzung das
Produkt ist zweier vor- und rückwärts in einander übergehenden Subsum-
tionen, mithin von ebendieser Form: (A  B) (B  A), nur dass jetzt
A die Aussage (a  b) (b  a) und B die Aussage (a = b) bedeutet.
Nach der in ihr selbst gegebnen, für alle Aussagen — mögen sie a, b
oder A, B heissen — gelten sollenden Erklärung folgt sonach aus ihr
auch: A = B, das heisst: wir dürfen die Definition (1)', wie zu An-
fang, nun auch selbst als Gleichung (1) schreiben, und unter dieser ist
umgekehrt nichts anderes als das Subsumtionenprodukt (1)' zu verstehen.
Zusatz zu Def. (1): (a = b) = (b = a).
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. 28. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/52>, abgerufen am 14.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/.