Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>

§ 50. Vervollkommnung gewisser Partieen des ersten Bandes.
trennende Zwischenstrecke. Hier gelten zunächst alle formalen "Grund-
lagen" des Gruppenkalkuls, dagegen nicht das volle Distributionsgesetz.
Denn versteht man unter a und b zwei auseinanderliegende (disjunkte)
Strecken und unter c eine innerhalb a + b gelegene, welche z. B. mit
a einen (echten) Teil a c (ihrer selbst), mit b aber nichts gemein hat,
so wird (a + b) c = c, dagegen a c + b c = a c + 0 = a c von c verschieden
ausfallen. -- Ich will diese sehr bequeme Exemplifikation nach ihrem
Urheber als den
Beweis 6 von Korselt registriren.

Lässt man nun aber mit Herrn Korselt als "Gebiete" auch "Aussen-
strecken" zu, so wird obendrein zwar der Begriff der Negation anwendbar
und jedem Gebiet ein Negat in Gestalt von dessen Ergänzung zur ganzen
Geraden zugeordnet. Auch kann man bei den Definitionen von a b und
a + b den Begriff des "grössten" oder "kleinsten" Gebietes beibehalten in
dem Sinne, dass jedes unendliche Gebiet, also jede Aussenstrecke für "grösser"
erklärt wird, als jedes endliche Gebiet, d. i. jede Innenstrecke, dass ferner
von zwei Aussenstrecken diejenige als grösser gilt, die von der ganzen Ge-
raden das kleinere Innenstück übrig lässt. Wie leicht zu sehen, trifft dann
die zweite Subsumtion des Distributionsgesetzes häufig nicht zu. Allein es
gelten auch schon die beiden oben erwähnten Teilsubsumtionen (3)' nicht
mehr allgemein, und überdies wird sowol a b als a + b in gewissen Fällen
zweideutig, -- in solchen nämlich, wo a eine Innenstrecke, b eine Aussenstrecke
vorstellt und die Endpunkte der einen zu denen der andern bezw. deren
Mitte symmetrisch liegen.

Um die vorliegende Gruppe von Vervollkommnungsbestrebungen
zum Abschluss zu bringen, liegt es mir endlich noch ob, über eine
Bemerkung von Herrn Korselt zu berichten, die mir von ihm brieflich
zu diesem Zwecke vorgelegt wurde und die Frage betrifft, ob nicht bei
Aufstellung der Grundlagen des identischen Kalkuls die zeitweilige Preis-
gebung des Dualismus, wie sie in unserer sechsten Vorlesung, Bd. 1 § 12
sich aufgedrängt, vermieden werden könne. Es handelt sich darum,
unser "drittes" Prinzip, das ich in dualistischer Hinsicht unsymmetrisch als
IIIx. (b c = 0) {a (b + c) a b + a c}
formulirt habe, zu ersetzen durch ein symmetrisches, mit dessen Hülfe
sich dann ebenfalls das volle Distributionsgesetz beweisen liesse, --
und zwar ohne Argumentiren auf Individuen oder Punkte unserer
Punktgebiete.

Diese letztere Einschränkung, (welche Herr Korselt nicht durchweg
berücksichtigt, so dass ich nur von einem Teile seiner Mitteilungen Gebrauch
machen kann), ist unerlässlich, wenn die Beweisführungen überhaupt in den
Lehrgang unseres Bd. 1 passen sollen. (Vollends Beweisführungen, bei denen

§ 50. Vervollkommnung gewisser Partieen des ersten Bandes.
trennende Zwischenstrecke. Hier gelten zunächst alle formalen „Grund-
lagen“ des Gruppenkalkuls, dagegen nicht das volle Distributionsgesetz.
Denn versteht man unter a und b zwei auseinanderliegende (disjunkte)
Strecken und unter c eine innerhalb a + b gelegene, welche z. B. mit
a einen (echten) Teil a c (ihrer selbst), mit b aber nichts gemein hat,
so wird (a + b) c = c, dagegen a c + b c = a c + 0 = a c von c verschieden
ausfallen. — Ich will diese sehr bequeme Exemplifikation nach ihrem
Urheber als den
Beweis 6 von Korselt registriren.

Lässt man nun aber mit Herrn Korselt als „Gebiete“ auch „Aussen-
strecken“ zu, so wird obendrein zwar der Begriff der Negation anwendbar
und jedem Gebiet ein Negat in Gestalt von dessen Ergänzung zur ganzen
Geraden zugeordnet. Auch kann man bei den Definitionen von a b und
a + b den Begriff des „grössten“ oder „kleinsten“ Gebietes beibehalten in
dem Sinne, dass jedes unendliche Gebiet, also jede Aussenstrecke für „grösser“
erklärt wird, als jedes endliche Gebiet, d. i. jede Innenstrecke, dass ferner
von zwei Aussenstrecken diejenige als grösser gilt, die von der ganzen Ge-
raden das kleinere Innenstück übrig lässt. Wie leicht zu sehen, trifft dann
die zweite Subsumtion des Distributionsgesetzes häufig nicht zu. Allein es
gelten auch schon die beiden oben erwähnten Teilsubsumtionen (3)' nicht
mehr allgemein, und überdies wird sowol a b als a + b in gewissen Fällen
zweideutig, — in solchen nämlich, wo a eine Innenstrecke, b eine Aussenstrecke
vorstellt und die Endpunkte der einen zu denen der andern bezw. deren
Mitte symmetrisch liegen.

Um die vorliegende Gruppe von Vervollkommnungsbestrebungen
zum Abschluss zu bringen, liegt es mir endlich noch ob, über eine
Bemerkung von Herrn Korselt zu berichten, die mir von ihm brieflich
zu diesem Zwecke vorgelegt wurde und die Frage betrifft, ob nicht bei
Aufstellung der Grundlagen des identischen Kalkuls die zeitweilige Preis-
gebung des Dualismus, wie sie in unserer sechsten Vorlesung, Bd. 1 § 12
sich aufgedrängt, vermieden werden könne. Es handelt sich darum,
unser „drittes“ Prinzip, das ich in dualistischer Hinsicht unsymmetrisch als
III×. (b c = 0) {a (b + c) a b + a c}
formulirt habe, zu ersetzen durch ein symmetrisches, mit dessen Hülfe
sich dann ebenfalls das volle Distributionsgesetz beweisen liesse, —
und zwar ohne Argumentiren auf Individuen oder Punkte unserer
Punktgebiete.

Diese letztere Einschränkung, (welche Herr Korselt nicht durchweg
berücksichtigt, so dass ich nur von einem Teile seiner Mitteilungen Gebrauch
machen kann), ist unerlässlich, wenn die Beweisführungen überhaupt in den
Lehrgang unseres Bd. 1 passen sollen. (Vollends Beweisführungen, bei denen

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0065" n="421"/><fw place="top" type="header">§ 50. Vervollkommnung gewisser Partieen des ersten Bandes.</fw><lb/>
trennende Zwischenstrecke. Hier gelten zunächst alle formalen &#x201E;Grund-<lb/>
lagen&#x201C; des Gruppenkalkuls, dagegen nicht das volle Distributionsgesetz.<lb/>
Denn versteht man unter <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi> zwei auseinanderliegende (disjunkte)<lb/>
Strecken und unter <hi rendition="#i">c</hi> eine innerhalb a + <hi rendition="#i">b</hi> gelegene, welche z. B. mit<lb/><hi rendition="#i">a</hi> einen (echten) Teil <hi rendition="#i">a c</hi> (ihrer selbst), mit <hi rendition="#i">b</hi> aber nichts gemein hat,<lb/>
so wird (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) <hi rendition="#i">c</hi> = <hi rendition="#i">c</hi>, dagegen <hi rendition="#i">a c</hi> + <hi rendition="#i">b c</hi> = <hi rendition="#i">a c</hi> + 0 = <hi rendition="#i">a c</hi> von <hi rendition="#i">c</hi> verschieden<lb/>
ausfallen. &#x2014; Ich will diese sehr bequeme Exemplifikation nach ihrem<lb/>
Urheber als den<lb/><hi rendition="#et"><hi rendition="#g">Beweis</hi> 6 von <hi rendition="#g">Korselt</hi> registriren.</hi></p><lb/>
            <p>Lässt man nun aber mit Herrn <hi rendition="#g">Korselt</hi> als &#x201E;Gebiete&#x201C; auch &#x201E;Aussen-<lb/>
strecken&#x201C; zu, so wird obendrein zwar der Begriff der <hi rendition="#i">Negation</hi> anwendbar<lb/>
und jedem Gebiet ein Negat in Gestalt von dessen Ergänzung zur ganzen<lb/>
Geraden zugeordnet. Auch kann man bei den Definitionen von <hi rendition="#i">a b</hi> und<lb/><hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> den Begriff des &#x201E;grössten&#x201C; oder &#x201E;kleinsten&#x201C; Gebietes beibehalten in<lb/>
dem Sinne, dass jedes unendliche Gebiet, also jede Aussenstrecke für &#x201E;grösser&#x201C;<lb/>
erklärt wird, als jedes endliche Gebiet, d. i. jede Innenstrecke, dass ferner<lb/>
von zwei Aussenstrecken diejenige als grösser gilt, die von der ganzen Ge-<lb/>
raden das kleinere Innenstück übrig lässt. Wie leicht zu sehen, trifft dann<lb/>
die zweite Subsumtion des Distributionsgesetzes häufig nicht zu. Allein es<lb/>
gelten auch schon die beiden oben erwähnten Teilsubsumtionen (3)' nicht<lb/>
mehr allgemein, und überdies wird sowol <hi rendition="#i">a b</hi> als <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> in gewissen Fällen<lb/><hi rendition="#i">zweideutig</hi>, &#x2014; in solchen nämlich, wo <hi rendition="#i">a</hi> eine Innenstrecke, <hi rendition="#i">b</hi> eine Aussenstrecke<lb/>
vorstellt und die Endpunkte der einen zu denen der andern bezw. deren<lb/>
Mitte symmetrisch liegen.</p><lb/>
            <p>Um die vorliegende Gruppe von Vervollkommnungsbestrebungen<lb/>
zum Abschluss zu bringen, liegt es mir endlich noch ob, über eine<lb/>
Bemerkung von Herrn <hi rendition="#g">Korselt</hi> zu berichten, die mir von ihm brieflich<lb/>
zu diesem Zwecke vorgelegt wurde und die Frage betrifft, ob nicht bei<lb/>
Aufstellung der Grundlagen des identischen Kalkuls die <hi rendition="#i">zeitweilige Preis-<lb/>
gebung des Dualismus</hi>, wie sie in unserer sechsten Vorlesung, Bd. 1 § 12<lb/>
sich aufgedrängt, vermieden werden könne. Es handelt sich darum,<lb/>
unser &#x201E;drittes&#x201C; Prinzip, das ich in dualistischer Hinsicht unsymmetrisch als<lb/>
III<hi rendition="#sub">×</hi>. <hi rendition="#et">(<hi rendition="#i">b c</hi> = 0) <g ref="subeq"/> {<hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) <g ref="subeq"/> <hi rendition="#i">a b</hi> + <hi rendition="#i">a c</hi>}</hi><lb/>
formulirt habe, zu ersetzen durch ein symmetrisches, mit dessen Hülfe<lb/>
sich dann ebenfalls das volle Distributionsgesetz beweisen liesse, &#x2014;<lb/>
und zwar ohne Argumentiren auf Individuen oder Punkte unserer<lb/>
Punktgebiete.</p><lb/>
            <p>Diese letztere Einschränkung, (welche Herr <hi rendition="#g">Korselt</hi> nicht durchweg<lb/>
berücksichtigt, so dass ich nur von einem Teile seiner Mitteilungen Gebrauch<lb/>
machen kann), ist unerlässlich, wenn die Beweisführungen überhaupt in den<lb/>
Lehrgang unseres Bd. 1 passen sollen. (Vollends Beweisführungen, bei denen<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[421/0065] § 50. Vervollkommnung gewisser Partieen des ersten Bandes. trennende Zwischenstrecke. Hier gelten zunächst alle formalen „Grund- lagen“ des Gruppenkalkuls, dagegen nicht das volle Distributionsgesetz. Denn versteht man unter a und b zwei auseinanderliegende (disjunkte) Strecken und unter c eine innerhalb a + b gelegene, welche z. B. mit a einen (echten) Teil a c (ihrer selbst), mit b aber nichts gemein hat, so wird (a + b) c = c, dagegen a c + b c = a c + 0 = a c von c verschieden ausfallen. — Ich will diese sehr bequeme Exemplifikation nach ihrem Urheber als den Beweis 6 von Korselt registriren. Lässt man nun aber mit Herrn Korselt als „Gebiete“ auch „Aussen- strecken“ zu, so wird obendrein zwar der Begriff der Negation anwendbar und jedem Gebiet ein Negat in Gestalt von dessen Ergänzung zur ganzen Geraden zugeordnet. Auch kann man bei den Definitionen von a b und a + b den Begriff des „grössten“ oder „kleinsten“ Gebietes beibehalten in dem Sinne, dass jedes unendliche Gebiet, also jede Aussenstrecke für „grösser“ erklärt wird, als jedes endliche Gebiet, d. i. jede Innenstrecke, dass ferner von zwei Aussenstrecken diejenige als grösser gilt, die von der ganzen Ge- raden das kleinere Innenstück übrig lässt. Wie leicht zu sehen, trifft dann die zweite Subsumtion des Distributionsgesetzes häufig nicht zu. Allein es gelten auch schon die beiden oben erwähnten Teilsubsumtionen (3)' nicht mehr allgemein, und überdies wird sowol a b als a + b in gewissen Fällen zweideutig, — in solchen nämlich, wo a eine Innenstrecke, b eine Aussenstrecke vorstellt und die Endpunkte der einen zu denen der andern bezw. deren Mitte symmetrisch liegen. Um die vorliegende Gruppe von Vervollkommnungsbestrebungen zum Abschluss zu bringen, liegt es mir endlich noch ob, über eine Bemerkung von Herrn Korselt zu berichten, die mir von ihm brieflich zu diesem Zwecke vorgelegt wurde und die Frage betrifft, ob nicht bei Aufstellung der Grundlagen des identischen Kalkuls die zeitweilige Preis- gebung des Dualismus, wie sie in unserer sechsten Vorlesung, Bd. 1 § 12 sich aufgedrängt, vermieden werden könne. Es handelt sich darum, unser „drittes“ Prinzip, das ich in dualistischer Hinsicht unsymmetrisch als III×. (b c = 0) {a (b + c) a b + a c} formulirt habe, zu ersetzen durch ein symmetrisches, mit dessen Hülfe sich dann ebenfalls das volle Distributionsgesetz beweisen liesse, — und zwar ohne Argumentiren auf Individuen oder Punkte unserer Punktgebiete. Diese letztere Einschränkung, (welche Herr Korselt nicht durchweg berücksichtigt, so dass ich nur von einem Teile seiner Mitteilungen Gebrauch machen kann), ist unerlässlich, wenn die Beweisführungen überhaupt in den Lehrgang unseres Bd. 1 passen sollen. (Vollends Beweisführungen, bei denen

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_logik0202_1905
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0202_1905/65
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 2. Leipzig, 1905, S. 421. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0202_1905/65>, abgerufen am 24.11.2024.