Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.Zwanzigste Vorlesung. a c resp. a c1 noch wahr ist, die Konklusion a c 0 resp. a c1 0aber sich als falsch herausstellt. Erst wenn zu der genannten Prämisse auch noch die Annahme Dieselben zeigen zugleich, wie die in ihrer bisherigen Fassung Zu merken ist hienach: dass ein Folgern durch Subalternation in Und da mit dieser Art von Schlussfolgerungen sich auch noch Die Konversion gehört (ebenso wie die "Subalternation") zu den Wir haben deren bereits eine grosse Menge kennen gelernt, darunter Zwanzigste Vorlesung. a ⊆ c resp. a ⊆ c1 noch wahr ist, die Konklusion a c ≠ 0 resp. a c1 ≠ 0aber sich als falsch herausstellt. Erst wenn zu der genannten Prämisse auch noch die Annahme Dieselben zeigen zugleich, wie die in ihrer bisherigen Fassung Zu merken ist hienach: dass ein Folgern durch Subalternation in Und da mit dieser Art von Schlussfolgerungen sich auch noch Die Konversion gehört (ebenso wie die „Subalternation“) zu den Wir haben deren bereits eine grosse Menge kennen gelernt, darunter <TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <p><pb facs="#f0268" n="244"/><fw place="top" type="header">Zwanzigste Vorlesung.</fw><lb/><hi rendition="#i">a</hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">c</hi> resp. <hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> noch wahr ist, die Konklusion <hi rendition="#i">a c</hi> ≠ 0 resp. <hi rendition="#i">a c</hi><hi rendition="#sub">1</hi> ≠ 0<lb/> aber sich als falsch herausstellt.</p><lb/> <p>Erst wenn zu der genannten Prämisse auch noch die Annahme<lb/><hi rendition="#i">a</hi> ≠ 0, d. h. die Voraussetzung, dass es Individuen von der Klasse<lb/> des Subjektes <hi rendition="#i">gebe</hi>, als eine weitere Prämisse hinzugefügt ist, wird der<lb/> Schluss stichhaltig. Wir haben dies für das bejahende Urteil (mit<lb/> vertauschtem <hi rendition="#i">a</hi> und <hi rendition="#i">c</hi>) schon unter Bamalip gezeigt, und das Ergeb-<lb/> niss der Betrachtung in einem besondern Satze <hi rendition="#i">ξ</hi>) formulirt. Ersetzt<lb/> man in <hi rendition="#i">ξ</hi>) <hi rendition="#i">b</hi> durch <hi rendition="#i">c</hi> resp. <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>, so gelangt man, dies Theorem rückwärts<lb/> lesend und auf die linke Seite das Th. 6̄<hi rendition="#sub">×</hi>) des Aussagenkalkuls an-<lb/> wenden, zu den Schlüssen:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> ≠ 0) (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">a c</hi> ≠ 0), (<hi rendition="#i">a</hi> ≠ 0) (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">a c</hi><hi rendition="#sub">1</hi> ≠ 0)</hi><lb/> welche die obige Angabe rechtfertigen.</p><lb/> <p>Dieselben zeigen zugleich, wie die in ihrer bisherigen Fassung<lb/> noch lückenhaften oder enthymematischen „abgeschwächten Modi“ zu<lb/> gültigen Schlüssen — mit unfehlbar richtiger, wenngleich unvollstän-<lb/> diger Konklusion — zu ergänzen sind: dies hat einfach zu geschehen<lb/> durch Hinzufügung des Faktors <hi rendition="#i">a</hi> ≠ 0 zu dem Produkte der bereits<lb/> angeführten Prämissen. So wird denn:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> ≠ 0) (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>) (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">a c</hi> ≠ 0)</hi><lb/> — d. i. <hi rendition="#i">ε</hi>) mit vertauschtem <hi rendition="#i">a</hi> und <hi rendition="#i">c</hi> — den nunmehr richtig ge-<lb/> stellten Schluss <hi rendition="#g">Barbari</hi> darstellen, und sind darnach auch die übrigen<lb/> abgeschwächten Formen jetzt leicht berichtigt hinzuschreiben.</p><lb/> <p>Zu merken ist hienach: dass ein <hi rendition="#i">Folgern durch Subalternation in<lb/> der exakten Logik unzulässig ist</hi>.</p><lb/> <p>Und da mit dieser Art von Schlussfolgerungen sich auch noch<lb/> eine andere Folgerungsweise der traditionellen Logik: die sogenannte<lb/> „<hi rendition="#i">Konversion durch Limitation</hi>“, „<hi rendition="#i">conversio per accidens</hi>“ auf das naheste<lb/> verwandt erweist, so wollen wir den Anlass ergreifen, die „Konversion“<lb/> überhaupt zu besprechen.</p><lb/> <p>Die Konversion gehört (ebenso wie die „Subalternation“) zu den<lb/> sogenannten „<hi rendition="#i">unmittelbaren Folgerungen</hi>“. Als solche, soweit sie in<lb/> den Rahmen des Klassenkalkuls fallen, kann man bezeichnen: die Ab-<lb/> leitung eines kategorischen Urteils aus (nur) <hi rendition="#i">einem</hi> andern.</p><lb/> <p>Wir haben deren bereits eine grosse Menge kennen gelernt, darunter<lb/> solche, bei denen ausser den beiden als Subjekt und Prädikat in der Prä-<lb/> misse auftretenden Termen in der Konklusion auch noch andere Terme als<lb/> neu introduzirte vorkommen — wie z. B. den Schluss von <hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi> auf<lb/><hi rendition="#i">a c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b c</hi> — desgleichen solche, bei denen Terme sich eliminirten, heraus-<lb/></p> </div> </div> </div> </body> </text> </TEI> [244/0268]
Zwanzigste Vorlesung.
a  c resp. a  c1 noch wahr ist, die Konklusion a c ≠ 0 resp. a c1 ≠ 0
aber sich als falsch herausstellt.
Erst wenn zu der genannten Prämisse auch noch die Annahme
a ≠ 0, d. h. die Voraussetzung, dass es Individuen von der Klasse
des Subjektes gebe, als eine weitere Prämisse hinzugefügt ist, wird der
Schluss stichhaltig. Wir haben dies für das bejahende Urteil (mit
vertauschtem a und c) schon unter Bamalip gezeigt, und das Ergeb-
niss der Betrachtung in einem besondern Satze ξ) formulirt. Ersetzt
man in ξ) b durch c resp. c1, so gelangt man, dies Theorem rückwärts
lesend und auf die linke Seite das Th. 6̄×) des Aussagenkalkuls an-
wenden, zu den Schlüssen:
(a ≠ 0) (a  c)  (a c ≠ 0), (a ≠ 0) (a  c1)  (a c1 ≠ 0)
welche die obige Angabe rechtfertigen.
Dieselben zeigen zugleich, wie die in ihrer bisherigen Fassung
noch lückenhaften oder enthymematischen „abgeschwächten Modi“ zu
gültigen Schlüssen — mit unfehlbar richtiger, wenngleich unvollstän-
diger Konklusion — zu ergänzen sind: dies hat einfach zu geschehen
durch Hinzufügung des Faktors a ≠ 0 zu dem Produkte der bereits
angeführten Prämissen. So wird denn:
(a ≠ 0) (a  b) (b  c)  (a c ≠ 0)
— d. i. ε) mit vertauschtem a und c — den nunmehr richtig ge-
stellten Schluss Barbari darstellen, und sind darnach auch die übrigen
abgeschwächten Formen jetzt leicht berichtigt hinzuschreiben.
Zu merken ist hienach: dass ein Folgern durch Subalternation in
der exakten Logik unzulässig ist.
Und da mit dieser Art von Schlussfolgerungen sich auch noch
eine andere Folgerungsweise der traditionellen Logik: die sogenannte
„Konversion durch Limitation“, „conversio per accidens“ auf das naheste
verwandt erweist, so wollen wir den Anlass ergreifen, die „Konversion“
überhaupt zu besprechen.
Die Konversion gehört (ebenso wie die „Subalternation“) zu den
sogenannten „unmittelbaren Folgerungen“. Als solche, soweit sie in
den Rahmen des Klassenkalkuls fallen, kann man bezeichnen: die Ab-
leitung eines kategorischen Urteils aus (nur) einem andern.
Wir haben deren bereits eine grosse Menge kennen gelernt, darunter
solche, bei denen ausser den beiden als Subjekt und Prädikat in der Prä-
misse auftretenden Termen in der Konklusion auch noch andere Terme als
neu introduzirte vorkommen — wie z. B. den Schluss von a  b auf
a c  b c — desgleichen solche, bei denen Terme sich eliminirten, heraus-
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/268 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 244. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/268>, abgerufen am 15.08.2024. |