Source: http://www.deutschestextarchiv.de/book/view/schroeder_logik03_1895?p=115
Timestamp: 2020-07-03 22:50:22
Document Index: 208874106

Matched Legal Cases: ['§ 7', '§ 7', '§ 3', '§ 3', '§ 7', '§ 7', '§ 3', '§ 7', '§ 7', '§ 3']

§ 7. Die Beweise zu den Gesetzen.
Hierbei können stets die Zeichen
-- 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
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
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
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-
— nach Belieben — gelesen werden.
Die beiderseits oder „voll“ eingeklammerten Chiffren verweisen jeweils
auf die „fundamentalen Festsetzungen“ des § 3, die blos einseitig, rechts
laufenden — wonicht eines eigens citirten — Paragraphen.
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
zu leisten sein, indem man allgemein — für jedes ij — zeigt, dass
kreise) sich, wie wir sagen wollen „direkt“ „unmittelbar“ (immediately)
oder „aus der Koeffizientenevidenz“ beweisen. Und falls man die un-
<pb facs="#f0115" n="101"/>
<fw place="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/>
&#x2014; nach Belieben &#x2014; gelesen werden.</p>
<head>§ 7. <hi rendition="#b">Beweis jener Grundgesetze. Nebst einigen Hülfsschemata des<lb/>
Aussagenkalkuls.</hi></head><lb/>
<p>Die <hi rendition="#i">beiderseits</hi> oder &#x201E;voll&#x201C; eingeklammerten Chiffren verweisen jeweils<lb/>
auf die &#x201E;fundamentalen Festsetzungen&#x201C; des § 3, die <hi rendition="#i">blos einseitig,</hi> rechts<lb/>
mit einem Klammerhaken versehenen Chiffren aber auf die Formeln des<lb/>
laufenden &#x2014; wonicht eines eigens citirten &#x2014; Paragraphen.</p><lb/>
<p>Die <hi rendition="#i">linke</hi> Seite einer <hi rendition="#i">zu beweisenden</hi> Formel werden wir häufig mit <hi rendition="#i">L</hi>,<lb/>
die <hi rendition="#i">rechte</hi> mit <hi rendition="#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 <hi rendition="#i">Subsumtion</hi> oder aber einer <hi rendition="#i">Gleichung</hi> haben,<lb/>
während Ungleichungen und Unsubsumtionen vorerst nicht in Betracht<lb/>
kommen.</p><lb/>
<p>Die Formeln sind entweder &#x201E;<hi rendition="#i">primäre</hi>&#x201C;, d. h. solche Propositionen<lb/><hi rendition="#i">L</hi> &#x22F9; <hi rendition="#i">R</hi> resp. <hi rendition="#i">L</hi> = <hi rendition="#i">R</hi>, deren beide Seiten (binäre) <hi rendition="#i">Relative</hi> vorstellen,<lb/>
oder sie sind &#x201E;sekundäre&#x201C; (in <hi rendition="#g">Boole&#x2019;</hi>scher Terminologie), indem ihre<lb/>
beiden Seiten <hi rendition="#i">L</hi> und <hi rendition="#i">R</hi> sich als <hi rendition="#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 <hi rendition="#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 <hi rendition="#i">allgemein</hi> &#x2014; <hi rendition="#i">für jedes ij</hi> &#x2014; zeigt, dass<lb/>
zwischen <hi rendition="#i">L<hi rendition="#sub">i j</hi></hi> und <hi rendition="#i">R<hi rendition="#sub">i j</hi></hi> ebendie Beziehung der Einordnung resp. Gleich-<lb/>
heit besteht, welche der zu beweisende Satz, die Formel zwischen <hi rendition="#i">L</hi><lb/>
und <hi rendition="#i">R</hi> behauptet.</p><lb/>
<p>Da <hi rendition="#i">L<hi rendition="#sub">i j</hi></hi> und <hi rendition="#i">R<hi rendition="#sub">i j</hi></hi> als Relativ<hi rendition="#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 &#x201E;<hi rendition="#i">direkt</hi>&#x201C; &#x201E;<hi rendition="#i">unmittelbar</hi>&#x201C; (immediately)<lb/>
oder &#x201E;aus der Koeffizientenevidenz&#x201C; beweisen. Und falls man die un-<lb/></p>
[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-
URL zu dieser Seite: http://www.deutschestextarchiv.de/schroeder_logik03_1895/115
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 101. In: Deutsches Textarchiv <http://www.deutschestextarchiv.de/schroeder_logik03_1895/115>, abgerufen am 03.07.2020.