Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.
§ 40. Umschau über noch zu lösende Probleme. im Ganzen also weniger Symbole; dann haben wir ein reines Eli-minationsproblem vor uns. Sie kann auch enthalten: die sämtlichen im Prämissensystem vor- Beispiele wurden unter a') soeben angeführt. Auch diese beiden Endlich kann die Solution enthalten: nur einen Teil der im Als einer der einfachsten Fälle von Elimination und Introduktion stellt Man wird hier die Lösung der Aufgabe wol in zwei Anläufe zer- Unter einem der ersten Klasse angehörigen Probleme, bei welchem *) Wir dachten uns unser Problem so gefasst, dass aus einer die Data zu-
sammenfassenden Gesamtaussage abzuleiten ist eine von ihr bedingte als die Lösung hinzustellende Gesamtaussage. Probleme, deren Lösung einfach durch die Antwort "Ja", oder "Nein", zu geben ist, würden als bestimmte "Fragen" zu be- zeichnen sein, und könnten als Probleme der formalen Logik sich nur darum drehen, ob aus einer gegebenen Aussagengruppe A eine andere gegebene B denk- notwendig folgt, oder nicht. Die Antwort würde hier dadurch herbeizuführen sein, dass man die Subsum- tion A B zwischen den beiden Gesamtaussagen darauf hin untersuchte, ob sie § 40. Umschau über noch zu lösende Probleme. im Ganzen also weniger Symbole; dann haben wir ein reines Eli-minationsproblem vor uns. Sie kann auch enthalten: die sämtlichen im Prämissensystem vor- Beispiele wurden unter α') soeben angeführt. Auch diese beiden Endlich kann die Solution enthalten: nur einen Teil der im Als einer der einfachsten Fälle von Elimination und Introduktion stellt Man wird hier die Lösung der Aufgabe wol in zwei Anläufe zer- Unter einem der ersten Klasse angehörigen Probleme, bei welchem *) Wir dachten uns unser Problem so gefasst, dass aus einer die Data zu-
sammenfassenden Gesamtaussage abzuleiten ist eine von ihr bedingte als die Lösung hinzustellende Gesamtaussage. Probleme, deren Lösung einfach durch die Antwort „Ja“, oder „Nein“, zu geben ist, würden als bestimmte „Fragen“ zu be- zeichnen sein, und könnten als Probleme der formalen Logik sich nur darum drehen, ob aus einer gegebenen Aussagengruppe Α eine andere gegebene Β denk- notwendig folgt, oder nicht. Die Antwort würde hier dadurch herbeizuführen sein, dass man die Subsum- tion Α ⊆ Β zwischen den beiden Gesamtaussagen darauf hin untersuchte, ob sie <TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <p><pb facs="#f0221" n="197"/><fw place="top" type="header">§ 40. Umschau über noch zu lösende Probleme.</fw><lb/> im Ganzen also <hi rendition="#i">weniger</hi> Symbole; dann haben wir ein reines <hi rendition="#i">Eli-<lb/> minationsproblem</hi> vor uns.</p><lb/> <p>Sie kann auch enthalten: die sämtlichen im Prämissensystem vor-<lb/> kommenden Symbole und dazu noch einige <hi rendition="#i">mehr</hi> (welche dann, weil<lb/> im Prämissensystem unerwähnt gelassen, vollkommen unbestimmt oder<lb/> willkürlich bleiben werden). In diesem Falle lag ein reines <hi rendition="#i">Intro-<lb/> duktionsproblem</hi> vor.</p><lb/> <p>Beispiele wurden unter <hi rendition="#i">α</hi>') soeben angeführt. Auch diese beiden<lb/> Probleme können zugleich reine Transformationsprobleme sein, wie z. B.<lb/> die Gleichung des Th. 40) oder Zusatz in § 29 zeigt, und andere mehr.<lb/> Liest man diese Gleichung als Subsumtion von links nach rechts, so leistet<lb/> sie die Elimination des <hi rendition="#i">c</hi>, liest man sie als Subsumtion von rechts nach<lb/> links, so introduzirt sie das beliebige <hi rendition="#i">c</hi>. Und da die durch beide Subsum-<lb/> tionen ausgedrückten Folgerungen umkehrbar sind, trifft das Kennzeichen<lb/> des Transformationsproblemes zu.</p><lb/> <p>Endlich kann die Solution enthalten: nur einen Teil der im<lb/> Prämissensystem erscheinenden Symbole, dafür aber auch einige dem-<lb/> selben fremde. Alsdann ist das Problem von gemischtem Charakter:<lb/> ein Eliminationsproblem in Hinsicht auf die fehlenden und ein Intro-<lb/> duktionsproblem in Hinsicht auf die überzähligen Symbole.</p><lb/> <p>Als einer der einfachsten Fälle von Elimination und Introduktion stellt<lb/> sich nach <hi rendition="#g">Peirce</hi> die Anwendung der Theoreme 6<hi rendition="#sub">×</hi>) resp. 6<hi rendition="#sub">+</hi>) im Aussagen-<lb/> kalkul dar: <hi rendition="#i">A B</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">A</hi> und <hi rendition="#i">A</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">A</hi> + <hi rendition="#i">B</hi>, indem diese lehren, dass man bei<lb/> gültigen Aussagen einen Faktor stets unterdrücken, einen Summanden nach<lb/> Belieben zufügen, anreihen darf.</p><lb/> <p>Man wird hier die Lösung der Aufgabe wol in zwei Anläufe zer-<lb/> legen können, indem man durch einen besonderen Prozess die auszu-<lb/> merzenden Symbole eliminirt, durch einen zweiten die neu einzuführen-<lb/> den introduzirt. —</p><lb/> <p>Unter einem der ersten Klasse angehörigen Probleme, bei welchem<lb/> also der Bestand an Symbolen unverändert zu bleiben hätte, kann man<lb/> sich, wofern dasselbe nicht als ein völlig unbestimmtes erscheinen<lb/> soll, nur<note xml:id="seg2pn_1_1" next="#seg2pn_1_2" place="foot" n="*)">Wir dachten uns unser Problem so gefasst, dass aus einer die Data zu-<lb/> sammenfassenden Gesamtaussage abzuleiten ist eine von ihr bedingte als die<lb/> Lösung hinzustellende Gesamtaussage. Probleme, deren Lösung einfach durch die<lb/> Antwort „Ja“, oder „Nein“, zu geben ist, würden als bestimmte „Fragen“ zu be-<lb/> zeichnen sein, und könnten als Probleme der formalen Logik sich nur darum<lb/> drehen, ob aus einer gegebenen Aussagengruppe Α eine andere gegebene Β denk-<lb/> notwendig folgt, oder nicht.<lb/> Die Antwort würde hier dadurch herbeizuführen sein, dass man die Subsum-<lb/> tion Α <choice><orig></orig><reg>⊆</reg></choice> Β zwischen den beiden Gesamtaussagen darauf hin untersuchte, ob sie</note> ein Problem vorstellen, bei welchem über die <hi rendition="#i">Form</hi> der<lb/></p> </div> </div> </div> </body> </text> </TEI> [197/0221]
§ 40. Umschau über noch zu lösende Probleme.
im Ganzen also weniger Symbole; dann haben wir ein reines Eli-
minationsproblem vor uns.
Sie kann auch enthalten: die sämtlichen im Prämissensystem vor-
kommenden Symbole und dazu noch einige mehr (welche dann, weil
im Prämissensystem unerwähnt gelassen, vollkommen unbestimmt oder
willkürlich bleiben werden). In diesem Falle lag ein reines Intro-
duktionsproblem vor.
Beispiele wurden unter α') soeben angeführt. Auch diese beiden
Probleme können zugleich reine Transformationsprobleme sein, wie z. B.
die Gleichung des Th. 40) oder Zusatz in § 29 zeigt, und andere mehr.
Liest man diese Gleichung als Subsumtion von links nach rechts, so leistet
sie die Elimination des c, liest man sie als Subsumtion von rechts nach
links, so introduzirt sie das beliebige c. Und da die durch beide Subsum-
tionen ausgedrückten Folgerungen umkehrbar sind, trifft das Kennzeichen
des Transformationsproblemes zu.
Endlich kann die Solution enthalten: nur einen Teil der im
Prämissensystem erscheinenden Symbole, dafür aber auch einige dem-
selben fremde. Alsdann ist das Problem von gemischtem Charakter:
ein Eliminationsproblem in Hinsicht auf die fehlenden und ein Intro-
duktionsproblem in Hinsicht auf die überzähligen Symbole.
Als einer der einfachsten Fälle von Elimination und Introduktion stellt
sich nach Peirce die Anwendung der Theoreme 6×) resp. 6+) im Aussagen-
kalkul dar: A B  A und A  A + B, indem diese lehren, dass man bei
gültigen Aussagen einen Faktor stets unterdrücken, einen Summanden nach
Belieben zufügen, anreihen darf.
Man wird hier die Lösung der Aufgabe wol in zwei Anläufe zer-
legen können, indem man durch einen besonderen Prozess die auszu-
merzenden Symbole eliminirt, durch einen zweiten die neu einzuführen-
den introduzirt. —
Unter einem der ersten Klasse angehörigen Probleme, bei welchem
also der Bestand an Symbolen unverändert zu bleiben hätte, kann man
sich, wofern dasselbe nicht als ein völlig unbestimmtes erscheinen
soll, nur *) ein Problem vorstellen, bei welchem über die Form der
*) Wir dachten uns unser Problem so gefasst, dass aus einer die Data zu-
sammenfassenden Gesamtaussage abzuleiten ist eine von ihr bedingte als die
Lösung hinzustellende Gesamtaussage. Probleme, deren Lösung einfach durch die
Antwort „Ja“, oder „Nein“, zu geben ist, würden als bestimmte „Fragen“ zu be-
zeichnen sein, und könnten als Probleme der formalen Logik sich nur darum
drehen, ob aus einer gegebenen Aussagengruppe Α eine andere gegebene Β denk-
notwendig folgt, oder nicht.
Die Antwort würde hier dadurch herbeizuführen sein, dass man die Subsum-
tion Α  Β zwischen den beiden Gesamtaussagen darauf hin untersuchte, ob sie
Suche im WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
| URL zu diesem Werk: | https://www.deutschestextarchiv.de/schroeder_logik0201_1891 |
| URL zu dieser Seite: | https://www.deutschestextarchiv.de/schroeder_logik0201_1891/221 |
| Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 197. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/221>, abgerufen am 26.11.2024. |
