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 >>
§ 28. Aussagen nach der Klasse ihrer Anwendungsgelegenheiten betrachtet.

Bedeutete ferner a die Aussage: "Die Ecken des Vierecks A B C D
liegen auf einem Kreise", b die Aussage: "die Gegenwinkel des Vier-
ecks A B C D sind Supplemente", so wäre a = b, denn eines bedingt
immer das andere nach bekannten geometrischen Sätzen. Die beiden
äquivalenten Aussagen a, b dürften hier gleichwol nicht "äquipollente"
genannt werden, weil sie erst auf Grund der Axiome Euklid'scher
Geometrie denknotwendig auseinander folgen -- diese Axiome aber an-
zunehmen erwiesenermassen keine Denknotwendigkeit gebietet.

Mit der Subsumtion nun, mit ihrer Deutungs- und Anwendungs-
fähigkeit, haben wir wiederum die Grundlage des ganzen identischen
Kalkuls gewonnen. Es stellt sich der Aussagenkalkul dergestalt als
eine spezielle Anwendungsweise des Klassenkalkuls dar.

Auch die früher aufgestellte "Gültigkeitsdauer" bei denjenigen
Aussagen, bei welchen ungezwungen von einer solchen sich sprechen
lässt, kann jetzt ohne weiteres aufgefasst (oder umgedeutet) werden
als die Klasse derjenigen Gelegenheiten, bei welchen die betreffende
Aussage als eine zutreffende anwendbar ist, indem hier eben nur diese
Gelegenheiten an bestimmte Zeiten sich gebunden erwiesen. Ist die
Aussage z. B. "Es regnet soeben am hiesigen Platze" im gegen-
wärtigen Zeitpunkt richtig, weil es wirklich draussen regnet, so ist
jetzt auch eine Gelegenheit, die Aussage als eine gültige zu machen,
und vice versa.

Es wird demnach das Gebäude unsres Aussagenkalkuls auf einer
völlig einheitlichen Grundlage ruhen.

Die Nullaussage entspricht wiederum einer leeren Klasse, die
keine einzige Gelegenheit berechtigter Anwendung der Aussage in sich
schliesst. Und die i, der wir auch jetzt noch den Punkt belassen
wollen, mag man auffassen als die Gesamtklasse aller Gelegenheiten,
bei welchen überhaupt Aussagen zu machen sind -- bei allen diesen
wird z. B. die Behauptung, dass 2 x 2 = 4, auch berechtigt erscheinen.

Es versteht sich, dass man die formalen Abmachungen des gegen-
wärtigen Paragraphen auch rein konventionell hätte hinstellen können. Ohne
jede Bezugnahme auf einen vorangehenden Klassenkalkul und ohne eigent-
liche Motivirung hätte einfach "ausgemacht" werden können, was wir re-
kapitulirend zusammenstellen:

a = i, oder a, solle heissen: die Aussage a gilt,
a = 0: sie gilt nicht; a b: wenn a gilt, so gilt b; a = b: wenn a gilt
so gilt b, und umgekehrt; a b: es gilt zugleich a und b; a + b: es
gilt a oder b; (a1 solle bedeuten die Verneinung der Aussage a, so-
nach dasselbe, wie der Ansatz: a = 0).

Man könnte darnach die ersten Sätze des Aussagenkalkuls in Formeln
hinstellen, indem man einfach an den gesunden Verstand, das Gefühl der

§ 28. Aussagen nach der Klasse ihrer Anwendungsgelegenheiten betrachtet.

Bedeutete ferner a die Aussage: „Die Ecken des Vierecks A B C D
liegen auf einem Kreise“, b die Aussage: „die Gegenwinkel des Vier-
ecks A B C D sind Supplemente“, so wäre a = b, denn eines bedingt
immer das andere nach bekannten geometrischen Sätzen. Die beiden
äquivalenten Aussagen a, b dürften hier gleichwol nicht „äquipollente“
genannt werden, weil sie erst auf Grund der Axiome Euklid’scher
Geometrie denknotwendig auseinander folgen — diese Axiome aber an-
zunehmen erwiesenermassen keine Denknotwendigkeit gebietet.

Mit der Subsumtion nun, mit ihrer Deutungs- und Anwendungs-
fähigkeit, haben wir wiederum die Grundlage des ganzen identischen
Kalkuls gewonnen. Es stellt sich der Aussagenkalkul dergestalt als
eine spezielle Anwendungsweise des Klassenkalkuls dar.

Auch die früher aufgestellte „Gültigkeitsdauer“ bei denjenigen
Aussagen, bei welchen ungezwungen von einer solchen sich sprechen
lässt, kann jetzt ohne weiteres aufgefasst (oder umgedeutet) werden
als die Klasse derjenigen Gelegenheiten, bei welchen die betreffende
Aussage als eine zutreffende anwendbar ist, indem hier eben nur diese
Gelegenheiten an bestimmte Zeiten sich gebunden erwiesen. Ist die
Aussage z. B. „Es regnet soeben am hiesigen Platze“ im gegen-
wärtigen Zeitpunkt richtig, weil es wirklich draussen regnet, so ist
jetzt auch eine Gelegenheit, die Aussage als eine gültige zu machen,
und vice versā.

Es wird demnach das Gebäude unsres Aussagenkalkuls auf einer
völlig einheitlichen Grundlage ruhen.

Die Nullaussage entspricht wiederum einer leeren Klasse, die
keine einzige Gelegenheit berechtigter Anwendung der Aussage in sich
schliesst. Und die i, der wir auch jetzt noch den Punkt belassen
wollen, mag man auffassen als die Gesamtklasse aller Gelegenheiten,
bei welchen überhaupt Aussagen zu machen sind — bei allen diesen
wird z. B. die Behauptung, dass 2 × 2 = 4, auch berechtigt erscheinen.

Es versteht sich, dass man die formalen Abmachungen des gegen-
wärtigen Paragraphen auch rein konventionell hätte hinstellen können. Ohne
jede Bezugnahme auf einen vorangehenden Klassenkalkul und ohne eigent-
liche Motivirung hätte einfach „ausgemacht“ werden können, was wir re-
kapitulirend zusammenstellen:

a = i, oder a, solle heissen: die Aussage a gilt,
a = 0: sie gilt nicht; a ⊆ b: wenn a gilt, so gilt b; a = b: wenn a gilt
so gilt b, und umgekehrt; a b: es gilt zugleich a und b; a + b: es
gilt a oder b; (a1 solle bedeuten die Verneinung der Aussage a, so-
nach dasselbe, wie der Ansatz: a = 0).

Man könnte darnach die ersten Sätze des Aussagenkalkuls in Formeln
hinstellen, indem man einfach an den gesunden Verstand, das Gefühl der

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0047" n="23"/>
            <fw place="top" type="header">§ 28. Aussagen nach der Klasse ihrer Anwendungsgelegenheiten betrachtet.</fw><lb/>
            <p>Bedeutete ferner <hi rendition="#i">a</hi> die Aussage: &#x201E;Die Ecken des Vierecks <hi rendition="#i">A B C D</hi><lb/>
liegen auf einem Kreise&#x201C;, <hi rendition="#i">b</hi> die Aussage: &#x201E;die Gegenwinkel des Vier-<lb/>
ecks <hi rendition="#i">A B C D</hi> sind Supplemente&#x201C;, so wäre <hi rendition="#i">a</hi> = <hi rendition="#i">b</hi>, denn eines bedingt<lb/>
immer das andere nach bekannten geometrischen Sätzen. Die beiden<lb/>
äquivalenten Aussagen <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi> dürften hier gleichwol nicht &#x201E;äquipollente&#x201C;<lb/>
genannt werden, weil sie <hi rendition="#i">erst auf Grund der Axiome</hi> <hi rendition="#g">Euklid&#x2019;</hi>scher<lb/><hi rendition="#i">Geometrie</hi> denknotwendig auseinander folgen &#x2014; diese Axiome aber an-<lb/>
zunehmen erwiesenermassen keine Denknotwendigkeit gebietet.</p><lb/>
            <p>Mit der <hi rendition="#i">Subsumtion</hi> nun, mit ihrer Deutungs- und Anwendungs-<lb/>
fähigkeit, haben wir wiederum die Grundlage des ganzen identischen<lb/>
Kalkuls gewonnen. Es stellt sich der <hi rendition="#i">Aussagenkalkul</hi> dergestalt als<lb/>
eine spezielle Anwendungsweise des <hi rendition="#i">Klassenkalkuls</hi> dar.</p><lb/>
            <p>Auch die früher aufgestellte &#x201E;Gültigkeitsdauer&#x201C; bei denjenigen<lb/>
Aussagen, bei welchen ungezwungen von einer solchen sich sprechen<lb/>
lässt, kann jetzt ohne weiteres aufgefasst (oder umgedeutet) werden<lb/>
als die Klasse derjenigen Gelegenheiten, bei welchen die betreffende<lb/>
Aussage als eine zutreffende anwendbar ist, indem hier eben nur diese<lb/>
Gelegenheiten an bestimmte Zeiten sich gebunden erwiesen. Ist die<lb/>
Aussage z. B. &#x201E;Es regnet soeben am hiesigen Platze&#x201C; im gegen-<lb/>
wärtigen Zeitpunkt richtig, weil es wirklich draussen regnet, so ist<lb/>
jetzt auch eine Gelegenheit, die Aussage als eine gültige zu machen,<lb/>
und vice vers&#x0101;.</p><lb/>
            <p>Es wird demnach das Gebäude unsres Aussagenkalkuls auf einer<lb/>
völlig einheitlichen Grundlage ruhen.</p><lb/>
            <p>Die Nullaussage entspricht wiederum einer leeren Klasse, die<lb/>
keine einzige Gelegenheit berechtigter Anwendung der Aussage in sich<lb/>
schliesst. Und die i, der wir auch jetzt noch den Punkt belassen<lb/>
wollen, mag man auffassen als die Gesamtklasse aller Gelegenheiten,<lb/>
bei welchen überhaupt Aussagen zu machen sind &#x2014; bei allen diesen<lb/>
wird z. B. die Behauptung, dass 2 × 2 = 4, auch berechtigt erscheinen.</p><lb/>
            <p>Es versteht sich, dass man die formalen Abmachungen des gegen-<lb/>
wärtigen Paragraphen auch <hi rendition="#i">rein konventionell</hi> hätte hinstellen können. Ohne<lb/>
jede Bezugnahme auf einen vorangehenden Klassenkalkul und ohne eigent-<lb/>
liche Motivirung hätte einfach &#x201E;ausgemacht&#x201C; werden können, was wir re-<lb/>
kapitulirend zusammenstellen:</p><lb/>
            <list>
              <item><hi rendition="#i">a</hi> = i, oder <hi rendition="#i">a</hi>, solle heissen: die Aussage <hi rendition="#i">a gilt,</hi></item><lb/>
              <item><hi rendition="#i">a</hi> = 0: sie <hi rendition="#i">gilt nicht; a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>: <hi rendition="#i">wenn a</hi> gilt, <hi rendition="#i">so</hi> gilt <hi rendition="#i">b</hi>; <hi rendition="#i">a</hi> = <hi rendition="#i">b</hi>: wenn <hi rendition="#i">a</hi> gilt<lb/>
so gilt <hi rendition="#i">b</hi>, <hi rendition="#i">und umgekehrt</hi>; <hi rendition="#i">a b</hi>: es gilt zugleich <hi rendition="#i">a und b</hi>; <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>: es<lb/>
gilt <hi rendition="#i">a oder b</hi>; (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> solle bedeuten die Verneinung der Aussage <hi rendition="#i">a</hi>, so-<lb/>
nach dasselbe, wie der Ansatz: <hi rendition="#i">a</hi> = 0).</item>
            </list><lb/>
            <p>Man könnte darnach die ersten Sätze des Aussagenkalkuls in Formeln<lb/>
hinstellen, indem man einfach an den gesunden Verstand, das Gefühl der<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[23/0047] § 28. Aussagen nach der Klasse ihrer Anwendungsgelegenheiten betrachtet. Bedeutete ferner a die Aussage: „Die Ecken des Vierecks A B C D liegen auf einem Kreise“, b die Aussage: „die Gegenwinkel des Vier- ecks A B C D sind Supplemente“, so wäre a = b, denn eines bedingt immer das andere nach bekannten geometrischen Sätzen. Die beiden äquivalenten Aussagen a, b dürften hier gleichwol nicht „äquipollente“ genannt werden, weil sie erst auf Grund der Axiome Euklid’scher Geometrie denknotwendig auseinander folgen — diese Axiome aber an- zunehmen erwiesenermassen keine Denknotwendigkeit gebietet. Mit der Subsumtion nun, mit ihrer Deutungs- und Anwendungs- fähigkeit, haben wir wiederum die Grundlage des ganzen identischen Kalkuls gewonnen. Es stellt sich der Aussagenkalkul dergestalt als eine spezielle Anwendungsweise des Klassenkalkuls dar. Auch die früher aufgestellte „Gültigkeitsdauer“ bei denjenigen Aussagen, bei welchen ungezwungen von einer solchen sich sprechen lässt, kann jetzt ohne weiteres aufgefasst (oder umgedeutet) werden als die Klasse derjenigen Gelegenheiten, bei welchen die betreffende Aussage als eine zutreffende anwendbar ist, indem hier eben nur diese Gelegenheiten an bestimmte Zeiten sich gebunden erwiesen. Ist die Aussage z. B. „Es regnet soeben am hiesigen Platze“ im gegen- wärtigen Zeitpunkt richtig, weil es wirklich draussen regnet, so ist jetzt auch eine Gelegenheit, die Aussage als eine gültige zu machen, und vice versā. Es wird demnach das Gebäude unsres Aussagenkalkuls auf einer völlig einheitlichen Grundlage ruhen. Die Nullaussage entspricht wiederum einer leeren Klasse, die keine einzige Gelegenheit berechtigter Anwendung der Aussage in sich schliesst. Und die i, der wir auch jetzt noch den Punkt belassen wollen, mag man auffassen als die Gesamtklasse aller Gelegenheiten, bei welchen überhaupt Aussagen zu machen sind — bei allen diesen wird z. B. die Behauptung, dass 2 × 2 = 4, auch berechtigt erscheinen. Es versteht sich, dass man die formalen Abmachungen des gegen- wärtigen Paragraphen auch rein konventionell hätte hinstellen können. Ohne jede Bezugnahme auf einen vorangehenden Klassenkalkul und ohne eigent- liche Motivirung hätte einfach „ausgemacht“ werden können, was wir re- kapitulirend zusammenstellen: a = i, oder a, solle heissen: die Aussage a gilt, a = 0: sie gilt nicht; a  b: wenn a gilt, so gilt b; a = b: wenn a gilt so gilt b, und umgekehrt; a b: es gilt zugleich a und b; a + b: es gilt a oder b; (a1 solle bedeuten die Verneinung der Aussage a, so- nach dasselbe, wie der Ansatz: a = 0). Man könnte darnach die ersten Sätze des Aussagenkalkuls in Formeln hinstellen, indem man einfach an den gesunden Verstand, das Gefühl der

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/47
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 23. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/47>, abgerufen am 21.11.2024.