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 >>

Neunzehnte Vorlesung.
System von mehreren solchen x, y, z, ... die Idee dieser beiden Pro-
bleme auch allgemein erfassen, dieselbe für ein ganz beliebiges Prä-
missensystem konzipiren. Während wir für das Eliminationsproblem
dies bereits früher gethan haben, ist die Idee des Introduktionspro-
blems hier neu aufgetaucht, und müssen wir diesem noch einige
Worte widmen.

Gleichwie die Data eines gedachten beliebigen Problemes sich
mit dem Kapital oder Vorrat an Zeichen, über welche der Kalkul ver-
fügt, stets zu einer Gesamtaussage vereinigt denken und auch wirklich
vereinigen liessen, so muss dies auch der Fall sein mit den verlangten
Lösungen des Problemes, mit dessen "Solution", welche zu bezeichnen
ist als eine Konklusion, die sich entreissen lässt den zu Prämissen
genommenen Daten. Auch sie wird mittelst der Wortsprache darstell-
bar sein durch eine Verkettung, ein System von Urteilen. Auch für
die Solution gibt es eine Gesamtaussage.

Vergleichen wir nun die vereinigte Aussage der Lösung mit der-
jenigen der Data des Problemes in Hinsicht auf die Buchstabensym-
bole, die in der einen und in der andern vorkommen, so ist eine
Mannigfaltigkeit von Fällen denkbar und können die denkbaren auch
wirklich vorkommen:

Die Lösung kann genau dieselben Symbole enthalten, wie das
Prämissensystem -- keine mehr und keine weniger. Wir haben dann
weder ein Eliminations- noch ein Introduktionsproblem vor uns, sondern
ein "reines" Problem des Folgerns. Dasselbe kann noch umkehrbar sein
oder auch nicht. Im erstern Falle, wo aus dem Lösungensystem auch
wieder das System der Data, aus der vereinigten Aussage der Lösung
die Gesamtaussage der Daten folgt, mag man es als ein blosses Trans-
formationsproblem bezeichnen.

Einfachste Exempel zu diesem und dem andern Falle stellen vor:
der Schluss von a = b auf b = a, sowie der von a = b auf a b. Es
steht nichts im Wege, dass man, diese Schlüsse oder Folgerungen zu ziehen,
als ein Problem hinstelle -- das eine als die Aufgabe: wenn a = b ist,
die Frage zu beantworten, wem b gleich sein müsse?, das andre als die
Aufgabe: unter derselben Voraussetzung eine Subsumtion anzugeben, welche
zwischen a und b besteht.

So ist auch noch der Schluss von a = b auf a b1 + a1 b = 0 ein Trans-
formationsproblem zu nennen, sobald man, denselben zu ziehen, formulirt
als die Aufgabe: die rechte Seite der gegebenen Gleichung auf 0 zu bringen.
Und dergleichen mehr.

Die Lösung kann ferner zu enthalten haben: nur einen Teil der
im Prämissensystem auftretenden Symbole und keine demselben fremden

Neunzehnte Vorlesung.
System von mehreren solchen x, y, z, … die Idee dieser beiden Pro-
bleme auch allgemein erfassen, dieselbe für ein ganz beliebiges Prä-
missensystem konzipiren. Während wir für das Eliminationsproblem
dies bereits früher gethan haben, ist die Idee des Introduktionspro-
blems hier neu aufgetaucht, und müssen wir diesem noch einige
Worte widmen.

Gleichwie die Data eines gedachten beliebigen Problemes sich
mit dem Kapital oder Vorrat an Zeichen, über welche der Kalkul ver-
fügt, stets zu einer Gesamtaussage vereinigt denken und auch wirklich
vereinigen liessen, so muss dies auch der Fall sein mit den verlangten
Lösungen des Problemes, mit dessen „Solution“, welche zu bezeichnen
ist als eine Konklusion, die sich entreissen lässt den zu Prämissen
genommenen Daten. Auch sie wird mittelst der Wortsprache darstell-
bar sein durch eine Verkettung, ein System von Urteilen. Auch für
die Solution gibt es eine Gesamtaussage.

Vergleichen wir nun die vereinigte Aussage der Lösung mit der-
jenigen der Data des Problemes in Hinsicht auf die Buchstabensym-
bole, die in der einen und in der andern vorkommen, so ist eine
Mannigfaltigkeit von Fällen denkbar und können die denkbaren auch
wirklich vorkommen:

Die Lösung kann genau dieselben Symbole enthalten, wie das
Prämissensystem — keine mehr und keine weniger. Wir haben dann
weder ein Eliminations- noch ein Introduktionsproblem vor uns, sondern
ein „reines“ Problem des Folgerns. Dasselbe kann noch umkehrbar sein
oder auch nicht. Im erstern Falle, wo aus dem Lösungensystem auch
wieder das System der Data, aus der vereinigten Aussage der Lösung
die Gesamtaussage der Daten folgt, mag man es als ein blosses Trans-
formationsproblem bezeichnen.

Einfachste Exempel zu diesem und dem andern Falle stellen vor:
der Schluss von a = b auf b = a, sowie der von a = b auf a ⊆ b. Es
steht nichts im Wege, dass man, diese Schlüsse oder Folgerungen zu ziehen,
als ein Problem hinstelle — das eine als die Aufgabe: wenn a = b ist,
die Frage zu beantworten, wem b gleich sein müsse?, das andre als die
Aufgabe: unter derselben Voraussetzung eine Subsumtion anzugeben, welche
zwischen a und b besteht.

So ist auch noch der Schluss von a = b auf a b1 + a1 b = 0 ein Trans-
formationsproblem zu nennen, sobald man, denselben zu ziehen, formulirt
als die Aufgabe: die rechte Seite der gegebenen Gleichung auf 0 zu bringen.
Und dergleichen mehr.

Die Lösung kann ferner zu enthalten haben: nur einen Teil der
im Prämissensystem auftretenden Symbole und keine demselben fremden

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0220" n="196"/><fw place="top" type="header">Neunzehnte Vorlesung.</fw><lb/>
System von mehreren solchen <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>, &#x2026; die Idee dieser beiden Pro-<lb/>
bleme auch allgemein erfassen, dieselbe für ein ganz beliebiges Prä-<lb/>
missensystem konzipiren. Während wir für das Eliminationsproblem<lb/>
dies bereits früher gethan haben, ist die Idee des Introduktionspro-<lb/>
blems hier neu aufgetaucht, und müssen wir diesem noch einige<lb/>
Worte widmen.</p><lb/>
            <p>Gleichwie die <hi rendition="#i">Data</hi> eines gedachten beliebigen Problemes sich<lb/>
mit dem Kapital oder Vorrat an Zeichen, über welche der Kalkul ver-<lb/>
fügt, stets zu einer Gesamtaussage vereinigt denken und auch wirklich<lb/>
vereinigen liessen, so muss dies auch der Fall sein mit den verlangten<lb/><hi rendition="#i">Lösungen</hi> des Problemes, mit dessen &#x201E;Solution&#x201C;, welche zu bezeichnen<lb/>
ist als eine Konklusion, die sich entreissen lässt den zu Prämissen<lb/>
genommenen Daten. Auch sie wird mittelst der Wortsprache darstell-<lb/>
bar sein durch eine Verkettung, ein System von Urteilen. Auch für<lb/>
die Solution gibt es eine <hi rendition="#i">Gesamtaussage</hi>.</p><lb/>
            <p>Vergleichen wir nun die vereinigte Aussage der Lösung mit der-<lb/>
jenigen der Data des Problemes in Hinsicht auf die Buchstabensym-<lb/>
bole, die in der einen und in der andern vorkommen, so ist eine<lb/>
Mannigfaltigkeit von Fällen denkbar und können die denkbaren auch<lb/>
wirklich vorkommen:</p><lb/>
            <p>Die Lösung kann <hi rendition="#i">genau dieselben Symbole</hi> enthalten, wie das<lb/>
Prämissensystem &#x2014; keine mehr und keine weniger. Wir haben dann<lb/>
weder ein Eliminations- noch ein Introduktionsproblem vor uns, sondern<lb/>
ein &#x201E;<hi rendition="#i">reines</hi>&#x201C; <hi rendition="#i">Problem des Folgerns</hi>. Dasselbe kann noch <hi rendition="#i">umkehrbar</hi> sein<lb/>
oder auch nicht. Im erstern Falle, wo aus dem Lösungensystem auch<lb/>
wieder das System der Data, aus der vereinigten Aussage der Lösung<lb/>
die Gesamtaussage der Daten folgt, mag man es als ein blosses <hi rendition="#i">Trans-<lb/>
formationsproblem</hi> bezeichnen.</p><lb/>
            <p>Einfachste Exempel zu diesem und dem andern Falle stellen vor:<lb/>
der Schluss von <hi rendition="#i">a</hi> = <hi rendition="#i">b</hi> auf <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi>, sowie der von <hi rendition="#i">a</hi> = <hi rendition="#i">b</hi> auf <hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>. Es<lb/>
steht nichts im Wege, dass man, diese Schlüsse oder Folgerungen zu ziehen,<lb/>
als ein Problem hinstelle &#x2014; das eine als die Aufgabe: wenn <hi rendition="#i">a</hi> = <hi rendition="#i">b</hi> ist,<lb/>
die Frage zu beantworten, wem <hi rendition="#i">b</hi> gleich sein müsse?, das andre als die<lb/>
Aufgabe: unter derselben Voraussetzung eine Subsumtion anzugeben, welche<lb/>
zwischen <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi> besteht.</p><lb/>
            <p>So ist auch noch der Schluss von <hi rendition="#i">a</hi> = <hi rendition="#i">b</hi> auf <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> = 0 ein Trans-<lb/>
formationsproblem zu nennen, sobald man, denselben zu ziehen, formulirt<lb/>
als die Aufgabe: die rechte Seite der gegebenen Gleichung auf 0 zu bringen.<lb/>
Und dergleichen mehr.</p><lb/>
            <p>Die Lösung kann ferner zu enthalten haben: nur einen Teil der<lb/>
im Prämissensystem auftretenden Symbole und keine demselben fremden<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[196/0220] Neunzehnte Vorlesung. System von mehreren solchen x, y, z, … die Idee dieser beiden Pro- bleme auch allgemein erfassen, dieselbe für ein ganz beliebiges Prä- missensystem konzipiren. Während wir für das Eliminationsproblem dies bereits früher gethan haben, ist die Idee des Introduktionspro- blems hier neu aufgetaucht, und müssen wir diesem noch einige Worte widmen. Gleichwie die Data eines gedachten beliebigen Problemes sich mit dem Kapital oder Vorrat an Zeichen, über welche der Kalkul ver- fügt, stets zu einer Gesamtaussage vereinigt denken und auch wirklich vereinigen liessen, so muss dies auch der Fall sein mit den verlangten Lösungen des Problemes, mit dessen „Solution“, welche zu bezeichnen ist als eine Konklusion, die sich entreissen lässt den zu Prämissen genommenen Daten. Auch sie wird mittelst der Wortsprache darstell- bar sein durch eine Verkettung, ein System von Urteilen. Auch für die Solution gibt es eine Gesamtaussage. Vergleichen wir nun die vereinigte Aussage der Lösung mit der- jenigen der Data des Problemes in Hinsicht auf die Buchstabensym- bole, die in der einen und in der andern vorkommen, so ist eine Mannigfaltigkeit von Fällen denkbar und können die denkbaren auch wirklich vorkommen: Die Lösung kann genau dieselben Symbole enthalten, wie das Prämissensystem — keine mehr und keine weniger. Wir haben dann weder ein Eliminations- noch ein Introduktionsproblem vor uns, sondern ein „reines“ Problem des Folgerns. Dasselbe kann noch umkehrbar sein oder auch nicht. Im erstern Falle, wo aus dem Lösungensystem auch wieder das System der Data, aus der vereinigten Aussage der Lösung die Gesamtaussage der Daten folgt, mag man es als ein blosses Trans- formationsproblem bezeichnen. Einfachste Exempel zu diesem und dem andern Falle stellen vor: der Schluss von a = b auf b = a, sowie der von a = b auf a  b. Es steht nichts im Wege, dass man, diese Schlüsse oder Folgerungen zu ziehen, als ein Problem hinstelle — das eine als die Aufgabe: wenn a = b ist, die Frage zu beantworten, wem b gleich sein müsse?, das andre als die Aufgabe: unter derselben Voraussetzung eine Subsumtion anzugeben, welche zwischen a und b besteht. So ist auch noch der Schluss von a = b auf a b1 + a1 b = 0 ein Trans- formationsproblem zu nennen, sobald man, denselben zu ziehen, formulirt als die Aufgabe: die rechte Seite der gegebenen Gleichung auf 0 zu bringen. Und dergleichen mehr. Die Lösung kann ferner zu enthalten haben: nur einen Teil der im Prämissensystem auftretenden Symbole und keine demselben fremden

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/220
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 196. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/220>, abgerufen am 05.05.2024.