Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.
§ 45. Besonderheiten des Aussagenkalkuls. man die in sie eingehenden Buchstabensymbole als irgendwelche Aus-sagen (konstanten Sinnes) interpretirt (dazu die 0 und i als die ge- wiss falsche resp. wahre Aussage) ohne dass ihr jedoch die weitere Geltung zukäme. Sie konnte in diesem Falle, vermittelst des Schema's (a = i) = a oder e) und dessen Folgesätzen n) des § 32, sofort in eine analytische Identität des Gebietekalkuls umgeschrieben und somit gerechtfertigt werden. Vor dieser Verwandlung aber wird sie ent- weder -- als eine Formel "gemischter Natur" -- im Gebietekalkul überhaupt nicht deutungsfähig erscheinen, oder, wenn sie doch in ihm deutungsfähig ist, wird sie daselbst nicht durchaus gelten. Im letzteren Falle haben wir ihre Chiffre durch einen Stern ausgezeichnet, um vor ihrer rückhaltlosen Anwendung zu warnen. Gültig zu bleiben braucht solche Formel nur dann, wenn man alle vorkommenden Gebietesym- bole auf den Bereich der beiden Werte 0 und i verweist, für jeden Buchstaben nur einen beliebigen dieser beiden Werte -- in jedem einzelnen Falle gleichviel welchen von beiden -- zulässt. Die Formeln des § 29 besassen sämtlich die weitere Geltung, wo- Hier drängt sich nun die nicht unwichtige Frage auf: wie kann Träfe schon letztere nicht zu, so könnte die Formel überhaupt keine Umgekehrt: Gilt eine Formel für alle Wertsysteme ihrer Buchstaben, Die aufgeworfene Frage ist nun wie folgt zu beantworten. Jede Formel, gewonnen durch Übertragung der im identischen Gelingt es auf dem angedeuteten Wege nicht, eine fragliche Formel 18*
§ 45. Besonderheiten des Aussagenkalkuls. man die in sie eingehenden Buchstabensymbole als irgendwelche Aus-sagen (konstanten Sinnes) interpretirt (dazu die 0 und i als die ge- wiss falsche resp. wahre Aussage) ohne dass ihr jedoch die weitere Geltung zukäme. Sie konnte in diesem Falle, vermittelst des Schema’s (a = i) = a oder ε) und dessen Folgesätzen ν) des § 32, sofort in eine analytische Identität des Gebietekalkuls umgeschrieben und somit gerechtfertigt werden. Vor dieser Verwandlung aber wird sie ent- weder — als eine Formel „gemischter Natur“ — im Gebietekalkul überhaupt nicht deutungsfähig erscheinen, oder, wenn sie doch in ihm deutungsfähig ist, wird sie daselbst nicht durchaus gelten. Im letzteren Falle haben wir ihre Chiffre durch einen Stern ausgezeichnet, um vor ihrer rückhaltlosen Anwendung zu warnen. Gültig zu bleiben braucht solche Formel nur dann, wenn man alle vorkommenden Gebietesym- bole auf den Bereich der beiden Werte 0 und i verweist, für jeden Buchstaben nur einen beliebigen dieser beiden Werte — in jedem einzelnen Falle gleichviel welchen von beiden — zulässt. Die Formeln des § 29 besassen sämtlich die weitere Geltung, wo- Hier drängt sich nun die nicht unwichtige Frage auf: wie kann Träfe schon letztere nicht zu, so könnte die Formel überhaupt keine Umgekehrt: Gilt eine Formel für alle Wertsysteme ihrer Buchstaben, Die aufgeworfene Frage ist nun wie folgt zu beantworten. Jede Formel, gewonnen durch Übertragung der im identischen Gelingt es auf dem angedeuteten Wege nicht, eine fragliche Formel 18*
<TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <p><pb facs="#f0299" n="275"/><fw place="top" type="header">§ 45. Besonderheiten des Aussagenkalkuls.</fw><lb/> man die in sie eingehenden Buchstabensymbole als irgendwelche Aus-<lb/> sagen (konstanten Sinnes) interpretirt (dazu die 0 und i als die ge-<lb/> wiss falsche resp. wahre Aussage) ohne dass ihr jedoch die weitere<lb/> Geltung zukäme. Sie konnte in diesem Falle, vermittelst des Schema’s<lb/> (<hi rendition="#i">a</hi> = i) = <hi rendition="#i">a</hi> oder <hi rendition="#i">ε</hi>) und dessen Folgesätzen <hi rendition="#i">ν</hi>) des § 32, sofort in<lb/> eine analytische Identität des Gebietekalkuls umgeschrieben und somit<lb/> gerechtfertigt werden. <hi rendition="#i">Vor</hi> dieser Verwandlung aber wird sie ent-<lb/> weder — als eine Formel „gemischter Natur“ — im Gebietekalkul<lb/> überhaupt nicht deutungsfähig erscheinen, oder, wenn sie doch in ihm<lb/> deutungsfähig ist, wird sie daselbst <hi rendition="#i">nicht durchaus</hi> gelten. Im letzteren<lb/> Falle haben wir ihre Chiffre durch einen Stern ausgezeichnet, um vor<lb/> ihrer rückhaltlosen Anwendung zu warnen. Gültig zu bleiben braucht<lb/> solche Formel nur dann, wenn man alle vorkommenden Gebietesym-<lb/> bole auf den Bereich der beiden Werte 0 und i verweist, für jeden<lb/> Buchstaben nur einen beliebigen dieser beiden Werte — in jedem<lb/> einzelnen Falle gleichviel welchen von beiden — zulässt.</p><lb/> <p>Die Formeln des § 29 besassen sämtlich die <hi rendition="#i">weitere</hi> Geltung, wo-<lb/> gegen wir im gegenwärtigen Paragraphen fast lauter solche Formeln<lb/> zusammengestellt und solche vorzugsweise aufgesucht haben, denen<lb/> nur die engere geltung zukommt.</p><lb/> <p>Hier drängt sich nun die nicht unwichtige Frage auf: wie kann<lb/> man bei einer richtigen Formel des Aussagenkalkuls entscheiden, ob<lb/> ihr die weitere oder blos die engere Geltung zukommt?</p><lb/> <p>Träfe schon letztere nicht zu, so könnte die Formel überhaupt keine<lb/> Geltung (in ihrer vollen Allgemeinheit, als solche) beanspruchen, auch die<lb/> „weitere“ nicht — denn eine Proposition des Gebietekalkuls soll sie all-<lb/> gemein gelten oder „Formel“ sein, muss auch für die Werte 0 oder 1<lb/> ihrer Buchstabensymbole sich erfüllt zeigen. Wir müssen also bei jeder<lb/> Formel (die als solche für uns in Betracht kommen kann) voraussetzen,<lb/> dass sie wenigstens im engeren Sinne, als <hi rendition="#i">„Formel des Aussagenkalkuls“</hi> gelte.</p><lb/> <p>Umgekehrt: Gilt eine Formel für alle Wertsysteme ihrer Buchstaben,<lb/> die aus Nullen und Einsern gebildet werden können, so ist sie im Aus-<lb/> sagenkalkul richtig, geniesst mindestens der engeren Geltung, da alsdann<lb/> nichts hindert, ihre Buchstaben als irgendwelche (nach Belieben konstant<lb/> richtige oder konstant falsche) Aussagen zu deuten.</p><lb/> <p>Die aufgeworfene Frage ist nun wie folgt zu beantworten.</p><lb/> <p>Jede Formel, gewonnen durch Übertragung der im identischen<lb/> Gebietekalkul <hi rendition="#i">bewiesenen</hi> Sätze in die Zeichensprache des Aussagen-<lb/> kalkuls — überhaupt jede in jenem beweisbare, aus dessen Grund-<lb/> lagen deduzirbare Formel — muss zweifellos „die weitere Geltung“<lb/> haben:</p><lb/> <p>Gelingt es auf dem angedeuteten Wege nicht, eine fragliche Formel<lb/> <fw place="bottom" type="sig">18*</fw><lb/></p> </div> </div> </div> </body> </text> </TEI> [275/0299]
§ 45. Besonderheiten des Aussagenkalkuls.
man die in sie eingehenden Buchstabensymbole als irgendwelche Aus-
sagen (konstanten Sinnes) interpretirt (dazu die 0 und i als die ge-
wiss falsche resp. wahre Aussage) ohne dass ihr jedoch die weitere
Geltung zukäme. Sie konnte in diesem Falle, vermittelst des Schema’s
(a = i) = a oder ε) und dessen Folgesätzen ν) des § 32, sofort in
eine analytische Identität des Gebietekalkuls umgeschrieben und somit
gerechtfertigt werden. Vor dieser Verwandlung aber wird sie ent-
weder — als eine Formel „gemischter Natur“ — im Gebietekalkul
überhaupt nicht deutungsfähig erscheinen, oder, wenn sie doch in ihm
deutungsfähig ist, wird sie daselbst nicht durchaus gelten. Im letzteren
Falle haben wir ihre Chiffre durch einen Stern ausgezeichnet, um vor
ihrer rückhaltlosen Anwendung zu warnen. Gültig zu bleiben braucht
solche Formel nur dann, wenn man alle vorkommenden Gebietesym-
bole auf den Bereich der beiden Werte 0 und i verweist, für jeden
Buchstaben nur einen beliebigen dieser beiden Werte — in jedem
einzelnen Falle gleichviel welchen von beiden — zulässt.
Die Formeln des § 29 besassen sämtlich die weitere Geltung, wo-
gegen wir im gegenwärtigen Paragraphen fast lauter solche Formeln
zusammengestellt und solche vorzugsweise aufgesucht haben, denen
nur die engere geltung zukommt.
Hier drängt sich nun die nicht unwichtige Frage auf: wie kann
man bei einer richtigen Formel des Aussagenkalkuls entscheiden, ob
ihr die weitere oder blos die engere Geltung zukommt?
Träfe schon letztere nicht zu, so könnte die Formel überhaupt keine
Geltung (in ihrer vollen Allgemeinheit, als solche) beanspruchen, auch die
„weitere“ nicht — denn eine Proposition des Gebietekalkuls soll sie all-
gemein gelten oder „Formel“ sein, muss auch für die Werte 0 oder 1
ihrer Buchstabensymbole sich erfüllt zeigen. Wir müssen also bei jeder
Formel (die als solche für uns in Betracht kommen kann) voraussetzen,
dass sie wenigstens im engeren Sinne, als „Formel des Aussagenkalkuls“ gelte.
Umgekehrt: Gilt eine Formel für alle Wertsysteme ihrer Buchstaben,
die aus Nullen und Einsern gebildet werden können, so ist sie im Aus-
sagenkalkul richtig, geniesst mindestens der engeren Geltung, da alsdann
nichts hindert, ihre Buchstaben als irgendwelche (nach Belieben konstant
richtige oder konstant falsche) Aussagen zu deuten.
Die aufgeworfene Frage ist nun wie folgt zu beantworten.
Jede Formel, gewonnen durch Übertragung der im identischen
Gebietekalkul bewiesenen Sätze in die Zeichensprache des Aussagen-
kalkuls — überhaupt jede in jenem beweisbare, aus dessen Grund-
lagen deduzirbare Formel — muss zweifellos „die weitere Geltung“
haben:
Gelingt es auf dem angedeuteten Wege nicht, eine fragliche Formel
18*
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/299 |
| Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 275. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/299>, abgerufen am 30.04.2024. |
