Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
§ 3. Identischer Kalkul mit Gebieten einer Mannigfaltigkeit.

Ohne Suffixum werden nur die "zu sich selbst dualen" Sätze
chiffrirt erscheinen.

Als für die Theorie vorerst unwesentlich -- indess behufs etwaiger
Nebenbemerkungen vorausgeschickt zu wünschen -- lasse ich zur Zeit
unchiffrirt die

(Definition). Unter einer Aussage von der Form:
b @ a
(sprich: b übergeordnet oder gleich a, b super a) soll ganz das nämliche
verstanden werden, wie wenn man sagt, dass
a b
sei. Eine Subsumtion kann hienach auch rückwärts gelesen werden, in-
dem man nur das Subsumtionszeichen
als Supersumtionszeichen inter-
pretirt, resp. "umkehrt".

Kraft dieser Definition vermögen wir auch den (verhältnissmässig sel-
tenen) Fällen gerecht zu werden, in welchen die Wortsprache das Prädikat
dem Subjekte voranzustellen liebt -- auf welche bereits in § 2 hingewiesen
wurde: auch dergleichen Urteile mögen wir jetzt unmittelbar in die For-
melsprache übertragen, ohne dass wir erst genötigt wären, eine Umstellung
der beiden Satzglieder dabei vorzunehmen.

Ökonomisch und von Wert wird solche Möglichkeit sich besonders
dann erweisen, wenn etwa der natürliche Gedankenverlauf dahin geführt
hat, das Prädikat zuerst, vor dem Subjekte, zu beschreiben und wenn diese
Schilderung sowie auch der Ausdruck gedachten Prädikates in den Sym-
bolen unsrer Formelsprache einigermassen komplizirt erscheint, weit-
läufig ist. Wollte man in solchem Falle das Subjekt in die gewöhnliche
typische oder normale Stellung zum Prädikate bringen, so wäre man ge-
nötigt, die umständliche Beschreibung, den komplizirten Namen oder Aus-
druck des letzteren (hinter dem Subjekte, nachdem er vor demselben zuerst
gefallen ist) zu wiederholen, was mühsam und langweilig sein kann. Die
Wortsprache vermag sich dem durch den Gebrauch eines hinweisenden Für-
worts zu entziehen, indem sie auf das Prädikat als auf jenes oder dieses
eben beschriebene Ding zurückverweist. In der Formelsprache könnten wir
allenfalls solcher lästigen umständlichen Wiederholung dadurch auch aus
dem Wege gehen, dass wir sofort, nachdem der komplizirte Name des Prä-
dikats erstmalig vollendet ist, ein einfaches Buchstabensymbol als Abkür-
zung für denselben, als Name ad hoc oder Hülfsbezeichnung für dieses Prä-
dikat einführten, sodass dessen Wiederholung dann keine Umstände mehr
verursacht. Doch kann auch dies schon eine Nötigung zu unbequemen
Weiterungen (wie Überladung der Untersuchung mit Zeichen u. a.) in sich
schliessen, und bleibt das einfachste Auskunftsmittel jedenfalls das anmit
geschaffene: die Beziehung des Subjekts zum Prädikate in der umgekehrten
Ordnung als eine rückwärts gelesene Subsumtion oder "Supersumtion" dann
zum Ausdruck zu bringen.

In die systematische Darstellung unsrer Disziplin werden wir das
Supersumtionszeichen @ erst in § 34 aufnehmen.


§ 3. Identischer Kalkul mit Gebieten einer Mannigfaltigkeit.

Ohne Suffixum werden nur die „zu sich selbst dualen“ Sätze
chiffrirt erscheinen.

Als für die Theorie vorerst unwesentlich — indess behufs etwaiger
Nebenbemerkungen vorausgeschickt zu wünschen — lasse ich zur Zeit
unchiffrirt die

(Definition). Unter einer Aussage von der Form:
ba
(sprich: b übergeordnet oder gleich a, b super a) soll ganz das nämliche
verstanden werden, wie wenn man sagt, dass
ab
sei. Eine Subsumtion kann hienach auch rückwärts gelesen werden, in-
dem man nur das Subsumtionszeichen
als Supersumtionszeichen inter-
pretirt, resp. „umkehrt“.

Kraft dieser Definition vermögen wir auch den (verhältnissmässig sel-
tenen) Fällen gerecht zu werden, in welchen die Wortsprache das Prädikat
dem Subjekte voranzustellen liebt — auf welche bereits in § 2 hingewiesen
wurde: auch dergleichen Urteile mögen wir jetzt unmittelbar in die For-
melsprache übertragen, ohne dass wir erst genötigt wären, eine Umstellung
der beiden Satzglieder dabei vorzunehmen.

Ökonomisch und von Wert wird solche Möglichkeit sich besonders
dann erweisen, wenn etwa der natürliche Gedankenverlauf dahin geführt
hat, das Prädikat zuerst, vor dem Subjekte, zu beschreiben und wenn diese
Schilderung sowie auch der Ausdruck gedachten Prädikates in den Sym-
bolen unsrer Formelsprache einigermassen komplizirt erscheint, weit-
läufig ist. Wollte man in solchem Falle das Subjekt in die gewöhnliche
typische oder normale Stellung zum Prädikate bringen, so wäre man ge-
nötigt, die umständliche Beschreibung, den komplizirten Namen oder Aus-
druck des letzteren (hinter dem Subjekte, nachdem er vor demselben zuerst
gefallen ist) zu wiederholen, was mühsam und langweilig sein kann. Die
Wortsprache vermag sich dem durch den Gebrauch eines hinweisenden Für-
worts zu entziehen, indem sie auf das Prädikat als auf jenes oder dieses
eben beschriebene Ding zurückverweist. In der Formelsprache könnten wir
allenfalls solcher lästigen umständlichen Wiederholung dadurch auch aus
dem Wege gehen, dass wir sofort, nachdem der komplizirte Name des Prä-
dikats erstmalig vollendet ist, ein einfaches Buchstabensymbol als Abkür-
zung für denselben, als Name ad hoc oder Hülfsbezeichnung für dieses Prä-
dikat einführten, sodass dessen Wiederholung dann keine Umstände mehr
verursacht. Doch kann auch dies schon eine Nötigung zu unbequemen
Weiterungen (wie Überladung der Untersuchung mit Zeichen u. a.) in sich
schliessen, und bleibt das einfachste Auskunftsmittel jedenfalls das anmit
geschaffene: die Beziehung des Subjekts zum Prädikate in der umgekehrten
Ordnung als eine rückwärts gelesene Subsumtion oder „Supersumtion“ dann
zum Ausdruck zu bringen.

In die systematische Darstellung unsrer Disziplin werden wir das
Supersumtionszeichen  erst in § 34 aufnehmen.


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0187" n="167"/>
            <fw place="top" type="header">§ 3. Identischer Kalkul mit Gebieten einer Mannigfaltigkeit.</fw><lb/>
            <p>Ohne Suffixum werden nur die &#x201E;zu sich selbst dualen&#x201C; Sätze<lb/>
chiffrirt erscheinen.</p><lb/>
            <p>Als für die Theorie vorerst unwesentlich &#x2014; indess behufs etwaiger<lb/>
Nebenbemerkungen vorausgeschickt zu wünschen &#x2014; lasse ich zur Zeit<lb/>
unchiffrirt die</p><lb/>
            <p>(<hi rendition="#g">Definition</hi>). Unter einer Aussage von der Form:<lb/><hi rendition="#c"><hi rendition="#i">b</hi> &#xFFFC; <hi rendition="#i">a</hi></hi><lb/>
(sprich: <hi rendition="#i">b übergeordnet oder gleich a, b super a</hi>) soll ganz das nämliche<lb/>
verstanden werden, wie wenn man sagt, dass<lb/><hi rendition="#c"><hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi></hi><lb/>
sei. <hi rendition="#i">Eine Subsumtion kann hienach auch rückwärts gelesen werden</hi>, <hi rendition="#i">in-<lb/>
dem man nur das Subsumtionszeichen</hi> als Supersumtionszeichen inter-<lb/>
pretirt, resp. &#x201E;<hi rendition="#i">umkehrt</hi>&#x201C;.</p><lb/>
            <p>Kraft dieser Definition vermögen wir auch den (verhältnissmässig sel-<lb/>
tenen) Fällen gerecht zu werden, in welchen die Wortsprache das Prädikat<lb/>
dem Subjekte voranzustellen liebt &#x2014; auf welche bereits in § 2 hingewiesen<lb/>
wurde: auch dergleichen Urteile mögen wir jetzt unmittelbar in die For-<lb/>
melsprache übertragen, ohne dass wir erst genötigt wären, eine Umstellung<lb/>
der beiden Satzglieder dabei vorzunehmen.</p><lb/>
            <p>Ökonomisch und von Wert wird solche Möglichkeit sich besonders<lb/>
dann erweisen, wenn etwa der natürliche Gedankenverlauf dahin geführt<lb/>
hat, das Prädikat zuerst, vor dem Subjekte, zu beschreiben und wenn diese<lb/>
Schilderung sowie auch der Ausdruck gedachten Prädikates in den Sym-<lb/>
bolen unsrer Formelsprache einigermassen komplizirt erscheint, weit-<lb/>
läufig ist. Wollte man in solchem Falle das Subjekt in die gewöhnliche<lb/>
typische oder normale Stellung zum Prädikate bringen, so wäre man ge-<lb/>
nötigt, die umständliche Beschreibung, den komplizirten Namen oder Aus-<lb/>
druck des letzteren (hinter dem Subjekte, nachdem er vor demselben zuerst<lb/>
gefallen ist) <hi rendition="#i">zu wiederholen</hi>, was mühsam und langweilig sein kann. Die<lb/>
Wortsprache vermag sich dem durch den Gebrauch eines hinweisenden Für-<lb/>
worts zu entziehen, indem sie auf das Prädikat als auf jenes oder dieses<lb/>
eben beschriebene Ding zurückverweist. In der Formelsprache könnten wir<lb/>
allenfalls solcher lästigen umständlichen Wiederholung dadurch auch aus<lb/>
dem Wege gehen, dass wir sofort, nachdem der komplizirte Name des Prä-<lb/>
dikats erstmalig vollendet ist, ein einfaches Buchstabensymbol als Abkür-<lb/>
zung für denselben, als Name ad hoc oder Hülfsbezeichnung für dieses Prä-<lb/>
dikat einführten, sodass dessen Wiederholung dann keine Umstände mehr<lb/>
verursacht. Doch kann auch dies schon eine Nötigung zu unbequemen<lb/>
Weiterungen (wie Überladung der Untersuchung mit Zeichen u. a.) in sich<lb/>
schliessen, und bleibt das einfachste Auskunftsmittel jedenfalls das anmit<lb/>
geschaffene: die Beziehung des Subjekts zum Prädikate in der umgekehrten<lb/>
Ordnung als eine rückwärts gelesene Subsumtion oder &#x201E;Supersumtion&#x201C; dann<lb/>
zum Ausdruck zu bringen.</p><lb/>
            <p>In die systematische Darstellung unsrer Disziplin werden wir das<lb/>
Supersumtionszeichen &#xFFFC; erst in § 34 aufnehmen.</p>
          </div>
        </div>
      </div><lb/>
      <milestone rendition="#hr" unit="section"/>
    </body>
  </text>
</TEI>
[167/0187] § 3. Identischer Kalkul mit Gebieten einer Mannigfaltigkeit. Ohne Suffixum werden nur die „zu sich selbst dualen“ Sätze chiffrirt erscheinen. Als für die Theorie vorerst unwesentlich — indess behufs etwaiger Nebenbemerkungen vorausgeschickt zu wünschen — lasse ich zur Zeit unchiffrirt die (Definition). Unter einer Aussage von der Form: b  a (sprich: b übergeordnet oder gleich a, b super a) soll ganz das nämliche verstanden werden, wie wenn man sagt, dass a ⋹ b sei. Eine Subsumtion kann hienach auch rückwärts gelesen werden, in- dem man nur das Subsumtionszeichen als Supersumtionszeichen inter- pretirt, resp. „umkehrt“. Kraft dieser Definition vermögen wir auch den (verhältnissmässig sel- tenen) Fällen gerecht zu werden, in welchen die Wortsprache das Prädikat dem Subjekte voranzustellen liebt — auf welche bereits in § 2 hingewiesen wurde: auch dergleichen Urteile mögen wir jetzt unmittelbar in die For- melsprache übertragen, ohne dass wir erst genötigt wären, eine Umstellung der beiden Satzglieder dabei vorzunehmen. Ökonomisch und von Wert wird solche Möglichkeit sich besonders dann erweisen, wenn etwa der natürliche Gedankenverlauf dahin geführt hat, das Prädikat zuerst, vor dem Subjekte, zu beschreiben und wenn diese Schilderung sowie auch der Ausdruck gedachten Prädikates in den Sym- bolen unsrer Formelsprache einigermassen komplizirt erscheint, weit- läufig ist. Wollte man in solchem Falle das Subjekt in die gewöhnliche typische oder normale Stellung zum Prädikate bringen, so wäre man ge- nötigt, die umständliche Beschreibung, den komplizirten Namen oder Aus- druck des letzteren (hinter dem Subjekte, nachdem er vor demselben zuerst gefallen ist) zu wiederholen, was mühsam und langweilig sein kann. Die Wortsprache vermag sich dem durch den Gebrauch eines hinweisenden Für- worts zu entziehen, indem sie auf das Prädikat als auf jenes oder dieses eben beschriebene Ding zurückverweist. In der Formelsprache könnten wir allenfalls solcher lästigen umständlichen Wiederholung dadurch auch aus dem Wege gehen, dass wir sofort, nachdem der komplizirte Name des Prä- dikats erstmalig vollendet ist, ein einfaches Buchstabensymbol als Abkür- zung für denselben, als Name ad hoc oder Hülfsbezeichnung für dieses Prä- dikat einführten, sodass dessen Wiederholung dann keine Umstände mehr verursacht. Doch kann auch dies schon eine Nötigung zu unbequemen Weiterungen (wie Überladung der Untersuchung mit Zeichen u. a.) in sich schliessen, und bleibt das einfachste Auskunftsmittel jedenfalls das anmit geschaffene: die Beziehung des Subjekts zum Prädikate in der umgekehrten Ordnung als eine rückwärts gelesene Subsumtion oder „Supersumtion“ dann zum Ausdruck zu bringen. In die systematische Darstellung unsrer Disziplin werden wir das Supersumtionszeichen  erst in § 34 aufnehmen.

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
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_logik01_1890
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik01_1890/187
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 167. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/187>, abgerufen am 16.04.2024.