§ 7. Beweis jener Grundgesetze. Nebst einigen Hülfsschemata des Aussagenkalkuls.
Die beiderseits oder "voll" eingeklammerten Chiffren verweisen jeweils auf die "fundamentalen Festsetzungen" des § 3, die blos einseitig, rechts mit einem Klammerhaken versehenen Chiffren aber auf die Formeln des laufenden -- wonicht eines eigens citirten -- Paragraphen.
Die linke Seite einer zu beweisenden Formel werden wir häufig mit L, die rechte mit R bezeichnen um die sonst oft nötig fallende Wiederholung der umständlichen Ausdrücke zu ersparen, welche hüben und drüben stehn mögen.
Wir haben zunächst nur mit dem Beweise von Formeln zu thun, welche die Form einer Subsumtion oder aber einer Gleichung haben, während Ungleichungen und Unsubsumtionen vorerst nicht in Betracht kommen.
Die Formeln sind entweder "primäre", d. h. solche Propositionen LR resp. L = R, deren beide Seiten (binäre) Relative vorstellen, oder sie sind "sekundäre" (in Boole'scher Terminologie), indem ihre beiden Seiten L und R sich als Aussagen darstellen. Letztre sind alsdann aus primären Propositionen der vorhin beschriebenen Art ver- mittelst der 3 Spezies des Aussagenkalkuls aufgebaut.
Der Beweis einer primären Formel und Proposition genannter Art (also einer Subsumtion oder Gleichung nicht aber einer Ungleichung etc.) wird im Hinblick auf die Festsetzungen (14) nebst Korollar und (1) zu leisten sein, indem man allgemein -- für jedes ij -- zeigt, dass zwischen Li j und Ri j ebendie Beziehung der Einordnung resp. Gleich- heit besteht, welche der zu beweisende Satz, die Formel zwischen L und R behauptet.
Da Li j und Ri j als Relativkoeffizienten Aussagen repräsentiren, so können bei diesem Nachweise und den dazu erforderlichen Schlüssen die Gesetze und Schemata des Aussagenkalkuls frei oder nach Herzens- lust angewendet werden, weil diese durch unsre Festsetzungen bereits gesichert worden.
Auf solchem Wege lässt jede primäre und mittelbar auch die Thesis jeder sekundären Formel (aus dem angedeuteten Propositionen- kreise) sich, wie wir sagen wollen "direkt" "unmittelbar" (immediately) oder "aus der Koeffizientenevidenz" beweisen. Und falls man die un-
§ 7. Die Beweise zu den Gesetzen.
Hierbei können stets die Zeichen 31)
[Tabelle]
— nach Belieben — gelesen werden.
§ 7. Beweis jener Grundgesetze. Nebst einigen Hülfsschemata des Aussagenkalkuls.
Die beiderseits oder „voll“ eingeklammerten Chiffren verweisen jeweils auf die „fundamentalen Festsetzungen“ des § 3, die blos einseitig, rechts mit einem Klammerhaken versehenen Chiffren aber auf die Formeln des laufenden — wonicht eines eigens citirten — Paragraphen.
Die linke Seite einer zu beweisenden Formel werden wir häufig mit L, die rechte mit R bezeichnen um die sonst oft nötig fallende Wiederholung der umständlichen Ausdrücke zu ersparen, welche hüben und drüben stehn mögen.
Wir haben zunächst nur mit dem Beweise von Formeln zu thun, welche die Form einer Subsumtion oder aber einer Gleichung haben, während Ungleichungen und Unsubsumtionen vorerst nicht in Betracht kommen.
Die Formeln sind entweder „primäre“, d. h. solche Propositionen L ⋹ R resp. L = R, deren beide Seiten (binäre) Relative vorstellen, oder sie sind „sekundäre“ (in Boole’scher Terminologie), indem ihre beiden Seiten L und R sich als Aussagen darstellen. Letztre sind alsdann aus primären Propositionen der vorhin beschriebenen Art ver- mittelst der 3 Spezies des Aussagenkalkuls aufgebaut.
Der Beweis einer primären Formel und Proposition genannter Art (also einer Subsumtion oder Gleichung nicht aber einer Ungleichung etc.) wird im Hinblick auf die Festsetzungen (14) nebst Korollar und (1) zu leisten sein, indem man allgemein — für jedes ij — zeigt, dass zwischen Li j und Ri j ebendie Beziehung der Einordnung resp. Gleich- heit besteht, welche der zu beweisende Satz, die Formel zwischen L und R behauptet.
Da Li j und Ri j als Relativkoeffizienten Aussagen repräsentiren, so können bei diesem Nachweise und den dazu erforderlichen Schlüssen die Gesetze und Schemata des Aussagenkalkuls frei oder nach Herzens- lust angewendet werden, weil diese durch unsre Festsetzungen bereits gesichert worden.
Auf solchem Wege lässt jede primäre und mittelbar auch die Thesis jeder sekundären Formel (aus dem angedeuteten Propositionen- kreise) sich, wie wir sagen wollen „direkt“ „unmittelbar“ (immediately) oder „aus der Koeffizientenevidenz“ beweisen. Und falls man die un-
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0115"n="101"/><fwplace="top"type="header">§ 7. Die Beweise zu den Gesetzen.</fw><lb/><p>Hierbei können stets die Zeichen<lb/>
31) <table><row><cell/></row></table><lb/>— nach Belieben — gelesen werden.</p></div><lb/><divn="2"><head>§ 7. <hirendition="#b">Beweis jener Grundgesetze. Nebst einigen Hülfsschemata des<lb/>
Aussagenkalkuls.</hi></head><lb/><p>Die <hirendition="#i">beiderseits</hi> oder „voll“ eingeklammerten Chiffren verweisen jeweils<lb/>
auf die „fundamentalen Festsetzungen“ des § 3, die <hirendition="#i">blos einseitig,</hi> rechts<lb/>
mit einem Klammerhaken versehenen Chiffren aber auf die Formeln des<lb/>
laufenden — wonicht eines eigens citirten — Paragraphen.</p><lb/><p>Die <hirendition="#i">linke</hi> Seite einer <hirendition="#i">zu beweisenden</hi> Formel werden wir häufig mit <hirendition="#i">L</hi>,<lb/>
die <hirendition="#i">rechte</hi> mit <hirendition="#i">R</hi> bezeichnen um die sonst oft nötig fallende Wiederholung<lb/>
der umständlichen Ausdrücke zu ersparen, welche hüben und drüben stehn<lb/>
mögen.</p><lb/><p>Wir haben zunächst nur mit dem Beweise von Formeln zu thun,<lb/>
welche die Form einer <hirendition="#i">Subsumtion</hi> oder aber einer <hirendition="#i">Gleichung</hi> haben,<lb/>
während Ungleichungen und Unsubsumtionen vorerst nicht in Betracht<lb/>
kommen.</p><lb/><p>Die Formeln sind entweder „<hirendition="#i">primäre</hi>“, d. h. solche Propositionen<lb/><hirendition="#i">L</hi>⋹<hirendition="#i">R</hi> resp. <hirendition="#i">L</hi> = <hirendition="#i">R</hi>, deren beide Seiten (binäre) <hirendition="#i">Relative</hi> vorstellen,<lb/>
oder sie sind „sekundäre“ (in <hirendition="#g">Boole’</hi>scher Terminologie), indem ihre<lb/>
beiden Seiten <hirendition="#i">L</hi> und <hirendition="#i">R</hi> sich als <hirendition="#i">Aussagen</hi> darstellen. Letztre sind<lb/>
alsdann aus primären Propositionen der vorhin beschriebenen Art ver-<lb/>
mittelst der 3 Spezies des Aussagenkalkuls aufgebaut.</p><lb/><p>Der <hirendition="#i">Beweis</hi> einer primären Formel und Proposition genannter Art<lb/>
(also einer Subsumtion oder Gleichung nicht aber einer Ungleichung etc.)<lb/>
wird im Hinblick auf die Festsetzungen (14) nebst Korollar und (1)<lb/>
zu leisten sein, indem man <hirendition="#i">allgemein</hi>—<hirendition="#i">für jedes ij</hi>— zeigt, dass<lb/>
zwischen <hirendition="#i">L<hirendition="#sub">i j</hi></hi> und <hirendition="#i">R<hirendition="#sub">i j</hi></hi> ebendie Beziehung der Einordnung resp. Gleich-<lb/>
heit besteht, welche der zu beweisende Satz, die Formel zwischen <hirendition="#i">L</hi><lb/>
und <hirendition="#i">R</hi> behauptet.</p><lb/><p>Da <hirendition="#i">L<hirendition="#sub">i j</hi></hi> und <hirendition="#i">R<hirendition="#sub">i j</hi></hi> als Relativ<hirendition="#i">koeffizienten</hi> Aussagen repräsentiren, so<lb/>
können bei diesem Nachweise und den dazu erforderlichen Schlüssen<lb/>
die Gesetze und Schemata des Aussagenkalkuls frei oder nach Herzens-<lb/>
lust angewendet werden, weil diese durch unsre Festsetzungen bereits<lb/>
gesichert worden.</p><lb/><p>Auf solchem Wege lässt jede primäre und mittelbar auch die<lb/>
Thesis jeder sekundären Formel (aus dem angedeuteten Propositionen-<lb/>
kreise) sich, wie wir sagen wollen „<hirendition="#i">direkt</hi>“„<hirendition="#i">unmittelbar</hi>“ (immediately)<lb/>
oder „aus der Koeffizientenevidenz“ beweisen. Und falls man die un-<lb/></p></div></div></body></text></TEI>
[101/0115]
§ 7. Die Beweise zu den Gesetzen.
Hierbei können stets die Zeichen
31)
— nach Belieben — gelesen werden.
§ 7. Beweis jener Grundgesetze. Nebst einigen Hülfsschemata des
Aussagenkalkuls.
Die beiderseits oder „voll“ eingeklammerten Chiffren verweisen jeweils
auf die „fundamentalen Festsetzungen“ des § 3, die blos einseitig, rechts
mit einem Klammerhaken versehenen Chiffren aber auf die Formeln des
laufenden — wonicht eines eigens citirten — Paragraphen.
Die linke Seite einer zu beweisenden Formel werden wir häufig mit L,
die rechte mit R bezeichnen um die sonst oft nötig fallende Wiederholung
der umständlichen Ausdrücke zu ersparen, welche hüben und drüben stehn
mögen.
Wir haben zunächst nur mit dem Beweise von Formeln zu thun,
welche die Form einer Subsumtion oder aber einer Gleichung haben,
während Ungleichungen und Unsubsumtionen vorerst nicht in Betracht
kommen.
Die Formeln sind entweder „primäre“, d. h. solche Propositionen
L ⋹ R resp. L = R, deren beide Seiten (binäre) Relative vorstellen,
oder sie sind „sekundäre“ (in Boole’scher Terminologie), indem ihre
beiden Seiten L und R sich als Aussagen darstellen. Letztre sind
alsdann aus primären Propositionen der vorhin beschriebenen Art ver-
mittelst der 3 Spezies des Aussagenkalkuls aufgebaut.
Der Beweis einer primären Formel und Proposition genannter Art
(also einer Subsumtion oder Gleichung nicht aber einer Ungleichung etc.)
wird im Hinblick auf die Festsetzungen (14) nebst Korollar und (1)
zu leisten sein, indem man allgemein — für jedes ij — zeigt, dass
zwischen Li j und Ri j ebendie Beziehung der Einordnung resp. Gleich-
heit besteht, welche der zu beweisende Satz, die Formel zwischen L
und R behauptet.
Da Li j und Ri j als Relativkoeffizienten Aussagen repräsentiren, so
können bei diesem Nachweise und den dazu erforderlichen Schlüssen
die Gesetze und Schemata des Aussagenkalkuls frei oder nach Herzens-
lust angewendet werden, weil diese durch unsre Festsetzungen bereits
gesichert worden.
Auf solchem Wege lässt jede primäre und mittelbar auch die
Thesis jeder sekundären Formel (aus dem angedeuteten Propositionen-
kreise) sich, wie wir sagen wollen „direkt“ „unmittelbar“ (immediately)
oder „aus der Koeffizientenevidenz“ beweisen. Und falls man die un-
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. 3, Abt. 1. Leipzig, 1895, S. 101. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/115>, abgerufen am 27.11.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/.
