Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.

Bild:
<< vorherige Seite
nächste Seite >>
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).

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>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0052" n="28"/>
            <fw place="top" type="header">Fünfzehnte Vorlesung.</fw><lb/>
            <p><hi rendition="#g">Prinzip I der Identität</hi> lautet:<lb/>
I. <hi rendition="#et"><formula/>, oder kürzer:</hi><lb/>
°I. <hi rendition="#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><hi rendition="#g">Prinzip</hi> II <hi rendition="#g">des Subsumtionsschlusses</hi> (Barbara):<lb/>
II. <hi rendition="#et"><formula/>.</hi></p><lb/>
            <p><hi rendition="#g">Definition</hi> (1) <hi rendition="#g">der Gleichheit</hi>:<lb/>
(1) Def. <hi rendition="#et"><formula/>.</hi></p><lb/>
            <p>Diese Formel definirt primäre oder <hi rendition="#i">Gebietegleichheit</hi> (<hi rendition="#i">a</hi> = <hi rendition="#i">b</hi>) aus<lb/>
der Subsumtion, und zwar vermittelst Ansetzung einer sekundären<lb/>
oder <hi rendition="#i">Aussagengleichheit</hi> (nämlich der Äquivalenterklärung zweier pri-<lb/>
mären Aussagen, wie sie das &#x201E;freie&#x201C; Gleichheitszeichen andeutet).</p><lb/>
            <p>Damit dieselbe &#x2014; bei der im letzten Nebentext (S. 26) gekenn-<lb/>
zeichneten Deutungsweise unsrer Formeln als solcher des &#x201E;reinen Aussagen-<lb/>
kalkuls&#x201C; &#x2014; nicht als ein circulus in definiendo, eine Zirkeldefinition er-<lb/>
scheine, sondern als Definition auch der <hi rendition="#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 &#x201E;gleich&#x201C; 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&#x2019;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 (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#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: (<hi rendition="#i">A</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">B</hi>) (<hi rendition="#i">B</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">A</hi>), nur dass jetzt<lb/><hi rendition="#i">A</hi> die Aussage (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) und <hi rendition="#i">B</hi> die Aussage (<hi rendition="#i">a</hi> = <hi rendition="#i">b</hi>) bedeutet.<lb/>
Nach der in ihr selbst gegebnen, für <hi rendition="#i">alle</hi> Aussagen &#x2014; mögen sie <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi><lb/>
oder <hi rendition="#i">A</hi>, <hi rendition="#i">B</hi> heissen &#x2014; gelten sollenden Erklärung <hi rendition="#i">folgt</hi> sonach aus ihr<lb/>
auch: <hi rendition="#i">A</hi> = <hi rendition="#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><hi rendition="#g">Zusatz zu Def.</hi> (1): (<hi rendition="#i">a</hi> = <hi rendition="#i">b</hi>) = (<hi rendition="#i">b</hi> = <hi rendition="#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).

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ?

Language Resource Switchboard?

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.




Ansicht auf Standard zurückstellen

URL zu diesem Werk: https://www.deutschestextarchiv.de/schroeder_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/52
Zitationshilfe: 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 28.11.2024.