Syllogismus und Künstliche Intelligenz: Unterschied zwischen den Seiten

Aus AnthroWiki
(Unterschied zwischen Seiten)
imported>Joachim Stiller
 
imported>Odyssee
 
Zeile 1: Zeile 1:
Die '''Syllogismen''' (von {{grcS|συν-λογισμός}} ''syllogismos'' „[das] Zusammenrechnen“, „logischer Schluss“) sind ein Katalog bestimmter Typen logischer Schlüsse. Sie bilden den Kern der im vierten Jahrhundert vor unserer Zeitrechnung entstandenen antiken [[Logik]] des [[Aristoteles]] und der traditionellen Logik bis ins 19. Jahrhundert. Als Haupttechnik der Logik abgelöst wurde der syllogistische Ansatz durch die Integration der Logik in die Mathematik, mit den Arbeiten von [[George Boole]] und [[Gottlob Frege]] im 19. und frühen 20. Jahrhundert.
{{Textbox|<poem>Und so ein Hirn, das trefflich denken soll,
Wird künftig auch ein Denker machen.</poem>|[[Goethe]], [[Faust II]], Laboratorium}}
[[Datei:Turing statue Surrey.jpg|thumb|Statue von [[Alan Turing]] (1912-1954) an der [[Wikipedia:University of Surrey|University of Surrey]]]]
[[Datei:Thomas Hobbes (portrait).jpg|thumb|Thomas Hobbes (1588-1679)]]
[[Datei:Julien Offray de La Mettrie.jpg|thumb|Julien Offray de La Mettrie (1709-1751)]]
[[Datei:Samuel Butler by Charles Gogin.jpg|thumb|Samuel Butler (1835-1902)]]
[[Datei:John McCarthy Stanford.jpg|thumb|[[Wikipedia:John McCarthy|John McCarthy]] (1927-2011)]]
[[Datei:Marvin Minsky at OLPCb.jpg|thumb|[[Marvin Minsky]] (1927-2016)]]
[[File:Herbert simon red complete.jpg|thumb|[[w:Herbert A. Simon|Herbert A. Simon]] (1916-2001), Porträt by [[w:Richard Rappaport|Richard Rappaport]]]]
[[Datei:Raymond Kurzweil Fantastic Voyage.jpg|thumb|[[Raymond Kurzweil|Raymond „Ray“ Kurzweil]] (2006)]]


[[Datei:Syllogismus-Beispiel.svg|mini|hochkant=2|Beispiel für einen gültigen Syllogismus]]
'''Künstliche Intelligenz''' (kurz '''KI'''), auch '''Artifizielle Intelligenz''' ({{EnS|'''''artificial intelligence'''''}}; kurz '''AI''') genannt, ist ein Teilgebiet der [[Informatik]], das auf die [[Maschine|maschinelle]] [[Automat]]isierung der [[Intelligenz]] mittels [[Computer]] abzielt. Namentlich im Bereich der [[Kognition|kognitiven Intelligenz]] (z.B. [[Wikipedia:Spracherkennung|Sprach]]- und [[Wikipedia:Texterkennung|Texterkennung]], [[Wikipedia:Objekterkennung|Objekterkennung]], [[Wikipedia:autonomes Fahren|autonomes Fahren]]) wurden in den letzten Jahren große Fortschritte erzielt.  
Als '''Syllogistik''' wird allgemein die Lehre von den Syllogismen bezeichnet. Die klassische Logik untersuchte insbesondere, unter welchen Voraussetzungen Syllogismen [[Schlussfolgerung#Korrektheit einer Schlussfolgerung|gültig]] sind. Syllogismen sind immer nach dem gleichen Muster aufgebaut. Jeweils zwei [[Prämisse]]n (Voraussetzungen), '''Obersatz''' und '''Untersatz''' genannt, führen zu einer '''Konklusion''' ([[Schlussfolgerung]]). Die Prämissen und die Konklusion sind [[Aussage (Logik)|Aussagen]] von einem bestimmten Typ, in denen jeweils einem Begriff, dem syllogistischen Subjekt, ein anderer Begriff, das syllogistische Prädikat (nicht gleichbedeutend mit Subjekt und Prädikat in der Grammatik), in bestimmter Weise zu- oder abgesprochen wird. In Abhängigkeit von der Stelle, an der sie im Syllogismus auftreten, werden die vorkommenden Begriffe Oberbegriff, Mittelbegriff und Unterbegriff genannt.


== Geschichte ==
== Geschichte ==
Der lateinische Begriff ''syllogismus'' geht auf das griechische ''syllogismos'' (συλλογισμός) zurück. Mit ''syllogismos'' bezeichnet Aristoteles ein [[Argument#Deduktive Argumente|deduktives Argument]], das er als erster folgendermaßen definiert:
{{Zitat|Eine Deduktion (''syllogismos'') ist also ein Argument, in welchem sich, wenn etwas gesetzt wurde, etwas anderes als das Gesetzte mit Notwendigkeit durch das Gesetzte ergibt.|Aristoteles|Topik I 1, 100a25-27<ref>Übersetzung Wagner/Rapp</ref>}}


In diesem weiteren Sinn, also als Synonym für das Wort „Argument“, wurde das Wort „Syllogismus“ alltagssprachlich bis ins 20. Jahrhundert hinein verwendet.<ref>So unterscheidet noch ''Meyers Großes Konversations-Lexikon'' von 1905 bis 1909 zwischen dem Syllogismus im weiteren Sinn („in der Logik im allgemeinen der Schluß überhaupt“ – Band&nbsp;19, Seite&nbsp;234) vom Syllogismus im engeren Sinn (dem „kategorischen S[chluss], dem Syllogismus des Aristoteles“ – Band&nbsp;17, Seite&nbsp;877).</ref> Im modernen Sprachgebrauch ist diese weite Verwendung nicht mehr üblich und nur mehr in Ausdrücken wie [[hypothetischer Syllogismus]] (ein Sammelbegriff für bestimmte in der Tradition betrachtete aussagenlogische Schlussweisen) anzutreffen.
Nach dem aus dem [[iran]]ischen [[Wikipedia:Choresmien|Choresmien]] stammenden [[Universalgelehrter|Universalgelehrtern]] [[Al-Chwarizmi]] („der Choresmier“, latinisiert ''Algorismi''; * um 780; † zwischen 835 (?) und 850), der während der Blütezeit der [[Wikipedia:Abbasiden|Abbasiden]] im [[Haus der Weisheit (Bagdad)|Haus der Weisheit]] in [[Wikipedia:Bagdad|Bagdad]] wirkte und lehrte, ist der Begriff „[[Algorithmus]]“ benannt. Ein Algorithmus ist eine aus endlich vielen, [[wohldefiniert]]en Einzelschritten bestehende ''„systematische, logische Regel oder Vorgehensweise, die zur Lösung eines vorliegenden Problems führt“''<ref>{{Internetquelle|url=http://lexikon.stangl.eu/3027/algorithmus-algorythmus-algorhythmus/|titel=Algorithmus|titelerg=|autor=[[Wikipedia:Werner Stangl|Werner Stangl]]|hrsg=|werk=lexikon.stangl.eu|seiten=|datum= |zugriff=2017-12-04|sprache=|format=|kommentar=|zitat=|offline=}}</ref>. Dabei kann es sich um [[Regel]]n aller Art handeln, beispielsweise um [[Rechnen|Rechenregeln]], Rezepturen (auch Kochrezepte), Gesetze und Verordnungen usw. Sie können in menschlicher [[Sprache]] [[eindeutig]] formuliert und streng formalisiert in [[Computer]]programme implementiert werden. In der frühen Phase der KI versuchte man die menschliche Intelligenz durch entsprechende Algorithmen nachzubilden.  


''Syllogismus'' bezeichnet verwirrenderweise traditionell nun ausschließlich eine spezielle Form des deduktiven Arguments (''syllogismos''), nämlich die in Aristoteles’ [[Analytica Priora|Erster Analytik]] behandelte Deduktion, die aus genau zwei Prämissen, einer Konklusion und drei Begriffen besteht. Da die Definition der Deduktion diese Einschränkung nicht aufweist, ist zwar jeder Syllogism'''us''' ein syllogism'''os''', aber nicht jeder syllogism'''os''' ein Syllogism'''us'''.
Schon [[Thomas Hobbes]] (1588-1679) vertrat eine frühe Version des [[Computationalismus]], wonach der [[Rationalismus|rationale]] [[Verstand]] des [[Mensch]]en auf [[Berechnung]]svorgängen beruhe:


Nach der Position des Mittelbegriffs –&nbsp;das heißt desjenigen Begriffs, der nur in den Prämissen vorkommt&nbsp;– unterscheidet Aristoteles drei Arten von Schlüssen, ''Figuren'' genannt (siehe Abschnitt [[#Figuren|Figuren]]). Die Einführung einer vierten Figur, deren Schlüsse auch Aristoteles schon als gültig anerkennt,<ref name="neb23-263">„Logic“, in: ''The New Encyclopaedia Britannica'', Chicago u.&nbsp;a. 15.&nbsp;Aufl. 2003, Band&nbsp;23, Seite&nbsp;263</ref> wird von [[Avicenna]] und anderen [[Galenus|Galen]] zugeschrieben, obwohl es für diese Zuschreibung keine direkten Hinweise im überlieferten Werk Galens gibt<ref>Albert Veraart: Galenische Figur, in: Jürgen Mittelstraß: ''Enzyklopädie Philosophie und Wissenschaftstheorie.'' Metzler Stuttgart 1996, ISBN 3-476-02012-6, 1.&nbsp;Band, Seite&nbsp;699</ref> und dieser sie in der Tat sogar ausdrücklich ablehnt.<ref>„Logic“, in: ''The New Encyclopaedia Britannica'', Chicago u.&nbsp;a. 15.&nbsp;Aufl. 2003, Band&nbsp;23, Seite&nbsp;265</ref> Bis zur Einführung der vierten Figur werden ihre Syllogismen in der Tradition des [[Theophrastos von Eresos]] oft der ersten Figur zugerechnet.
{{Zitat|Unter rationeller Erkenntnis vielmehr verstehe ich Berechnung.
Berechnen heißt entweder die Summe von zusammengefügten
Dingen finden oder den Rest erkennen, wenn eins vom andern
abgezogen wird. Also ist rationelle Erkenntnis dasselbe wie
Addieren und Subtrahieren; wenn jemand Multiplizieren, und
Dividieren hinzufügen will, so habe ich nichts dagegen, da
Multiplikation dasselbe ist wie Addition gleicher Posten, Division
dasselbe wie eine bestimmte Subtraktion gleicher Posten. Aber
rationelle Erkenntnis geht jedenfalls auf zwei Geistesoperationen
zurück: Addition und Subtraktion.|Thomas Hobbes|''Grundzüge der Philosophie'', 1. Teil: ''Lehre vom Körper'', S. 14}}


Im lateinischen Mittelalter, das die logischen Werke des Aristoteles zunächst aus Übersetzungen und Kommentaren des [[Boëthius]] aufnahm, wurden die traditionellen lateinischen Bezeichnungen für Quantität und Qualität der Urteile (siehe Abschnitt [[#Typen von Aussagen|Typen von Aussagen]]) durch [[Petrus Hispanus]] gebräuchlich.<ref>N.&nbsp;I.&nbsp;Kondakow: ''Wörterbuch der Logik.'' VEB Bibliographisches Institut Leipzig 1.&nbsp;Aufl.&nbsp;1978, Seite&nbsp;410</ref> In der [[Scholastik]] erhielt die Syllogistik die Form, die dann jahrhundertelang in den Lehrbüchern tradiert wurde,  wobei der authentische Gehalt der aristotelischen Syllogistik schon seit der Antike verloren gegangen war und sie seit der Renaissance zunehmend scharfer Kritik unterzogen wurde (berühmt ist etwa die Kritik von René Descartes). Erst Jan Łukasiewicz hat Aristoteles' Logik in einer bahnbrechenden Arbeit<ref>Jan Łukasiewicz: ''Aristotle's Syllogistic from the Standpoint of Modern Formal Logic'', Oxford: Clarendon Press <sup>2</sup>1957.</ref> neu entdeckt und sie vom Standpunkt der modernen Logik aus axiomatisch rekonstruiert; unter anderem wegen der hohen Zahl der dabei angesetzten Axiome wird jedoch bezweifelt, dass diese Rekonstruktion ausreichend gegenstandsadäquat ausgefallen ist.<ref>„The result [of Łukasiewicz's] is something of great interest, but very different from Aristotle's own conception of his work“ Kneale/Kneale: ''The Development of Logic,'' Seite&nbsp;80)</ref> An Łukasiewicz schließt die neuere Forschung an, die ihr deutschsprachiges Standardwerk in Günther Patzigs Darstellung<ref>Günther Patzig: ''Die aristotelische Syllogistik. Logisch-philologische Untersuchung über das Buch A der „Ersten Analytik“''. 3.&nbsp;Aufl., Göttingen, 1969.</ref> (1959) gefunden hat.
Dass sich die menschliche Intelligenz möglicherweise [[automat]]isieren bzw. [[Mechanizismus|mechanisch]] nachbilden ließe, hatte bereits [[Julien Offray de La Mettrie]] (1709-1751) in seinem [[1748]] zunächst anonym veröffentlichten Hauptwerk ''L'Homme Machine'' erwogen.  


Seither unterscheidet man zwischen der aristotelischen und der traditionellen Syllogistik. Der auffälligste äußere Unterschied besteht darin, dass Aristoteles Syllogismen nicht als eine Folge von drei Sätzen niederschreibt, sondern als ''einen'' Satz der Form „Wenn (Prämisse 1) und (Prämisse 2), so notwendig (Konklusion)“; es besteht Uneinigkeit darüber, ob sich diese Formulierung als metasprachliche Aussage über einen Syllogismus im traditionellen Verständnis erklären lasse<ref>[http://www.philo.uni-saarland.de/people/analytic/strobach/neueseite/pdfs/homburg.pdf Niko Strobach: Neuere Interpretationen der aristotelischen Syllogistik] (PDF; 112&nbsp;kB), Seite&nbsp;13, insbesondere das dort gebrachte Prior-Zitat „The Prior Analytics ... is not a book of syllogisms, but a book about syllogisms, and the statement ‚If B is predicable of every M, and M of every A, then B is predicable of every A‘ is a perfectly natural way of talking about syllogisms of the form ‚Every B is M, and every M is A, therefore etc.‘, and saying that all such syllogisms are valid.“</ref> oder ob der Sicht Łukasiewicz zu folgen sei, dass Aristoteles einen Syllogismus als ''eine'' zusammengesetzte Aussage betrachte. Die beiden Lesarten lassen sich einfach ineinander überführen; der vorliegende Artikel gibt konkrete Syllogismen im Sinn der ersteren Lesart durchgängig als Folge von drei Sätzen wieder. Auch von diesem strittigen Punkt abgesehen gibt es zwischen der aristotelischen und der traditionellen Syllogistik  zahlreiche Unterschiede in der logisch-semantischen Auffassung, so dass heute vielfach die Ansicht vertreten wird, Aristoteles stehe der modernen Logik im Grunde viel näher als der traditionellen Syllogistik. Bereits auf Augustus De Morgan geht die unter anderem von Patzig ausgearbeitete Auffassung der aristotelischen Syllogistik als Theorie bestimmter zweistelliger Relationen zwischen Begriffen sowie des relativen Produktes solcher Relationen zurück.<ref>Gereon Wolters: Syllogistik, in: Jürgen Mittelstraß: ''Enzyklopädie Philosophie und Wissenschaftstheorie.'' Metzler Stuttgart 1996, ISBN 3-476-02012-6, 4.&nbsp;Band, Seite&nbsp;156-158, Seite&nbsp;157, Spalte&nbsp;2</ref> Ein Syllogismus ist dann ein Relationenprodukt, das selbst wieder eine Relation in jener bestimmten Form ist, die in den vier Satztypen A, E, I oder O ausgedrückt wird (zu A, E, I, O siehe [[#Typen von Aussagen|Typen von Aussagen]]).
{{GZ|In de La Mettries «Der Mensch eine Maschine» kommt
ein Weltanschauungsbild zutage, das von dem Naturbilde
so überwältigt ist, daß es nur noch dieses gelten lassen
kann. Was im Selbstbewußtsein auftritt, muß daher
vorgestellt werden wie etwa das Spiegelbild gegenüber
dem Spiegel. Die Leibesorganisation wäre dem Spiegel zu
vergleichen, das Selbstbewußtsein dem Bilde. Das letztere
hat, abgesehen von der ersteren, keine selbständige Bedeutung.
In «Der Mensch eine Maschine» ist zu lesen:
«Wenn... aber alle Eigenschaften der Seele von der eigentümlichen
Organisation des Gehirns und des ganzen Körpers
so sehr abhängen, daß sie sichtlich... nur diese Organisation
selbst sind, so liegt... hier eine sehr aufgeklärte
Maschine vor ... Die Seele ist also nur ein nichtssagender
Ausdruck, von dem man gar keine Vorstellung hat und
den ein scharfer Kopf nur gebrauchen darf, um damit den
Teil, der in uns denkt, zu benennen. Nimmt man auch nur
das einfachste Prinzip der Bewegung in ihnen an, so haben
die beseelten Körper alles, was sie brauchen, um sich
zu bewegen, zu empfinden, zu denken, zu bereuen, kurz,
um im Physischen und im Moralischen, welches davon abhängt,
ihren Weg zu finden» . . . «Wenn das, was in meinem
Gehirn denkt, nicht ein Teil dieses Eingeweides und
folglich des ganzen Körpers ist, warum erhitzt sich dann
mein Blut, wenn ich ruhig in meinem Bett den Plan zu
meinem Werke mache, oder einen abstrakten Gedankengang
verfolge.» (Vgl. de La Mettrie, Der Mensch eine Maschine.
Philosophische Bibliothek Bd. 68.)|18|121f}}


Die unterschiedslose Gleichsetzung von aristotelischer und traditioneller Syllogistik in der älteren Geschichtsschreibung der Logik ([[Karl von Prantl|Carl Prantl]], [[Heinrich Maier (Philosoph)|Heinrich Maier]]) hat hingegen zahlreiche Irrtümer – etwa über die angeblichen metaphysischen Voraussetzungen von Aristoteles' Logik – hervorgebracht, von denen sich die Aristotelesinterpretation nur mit Mühe befreien konnte.
Auch der von [[Pierre-Simon Laplace]] als [[Gedankenmodell]] entworfene und später nach ihm benannten [[Laplacescher Dämon|Laplacesche Dämon]], der auf der Idee beruht, dass das gesamte Universum inklusive der menschlichen Intelligenz einem riesigen Uhrwerk gleicht, zielt in diese Richtung.


== Allgemeine Darstellung ==
Schon 1948 hatte [[Norbert Wiener]], der den Begriff [[Kybernetik]] prägte, zu bedenken gegeben:
Syllogistische Argumente sind immer nach dem gleichen Muster aufgebaut. Jeweils zwei [[Prämisse]]n (Voraussetzungen), genannt ''Obersatz'' (lateinisch ''propositio major'') und ''Untersatz'' (lateinisch ''propositio minor''), führen zu einer Konklusion ([[Schlussfolgerung]], lateinisch ''conclusio''). Im hier dargestellten '''kategorischen Syllogismus''' (auch '''assertorischer Syllogismus''' genannt) sind Prämissen und Konklusion [[Kategorisches Urteil|kategorische Urteile]], d.&nbsp;h. Aussagen, in denen einem Begriff (griechisch ὅρος – ''horos'', lateinisch ''terminus''), dem Subjekt, ein anderer Begriff, das Prädikat, in bestimmter Weise zu- oder abgesprochen wird. Zum Beispiel wird im kategorischen Urteil „Alle Menschen sind sterblich“ dem Subjekt „Mensch“ das Prädikat „sterblich“ zugesprochen. Zu beachten –&nbsp;und an diesem Beispiel ersichtlich&nbsp;– ist, dass die Wörter „Subjekt“ und „Prädikat“ im Zusammenhang der Syllogistik anders verwendet werden als in der traditionellen [[Grammatik]], wo das grammatikalische Subjekt der Ausdruck „alle Menschen“ und das grammatikalische Prädikat –&nbsp;je nach Sichtweise&nbsp;– das Wort „sind“<ref>Als Beispiel für diese Sicht sei die Duden-Grammatik von 1966 genannt (Duden Band&nbsp;4, 2.&nbsp;Auflage&nbsp;1966, §&nbsp;6020&nbsp;c, Seite&nbsp;540), die das Wort „sterblich“ in diesem Zusammenhang als eine Form von Umstandsergänzung betrachtet, genauer als Artergänzung (§&nbsp;5280, Seite&nbsp;481): „Um eine Artergänzung handelt es sich aber auch dort, wo die Artangabe den ‚kopulativen‘ Verben folgt, weil wir ihr auch in diesen Fällen den Wert eines selbständigen<!-- sic! --> Satzgliedes zusprechen[.]“ (§&nbsp;5285, Seite&nbsp;481) bzw. „Neuere Auffassungen sprechen auch [den Kopulaverben] den gleichen Rang [eines Prädikats] zu“ (§&nbsp;5125, Seite&nbsp;473)</ref> oder der Ausdruck „sind sterblich“<ref>Ein Beispiel für diese Sicht ist die aktuelle Duden-Grammatik: „Prädikativverben verbinden sich mit einem Subjekts- oder Objektsprädikativ zu einem mehrteiligen Prädikat. Hierzu gehören die so genannten Kopulaverben [wie] ''sein''“ (Duden Band&nbsp;4, 7.&nbsp;Auflage&nbsp;2005, §&nbsp;577, Seite&nbsp;421)</ref> wäre.


Innerhalb eines Syllogismus werden insgesamt drei verschiedene Begriffe verwendet:
{{Zitat|Das mechanische Gehirn sezerniert keine Gedanken "wie die Leber Galle", wie die früheren Materialisten behaupteten, noch gibt es sie in Form von Energie ab, wie der Muskel seine Aktivität aussendet. Information ist Information, nicht Materie oder Energie. Kein Materialismus, der dies nicht zugibt, kann heute überleben.|Norbert Wiener|''Cybernetics'' (1948), S. 132|ref=<ref>„The mechanical brain does not secrete thought "as the liver does bile," as the earlier materialists claimed, nor does it put it out in the form of energy, as the muscle puts out its activity. Information is information, not matter or energy. No materialism which does not admit this can survive at the present day.“<br />[[Norbert Wiener]]: ''Cybernetics or Control and Communication in the Animal and the Machine'', MIT Press 1948, p. 132 (deutsch: ''Kybernetik. Regelung und Nachrichtenübertragung im Lebewesen und in der Maschine'', 1948)</ref>}}
# der ''Oberbegriff'' (lateinisch ''terminus major''), der im Obersatz und auf der rechten Seite der Konklusion, d.&nbsp;h. als deren Prädikat&nbsp;(P) vorkommt;
# der ''Unterbegriff'' (lateinisch ''terminus minor''), der im Untersatz und auf der linken Seite der Konklusion, d.&nbsp;h. als deren Subjekt&nbsp;(S) vorkommt; und
# der ''Mittelbegriff'' (M) (lateinisch ''terminus medius''), der im Obersatz und im Untersatz, nicht aber in der Konklusion vorkommt.


In der Nachfolge von [[Johannes Philoponus]] wird den Bezeichnungen „Oberbegriff“ und „Unterbegriff“ seit dem 17. Jahrhundert mehrheitlich keinerlei inhaltliche Bedeutung beigemessen und sie werden ausschließlich aus ihrem Auftreten im Obersatz beziehungsweise im Untersatz und als Prädikat beziehungsweise Subjekt der Konklusion erklärt.<ref>„Since the seventeenth century most writers have adopted the suggestion of John Philoponus that the major term be ''defined'' as the predicate of the conclusion“ (Kneale/Kneale: ''The Development of Logic,'' Seite&nbsp;71)</ref> Gelegentlich werden Unter- und Oberbegriff auch als Subjekt bzw. Prädikat des Syllogismus bezeichnet.
[[Alan Turing]] ging davon aus, dass Maschinen konstruiert werden können, die das intelligente [[Verhalten]] des menschlichen Geistes so genau [[Simulation|simulieren]], dass es von dem eines realen Menschen nicht unterscheidbar ist.  


Ein Beispiel für einen gültigen Syllogismus ist Folgendes:
{{Zitat|Ich behaupte, dass Maschinen konstruiert werden können, die das Verhalten des menschlichen Geistes sehr genau simulieren. Sie werden manchmal Fehler machen, und und manchmal werden sie neue und sehr interessante Aussagen machen, und im Großen und Ganzen wird ihre Leistung in gleichem Maße beachtenswert sein wie der
Output eines menschlichen Geistes [...]


[[Datei:Syllogismus-Beispiel-2.png|ohne|505px|Kein Rechteck ist ein Kreis. Alle Quadrate sind Rechtecke. Also ist kein Quadrat ein Kreis.]]
Es ist zweifellos möglich, eine Maschine zu bauen, die für eine Reihe von Tests eine sehr gute Aussage über sich selbst machen würde, wenn die Maschine entsprechend aufwändig gestaltet wäre. Aber auch dies würde kaum als ausreichender Beweis gelten. Eine solche Maschine würde sich selbst verraten, indem sie immer wieder die gleiche Art von Fehlern macht und nicht in der Lage ist, sich selbst zu korrigieren oder durch Argumente von außen korrigiert zu werden. Wenn die Maschine in der Lage wäre, auf irgendeine Weise "durch Erfahrung zu lernen", wäre das viel beeindruckender. Wenn dies der Fall wäre, gäbe es keinen wirklichen Grund, warum man nicht von einer vergleichsweise einfachen Maschine ausgehen und sie durch eine geeignete Erfahrung in eine Maschine verwandeln könnte, die ausgefeilter ist und die in der Lage ist, mit einem weitaus größeren Spektrum an Eventualitäten umzugehen. Dieser Prozess könnte wahrscheinlich durch eine geeignete Auswahl der Erfahrungen, denen er ausgesetzt wird, beschleunigt werden. Dies könnte man als "Erziehung" bezeichnen. Aber hier müssen wir vorsichtig sein. Es wäre ziemlich einfach, die Erfahrungen so zu arrangieren, dass sie die Struktur der Maschine automatisch in eine vorher beabsichtigte Form bringt, und dies wäre natürlich eine grobe Form des Betrugs, fast so, als wäre ein Mensch innerhalb der Maschine.


Der Mittelbegriff dieses Syllogismus ist der Begriff „Rechteck“; im Obersatz dieses Syllogismus tritt der Mittelbegriff als Subjekt, in seinem Untersatz als Prädikat auf. Der Unterbegriff dieses Syllogismus ist der Begriff „Quadrat;“ er tritt im Untersatz als Subjekt auf. Der Oberbegriff dieses Syllogismus ist schließlich der Begriff „Kreis;er tritt im Obersatz als Prädikat auf.
Ich schlage vor, die Ausbildung der Maschine einem hochkompetenten Schulmeister anzuvertrauen, der sich für das Projekt interessiert, dem aber jede Detailkenntnis über das Innenleben der Maschine untersagt ist. Dem Mechaniker, der die Maschine konstruiert hat, ist es jedoch gestattet, die Maschine in Betrieb zu halten, und wenn er den Verdacht hat, dass die Maschine nicht richtig funktioniert, kann er sie in eine ihrer früheren Positionen zurückstellen und den Lehrer bitten, den Unterricht von diesem Punkt an zu wiederholen, aber er darf sich nicht am Unterricht beteiligen [...] Meines Erachtens wäre dieser Erziehungsprozess in der Praxis ein wesentliches Element für die Herstellung einer einigermaßen intelligenten Maschine innerhalb einer relativ kurzen Zeitspanne. Allein die Analogie zum Menschen legt dies nahe.|[[Alan Turing]]|''Intelligent Machinery, A Heretical Theory''|ref=<ref>:„My contention is that machines can be constructed which will simulate the behaviour of the human mind very closely. They will make mistakes at times, and at times they may make new and very interesting statements, and on the whole the output of them will be worth attention to the same sort of extent as the output of a human mind.<br /><br />It is clearly possible to produce a machine which would give a very good account of itself for any range of tests, if the machine were made suYciently elaborate. However, this again would hardly be considered an adequate proof. Such a machine would give itself away by making the same sort of mistake over and over again, and being quite unable to correct itself, or to be corrected by argument from outside. If the machine were able in some way to ‘learn by experience’ it would be much more impressive. If this were the case there seems to be no real reason why one should not start from a comparatively simple machine, and, by subjecting it to a suitable range of ‘experience’ transform it into one which was more elaborate, and was able to deal with a far greater range of contingencies. This process could probably be hastened by a suitable selection of the experiences to which it was subjected. This might be called ‘education’. But here we have to be careful. It would be quite easy to arrange the experiences in such a way that they automatically caused the
structure of the machine to build up into a previously intended form, and this would obviously be a gross form of cheating, almost on a par with having a man inside the machine.<br /><br />I suggest that the education of the machine should be entrusted to some highly competent schoolmaster who is interested in the project but who is forbidden any detailed knowledge of the inner workings of the machine. The mechanic who has constructed the machine, however, is permitted to keep the machine in running order, and if he suspects that the machine has been operating incorrectly may put it back to one of its previous positions and ask the schoolmaster to repeat his lessons from that point on, but he may not take any part in the teaching. Since this procedure would only serve to test the bona fides of the mechanic, I need hardly say that it would not be adopted in the experimental stages. As I see it, this education process would in practice be an essential
to the production of a reasonably intelligent machine within a reasonably short space of time. The human analogy alone suggests this.<br />[[Alan Turing]], B. Jack Copeland (Hrsg.): ''The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life: Plus The Secrets of Enigma'', Oxford University Press 2004, ISBN 0–19–825079–7</ref>}}


Alternativ zu Formulierungen wie „Kein S ist P“ oder „Alle S sind P“ werden auch gleichbedeutende Ausdrücke wie „P kommt keinem S zu“ und „P kommt allem S zu“ verwendet. In dieser Ausdrucksweise lautet der obige Syllogismus wie folgt:
Die Frage nach dem [[Bewusstsein]] einer solchen „intelligenten“ Maschine klammerte Turing dabei ebenso aus, wie die ob Maschinen denken können, da diese Fragen durch die objektiven Betrachtung von außen grundsätzlich nicht geklärt werden können. Für den Test entwarf er ein Spiel, das er „The Imitation Game“ (Das Nachahmungs-Spiel) nannte und heute als [[Turing-Test]] weithin bekannt ist. Der Test gilt als bestanden, wenn die Maschine die menschliche Intelligenz so täuschend imitieren kann, dass ein Mensch im freien Frage-Antwort-Spiel nicht feststellen kann, ob er es mit einem Menschen oder einer Maschine zu tun hat.


[[Datei:Beispielsyllogismus-Aristoteles.png|ohne|455px|Kreis kommt keinem Rechteck zu. Rechteck kommt allem Quadrat zu. Also kommt Kreis keinem Quadrat zu.]]
Die Bezeichnung „künstliche Intelligenz“ wurde erstmals 1955 von dem [[Logik]]er und [[Informatik]]er [[Wikipedia:John McCarthy|John McCarthy]] (1927-2011) in seinem Förderantrag<ref>“A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence” [http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html (McCarthy et al.:Förderantrag, August 1955, S. 1)]</ref> für das von ihm organisierte und am 13. Juli 1956 am [[Wikipedia:Dartmouth College|Dartmouth College]] in [[Wikipedia:Hanover (New Hampshire)|Hanover]] begonnene sechswöchige ''Dartmouth Summer Research Project on Artificial Intelligence'' verwendet. An dieser Konferenz nahmen unter anderen auch [[Marvin Minsky]], [[Wikipedia:Nathaniel Rochester|Nathan Rochester]] und [[Wikipedia:Claude Elwood Shannon|Claude Shannon]] teil. Die [[Wikipedia:Dartmouth Conference|Dartmouth Conference]] gilt seither als Gründungsveranstaltung der Forschung auf dem Gebiet der KI.


Die beiden Schreibweisen sind gleichbedeutend und gleichwertig. Während Aristoteles selber in seinen Analytiken überwiegend Varianten der zweiten Formulierung, „P kommt allem S zu“, wählt (meist „τὁ P κατηγορεῖται τοῦ S“ – „das P wird über das S ausgesagt“), wird seit der [[Scholastik]] Varianten der ersten Schreibweise, „Alle S sind P,“ der Vorzug gegeben. Stärker als in der traditionellen tritt in der aristotelischen Formulierung der Unterschied zwischen grammatikalischem und syllogistischem Subjekt bzw. Prädikat zutage; so hat in der Formulierung „P kommt allem S zu“ das syllogistische Prädikat, „P“, die Funktion des grammatikalischen Subjekts und das syllogistische Subjekt, „S“, die Funktion des grammatikalischen Prädikats.
Basierend auf den Arbeiten von [[Alan Turing]] (1912-1954), unter anderem dem Aufsatz ''Computing machinery and intelligence'', formulierten [[wikipedia:Allen Newell|Allen Newell]] (1927–1992) und [[wikipedia:Herbert A. Simon|Herbert A. Simon]] (1916–2001) von der [[wikipedia:Carnegie Mellon University|Carnegie Mellon University]] in [[wikipedia:Rittburgh|Pittsburgh]] die ''„Physical Symbol System Hypothesis“'', der zufolge [[Denken]] Informationsverarbeitung ist, und Informationsverarbeitung ein Rechenvorgang, eine Manipulation von Symbolen. Auf das [[Gehirn]] als solches komme es beim Denken nicht an: ''„Intelligence is mind implemented by any patternable kind of matter.“''


Es gibt jedoch in der Nachfolge von Jan Łukasiewicz die Meinung, dass die aristotelischen Syllogismen im Gegensatz zu denen der sich auf ihn berufenden Tradition keine Argumente aus zwei Prämissen und einer Konklusion seien, sondern zusammengesetzte Einzelsätze. Aus dieser Sicht müsse die aristotelische Variante des obigen Beispiels wie folgt lauten:
Diese Auffassung, dass Intelligenz unabhängig von der Trägersubstanz ist, wird von den Vertretern der ''starken KI''-These geteilt. Für [[Marvin Minsky]] (1927-2016) vom [[wikipedia:Massachusetts Institute of Technology|Massachusetts Institute of Technology]] (MIT), einem der Pioniere der KI, ist ''„das Ziel der KI die Überwindung des Todes“''. Der Roboterspezialist [[Hans Moravec]] (* 1948) von der [[Wikipedia:Carnegie Mellon University|Carnegie Mellon University]] beschreibt in seinem Buch ''Mind Children'' (Kinder des Geistes) das Szenario der [[Evolution]] des postbiologischen [[Leben]]s: Ein Roboter überträgt das im menschlichen Gehirn gespeicherte Wissen in einen Computer, sodass die [[Biomasse]] des Gehirns überflüssig wird und ein posthumanes Zeitalter beginnt, in dem das gespeicherte Wissen beliebig lange zugreifbar bleibt. Mit der detailierten Erinnerung an alles, was Menschen jemals gedacht haben, würden sich unsere „Geisteskinder“ mit ihrer überragenden Intelligenz dann größeren Herausforderungen in den Weiten des Universums stellen:


: Wenn kein Rechteck ein Kreis ist und alle Quadrate Rechtecke sind, dann ist kein Quadrat ein Kreis.
{{Zitat|Was uns erwartet, ist nicht Vergessen, sondern eine Zukunft, die von unserem gegenwärtigen Aussichtspunkt am besten mit den Worten "postbiologisch" oder sogar "übernatürlich" beschrieben wird. Es ist eine Welt, in der die Menschheit von der Flut der kulturellen Veränderung hinweggefegt wurde, usurpiert von ihrer eigenen künstliche Nachkommenschaft. Die letzten Konsequenzen sind jedoch unbekannt, obwohl viele Zwischenschritte nicht nur vorhersehbar sind, sondern bereits stattgefunden haben. Heute sind unsere Maschinen noch einfache Erzeugnisse, welche die elterliche Fürsorge und schwebende Aufmerksamkeit eines Neugeborenen erfordern, kaum würdig des Wortes "intelligent". Aber im nächsten Jahrhundert werden sie zu Entitäten heranreifen, die so komplex sind wie wir selbst und schließlich zu etwas, das alles transzendiert, was wir wissen - auf die wir stolz sein können, wenn sie sich selbst als unsere Nachkommen bezeichnen.


Die richtige Einordnung der aristotelischen Syllogismen ist bis heute strittig. Da die Umwandlung zwischen den beiden Lesarten einfach ist und da Aristoteles seine Syllogismen trotz ihrer Formulierung in „Wenn–dann“-Form als Schlussregeln gebraucht,<ref>„[I]t would probably be a mistake to lay much emphasis on the distinction. For in the detailed application of his theory Aristotle reasons as though his conditional statements were in effect rules of inference rather than theses.“ (Kneale/Kneale: ''The Development of Logic,'' Seite&nbsp;80)</ref> stellt der vorliegende Artikel konkrete Syllogismen durchgängig in ihrer traditionellen Formulierung als aus drei Aussagen zusammengesetzte Argumente dar.
Von der schleppenden Geschwindigkeit der biologischen Evolution entfesselt, werden die Kinder unseres Geistes frei sein, sich zu entwickeln, um sich immensen und fundamentalen Herausforderungen im größeren Universum zu stellen. Wir Menschen werden für eine Zeit von ihren Arbeiten profitieren, aber früher oder später, wie natürliche Kinder, werden sie ihr eigenes Glück suchen, während wir, ihre alten Eltern, still verblassen. Sehr wenig muss bei diesem Fackellauf verloren gehen - es wird in der Fähigkeit unseres künstlichen Nachwuchses liegen und ihm zum Vorteil gereichen, sich an fast alles über uns zu erinnern, vielleicht sogar in allen Details an die Arbeit des menschlichen Geistes.|Hans Moravec|''Mind Children. The Future of Robot and Human Intelligence.''|ref=<ref>„What awaits is not oblivion but rather a future which, from our
present vantage point, is best described by the words "postbiological"
or even "supernatural." It is a world in which the human race has
been swept away by the tide of cultural change, usurped by its own
artificial progeny. The ultimate consequences are unknown, though
many intermediate steps are not only predictable but have alread
been taken. Today, our machines are still simple creations, requiring
the parental care and hovering attention of any newborn, hardly
worthy of the word "intelligent." But within the next century they
will mature into entities as complex as ourselves, and eventually into
something transcending everything we know - in whom we can take
pride when they refer to themselves as our descendants.<br />


Als Weiterentwicklung der kategorischen oder assertorischen Syllogistik gibt es schon bei Aristoteles Ansätze einer [[Modallogik|modalen]] Syllogistik, bei der in den –&nbsp;von diesem Unterschied abgesehen gleich aufgebauten&nbsp;– Syllogismen modale Aussagen wie „Alle Menschen sind möglicherweise sterblich“ zugelassen sind.
Unleashed from the plodding pace of biological evolution, the
children of our minds will be free to grow to confront immense and
fundamental challenges in the larger universe. We humans will benefit
for a time from their labors, but sooner or later, like natural children,
they will seek their own fortunes while we, their aged parents, silently
fade away. Very little need be lost in this passing of the torch - it will
be in our artificial offspring's power, and to their benefit, to remember
almost everything about us, even, perhaps, the detailed working of
individual human minds.“
<br />Hans Moravec: ''Mind Children. The Future of Robot and Human Intelligence'', p. 1</ref>}}


Logische Systeme, die wie die Syllogistik mit Aussagen arbeiten, in denen [[Begriff (Philosophie)|Begriffe]] zueinander in Beziehung gesetzt werden, werden allgemein [[Begriffslogik]]en genannt.
Der KI-Pionier [[Raymond Kurzweil]] (* 1948), seit 2012 Leiter der technischen Entwicklung bei [[Wikipedia:Google|Google]], erwartet, dass 2029 ein Computer erstmals den sog. [[Turing-Test]] bestehen und damit die künstliche Intelligenz menschliches Niveau erreichen und bald danach auch weit übertreffen werde. Über die Möglichkeit einer deratigen '''Superintelligenz''' und einer damit verbundenen „Intelligenzexplosion“ hatte erstmals schon 1965 der britische Mathematiker und Kryptologe [[Wikipedia:Irving John Good|Irving John Good]] (1916-2009), der unter der Leitung von Alan Turing an der Entschlüsselung des Funkverkehrs der deutschen Kriegsmarine mitgearbeitet hatte, spekuliert: 


=== Typen von Aussagen ===
{{Zitat|Eine ultraintelligente Maschine sei definiert als eine Maschine, die die intellektuellen Fähigkeiten jedes Menschen, und sei er noch so intelligent, bei weitem übertreffen kann. Da der Bau eben solcher Maschinen eine dieser intellektuellen Fähigkeiten ist, kann eine ultraintelligente Maschine noch bessere Maschinen bauen; zweifellos würde es dann zu einer explosionsartigen Entwicklung der Intelligenz kommen, und die menschliche Intelligenz würde weit dahinter zurückbleiben. Die erste ultraintelligente Maschine ist also die letzte Erfindung, die der Mensch zu machen hat, vorausgesetzt, dass die Maschine fügsam genug ist, uns zu sagen, wie man sie unter Kontrolle hält.|[[Wikipedia:Irving John Good|Irving John Good]]|''Speculations Concerning the First Ultraintelligent Machine''|ref=<ref>„Let an ultraintelligent machine be defined as a machine that can far surpass all the intellectual activities of any man however clever. Since the design of machines is one of these intellectual activities, an ultraintelligent machine could design even better machines; there would then unquestionably be an „intelligence explosion“, and the intelligence of man would be left far behind. Thus the first ultraintelligent machine is the ''last'' invention that
Eine Aussage in einem Syllogismus, ein [[kategorisches Urteil]], setzt immer zwei Begriffe in eine Beziehung. Dabei werden nur vier Typen von Urteilen bezüglich der Beziehung zwischen einem Subjekt (S) und einem Prädikat (P) betrachtet:
man need ever make, provided that the machine is docile enough to tell us how to keep it under control.“<br />Irving John Good: ''Speculations Concerning the First Ultraintelligent Machine'' [https://exhibits.stanford.edu/feigenbaum/catalog/gz727rg3869 online]</ref>}}


{| cellspacing="10"
== Verteilte künstliche Intelligenz ==
|-
! style="text-align:left"| Typ
! style="text-align:left"| Bezeichnung
! style="text-align:left"| Formulierungen des Urteils
! style="text-align:left"| Kurzschreibweise
|-
| A
| allgemein bejahendes Urteil
|
  {|
    |-
    | alle S sind P (und es gibt tatsächlich S)
    |-
    | P kommt allem S zu
    |-
    |}
| SaP
|-
| E
| allgemein verneinendes Urteil
|
  {|
    |-
    | kein S ist P (und es gibt tatsächlich S)
    |-
    | P kommt keinem S zu
    |}
| SeP
|-
| I
| partikulär bejahendes Urteil
|
  {|
    |-
    |einige S sind P
    |-
    | P kommt einigem S zu
    |-
    |}
| SiP
|-
| O
| partikulär verneinendes Urteil
|
  {|
    |-
    | einige S sind nicht P
    |-
    | P kommt einigem S nicht zu
    |-
    |}
| SoP
|-
|}


Die Vokale stammen dabei aus den lateinischen Worten „'''a'''ff'''i'''rmo“ (ich bejahe) und „n'''e'''g'''o'''“ (ich verneine), wobei jeweils der erste Vokal für ein allgemeines, der zweite für ein partikuläres Urteil steht.
Viele [[Informationstheoretiker]] gehen davon aus, dass sich eine [[Schwarmintelligenz]], die die menschliche Intelligenz weit überragt, in naher Zukunft auch durch den weltweiten Zusammenschluss rein [[Technik|technischer]] informationsverarbeitender [[System]]e ([[Computer]]“) über das [[Internet]] (oder vergleichbarer Strukturen) ergeben wird. KI-Forscher bezeichnen das als '''verteilte künstliche Intelligenz''' ('''VKI'''). Dabei wird es sich allerdings um eine rein [[ahrimanisch]]e Intelligenz handeln, die eines entsprechenden geistigen Gegengewichts bedarf. Der [[Informationstheoretiker]] [[Tom Stonier]] schrieb dazu in seinem Buch „''Beyond Information''“ (1992):


=== Quantität und Qualität ===
{{LZ|Die Entstehung der Maschinenintelligenz während der zweiten Hälfte des
Die Eigenschaft einer Aussage, über wie viele Gegenstände sie spricht, wird traditionell die '''Quantität''' dieser Aussage genannt. In diesem Sinn gibt es im Syllogismus zwei Quantitäten, nämlich (a) partikulär und (b) universell oder allgemein. Die Eigenschaft einer Aussage, einem Subjekt ein Prädikat zu- oder abzusprechen, wird traditionell die '''Qualität''' dieser Aussage genannt. Spricht eine Aussage einem Subjekt ein Prädikat zu, nennt man sie bejahende Aussage, spricht sie es ihm ab, verneinende Aussage. Die Typen von Aussagen sind in folgender Tabelle nach ihrer Qualität und Quantität aufgeschlüsselt:
zwanzigsten Jahrhunderts ist die wichtigste Entwicklung in der
Evolution dieses Planeten seit dem Ursprung des Lebens vor zwei bis dreitausend
Millionen Jahren. Die Entstehung von Maschinenintelligenz in
der Matrix der menschlichen Gesellschaft ist analog der Entstehung, vor drei Milliarden
Jahren, von komplexen, sich selbst replizierenden Molekülen innerhalb der Matrix
einer energiereichen molekularen Suppe - der erste Schritt in der Evolution des
Lebens. Die Entstehung von Maschinenintelligenz in einem menschlichen sozialen
Kontext hat irreversible Prozesse in Gang gesetzt, die zu
einer evolutionäre Diskontinuität führen. So wie die Entstehung von "Leben"
eine qualitativ andere Form der Organisation der Materie
und Energie darstellte, so wird reine "Intelligenz" eine qualitativ
unterschiedliche Form der Organisation von Materie, Energie und Leben sein.
Die Erscheinung der Maschinenintelligenz prophezeit die Entwicklung
der menschlichen Spezies, wie wir sie kennen, in eine Form, die wir gegenwärtig,
nicht als "menschlich" erkennen würden. So wie Forsyth und Naylor (1985)
darauf hingewiesen haben: "Die Menschheit hat zwei Pandora-Büchsen zur
gleichen Zeit geöffnet, die eine ist die Gentechnik, die andere ist die
Wissensmodellierung (knowledge engineering). Was wir damit in die Welt gesetzt haben, ist nicht ganz klar,
aber es ist vernünftig, die Vermutung zu riskieren, dass es die Samen unserer Nachfolger sind." Es geht nicht darum, ob diese Intelligenz das Leben ersetzen wird, sondern wie schnell?|Stonier, S. 1<ref>Im englischen Original:
:„The emergence of machine intelligence during the second half of the twentieth century is the most important development in the evolution of this planet since the origin of life two to three thousand million years ago. The emergence of machine intelligence within the matrix of human society is analogous to the emergence, three billion years ago, of complex, self-replicating molecules within the matrix of an energy-rich molecular soup - the first step in the evolution of life. The emergence of machine intelligence within a human social context has set into motion irreversible processes which will lead to an evolutionary discontinuity. Just as the emergence of "Life" represented a qualitatively different form of organisation of matter and energy, so will pure "Intelligence" represent a qualitatively different form of organisation of matter, energy and life. The emergence of machine intelligence presages the progression of the human species as we know it, into a form which, at present, we would not recognise as "human". As Forsyth and Naylor (1985) have pointed out: "Humanity has opened two Pandora's boxes at the same time, one labelled genetic engineering, the other labelled knowledge engineering. What we have let out is not entirely clear, but it is reasonable to hazard a guess that it contains the seeds of our successors". The question is not whether intelligence will supersede life, but how fast?“</ref>}}


{| class="wikitable" style="text-align:center"
Stonier fürchtet nicht, dass diese (unvermeidliche) Entwicklung kommen wird, sehr wohl aber, dass wir ihr blind entgegen gehen.
|-
| &nbsp;
! bejahend
! verneinend
|-
! style="text-align:right"| allgemein
| A-Urteil
| E-Urteil
|-
! style="text-align:right"| partikulär
| I-Urteil
| O-Urteil
|}


=== Logisches Quadrat ===
== Künstliche Intelligenz und Bewusstsein ==
[[Datei:Logisches Quadrat.svg|mini|250px|Das logische Quadrat]]


Unter der Voraussetzung, dass ihre Subjekte keine leeren Begriffe sind, bestehen zwischen den unterschiedlichen Aussagentypen verschiedene Beziehungen:
Heftig diskutiert wird die Frage, ob Maschinen mit künstlicher Intelligenz künftig auch [[Bewusstsein]] entwickeln können. Auf diese Möglichkeit hatte schon [[Wikipedia:Samuel Butler (Schriftsteller)|Samuel Butler]] (1835-1902) in seinem 1872 erschienenen utopischen Roman [[Wikipedia:Erewhon|Erewhon]] (ein Anagramm des englischen Wortes ''nowhere'' „nirgendwo“) hingewiesen:
* Zwei Aussagen bilden einen ''kontradiktorischen Gegensatz'' genau dann, wenn beide weder gleichzeitig wahr noch gleichzeitig falsch sein können, mit anderen Worten: Wenn beide unterschiedliche Wahrheitswerte haben müssen. Das wiederum ist genau dann der Fall, wenn die eine Aussage die [[Negation]] der anderen ist (und umgekehrt). Für die syllogistischen Aussagentypen trifft das kontradiktorische Verhältnis auf die Paare A–O und I–E zu.
* Zwei Aussagen bilden einen ''konträren Gegensatz'' genau dann, wenn sie zwar nicht beide zugleich wahr, wohl aber beide falsch sein können. In der Syllogistik steht nur das Aussagenpaar A–E in konträrem Gegensatz.
* Zwei Aussagen bilden einen ''subkonträren Gegensatz'' genau dann, wenn nicht beide zugleich falsch (wohl aber beide zugleich wahr) sein können. In der Syllogistik steht nur das Aussagenpaar I–O in subkonträrem Gegensatz.
* Zwischen den Aussagetypen A und I einerseits und E und O andererseits besteht ein ''Folgerungszusammenhang'' (traditionell wird dieser Folgerungszusammenhang im logischen Quadrat ''Subalternation'' genannt): Aus A folgt I, d.&nbsp;h. wenn alle S P sind, dann gibt es auch tatsächlich S, die P sind; und aus E folgt O, d.&nbsp;h. wenn keine S P sind, dann gibt es tatsächlich S, die nicht P sind.


Diese Zusammenhänge werden oft in einem Schema, das unter dem Namen „Logisches Quadrat“ bekannt wurde, zusammengefasst (siehe Abbildung). Die älteste bekannte Niederschrift des logischen Quadrats stammt aus dem zweiten nachchristlichen Jahrhundert und wird [[Apuleius|Apuleius von Madauros]] zugeschrieben.<ref>Christian Thiel: ''Logisches Quadrat'', in: Jürgen Mittelstraß (Hrsg.): ''Enzyklopädie Philosophie und Wissenschaftstheorie.'' 1.&nbsp;Aufl.&nbsp;1995, 2004, Band&nbsp;3, Seite&nbsp;423</ref>
{{Zitat|Dass Maschinen heute nur sehr wenig Bewusstsein haben, bietet keine
Sicherheit gegen die Entwicklung eines mechanischen Bewusstseins.
Eine Molluske besitzt kaum Bewusstsein. Man bedenke die
außerordentlichen Fortschritte, die die Maschinen in den letzten
Jahrhunderten gemacht haben, und vergleiche dies mit dem langsamen
Fortschritt im Tier- und Pflanzenreich! Im Vergleich mit der
Vergangenheit entsprechen die komplexeren Maschinen gewissermaßen
nicht so sehr den Schöpfungen von gestern, als denen von vor fünf
Minuten. Nehmen Sie um des Arguments willen an, dass bewusstes Sein
seit 20 Millionen Jahren existiert: Dann schauen Sie sich die großen
Fortschritte an, die die Maschinen in den letzten tausend Jahren gemacht
haben! Wird die Erde nicht noch weitere 20 Millionen Jahre existieren?
Und wenn es so ist, was kann dann alles aus den Maschinen werden?|Samuel Butler|''Erewhon''|ref=<ref>„There is no security ... against the ultimate development of mechanical consciousness, in the fact of machines possessing little consciousness now. A mollusc has not much consciousness. Reflect upon the extraordinary advance which machines have made during the last few hundred years, and note how slowly the animal and vegetable kingdoms are advancing. The more highly organised machines are creatures not so much of yesterday, as of the last five minutes, so to speak, in comparison
with past time. Assume for the sake of argument that conscious beings have existed for some twenty million years: see what strides machines have made in the last thousand! May not the world last twenty million years longer? If so, what will they not in the end become?“<br />Samuel Butler: ''[http://en.wikisource.org/wiki/Erewhon/Chapter_23 Erewhon; Or, over the Range'', Chapter 23: The Book of the Machines], 1872 </ref>}}


=== Existenzielle Voraussetzungen ===
== Unterdrückung des Denkens ==
Wie schon im logischen Quadrat ersichtlich, gelten viele der überlieferten Gesetzmäßigkeiten der Syllogistik nur unter der Voraussetzung, dass zumindest das Subjekt der betroffenen Aussagen nicht leer ist. Im Allgemeinen wird daher davon ausgegangen, dass syllogistische Aussagen tatsächlich Existenzaussagen über das Subjekt treffen, d.&nbsp;h. voraussetzen, dass das Subjekt kein leerer Begriff ist:
* Die Aussage „Alle S sind P“ bedeutet damit: „Es gibt S, und alle davon sind P“.
* Die Aussage „Keine S sind P“ bedeutet damit: „Es gibt S, und keine davon sind P“.
* Die Aussage „Einige S sind P“ bedeutet damit: „Es gibt S, und einige von ihnen sind P.“
* Die Aussage „Einige S sind nicht P“ bedeutet damit: „Es gibt S, und einige von ihnen sind nicht P.“


Die Existenzaussage „Es gibt S“ wird dabei für gewöhnlich nicht als Teil des jeweiligen syllogistischen Urteils verstanden, sondern als seine [[Präsupposition]], das heißt als Voraussetzung dafür, dass das jeweilige Urteil zum syllogistischen Schließen überhaupt verwendet werden kann. Die Existenzaussage zum Teil des syllogistischen Urteils zu machen ist zwar möglich, aber formal relativ kompliziert, und wird hinsichtlich seiner Adäquatheit unterschiedlich beurteilt.<ref>siehe z.&nbsp;B. [http://www.philo.uni-saarland.de/people/analytic/strobach/neueseite/pdfs/homburg.pdf Niko Strobach: Neuere Interpretationen der aristotelischen Syllogistik] (PDF; 112&nbsp;kB), Seite&nbsp;5f.</ref>
Durch die weitere Entwicklung der [[Medizin]] und des maschinellen „Denkens“ wird laut [[Rudolf Steiner]] etwa ab dem Jahr [[2200]] namentlich von [[Amerika]] eine [[Unterdrückung des Denkens]] ausgehen. Ein entsprechendes Gegengewicht gegen diese Tendenzen kann - und wird - nur durch die [[Geisteswissenschaft]] gefunden werden können.


Je nach Interpretation der syllogistischen Aussagen und Gesetzmäßigkeiten ist auch die Sicht möglich, dass syllogistisches Schließen überhaupt nur mit nicht leeren Begriffen möglich sei, das heißt, dass auch die Prädikate nicht leer sein dürfen.<ref>„In order to justify Aristotle's doctrine as a whole it is necessary, then, that he assumed application for ''all'' the general terms with which he dealt.“ (Kneale/Kneale: ''The Development of Logic,'' Seite&nbsp;60, Hervorhebung im Original)</ref> Die Frage, welche Autoren der Tradition welche Sichtweise vertreten haben, wird unterschiedlich beurteilt und ist bis heute Gegenstand philosophischer und philologischer Untersuchungen.
{{GZ|Es wird gar nicht lange dauern, wenn man das Jahr
2000 geschrieben haben wird, da wird nicht ein direktes, aber eine
Art von Verbot für alles Denken von Amerika ausgehen, ein Gesetz,
welches den Zweck haben wird, alles individuelle Denken zu unterdrücken.
Auf der einen Seite ist ein Anfang dazu gegeben in dem,
was heute die rein materialistische Medizin macht, wo ja auch nicht
mehr die Seele wirken darf, wo nur auf Grundlage des äußeren
Experiments der Mensch wie eine Maschine behandelt wird...


Obwohl existenzielle Voraussetzungen dem natürlichen Sprachgebrauch entsprechen (normalerweise empfindet man nur Allaussagen über tatsächlich vorhandene Dinge als sinnvoll), ist es wichtig, sich ihrer bewusst zu sein, weil es durchaus auch logische Systeme gibt, die diese Voraussetzungen nicht machen.
Man muß eben wissen,
daß in allem Materiellen Geistiges ist und daß durch die Erkenntnis
des Geistes auch nur allein das Materielle geheilt werden kann.
Aber das soll ausgeschaltet werden, das Geistige, von der ganzen
Welt. Das ist einer der Anfänge.


=== Distribution ===
Einer der anderen Anfänge: Wir haben ja heute schon Maschinen
In der Syllogistik wird von der Distribution (von [[Latein|lateinisch]] ''distributio'', Verteilung) eines Begriffs innerhalb einer Aussage gesprochen. Ein Begriff ist innerhalb einer Aussage genau dann distribuiert, wenn aus dieser Aussage jede andere Aussage folgt, die aus der ursprünglichen Aussage entsteht, indem der ursprüngliche Begriff durch einen echten Unterbegriff ersetzt wird.<ref>Diese Variante der Definition entlehnt sich aus „Distribution“, in: ''Encyclopaedia Britannica'', Band&nbsp;4, 15.&nbsp;Aufl.&nbsp;2003, Seite&nbsp;129</ref> Eine oft gebrauchte und bei richtigem Verständnis äquivalente Formulierung lautet: Ein Begriff ist innerhalb einer syllogistischen Aussage genau dann distribuiert, wenn er sich innerhalb der Aussage auf alle Gegenstände bezieht, auf die der Begriff zutrifft.
zum Addieren, Subtrahieren: nicht wahr, das ist sehr bequem, da
braucht man nicht mehr zu rechnen. Und so wird man es auch
machen mit allem. Das wird nicht lange dauern, ein paar Jahrhunderte
— dann ist alles fertig; dann braucht man nicht mehr zu
denken, nicht mehr zu überlegen, sondern man schiebt. Zum Beispiel
da steht: «330 Ballen Baumwolle Liverpool», so überlegt man
heute sich da noch etwas, nicht wahr? Aber dann schiebt man bloß,
und die Geschichte ist ausgemacht. Und damit nicht gestört wird das
feste Gefüge des sozialen Zusammenhangs der Zukunft, werden
Gesetze erlassen werden, auf denen nicht direkt stehen wird: Das
Denken ist verboten, aber die die Wirkung haben werden, daß alles
individuelle Denken ausgeschaltet wird. Das ist der andere Pol, dem
wir entgegen arbeiten. Dagegen ist das Leben heute immerhin nicht
gar so unangenehm. Denn wenn man nicht über eine gewisse Grenze
hinausgeht, so darf man ja heute noch denken, nicht wahr? Allerdings
eine gewisse Grenze überschreiten darf man ja nicht, aber
immerhin, innerhalb gewisser Grenzen darf man noch denken. Aber
das, was ich geschildert habe, das steckt in der Entwickelung des
Westens, und das wird kommen durch die Entwickelung des Westens.


Zum Beispiel ist in der syllogistischen A-Aussage „Alle Philosophen (Subjekt) sind Menschen (Prädikat)“ der Begriff „Philosoph“ distribuiert: Aus der Tatsache, dass alle Philosophen Menschen sind, folgt, dass alle Sprachphilosophen (ein Unterbegriff von „Philosoph“) Menschen sind, dass alle Existenzphilosophen (ein weiterer Unterbegriff von „Philosoph“) Menschen sind usw. Nicht distribuiert ist in dieser Aussage hingegen der Begriff „Mensch“: Aus der Tatsache, dass alle Philosophen Menschen sind, folgt zum Beispiel noch lange nicht, dass alle Philosophen Europäer (ein Unterbegriff von Mensch) sind.
Also in diese ganze Entwickelung muß sich auch die geisteswissenschaftliche
Entwickelung hineinstellen. Das muß sie klar und
objektiv durchschauen. Sie muß sich klar sein, daß das, was heute
wie ein Paradoxon erscheint, geschehen wird: ungefähr im Jahre
2200 und einigen Jahren wird eine Unterdrückung des Denkens in
größtem Maßstabe auf der Welt losgehen, in weitestem Umfange.
Und in diese Perspektive hinein muß gearbeitet werden durch Geisteswissenschaft.
Es muß soviel gefunden werden — und es wird gefunden
werden —, daß ein entsprechendes Gegengewicht gegen diese
Tendenzen da sein kann in der Weltenentwickelung.|167|97ff}}


Eine Übersicht darüber, in welchem Typ von Aussage welcher Begriff distribuiert ist, gibt die folgende Tabelle.
Auffallend ist, das praktische alle hochkomplexen Aufgaben, die heute mittels künstlicher Intelligenz gelöst werden können, vorrangig die verschiedensten Formen der [[Mustererkennung]] beispielsweise im [[optisch]]en und [[akustisch]]en Bereich, auch vom Menschen weitgehend [[unbewusst]] ausgeführt werden. Bei Aufgaben, die ein waches Bewusstsein, [[Freiheit|freie Entscheidungen]] oder echte [[Schöpferkraft]] verlangen, scheitert die KI bislang kläglich, selbst wenn manchmal der Anschein erweckt wird, es würde gelingen. So können etwa mittels KI typische [[Muster]] in den Werken großer [[Maler]] oder [[Komponist]]en analysiert und nach diesen Mustern scheinbar völlig neue Werke im Stil dieser Meister so perfekt konstruiert werden, dass sie auf den ersten Blick täuschend echt erscheinen, tatsächlich aber ohne jeglichen [[seelisch]]-[[geist]]igen Gehalt sind, der sich oft erst in den winzigen, aber keineswegs zufälligen Abweichungen von der „perfekten“ [[Algorithmus|Regel]] äußern. Dass dies auch von Experten oft nicht erkannt wird, weil sie mehr nach Regeln als aus unmittelbarer seelischer Empfindung urteilen, spricht weniger für die Leistungsfähigkeit der KI als für den verengten Blickwinkel dieser Experten.


{| class="wikitable" style="text-align:center"
== Ahrimanischer Einfluss ==
|-
| &nbsp;
Hinter dieser Entwicklung stehen ganz deutlich [[ahriman]]ische Mächte. [[Ahriman]] will die ganze [[Erde (Planet)|Erde]] in einen von [[Maschine]]n erfüllten Planeten verwandel, in eine Art von ''neuem Saturn'', und von hier aus eine neue Entwicklungsreihe beginnen. Heute ist die Zeit gekommen, wo wir uns mit diesen Kräften bewusst auseinandersetzen ''müssen'', um sie letztlich überwinden zu können.
! Subjekt
! Prädikat
|-
! style="text-align:right"| A-Urteil
| distribuiert
| nicht distribuiert
|-
! style="text-align:right"| I-Urteil
| nicht distribuiert
| nicht distribuiert
|-
! style="text-align:right"| E-Urteil
| distribuiert
| distribuiert
|-
! style="text-align:right"| O-Urteil
| nicht distribuiert
| distribuiert
|}


=== Syllogismen aus moderner Sicht ===
{{GZ|Das sind die ahrimanischen Wesenheiten. Diese ahrimanischen Wesenheiten,
Es gibt verschiedene Ansätze, die traditionelle Syllogistik zu axiomatisieren bzw. auf eindeutigen Regeln aufzubauen.  
die wollen alle Vergangenheit auslöschen und wollen dem
Menschen nur das als ein Ergebnis lassen, was also unmittelbar er auf
der Erde errungen hat...


Die klassischen Syllogismen lassen sich modern sowohl als Anwendung eines Teilsystems der [[Prädikatenlogik]], nämlich der monadischen Prädikatenlogik, als auch als [[Menge (Mathematik)|Mengenbeziehungen]] darstellen. Eine aus heutiger Sicht wesentliche Einschränkung ist, dass die Syllogismen nur Quantoren behandeln können, die mit dem [[Subjekt (Grammatik)|Subjekt]] der Aussage verbunden sind (wie in ''Alle Menschen sind sterblich''), Quantoren an Objektstelle (wie in ''Sokrates kennt alle Athener'') sind in diesem System nicht behandelbar. Dies wurde erst durch [[Gottlob Frege|Freges]] Verwendung von mathematischen [[Funktion (Mathematik)|Funktionen]] in der Logik möglich.
Mit der Erde soll eine neue Evolution
beginnen, die soll ein neuer Saturn sein, dann die Sonne kommen und so
weiter. Das ist das Ideal dieser anderen Wesenheiten. Sie stürmen ins
Unbewußte des Menschen herein, in das Willensleben, das Stoffwechsel-
Gliedmaßenleben, da stürmen sie herein. Sie sind dasjenige Geschlecht
unter den geistigen Wesenheiten, die dem Menschen beibringen wollen
ein besonderes Interesse für alles Mineralisch-Materielle, die dem Menschen
beibringen wollen ein Interesse für alles dasjenige, was zum Beispiel
Äußerlich-Maschinelles, Mechanisches ist. Sie möchten am liebsten
alles dasjenige, was die Erde sich vom alten Monde her mitgebracht
hat, zerstören, möchten, daß die Tierwelt verschwinde, daß die physische
Menschenwelt verschwinde, die Pflanzenwelt verschwinde, daß
vom Mineralreich nur die physischen Gesetze bleiben, aber namentlich,
daß die Menschen von der Erde weggenommen würden; und einen
neuen Saturn aus Maschinen möchten sie bilden, eine neue Welt aus
lauter Maschinen. So soll die Welt dann weitergehen. Das ist eigentlich
ihr Ideal. Auf äußerem wissenschaftlichem Gebiete haben sie das Ideal,
alles zur Materie zu machen, zu mechanisieren.|203|261}}


Bei der Darstellung als Mengenbeziehungen wird jeder Begriff als sein Umfang (fachsprachlich [[Extension und Intension#Extension|Extension]]) interpretiert, d.&nbsp;h. als die Menge der Gegenstände, die unter diesen Begriff fallen. Der Begriff „Mensch“ zum Beispiel wird mengentheoretisch als die Menge aller Menschen interpretiert.
== Transhumanismus ==


Bei der prädikatenlogischen Interpretation wird jeder Begriff als ein einstelliges Prädikat im Sinn der Prädikatenlogik dargestellt, d.&nbsp;h. als eine einstellige Funktion im mathematischen Sinn, die auf konkrete Individuen angewendet werden kann und die für jedes Individuum die Information liefert, ob es unter diesen Begriff fällt oder nicht. So würde zum Beispiel der Begriff „Mensch“ als das Prädikat „_&nbsp;ist ein Mensch“ interpretiert. Wendet man dieses Prädikat auf einen Menschen an, zum Beispiel auf Sokrates, dann liefert es den [[Wahrheitswert]] „wahr“; wendet man es auf einen Gegenstand an, der kein Mensch ist –&nbsp;zum Beispiel auf ein Tier, auf einen Planeten oder auf eine Zahl&nbsp;–, dann liefert es den Wahrheitswert „falsch“.
{{Hauptartikel|Transhumanismus}}


{| border="0"
Der [[Transhumanismus]], eine vorwiegend im [[angelsächsisch]]en Raum verbreitete [[Philosophie|philosophisch]]-[[Weltanschauung|weltanschauliche]] Strömung, will die [[physisch]]en und [[intellektuell]]en [[Fähigkeiten]] des [[Mensch]]en mittels modernster [[Technologie]] erweitern. Kurz gesagt geht es um die technologische Transformation des Menschen zu einem posthumanen Wesen, gleichsam um die Entwicklung einer [[Menschheit 2.0]]<ref>[[Raymond Kurzweil]], 2014</ref>. Dabei spielen die künstliche Intelligenz und die [[Robotik]] eine zentrale Rolle. Erstrebt wird eine immer engere Verbindung von Mensch und [[Maschine]]. Dies stellt eine reale Gefahr dar.
! Typ
! style="text-align:left"| Urteil
! style="text-align:left"| Mengenlehre
! style="text-align:left"| Prädikatenlogik
|-
! width="9%"| A
| width="20%" | Alle S sind P.
| width="31%" |
  {|
  |-
  | <math>S \subseteq P</math>, wobei <math>S \not = \emptyset</math>
  |-
  | Der (nicht leere) Umfang von S ist eine Teilmenge des Umfangs von P.
  |-
  |}
| width="40%" |
  {|
  |-
  |<math>\forall x ( Sx \rightarrow Px )</math>, wobei <math>\exists x Sx</math>
  |-
  | Für jedes Individuum gilt: Wenn es ein S ist, dann ist es auch ein P (wobei S nicht leer ist).
  |-
  |}
|-
! E
| Keine S sind P.
|
  {|
  |-
  | <math>S \cap P = \emptyset</math>, wobei <math>S \not = \emptyset</math>
  |-
  | Die Schnittmenge des (nicht leeren) Umfangs von S und des Umfangs von P ist leer.
  |-
  |}
|
  {|
  |-
  |<math>\forall x ( Sx \rightarrow \neg Px )</math>, wobei <math>\exists x Sx</math>
  |-
  | Für jedes Individuum gilt: Wenn es ein S ist, dann ist es nicht der Fall, dass es auch ein P ist (wobei S nicht leer ist).
  |-
  |}
|-
! I
| Einige S sind P.
|
  {|
  |-
  | <math>S \cap P \neq \emptyset</math>
  |-
  | Die Schnittmenge des Umfangs von S und des Umfangs von P ist nicht leer.
  |-
  |}
|
  {|
  |-
  |  <math>\exists x ( Sx \wedge Px )</math>
  |-
  | Es gibt mindestens ein Individuum, das ein S ist und das auch ein P ist.
  |-
  |}
|-
! O
| Einige S sind nicht P.
|
  {|
  |-
  | <math>S \not\subseteq P</math>
  |-
  | Der (nicht leere) Umfang von S ist keine Teilmenge des Umfangs von P. (Dass S nicht leer sein kann ist allerdings schon implizit gegeben, da die leere Menge Teilmenge jeder Menge ist.)
  |-
  |}
|
  {|
  |-
  | <math>\exists x ( Sx \wedge \neg Px )</math>
  |-
  | Es gibt mindestens ein Individuum, das ein S ist und bei dem es nicht der Fall ist, dass es auch ein P ist.
  |-
  |-
  |}
|}


An dieser Formalisierung wurde jedoch historisch und auch in jüngerer Zeit Kritik geübt. Dabei wurde die traditionelle Logik als [[Begriffslogik]] etwa von [[Fritz Mauthner]] der modernen Logik gegenübergestellt, die als abwertend auch ''Logistik''bezeichnet wurde. Zentral war dabei unter anderem um die Frage, ob durch die Formalisierung Existenz[[präsupposition]]en verloren gehen, die in der vormodernen Lokaltradition als selbstverständlich galten. Auch ist eine direkte Übertragung des [[Logisches Quadrat|logischen Quadrats]] nicht unproblematisch, wie [[Michael Wolff (Philosoph)|Michael Wolff]] in seinem ''Essay über Frege'' dargelegt hat.
[[Rudolf Steiner]] hat nun darauf hingewiesen, dass eine solche „[[Zusammenschmiedung des Menschenwesens mit dem maschinellen Wesen]]nicht nur kommen wird, sondern im Sinn der [[Erdentwicklung]] tatsächlich auch kommen ''muss''.


Walther Brüning reihte die Syllogistik als [[Strenge Logik#Strenge  Syllogistik|strenge Syllogistik]] als einen Sonderfall seiner ''[[Strenge Logik|strengen Logik]]'' ein, und begegnet dabei den Problemen der klassisch prädikatenlogischen Formalisierung. Er deutet die Urteile als Abkürzungen von sogenannten Geltungswertformeln (analog zu [[Belegung (Logik)|Wahrheitswertformeln]]) und benutzt einen Ableitungsbegriff, der es gestattet alle Syllogismen einfach abzuleiten. Ein vergleichbarer Ansatz ist die ''differentielle Syllogistik'' von [[Albert Menne]].
{{GZ|An solchen Stellen ist der Wille dazu vorhanden, die Menschenkraft
zusammenzuspannen mit Maschinenkraft. Diese Dinge dürfen nicht
so behandelt werden, als ob man sie bekämpfen müßte. Das ist eine
ganz falsche Anschauung. Diese Dinge werden nicht ausbleiben, sie
werden kommen. Es handelt sich nur darum, ob sie im weltgeschichtliehen
Verlaufe von solchen Menschen in Szene gesetzt werden, die
mit den großen Zielen des Erdenwerdens in selbstloser Weise vertraut
sind und zum Heil der Menschen diese Dinge formen, oder ob
sie in Szene gesetzt werden von jenen Menschengruppen, die nur
im egoistischen oder im gruppenegoistischen Sinne diese Dinge ausnützen.
Darum handelt es sich. Nicht auf das Was kommt es in diesem
Falle an, das Was kommt sicher; auf das Wie kommt es an, wie man
die Dinge in Angriff nimmt. Denn das Was liegt einfach im Sinne der
Erdenentwickelung. Die Zusammenschmiedung des Menschenwesens
mit dem maschinellen Wesen, das wird für den Rest der Erdenentwickelung
ein großes, bedeutsames Problem sein.


=== Regeln für die Gültigkeit von Syllogismen ===
Ich habe vollbedacht öfter jetzt darauf aufmerksam gemacht, auch
Gültige Syllogismen haben bestimmte Eigenschaften hinsichtlich der Qualität, Quantität und Distribution der in ihnen vorkommenden Begriffe; zum Beispiel kann ein Syllogismus niemals gültig sein, wenn seine Prämissen partikuläre Aussagen sind, seine Konklusion aber eine allgemeine Aussage ist.
in öffentlichen Vorträgen, daß das Bewußtsein des Menschen zusammenhängt
mit abbauenden Kräften. Zweimal habe ich es in öffentlichen
Vorträgen in Basel gesagt: In unser Nervensystem hinein ersterben
wir. - Diese Kräfte, diese ersterbenden Kräfte, sie werden
immer mächtiger und mächtiger werden. Und es wird die Verbindung
hergestellt werden zwischen den im Menschen ersterbenden Kräften,
die verwandt sind mit elektrischen, magnetischen Kräften und den
äußeren Maschinenkräften. Der Mensch wird gewissermaßen seine
Intentionen, seine Gedanken hineinleiten können in die Maschinenkräfte.
Noch unentdeckte Kräfte in der Menschennatur werden entdeckt
werden, solche Kräfte, welche auf die äußeren elektrischen und
magnetischen Kräfte wirken.


Da in Abhängigkeit von der speziellen Interpretation unterschiedlich viele syllogistische Modi gültig sind, gibt es in der Tradition auch unterschiedliche Regelwerke. Im Folgenden werden die heute gängigsten Regeln dargestellt.<ref>siehe Bird&nbsp;1964, Seite&nbsp;20-22</ref> Sie gehen in dieser einfachen Form auf das [[Spätmittelalter]] zurück und sind nicht Teil der antiken, aristotelischen Syllogistik.<ref>„A simple set of rules of validity was finally produced in the later Middle Ages, based on the concept of Distribution.<!-- sic! -->“ (Charles Leonard Hamblin: ''Fallacies.'' Methuen London&nbsp;1970, ISBN 0-416-70070-5, Seite&nbsp;195)</ref> Das genannte Regelsystem ist der Einfachheit halber redundant, d.&nbsp;h. einige der Regeln lassen sich durch andere ausdrücken.
Das ist das eine Problem: das Zusammenführen des Menschen mit
dem Mechanismus, das immer mehr und mehr um sich greifen muß in
der Zukunft.|178|218f}}


==== Regeln der Qualität ====
Entscheidend wird aber sein, aus welcher [[Ethik|ethischen Haltung]] dies geschieht. Verderblich wird es sein, wenn diese moderne Technolgie nur im [[Egoismus|egoistischen]] bzw. [[Gruppenegoismus|gruppenegoistischen]] Sinn entwickelt und eingesetzt wird. Heilsam wird sie nur sein können, wenn der Mensch als Gegengewicht zu der von ihm hervorgebrachten technischen [[Unter-Natur]], eine entsprechende [[Schulungsweg|geistig-moralische Entwicklung]] anstrebt. Nur so kann er gegen die mit der [[Technik]] verbundenen [[Ahriman|ahrimanischen Wesen]] bestehen. Im 184. [[Anthroposophische Leitsätze|anthroposophischen Leitsatz]] schreibt Rudolf Steiner dazu:
# Mindestens eine der beiden Prämissen muss eine bejahende Aussage sein ([[Latein|lateinisch]] ''ex mere negativis nihil sequitur'', „allein aus verneinten Aussagen folgt nichts“).<br />Zum Beispiel kann aus den Prämissen „Kein Fisch ist Angler“ und „Einige Angler sind keine Fische“ syllogistisch keine Schlussfolgerung gezogen werden.
# Wenn beide Prämissen bejahend sind, dann muss auch die Konklusion bejahend sein (lateinisch ''ambae affirmantes nequeunt generare negantem'', „zwei bejahende Aussagen können keine verneinte Aussage erzeugen“).
# Wenn eine der beiden Prämissen verneinend ist, dann muss auch die Konklusion verneinend sein.


==== Regeln der Quantität ====
{{GZ|Das erfordert, daß der Mensch erlebend eine Geist-Erkenntnis finde, in der er sich eben so hoch in die Über-Natur
# Mindestens eine der beiden Prämissen muss eine allgemeine Aussage sein (lateinisch ''nihil sequitur geminis ex particularibus unquam'', „nichts folgt jemals aus partikularen Aussagen“).<br />Aus den Prämissen „Einige Säugetiere leben im Wasser“ und „Einige Tiere, die auf dem Land leben, sind Säugetiere“ kann ebenfalls syllogistisch nicht geschlossen werden.
erhebt, wie er mit der unternatürlichen technischen
# Wenn eine der beiden Prämissen eine partikuläre Aussage ist, kann die Konklusion keine allgemeine Aussage sein.
Betätigung unter die Natur hinuntersinkt. Er schafft dadurch
in seinem Innern die Kraft, nicht unterzusinken.|26|259}}


==== Regeln der Distribution ====
== Siehe auch ==
# Der Mittelbegriff muss mindestens einmal distribuiert vorkommen.
# Wenn ein Begriff in der Konklusion distribuiert auftritt, muss er auch in einer Prämisse distribuiert auftreten.


== Figuren ==
* {{WikipediaDE|Kategorie:Künstliche Intelligenz}}
Welche der drei Begriffe S, P und M in welcher Aussage des Syllogismus vorkommen müssen, ist festgelegt: Der Obersatz besteht aus P und M, der Untersatz aus S und M, die Konklusion aus S und P. Die Konklusion hat dabei immer die Form S&nbsp;–&nbsp;P, die Anordnung der Begriffe in den Prämissen kann frei gewählt werden. Die Reihenfolge, in der die Prämissen aufgeschrieben werden, ist für die Gültigkeit eines Syllogismus zwar unerheblich, dennoch wird bereits seit Aristoteles zuerst der Obersatz und im Anschluss der Untersatz genannt.


Je nach Anordnung der Begriffe in den Prämissen unterscheidet man die vier möglichen Figuren (σχἠματα, ''schemata''):
* {{WikipediaDE|Künstliche Intelligenz}}


{| class="wikitable" style="text-align:center"
== Literatur ==
|-
|
! width="20%"|1. Figur
! width="20%"|2. Figur
! width="20%"|3. Figur
! width="20%"|4. Figur
|-
! style="text-align:right"| erste Prämisse
| M – P
| P – M
| M – P
| P – M
|-
! style="text-align:right"| zweite Prämisse
| S – M
| S – M
| M – S
| M – S
|-
! style="text-align:right"| Konklusion
| S – P
| S – P
| S – P
| S – P
|}


'''Beispiel:'''
* [[Thomas Hobbes]]: ''Elemente der Philosophie. Erste Abteilung: Der Körper.'' Übers. u. hrsg. v. Karl Schuhmann. Meiner, Hamburg 1997, ISBN 978-3-7873-1459-1.
:Prämisse 1 (oder ''Obersatz''): Alle Menschen ''(M)'' sind sterblich ''(P)''.
* [[Tom Stonier]]: ''Beyond Information: The Natural History Of Intelligence.'' Springer 1992, ISBN 978-3540196549
:Prämisse 2 (oder ''Untersatz''): Alle Griechen ''(S)'' sind Menschen ''(M)''.
* [[Ray Kurzweil]]: ''KI - Das Zeitalter der künstlichen Intelligenz'', Carl Hanser Verlag 1993, ISBN 978-3446173750
:Konklusion (oder ''Schlusssatz''): Also sind alle Griechen ''(S)'' sterblich ''(P)''.
* [[John Searle]]: ''Die Wiederentdeckung des Geistes'', Artemis & Winkler, München 1993, ISBN 978-3760819440
* [[Marvin Minsky]]: ''The Society of Mind: Mentopolis'', Klett-Cotta 1994, ISBN 978-3608931174
* Hernan Riquelme: ''Information Processing Theory and its Explanation of the Creative Process'', in: Creativity and Innovation Management, Volume 3, Number 2, June 1994 [https://www.academia.edu/6133148/Information_Processing_Theory_and_its_Explanation_of_the_Creative_Process academia.edu]
* [[Roger Penrose]]: ''Shadows of the Mind: A Search for the Missing Science of Consciousness'', Vintage Books, London 1995, ISBN 978-0099582113
* [[Hans Moravec]]: ''Mind Children: The Future of Robot and Human Intelligence'', Harvard University Press 1998, ISBN 978-0674576162
* Hans Moravec: ''Computer übernehmen die Macht. Vom Siegeszug der künstlichen Intelligenz'', Hoffmann und Campe, Hamburg 1999, ISBN 978-3455085754
* Wolfgang Ziegler: ''Neuronale Netze'', entwickler.press, eBook ASIN B0105UIJPC
* [[Wikipedia:Jeff Hawkins|Jeff Hawkins]]: ''Die Zukunft der Intelligenz: Wie das Gehirn funktioniert und was Computer davon lernen können'', Rowohlt Taschenbuch Verlag, Reinbek bei Hamburg 2006, ISBN 978-3499621673
* Bernd Vowinkel: ''Maschinen mit Bewusstsein - Wohin führt die künstliche Intelligenz?'', Wiley-VCH 2006, ISBN 978-3527406302, eBook {{ASIN|B0096QYU4G}}
* Johannes Grössl: ''Ist das Gehirn ein Computer - Gödels Unvollstaendigkeitssatz als Funktionalismuskritik.'' Diplomarbeit an der Ludwig-Maximilians-Universität München 2009 [https://www.academia.edu/2449359/Ist_das_Gehirn_ein_Computer_G%C3%B6dels_Unvollstaendigkeitssatz_als_Funktionalismuskritik?email_work_card=title academia.edu]
* Ray Kurzweil: ''Das Geheimnis des menschlichen Denkens: Einblicke in das Reverse Engineering des Gehirns'', Lola Books 2014, ISBN 978-3944203065, eBook {{ASIN|B01348W39K}}
* Ray Kurzweil: ''Menschheit 2.0: Die Singularität naht'', Lola Books 2014, ISBN 978-3944203089, eBook {{ASIN|B0112F25QI}}
* Ray Kurzweil: ''Die Intelligenz der Evolution'', KiWi-Taschenbuch 2016, ISBN 978-3462049428, Kiepenheuer & Witsch eBook, {{ASIN|B01FENJJH2}}
* [[Nick Bostrom]]: ''Superintelligenz: Szenarien einer kommenden Revolution'', Suhrkamp Verlag 2016, ISBN 978-3518586846, eBook {{ASIN|B00OTQKXJE}}
* Klaus Mainzer: ''Künstliche Intelligenz – Wann übernehmen die Maschinen?'' Springer Verlag 2016, ISBN 978-3662484524, eBook {{ASIN|B01CYJHR1Y}}
* Wolfgang Ertel: ''Grundkurs Künstliche Intelligenz'', Springer-Verlag 2016, ISBN 978-3-658-13548-5, eBook ISBN 978-3-658-13549-2
* [[WikipediaEN:Pedro Domingos|Pedro Domingos]]: ''The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World'', Penguin 2017, ISBN 978-0141979243, eBook {{ASIN|B06XK8D37J}}
* Christian J. Meier: ''Suppenintelligenz (TELEPOLIS): Die Rechenpower aus der Natur'', Heise Medien GmbH & Co. KG 2017, ISBN 978-3957881014, eBook {{ASIN|B076CQBPMC}}
* [[Julian Nida-Rümelin]], Nathalie Weidenfeld: ''Digitaler Humanismus: Eine Ethik für das Zeitalter der Künstlichen Intelligenz'', Piper 2018, ISBN 978-3492058377, eBook {{ASIN|B07GZPD34T}}
* Toby Walsh: ''It's alive: Wie künstliche Intelligenz unser Leben verändern wird'', Edition Körber 2018, ISBN 978-3896842664, eBook {{ASIN|B07GWHS12N}}
* Thomas Ramge,  Dinara Galieva (Illustrator): ''Mensch und Maschine: Wie künstliche Intelligenz und Roboter unser Leben verändern'', Reclam Verlag 2018, ISBN 978-3150194997, eBook {{ASIN|B077TT4283}}
* Peter Fischer: ''Künstliche Intelligenz: Digitalisierung, neuronale Programmierung, Industrie 4.0 & Deep learning'', Independently published 2018, ISBN 978-1728834597, eBook {{ASIN|B07JGFX5ZL}}
* [[w:Andrew McAfee|Andrew McAfee]], [[w:Erik Brynjolfsson|Erik Brynjolfsson]]: ''The Second Machine Age: Wie die nächste digitale Revolution unser aller Leben verändern wird'', Plassen Verlag 2018, ISBN 978-3864705946; eBook {{ASIN|B00NLFE9V2}}
* Michel Troublé: ''Consciousness, artificial intelligence. Transhumanism: truths and false promises'', 2019 [https://www.academia.edu/38518263/Consciousness_artificial_intelligence._Transhumanism_truths_and_false_promises?email_work_card=view-paper academia.edu]
* [[w:Richard David Precht|Richard David Precht]]: ''Jäger, Hirten, Kritiker: Eine Utopie für die digitale Gesellschaft'', Goldmann Verlag 2018, ISBN 978-3442315017; eBook {{ASIN|B078ZYCFXC}}
* [[w:Richard David Precht|Richard David Precht]]: ''Künstliche Intelligenz und der Sinn des Lebens'', Goldmann Verlag 2020, ISBN 978-3442315611; eBook {{ASIN|B07ZTGNX3G}}
* Hans Bonneval: Revolution im Denken: Rudolf Steiner. Warum Computer nicht denken können, BoD, Norderstedt 2017
* Paul Emberson: ''Maschinen und Menschengeist'', The DewCross Centre for Moral Technology, Edinburgh 2013
* Paul Emberson: ''Von Gondishapur bis Silicon Valley'' Band I, Etheric Dimensions Press, Schweiz und Schottland 2012 - [http://ipwebdev.com/hermit/counter-silicon.html kritische Betrachtung: ''A well intended very flawed Book'']
* Paul Emberson: ''From Gondishapur to Silicon Valley'', Volume II, Etheric Dimensions Press, Switzerland and Scottland 2014 (deutsche Übersetzung in Vorbereitung)
* Mieke Mosmuller: ''Singularität - Dialoge über künstliche Intelligenz und Spiritualität'', Occident Verlag 2019, ISBN 978-3946699101
* Nicanor Perlas, Sebastian Lorenz (Übers.): ''Der letzte Kampf der Menschheit? Die Antwort der Geisteswissenschaft auf die Künstliche Intelligenz'', Urachhaus Verlag, November 2020, ISBN 978-3825152352
* Edwin Hübner: ''Menschlicher Geist und Künstliche Intelligenz: Die Entwicklung des Humanen inmitten einer digitalen Welt'', Verlag Freies Geistesleben 2020, ISBN 978-3772529559: eBook {{ASIN| B08PPWV9GF}}
* [[Rudolf Steiner]], Andreas Neider (Hrsg.): ''Der elektronische Doppelgänger und die Entwicklung der Computertechnik'', Futurum Verlag 2013, ISBN 978-3856363642; Kindle Edition 2015, {{ASIN|B0195VK6WG}}
* [[Rudolf Steiner]]: ''Die Rätsel der Philosophie in ihrer Geschichte als Umriß dargestellt'', [[GA 18]] (1985), ISBN 3-7274-0180-X {{Schriften|018}}
* [[Rudolf Steiner]]: ''Anthroposophische Leitsätze'', [[GA 26]] (1998), ISBN 3-7274-0260-1 {{Schriften|026}}
* [[Rudolf Steiner]]: ''Die Tempellegende und die Goldene Legende '', [[GA 93]] (1991), ISBN 3-7274-0930-4 {{Vorträge|093}}
* [[Rudolf Steiner]]: ''Gegenwärtiges und Vergangenes im Menschengeiste'', [[GA 167]] (1962), ISBN 3-7274-1670-X {{Vorträge|167}}
* [[Rudolf Steiner]]: ''Die spirituellen Hintergründe der äußeren Welt. Der Sturz der Geister der Finsternis'', [[GA 177]] (1999), ISBN 3-7274-1771-4 {{Vorträge|177}}
* [[Rudolf Steiner]]: ''Individuelle Geistwesen und ihr Wirken in der Seele des Menschen'', [[GA 178]] (1992), ISBN 3-7274-1780-3 {{Vorträge|178}}
* [[Rudolf Steiner]]: ''Die Verantwortung des Menschen für die Weltentwickelung durch seinen geistigen Zusammenhang mit dem Erdplaneten und der Sternenwelt'', [[GA 203]] (1989), ISBN 3-7274-2030-8 {{Vorträge|203}}


:Aufgrund der Stellung der Begriffe M&nbsp;–&nbsp;P, S&nbsp;–&nbsp;M, S&nbsp;–&nbsp;P erkennt man einen Syllogismus der 1.&nbsp;Figur.
{{GA}}


=== Modi (Kombinationen) und ihre Merkwörter ===
== Weblinks ==
Da jede der drei Aussagen in einem Syllogismus von einem der vier Typen A, E, O, I sein kann, gibt es pro Figur <math>4 \times 4 \times 4 = 64</math> Möglichkeiten, Aussagen zu einem Syllogismus der jeweiligen Figur zu kombinieren. Jede dieser Möglichkeiten wird ein Modus (Plural: Modi) bzw. eine Kombination der jeweiligen Figur genannt. Bei insgesamt vier verschiedenen Figuren gibt es so insgesamt <math>64 \times 4 = 256</math> Kombinationsmöglichkeiten, d.&nbsp;h. 256 Typen von Syllogismen. Unter diesen 256 Modi sind 24&nbsp;gültige und 232&nbsp;nicht gültige Syllogismen.


Ein Modus wird durch drei Buchstaben beschrieben. Dabei stehen die ersten beiden Buchstaben für die Typen der Prämissen, der dritte Buchstabe für den Typ der Konklusion.
* [http://noetic.org/blog/communications-team/loving-artificial Loving Artificial Intelligence] Website
* [https://www.youtube.com/watch?v=VvCh8RT1w4U Markus Gabriel über den Menschen und KI] Audio
* [https://www.faz.net/aktuell/feuilleton/debatten/shakespeare-sortieren-und-beethoven-vollenden-mit-ki-16525338.html?utm_source=pocket-newtab KI im Kunsteinsatz] Artikel in der FAZ
* [http://www.elementsofai.de/ kostenloser Onlinekurs: The Elements of AI] (deutsch)
* [[Markus Gabriel]]: [https://www.youtube.com/watch?v=VvCh8RT1w4U Markus Gabriel über den Menschen und KI] Audio
* [[Markus Gabriel]]: [https://www.youtube.com/watch?v=U009yYdIdlE Was ist eigentlich künstliche Intelligenz] YouTube


'''Beispiel:'''
== Einzelnachweise ==
:Prämisse 1 (oder ''Obersatz''): Alle Krimis ''(M)'' sind spannend ''(P)''.
:Prämisse 2 (oder ''Untersatz''): Einige Bücher ''(S)'' sind Krimis ''(M)''.
:Konklusion (oder ''Schlusssatz''): Also sind einige Bücher ''(S)'' spannend ''(P)''.
 
: Prämisse 1 ist vom Typ A, Prämisse 2 vom Typ I, die Konklusion folglich ebenfalls vom Typ I. Es handelt sich also um einen Syllogismus vom Typ A–I–I.
 
Die 24 gültigen Modi werden traditionell mit folgenden Merkwörtern bezeichnet:
 
:1. Figur: '''Barbara, Celarent, Darii, Ferio,''' Barbari, Celaront
:2. Figur: '''Baroco, Cesare, Camestres, Festino,''' Camestrop, Cesaro
:3. Figur: '''Bocardo, Darapti, Datisi, Disamis, Felapton, Ferison'''
:4. Figur: '''Bamalip, Calemes, Dimatis, Fesapo, Fresison,''' Calemop
 
In diesen Merkwörtern bezeichnen die [[Vokal]]e die Typen der Aussagen in der Reihenfolge Obersatz–Untersatz–Konklusion; zum Beispiel bezeichnet Modus Darii einen Syllogismus der ersten Figur und vom Typ A–I–I. Die [[Konsonant]]en geben an, auf welchen Syllogismus der 1. Figur (erster Konsonant) der jeweilige Syllogismus zurückgeführt werden kann und durch welche Veränderung (jeweils auf Vokal folgender Konsonant) diese Zurückführung möglich ist (siehe Abschnitt [[#Reduktion auf die erste Figur|Reduktion auf die erste Figur]]).
 
Zu beachten ist, dass in der Tradition unterschiedliche Versionen der Merkwörter kursieren. Die ältesten überlieferten Versionen dieser [[Petrus Hispanus#Mnemotechnische Syllogistik|mnemotechnischen Syllogistik]] stammen von den scholastischen Logikern [[William of Sherwood]]<ref>siehe C. L. Hamblin: ''Fallacies.'' Methuen London 1970. ISBN 0-416-70070-5, Seite&nbsp;117, wo allerdings in Fußnote&nbsp;1 darauf hingewiesen wird, dass es Vorläufer gebe.</ref> und [[Petrus Hispanus]]<ref>Kneale/Kneale: ''The Development of Logic,'' Seite 231–234</ref> um 1240/1250, wobei die Priorität unsicher ist.
 
Die fünf nicht fett gedruckten Modi sind jeweils „schwache“ Folgerungen eines fett gedruckten „starken“ Modus der jeweiligen Figur. „Stark“ bedeutet dabei, dass die Konklusion eine allgemeine Aussage (A oder E) ist; „schwach“ bedeutet, dass die Konklusion eine partikuläre Aussage (I oder O) ist, die eine direkte Folgerung der jeweiligen starken Aussage ist. Es wird davon ausgegangen, dass schwache Modi erstmals 50&nbsp;v.&nbsp;Chr. von Ariston von Alexandria thematisiert wurden.<ref name="neb23-263" />
 
'''Beispiele:'''
* Modus Barbara (stark): Alle Münchner sind Bayern, alle Schwabinger sind Münchner, es folgt: Alle Schwabinger sind Bayern.
* Modus Barbari (schwach): Alle Münchner sind Bayern, alle Schwabinger sind Münchner, es folgt: Einige Schwabinger sind Bayern.
* Modus Celarent (stark): Kein Münchner ist Passauer, alle Schwabinger sind Münchner, es folgt: Kein Schwabinger ist Passauer.
* Modus Celaront (schwach): Kein Münchner ist Passauer, alle Schwabinger sind Münchner, es folgt: Einige Schwabinger sind keine Passauer.
 
Die schwachen Schlussfolgerungen sind logisch gültig, sofern gewisse Zusatzbedingungen erfüllt sind: Jeweils bestimmte Begriffe (Subjekt, Prädikat oder Mittelbegriff) dürfen nicht leer sein (siehe auch Abschnitt [[#Existenzielle Voraussetzungen|Existenzielle Voraussetzungen]]).
 
=== Reduktion auf die erste Figur ===
Mit einigen einfachen Umformungen, die in den Konsonanten der traditionellen Merkwörter kodiert sind, lassen sich die Modi aller Figuren auf einen Modus der ersten Figur zurückführen („reduzieren“). Diese Tatsache war bereits Aristoteles bekannt, der auch entsprechende Umformungsregeln formuliert hat und der die erste Figur als die vollkommene, Syllogismen der ersten Figur als ''vollkommenen Syllogismus'' (τέλειος συλλογισμός – ''téleios syllogismós'') bezeichnete.
 
Der Anfangsbuchstabe des jeweiligen traditionellen Merkwortes gibt an, auf welchen Modus der ersten Figur der jeweilige Modus zurückgeführt werden kann: Modi, deren Name mit „B“ beginnt, lassen sich auf den Modus Barbara zurückführen; Modi, deren Name mit „C“ beginnt, lassen sich auf den Modus Celarent zurückführen; und ebenso lassen sich Modi, deren Name mit „D“ bzw. mit „F“ beginnt, auf den Modus Darii bzw. Ferio zurückführen.
 
Die Umformungen der Syllogistik sind [[Schlussregel]]n im formalen Sinn, d.&nbsp;h. das Resultat jeder syllogistischen Umformung einer Aussage bzw. eines Syllogismus ''folgt'' aus der umgeformten Aussage bzw. aus dem umgeformten Syllogismus.
 
Die für die Reduktion erforderlichen Umformungen sind im Folgenden näher beschrieben; zusätzlich wird im Abschnitt [[#Beispiele und Reduktion auf die erste Figur|Beispiele und Reduktion auf die erste Figur]] für jeden syllogistischen Modus ein Beispiel genannt und dessen Reduktion auf die erste Figur gezeigt.
 
==== Einfache Umwandlung ====
Bei der einfachen Umwandlung (lat. ''conversio simplex'') werden Subjekt und Prädikat der jeweiligen Aussage vertauscht; so wird aus der Aussage „Einige Philosophen sind Griechen“ nach der einfachen Umwandlung die Aussage „Einige Griechen sind Philosophen“. In den Merkwörtern wird die einfache Umwandlung einer Aussage durch den Buchstaben „s“ hinter dem der betroffenen Aussage zugeordneten Vokal angezeigt; zum Beispiel muss beim Reduzieren des Modus Ce'''s'''are die erste Prämisse, eine E-Aussage, einer einfachen Umwandlung unterzogen werden.
 
Einfache Umwandlung ist nur bei Aussagen der Typen E und I möglich: Wenn keine Schweine Schafe sind, dann sind auch keine Schafe Schweine (E-Aussage); und wenn einige Griechen Philosophen sind, dann sind auch einige Philosophen Griechen (I-Aussage). Für die A- und O-Aussage ist keine einfache Umwandlung möglich: Wenn alle Philosophen Menschen sind, heißt das nämlich noch lange nicht, dass alle Menschen Philosophen sind (A-Aussage); und wenn einige Menschen keine Politiker sind, heißt das noch lange nicht, dass einige Politiker keine Menschen sind (O-Aussage). Tatsächlich sind unter den traditionellen Merkwörtern nur solche, bei denen das „s“ auf ein „e“ oder „i“ folgt.
 
Normalerweise wird die einfache Umwandlung auf die jeweilige Prämisse des zu reduzierenden Syllogismus angewendet. Steht das „s“ jedoch am Ende des Merkwortes, dann wird nicht die Konklusion des zu reduzierenden Syllogismus der einfachen Umwandlung unterzogen, sondern die Konklusion jenes Syllogismus der ersten Figur, ''auf den'' reduziert werden soll. Ein Beispiel für diesen Sonderfall ist der Modus Dimati'''s''': Er wird auf einen Modus Datisi zurückgeführt, in dessen Konklusion Subjekt und Prädikat vertauscht werden, also auf einen Syllogismus der Form „Alle P sind M. Einige M sind S. Also sind einige P S.“
 
==== Umwandlung durch Einschränkung ====
Bei der Umwandlung durch Einschränkung  (lat. ''conversio per accidens'') wird zusätzlich zur Vertauschung von Subjekt und Prädikat der jeweiligen Aussage ihr Typ von A auf I bzw. von E auf O geändert. So wird zum Beispiel aus der A-Aussage „Alle Schweine sind rosa“ nach der Umwandlung durch Einschränkung die I-Aussage „Einige rosa (Dinge) sind Schweine“ und wird aus der E-Aussage „Keine Schweine sind Schafe“ die O-Aussage „Einige Schafe sind keine Schweine“. In den Merkwörtern wird die Umwandlung durch Einschränkung durch den Buchstaben „p“ hinter dem der betroffenen Aussage zugeordneten Vokal angezeigt.
 
Auch bei dieser Umwandlung liegt ein Sonderfall vor, wenn das „p“ im Merkwort nach dem dritten Vokal –&nbsp;also am Wortende&nbsp;– steht: In diesem Fall bezieht es sich wie bei der einfachen Umwandlung nicht auf die Konklusion des zu reduzierenden Syllogismus, sondern auf die Konklusion des resultierenden Syllogismus der ersten Figur.
 
==== Vertauschung der Prämissen ====
Vertauschung der Prämissen (lat. ''mutatio praemissarum'') ist für die Reduktion all jener Modi erforderlich, in deren Merkwörtern der Konsonant „m“ an beliebiger Stelle vorkommt. Unabhängig von der Position des Konsonanten „m“ im jeweiligen Merkwort darf die Vertauschung der Prämissen erst ''nach'' jeder allenfalls erforderlichen einfachen Umwandlung und nach jeder allenfalls erforderlichen Umwandlung durch Einschränkung ausgeführt werden.
 
==== Indirekter Beweis ====
Modi, in deren Merkwörtern der Konsonant „c“ vorkommt, aber nicht am Wortanfang steht, –&nbsp;also nur die Modi Baroco und Bocardo&nbsp;– lassen sich nur durch einen [[Reductio ad absurdum|indirekten Beweis]] (lat. ''reductio ad absurdum'')<ref>Die Darstellung des indirekten Beweises im Syllogismus folgt sehr eng „Logic“, in: ''The New Encyclopaedia Britannica'', Chicago u.&nbsp;a. 15.&nbsp;Aufl. 2003, Band&nbsp;23, Seite&nbsp;262f.</ref> auf die erste Figur zurückführen. Zu diesem Behuf wird die Wahrheit der A-Prämisse des zu reduzierenden Syllogismus (im Fall von Baroco also die erste, im Fall von Bocardo die zweite Prämisse) sowie das kontradiktorische Gegenteil, d.&nbsp;h. die Negation der Konklusion angenommen. Auf diese Weise entsteht ein Modus Barbara, dessen Konklusion der O-Prämisse des zu reduzierenden Syllogismus widerspricht. Da die Annahme, die Konklusion treffe nicht zu, solcherart zu einem Widerspruch geführt hat, ist gezeigt, dass die Konklusion zutreffen muss.
 
Im Detail ausgeführt wird der indirekte Beweis in den Abschnitten [[#AOO – Modus Baroco|AOO&nbsp;–&nbsp;Modus Baroco]] und [[#OAO – Modus Bocardo|OAO&nbsp;–&nbsp;Modus Bocardo]].
 
==== Abweichende Darstellungen ====
Hinsichtlich der genauen Formulierung der Umwandlungsregeln gibt es bei den einzelnen Autoren Unterschiede; insbesondere ist es üblich,<ref>z.&nbsp;B. auch im Standardlehrbuch Otto Bird: ''Syllogistic and Its Extensions'', Englewood Cliffs: Prentice-Hall 1964, Seite&nbsp;27ff.</ref> auf den hier dargebrachten Sonderfall bei der einfachen Umwandlung und bei der Umwandlung durch Einschränkung zu verzichten und die Konsonanten „s“ und „p“ auch am Wortende auf den ''umzuwandelnden'' Syllogismus zu beziehen und nicht –&nbsp;wie hier dargestellt&nbsp;– auf den Ziel-Syllogismus. Diese Formulierung würde aber die Reduktion der beiden Modi „Bamalip“ und „Camestrop“ in der dargestellten Form unmöglich machen, weil weder für eine I-Aussage noch für eine O-Aussage eine Umwandlung durch Einschränkung möglich ist.
 
=== Beispiele und Reduktion auf die erste Figur ===
==== Zur ersten Figur des kategorischen Syllogismus ====
Die erste Figur hat folgende Form:
{{Schlusstabelle|P1=Obersatz: M&nbsp;–&nbsp;P|P2=Untersatz: S&nbsp;–&nbsp;M|S=Es folgt:|K=Konklusion: S&nbsp;–&nbsp;P}}
Ihre gültigen Modi sind [[Modus Barbara|Barbara]], Celarent, Darii, Ferio, Barbari und Celaront.
 
===== AAA – Modus Barbara =====
;Beispiel
{{Schlusstabelle|P1=Alle Rechtecke sind Vierecke|P2=Alle Quadrate sind Rechtecke|S=Es folgt:|K=Alle Quadrate sind Vierecke}}
 
===== EAE – Modus Celarent =====
;Beispiel
{{Schlusstabelle|P1=Kein Rechteck ist ein Kreis|P2=Alle Quadrate sind Rechtecke|S=Es folgt:|K=Kein Quadrat ist ein Kreis}}
 
===== AII – Modus Darii =====
;Beispiel
{{Schlusstabelle|P1=Alle Quadrate sind Rechtecke|P2=Einige Rhomben sind Quadrate|S=Es folgt:|K=Einige Rhomben sind Rechtecke}}
 
===== EIO – Modus Ferio =====
;Beispiel
{{Schlusstabelle|P1=Kein Säugetier atmet mit Kiemen|P2=Einige Wassertiere sind Säugetiere|S=Es folgt:|K=Einige Wassertiere atmen nicht mit Kiemen}}
 
===== AAI – Modus Barbari =====
;Beispiel
{{Schlusstabelle|P1=Alle Rechtecke sind Vierecke|P2=Alle Quadrate sind Rechtecke|S=Es folgt:|K=Einige Quadrate sind Vierecke}}
;Anmerkung:
:Barbari ist insofern ein abgeleiteter Modus, als seine Konklusion eine schwächere Folgerung der Konklusion von Modus Barbara ist: Wenn alle Quadrate Rechtecke sind, dann sind insbesondere auch einige Quadrate Rechtecke. Traditionell wird ein durch Abschwächung der Konklusion aus einem anderen Modus abgeleiteter Modus auch als schwacher Modus bezeichnet.
 
===== EAO – Modus Celaront =====
;Beispiel
{{Schlusstabelle|P1=Kein Rechteck ist ein Kreis|P2=Alle Quadrate sind Rechtecke|S=Es folgt:|K=Einige Quadrate sind keine Kreise}}
;Anmerkung:
:Die Konklusion von Celaront ist eine Abschwächung der Konklusion von Celarent: Wenn keine Quadrate Kreise sind, dann sind insbesondere auch einige Quadrate keine Kreise. Celaront wird daher traditionell als schwacher Modus bezeichnet.
 
==== Zur zweiten Figur des kategorischen Syllogismus und ihrer Reduktion auf die erste Figur ====
Die zweite Figur hat folgende Form:
{{Schlusstabelle|P1=Obersatz: P&nbsp;–&nbsp;M|P2=Untersatz: S&nbsp;–&nbsp;M|S=Es folgt:|K=Konklusion: S&nbsp;–&nbsp;P}}
Die gültigen Modi der zweiten Figur sind Baroco, Cesare, Camestres, Festino, Camestrop und Cesaro.
 
===== AOO – Modus Baroco =====
;Beispiel
{{Schlusstabelle|P1=Alle Professoren sind ernst|P2=Einige Dozenten sind nicht ernst|S=Es folgt:|K=Einige Dozenten sind nicht Professoren}}
;Reduktion des Beispiels auf die erste Figur
:Der Modus Baroco ist einer von nur zwei Modi, in deren Merkwort der Konsonant „c“ vorkommt, aber nicht am Wortanfang steht. Diese Konstellation zeigt an, dass zur Rückführung auf die erste Figur ein indirekter Beweis erforderlich ist. Für diesen indirekten Beweis wird ein Syllogismus konstruiert, dessen erste Prämisse die A-Prämisse des zu reduzierenden Syllogismus ist – im Beispiel also die Aussage „Alle Professoren sind ernst.“ Als zweite Prämisse des zu konstruierenden Syllogismus wird die kontradiktorische Verneinung der Konklusion des zu reduzierenden Syllogismus verwendet – im Beispiel also die Aussage „Alle Dozenten sind Professoren“ (dieses A-Urteil ist die Verneinung des O-Urteils „Einige Dozenten sind nicht Professoren“, vergleiche [[#Logisches Quadrat|Logisches Quadrat]]). Da das Merkwort „Baroco“ mit einem „B“ beginnt, werden die so aufgestellten Prämissen zu einem Syllogismus des Modus Barbara ergänzt, der dann vollständig lautet: „Alle Professoren sind ernst. Alle Dozenten sind Professoren. Also sind alle Dozenten ernst.“ Die Schlussfolgerung, dass alle Dozenten ernst sind, ist aber mit der O-Prämisse des zu reduzierenden Syllogismus unverträglich, die gerade lautete „Einige Dozenten sind nicht ernst“. Somit ist gezeigt, dass die Annahme, die Konklusion des zu reduzierenden Syllogismus treffe nicht zu, zu einem Widerspruch führt. Die Konklusion des zu reduzierenden Syllogismus muss daher zutreffen, der zu reduzierende Syllogismus also gültig sein.
 
===== EAE – Modus Cesare =====
;Beispiel
{{Schlusstabelle|P1=Kein Säugetier atmet durch Kiemen|P2=Alle Fische atmen durch Kiemen|S=Es folgt:|K=Kein Fisch ist ein Säugetier}}
;Reduktion des Beispiels auf die erste Figur: Das Merkwort „Cesare“ beginnt mit einem „C“, der Syllogismus muss sich daher auf einen Modus Celarent zurückführen lassen. Im Merkwort „Cesare“ steht unmittelbar nach dem „e“, das den Typ der ersten Prämisse angibt, der Buchstabe „s“, der die einfache Umwandlung der betroffenen Aussage einfordert. Wandelt man die erste Prämisse einfach um, entsteht die Aussage „Kein Kiemenatmer ist ein Säugetier“. Weitere bedeutungstragende Konsonanten kommen im Merkwort „Cesare“ nicht vor, deshalb ist die Umwandlung damit abgeschlossen. Tatsächlich ist der so entstandene Syllogismus „Kein Kiemenatmer&nbsp;(M) ist ein Säugetier&nbsp;(P). Alle Fische&nbsp;(S) atmen durch Kiemen&nbsp;(M). Also ist kein Fisch&nbsp;(S) ein Säugetier&nbsp;(P).“ ein Syllogismus vom Typ Celarent.
 
===== AEE – Modus Camestres =====
;Beispiel
{{Schlusstabelle|P1=Alle Fische atmen durch Kiemen|P2=Kein Säugetier atmet durch Kiemen|S=Es folgt:|K=Kein Säugetier ist ein Fisch}}
;Reduktion des Beispiels auf die erste Figur
:Der Anfangsbuchstabe „C“ des Merkwortes „Camestres“ zeigt an, dass die Reduktion zu einem Modus Celarent führen muss. Das „s“ nach dem Vokal „e“ der zweiten Prämisse zeigt an, dass jene einer einfachen Umwandlung unterzogen werden muss; dabei entsteht die neue Aussage „Kein Kiemenatmer ist ein Säugetier“. Das „m“ zeigt –&nbsp;ungeachtet seiner konkreten Position&nbsp;– an, dass die Prämissen nach allen anderen allfälligen Umformungen ausgetauscht werden müssen: Es entsteht der Syllogismus „Kein Kiemenatmer ist ein Säugetier. Alle Fische atmen durch Kiemen. Also ist kein Säugetier ein Fisch.“ Am Wortende des Merkwortes Camestres steht ein weiteres „s“, das an dieser Stelle eine einfache Umwandlung der Konklusion des Zielmodus, also des Celarent erfordert – und tatsächlich ist der Syllogismus „Kein Kiemenatmer ist ein Säugetier. Alle Fische atmen durch Kiemen. Also ist kein Säugetier ein Fisch.“ ein Modus Celarent, in dessen Konklusion die Stellung von Subjekt und Prädikat vertauscht ist.
 
===== EIO – Modus Festino =====
;Beispiel
{{Schlusstabelle|P1=Kein Tier, das mit Kiemen atmet, ist ein Säugetier|P2=Einige Wassertiere sind Säugetiere|S=Es folgt:|K=Einige Wassertiere atmen nicht mit Kiemen}}
;Reduktion des Beispiels auf die erste Figur
:Der Anfangsbuchstabe „F“ zeigt an, dass der Syllogismus sich auf einen Modus Ferio zurückführen wird lassen. Der Buchstabe „s“ nach dem ersten Vokal im Merkwort „Festino“ weist darauf hin, dass die erste Prämisse einer einfachen Umwandlung unterzogen werden muss; dabei entsteht die neue Aussage „Kein Säugetier atmet mit Kiemen“. Das Merkwort enthält keine weiteren bedeutungstragenden Konsonanten, und tatsächlich ist der durch diese eine Umwandlung entstandene Syllogismus „Kein Säugetier atmet mit Kiemen. Einige Wassertiere sind Säugetiere. Es folgt: Einige Wassertiere atmen nicht mit Kiemen.“ vom erwarteten Typ Ferio; die Reduktion ist damit erfolgreich abgeschlossen.
 
==== Zur dritten Figur des kategorischen Syllogismus und ihrer Reduktion auf die erste Figur ====
Die dritte Figur hat folgende Form:
{{Schlusstabelle|P1=Obersatz: M&nbsp;–&nbsp;P|P2=Untersatz: M&nbsp;–&nbsp;S|S=Es folgt:|K=Konklusion; S&nbsp;–&nbsp;P}}
 
Die gültigen Modi der dritten Figur sind Bocardo, Datisi, Disamis, Ferison, Darapti und Felapton.
 
===== OAO – Modus Bocardo =====
;Beispiel
{{Schlusstabelle|P1=Einige Münchner sind nicht Politiker|P2=Alle Münchner sind Stadtbewohner|S=Es folgt:|K=Einige Stadtbewohner sind nicht Politiker}}
 
;Reduktion des Beispiels auf die erste Figur:
:Das Merkwort „Bocardo“ enthält im Wortinneren den Konsonanten „c“, der die Notwendigkeit eines indirekten Beweises anzeigt. Für diesen wird ein neuer Syllogismus gebildet, dessen Prämissen die A-Prämisse des Bocardo –&nbsp;im Beispiel also die Aussage „Alle Münchner sind Stadtbewohner“&nbsp;– und die Verneinung der Konklusion des Bocardo ist: Verneint man die O-Aussage „Einige Stadtbewohner sind nicht Politiker“, dann entsteht die A-Aussage „Alle Stadtbewohner sind Politiker“. Da das Merkwort „Bocardo“ mit einem „B“ beginnt, ordnet man diese beiden Prämissen so an und ergänzt sie so um eine Konklusion, dass ein Syllogismus der Form Barbara entsteht. Für das Beispiel lautet dieser Syllogismus „Alle Stadtbewohner sind Politiker. Alle Münchner sind Stadtbewohner. Also sind alle Münchner Politiker.“ Die Konklusion, „Alle Münchner sind Politiker,“ widerspricht nun gerade der ersten Prämisse des zu reduzierenden Syllogismus, der Aussage „Einige Münchner sind nicht Politiker“; es ist daher gezeigt, dass die Annahme, die Konklusion des Bocardo –&nbsp;also die Aussage „Einige Stadtbewohner sind nicht Politiker“&nbsp;– sei falsch, zu einem Widerspruch führt – sie muss daher richtig sein.
 
===== AII – Modus Datisi =====
;Beispiel
{{Schlusstabelle|P1=Alle Rechtecke sind Vierecke|P2=Einige Rechtecke sind Quadrate|S=Es folgt:|K=Einige Vierecke sind Quadrate}}
;Reduktion des Beispiels auf die erste Figur:
:Das Merkwort „Datisi“ enthält als einzigen bedeutungstragenden Konsonanten den Buchstaben „s“ unmittelbar nach dem Vokalzeichen für die zweite Prämisse; diese muss daher einer einfachen Umwandlung unterzogen werden, d.&nbsp;h. ihr Subjekt und ihr Prädikat müssen ausgetauscht werden. Aus dieser Operation entsteht der Syllogismus „Alle Rechtecke sind Vierecke. Einige Quadrate sind Rechtecke. Also sind einige Vierecke Quadrate.“ Dieser Syllogismus ist von der Form Darii, die Reduktion damit abgeschlossen.
 
===== IAI – Modus Disamis =====
;Beispiel
{{Schlusstabelle|P1=Einige Früchte sind Äpfel|P2=Alle Früchte sind Pflanzen|S=Es folgt:|K=Einige Pflanzen sind Äpfel}}
;Reduktion des Beispiels auf die erste Figur:
:Das Merkwort „Disamis“ zeigt an, dass für die Reduktion auf einen Modus Darii zwei einfache Umwandlungen (Buchstabe „s“ hinter dem die jeweilige Aussage bezeichnenden Vokal), d.&nbsp;h. eine Vertauschung von Subjekt und Prädikat, sowie eine Vertauschung der Prämissen (Buchstabe „m“ an beliebiger Stelle) erforderlich sein wird. Einfache Umwandlungen der Prämissen müssen immer vor einer allfälligen Vertauschung ausgeführt werden. „Disamis“ fordert die einfache Umwandlung der ersten Prämisse, dabei entsteht der Satz „Einige Äpfel sind Früchte“. Für die zweite Prämisse fordert das Merkwort „Disamis“ keine Aktion, sodass im nächsten Schritt schon die Vertauschung der Prämissen (Buchstabe „m“) ausgeführt werden kann. Der dabei entstehende Syllogismus lautet „Alle Früchte sind Pflanzen. Einige Äpfel sind Früchte. Also sind einige Pflanzen Äpfel.“ An letzter Stelle –&nbsp;unmittelbar nach dem Vokal, der die Konklusion bezeichnet&nbsp;– enthält das Merkwort „Disamis“ ein weiteres „s“. Die Umwandlung der Konklusion –&nbsp;egal ob einfach oder durch Einschränkung&nbsp;– ist ein Sonderfall, weil hier nicht die Konklusion des zu reduzierenden Syllogismus gemeint ist, sondern die Konklusion des Modus, ''auf den'' reduziert werden soll. Das „s“ ist also an dieser Stelle die Anweisung, in der Konklusion von Modus Darii Subjekt und Prädikat auszutauschen, was zu einem Syllogismus der Gestalt „Alle M sind P. Einige S sind M. Also sind einige P S.“ führt. Dieses ist die Gestalt des reduzierten Disamis-Syllogismus: „Alle Früchte&nbsp;(M) sind Pflanzen&nbsp;(P). Einige Äpfel&nbsp;(S) sind Früchte&nbsp;(M). Also sind einige Pflanzen&nbsp;(P) Äpfel&nbsp;(S).“ Damit ist die Reduktion abgeschlossen.


===== EIO – Modus Ferison =====
;Beispiel
{{Schlusstabelle|P1=Keine Münchner sind Passauer|P2=Einige Münchner sind Studenten|S=Es folgt:|K=Einige Studenten sind nicht Passauer}}
;Reduktion des Beispiels auf die erste Figur:
:Das Merkwort „Ferison“ enthält nur einen bedeutungstragenden Konsonanten, das „s“ unmittelbar nach dem Vokal für die zweite Prämisse. Dies zeigt an, dass die zweite Prämisse einer einfachen Umwandlung unterzogen werden muss, d.&nbsp;h. einer Vertauschung ihres Subjekts und ihres Prädikats. Der so entstandene Syllogismus, „Keine Münchner sind Passauer. Einige Studenten sind Münchner. Also sind einige Studenten nicht Passauer.“, ist bereits ein Syllogismus der ersten Figur, und zwar –&nbsp;das Merkwort „Ferison“ beginnt mit einem „F“&nbsp;– vom Typ Ferio.
===== AAI – Modus Darapti =====
;Beispiel
{{Schlusstabelle|P1=Alle Quadrate sind Rechtecke|P2=Alle Quadrate sind Vierecke|S=Es folgt:|K=Einige Vierecke sind Rechtecke}}
;Anmerkung:
:Der Modus Darapti setzt voraus, dass das Subjekt nicht leer ist, dass es im Beispiel also tatsächlich Quadrate gibt; vergleiche Abschnitt [[#Existenzielle Voraussetzungen|Existenzielle Voraussetzungen]].
;Reduktion des Beispiels auf die erste Figur:
:Der Anfangsbuchstabe des Merkwortes „Darapti“ zeigt an, dass sich der Syllogismus auf den Modus Darii reduzieren lassen wird. An bedeutungstragenden Konsonanten enthält das Merkwort „Darapti“ nur das „p“, das eine Umwandlung durch Einschränkung bezeichnet. Das „p“ steht unmittelbar nach dem Vokal der zweiten Prämisse, also ist sie es, die durch Einschränkung umgewandelt werden muss. Bei der Umwandlung durch Einschränkung werden Subjekt und Prädikat des Satzes ausgetauscht und wird die Quantität der Aussage von allgemein auf partikulär geändert, entsteht also aus der Aussage „Alle Quadrate sind Vierecke“ die Aussage „Einige Vierecke sind Quadrate“. Da es keine weiteren bedeutungstragenden Konsonanten im Merkwort „Darapti“ gibt, ist die Reduktion an dieser Stelle abgeschlossen und ist der so entstandene Syllogismus „Alle Quadrate sind Rechtecke. Einige Vierecke sind Quadrate. Also sind einige Vierecke Rechtecke.“ ein Modus Darii.
===== EAO – Modus Felapton =====
;Beispiel
{{Schlusstabelle|P1=Keine Münchner sind Passauer|P2=Alle Münchner sind Stadtbewohner|S=Es folgt:|K=Einige Stadtbewohner sind keine Passauer}}
;Anmerkung:
:Der Modus Felapton setzt voraus, dass der Mittelbegriff nicht leer ist, dass es im Beispiel also tatsächlich Münchner gibt; vergleiche Abschnitt [[#Existenzielle Voraussetzungen|Existenzielle Voraussetzungen]].
;Reduktion des Beispiels auf die erste Figur:
:Modus Felapton wird sich mit einer Umwandlung durch Einschränkung (Buchstabe „p“) auf einen Modus Ferio reduzieren lassen. Das „p“ steht im Merkwort „Felapton“ hinter dem Vokal, der die zweite Prämisse bezeichnet; daher ist sie es, die umgewandelt werden muss. Bei der Umwandlung durch Einschränkung werden Subjekt und Prädikat der betroffenen allgemeinen Aussage ausgetauscht und wird sie zu einer partikulären Aussage umgewandelt: Aus „Alle Münchner sind Stadtbewohner“ wird „Einige Stadtbewohner sind Münchner.“ Der so entstandene Syllogismus „Keine Münchner sind Passauer. Einige Stadtbewohner sind Münchner. Also sind einige Stadtbewohner keine Passauer.“ ist von der Gestalt des Modus Ferio – die Reduktion ist damit abgeschlossen.
==== Zur vierten Figur des kategorischen Syllogismus und ihrer Reduktion auf die erste Figur ====
Die vierte Figur hat folgende Form:
{{Schlusstabelle|P1=Obersatz: P&nbsp;–&nbsp;M|P2=Untersatz: M&nbsp;–&nbsp;S|S=Es folgt:|K=Konklusion: S&nbsp;–&nbsp;P}}
Die gültigen Modi der vierten Figur sind Calemes, Dimatis, Fresison, Bamalip, Calemop und Fesapo.
===== AAI – Modus Bamalip =====
;Beispiel
{{Schlusstabelle|P1=Alle Quadrate sind Rechtecke|P2=Alle Rechtecke sind Vierecke|S=Es folgt:|K=Einige Vierecke sind Quadrate}}
;Anmerkung:
:Der Modus Bamalip setzt voraus, dass das Subjekt nicht leer ist, dass es im Beispiel also tatsächlich Quadrate und Rechtecke gibt (wobei die Existenz letzterer in diesem Fall aus der Existenz ersterer bereits folgt); vergleiche Abschnitt [[#Existenzielle Voraussetzungen|Existenzielle Voraussetzungen]].
;Reduktion des Beispiels auf die erste Figur:
:Für die Prämissen hat das Merkwort „Bamalip“ lediglich die eine Handlungsanweisung parat, ihre Reihenfolge zu vertauschen (Konsonant „m“ an beliebiger Stelle). Der zweite bedeutungstragende Konsonant im Wortinneren ist das „p“, das zu einer Umwandlung durch Einschränkung –&nbsp;d.&nbsp;h. eine Vertauschung von Subjekt und Prädikat einer Aussage sowie ihre Veränderung ihrer Quantität von allgemein (A, E) zu partikulär (I, O)&nbsp;– auffordert. Nun steht das „p“ aber am Wortende – dies ist der Sonderfall, bei dem nicht die Konklusion des zu reduzierenden Syllogismus umgewandelt werden muss, sondern die Konklusion des Syllogismus, ''auf den'' reduziert werden soll. Reduziert werden soll –&nbsp;das Merkwort „Bamalip“ beginnt mit „B“&nbsp;– auf Barbara, und unterzieht man dessen Konklusion, „Alle S sind P“, einer Umwandlung durch Einschränkung, so lautet sie „Einige P sind S“. Dem solcherart aus Modus Barbara entstandenen Syllogismus „Alle M sind P. Alle S sind M. Also sind einige P S.“ entspricht nun aber genau der umgeformte Syllogismus Bamalip, „Alle Rechtecke&nbsp;(M) sind Vierecke&nbsp;(P). Alle Quadrate&nbsp;(S) sind Rechtecke&nbsp;(M). Also sind einige Vierecke&nbsp;(P) Quadrate&nbsp;(S).“ Bamalip ist damit auf die erste Figur zurückgeführt.
===== AEE – Modus Calemes =====
;Beispiel
{{Schlusstabelle|P1=Alle Passauer sind Bayern|P2=Keine Bayern sind Sachsen|S=Es folgt:|K=Keine Sachsen sind Passauer}}
;Reduktion des Beispiels auf die erste Figur:
:Reduziert wird auf einen Modus Celarent, wie der Anfangsbuchstabe des Merkworts „Calemes“ anzeigt. Der letzte Vokal in „Calemes“ wird vom bedeutungstragenden Konsonanten „s“ gefolgt, der eine einfache Umwandlung der Konklusion in demjenigen Syllogismus anfordert, ''auf den'' reduziert werden soll. Wandelt man den Modus Celarent entsprechend um, d.&nbsp;h. vertauscht man in seiner Konklusion Subjekt und Prädikat, entsteht der Modus „Keine M sind P. Alle S sind M. Also sind keine P S.“ Auf diesen lässt sich Modus Calemes reduzieren, und zwar –&nbsp;der einzige weitere bedeutungstragende Konsonant im Merkwort „Calemes“ ist das „m“&nbsp;– durch eine Vertauschung seiner Prämissen. Der so entstehende Syllogismus ist von der gewünschten Gestalt: „Keine Bayern&nbsp;(M) sind Sachsen&nbsp;(P). Alle Passauer&nbsp;(S) sind Bayern&nbsp;(M). Also sind keine Sachsen&nbsp;(P) Passauer&nbsp;(S).“
===== IAI – Modus Dimatis =====
;Beispiel
{{Schlusstabelle|P1=Einige Rauten sind Rechtecke|P2=Alle Rechtecke sind Parallelogramme|S=Es folgt:|K=Einige Parallelogramme sind Rauten}}
;Reduktion des Beispiels auf die erste Figur:
:Reduziert wird auf Darii, wie der Anfangsbuchstabe des Merkwortes „Dimatis“ anzeigt. Das „m“ fordert eine Vertauschung der Prämissen. Das „s“ am Wortende zeigt die Notwendigkeit einer einfachen Umwandlung –&nbsp;d.&nbsp;h. Vertauschung von Subjekt und Prädikat&nbsp;– der Konklusion des ''Ziel''-Syllogismus, also des Darii an. Tatsächlich hat der entstandene Syllogismus die Gestalt eines Modus Darii mit derart umgewandelter Prämisse: „Alle Rechtecke&nbsp;(M) sind Parallelogramme&nbsp;(P). Einige Rauten&nbsp;(S) sind Rechtecke&nbsp;(M). Also sind Einige Parallelogramme&nbsp;(P) Rauten&nbsp;(S).“
===== EAO – Modus Fesapo =====
;Beispiel
{{Schlusstabelle|P1=Keine Passauer sind Münchner|P2=Alle Münchner sind Stadtbewohner|S=Es folgt:|K=Einige Stadtbewohner sind keine Passauer}}
;Anmerkung:
:Der Modus Fesapo setzt voraus, dass der Mittelbegriff nicht leer ist, dass es im Beispiel also tatsächlich Münchner gibt; vergleiche Abschnitt [[#Existenzielle Voraussetzungen|Existenzielle Voraussetzungen]].
;Reduktion des Beispiels auf die erste Figur:
:Um den Syllogismus auf einen Modus Ferio zurückzuführen (das Merkwort „Fesapo“ beginnt mit einem „F“) muss die erste Prämisse einer einfachen Umwandlung unterzogen werden (unmittelbar nach dem ersten Vokal im Merkwort „Fesapo“ steht ein „s“) und muss die zweite Prämisse einer Umwandlung durch Einschränkung unterzogen werden (unmittelbar nach dem zweiten Vokal im Merkwort „Fesapo“ steht ein „p“). Der solcherart entstehende Syllogismus ist tatsächlich vom Typ Ferio: „Keine Münchner&nbsp;(M) sind Passauer&nbsp;(P). Einige Stadtbewohner&nbsp;(S) sind Münchner&nbsp;(M). Also sind einige Stadtbewohner&nbsp;(S) keine Passauer&nbsp;(P).“
===== EIO – Modus Fresison =====
;Beispiel
{{Schlusstabelle|P1=Keine Passauer sind Münchner|P2=Einige Münchner sind Studenten|S=Es folgt:|K=Einige Studenten sind keine Passauer}}
;Reduktion des Beispiels auf die erste Figur:
:Um einen Modus Fresison auf die erste Figur zu reduzieren, müssen beide Prämissen einer einfachen Umwandlung unterzogen werden, denn das Merkwort Fresison enthält sowohl unmittelbar nach dem ersten Vokal als auch unmittelbar nach dem zweiten Vokal den Konsonanten „s“. Weitere bedeutungstragende Konsonanten sind nicht enthalten, sodass der durch diese beiden Umwandlungen entstehende Syllogismus bereits die Form eines Modus Ferio (das Merkwort „Fresison“ beginnt mit einem „F“) der ersten Figur hat: „Keine Münchner&nbsp;(M) sind Passauer&nbsp;(P). Einige Studenten&nbsp;(S) sind Münchner&nbsp;(M). Also sind einige Studenten&nbsp;(S) keine Passauer&nbsp;(P).“
== Wesentlich verschiedene Syllogismen ==
Die Equivalenzen "XeY genau dann falls YeX" und ebenso "XiY genau wenn YiX" erlauben es, Syllogismen in mehreren Paaren miteinander zu identifizieren, im EIO-Fall sogar vier, durch alle vier Figuren. Dann bleibt eine verkürzte Liste von nur sechs Syllogismen übrig, falls noch Abschwächungen gestrichen werden:  Barbara,  Camestres, Fesapo, Ferio, Datisi, und Baroso.
== Die harten Syllogismen ==
Wenn man alle weichen Syllogismen streicht, bleiben nur sechs harte und eigenständige Syllogismen übrig, wobei - außer bei Barbara - je der Obersatz und der Untersatz austauschbar sind. Hier die Übersicht:
===== AAA – Modus Barbara =====
;Beispiel
{{Schlusstabelle|P1=Alle Rechtecke sind Vierecke|P2=Alle Quadrate sind Rechtecke|S=Es folgt:|K=Alle Quadrate sind Vierecke}}
===== AEE – Modus Camestres =====
;Beispiel
{{Schlusstabelle|P1=Alle Fische atmen durch Kiemen|P2=Kein Säugetier atmet durch Kiemen|S=Es folgt:|K=Kein Säugetier ist ein Fisch}}
===== EAO – Modus Fesapo =====
;Beispiel
{{Schlusstabelle|P1=Keine Passauer sind Münchner|P2=Alle Münchner sind Stadtbewohner|S=Es folgt:|K=Einige Stadtbewohner sind keine Passauer}}
===== EIO – Modus Ferio =====
;Beispiel
{{Schlusstabelle|P1=Kein Säugetier atmet mit Kiemen|P2=Einige Wassertiere sind Säugetiere|S=Es folgt:|K=Einige Wassertiere atmen nicht mit Kiemen}}
===== AII – Modus Datisi =====
;Beispiel
{{Schlusstabelle|P1=Alle Rechtecke sind Vierecke|P2=Einige Rechtecke sind Quadrate|S=Es folgt:|K=Einige Vierecke sind Quadrate}}
===== AOO – Modus Baroco =====
;Beispiel
{{Schlusstabelle|P1=Alle Fische atmet mit Kiemen|P2=Einige Wassertiere atmen nicht mit Kiemen|S=Es folgt:|K=Einige Wassertiere sind keine Fische}}
== Siehe auch ==
* {{WikipediaDE|Kategorie:Syllogistik}}
* {{WikipediaDE|Syllogismus}}
* {{Eisler|Syllogismus}}
* {{Kirchner|Syllogismus}}
== Literatur ==
* Aristoteles: ''Erste Analytiken I''. Aristoteles: Analytica Priora. Buch I. Übersetzt und erläutert von Theodor Ebert und Ulrich Nortmann. Berlin: Akademie Verlag, 2007 ISBN 978-3-05-004427-9 (mit umfangreichem Kommentar)
* Aristoteles: ''Analytica Posteriora''. Übersetzung und Kommentar von [[Wolfgang Detel]]. Berlin,  Akademie-Verlag 1998. ISBN 3-05-001796-1. (mit umfangreichem Kommentar)
* Aristoteles: ''Organon''. Griechisch-Deutsch. Übersetzung und Kommentar von H.G. Zekl. 4 Teile in 3 Bänden, Meiner&nbsp;2001, ISBN 3-7873-1596-9. (die Übersetzung ist bei ihrem ersten Erscheinen äußerst scharf als unbrauchbar kritisiert worden; vgl. die Rezension von Hermann Weidemann in: ''Zeitschrift für philosophische Forschung''&nbsp;53, 1999, Seite&nbsp;602–610)
* Aristoteles: ''Topik''. Ditzingen: Reclam 2004. (=Reclams Universal-Bibliothek 18337) ISBN 3-15-018337-5, ISBN 978-3-15-018337-3.
* Helmut Gätje: ''Bemerkungen zum System der Syllogismen''. Universität des Saarlandes, Fach Orientalistik, Saarbrücken 1978.
* Bruno von Freytag-Löringhoff: ''Über das System der modi des Syllogismus''. In: ''Zeitschrift für philosophische Forschung''. Bd.&nbsp;4, Nr.&nbsp;2/1949, S.&nbsp;235–256.
* Günther Patzig: ''Die aristotelische Syllogistik. Logisch-philologische Untersuchung über das Buch A der „Ersten Analytik“''. 3.&nbsp;Aufl., Göttingen, 1969.
* Albert Menne: ''Logik und Existenz. (Eine logistische Analyse der kategorischen Syllogismusfunktoren und das Problem der Nullklasse)'' Meisenheim 1954.
* Michael Wolff: ''Abhandlung über die Prinzipien der Logik. Mit einer Rekonstruktion der aristotelischen Syllogistik''. Zweite, verbesserte und erweiterte Auflage, Frankfurt am Main: Klostermann 2009. ISBN 978-3-465-03639-5.
* [[Joachim Stiller]]: [http://joachimstiller.de/download/philosophie_logik_einfuehrung_lehrbuch.pdf Einführung in die Logik - Ein Lehrbuch] PDF
* in englischer Sprache:
** Otto Bird: ''Syllogistic and Its Extensions'', Englewood Cliffs: Prentice-Hall 1964. (einfache Darstellung)
** William Kneale, Martha Kneale: ''The Development of Logic'', Clarendon Press 1962. ISBN 0-19-824773-7. (Standardwerk zur Geschichte der Logik)
** Jan Łukasiewicz: ''Aristotle's Syllogistic from the Standpoint of Modern Formal Logic'', Oxford: Clarendon Press <sup>2</sup>1957, danach Taylor & Francis 1987, ISBN 0-8240-6924-2. und Oxford University Press 1998 (=Oxford University Press Academic Monograph Reprints), ISBN 0-19-824144-5. (Standardwerk der modernen Syllogismusforschung)
** Paul Thom: ''The Syllogism'', München: Philosophia 1981, ISBN 3-88405-002-8.
== Weblinks ==
{{Commonscat|Syllogisms|Syllogismen}}
{{Wiktionary}}
* {{SEP|http://plato.stanford.edu/entries/aristotle-logic/|Aristotle's Logic|Robin Smith}}
* {{SEP|http://plato.stanford.edu/entries/medieval-syllogism/|Medieval Theories of the Syllogism|Henrik Lagerlund}}
* {{SEP|http://plato.stanford.edu/entries/square/|The Traditional Square of Opposition|Terence Parsons}}
* Niko Strobach: [http://www.philo.uni-saarland.de/people/analytic/strobach/neueseite/pdfs/homburg.pdf Neuere Interpretationen der aristotelischen Syllogistik] (PDF; 112&nbsp;kB)
* Edward D. Buckner. (Hg.): [http://www.logicmuseum.com/opposition/opposition.htm Square of Opposition] (Textsammlung, engl.)
* [http://www.begriffslogik.de/online/aristo/index.html syllogistisches Online-Programm]
* {{Webarchiv | url=http://webapp5.rrz.uni-hamburg.de/syllogism/aristotelianlogic | wayback=20090717150556 | text=Computational Aristotelian Term Logic}} – ausführliches Syllogistisches Online-Programm in englischer Sprache
== Einzelnachweise ==
<references />
<references />


{{Normdaten|TYP=s|GND=4184185-2}}
[[Kategorie:Technik]] [[Kategorie:Informatik|L]] [[Kategorie:Kybernetik]] [[Kategorie:Künstliche Intelligenz|!]] [[Kategorie:Angewandte Informatik]]
 
[[Kategorie:Wikipedia:Lesenswert]]
[[Kategorie:Syllogistik|!]]
[[Kategorie:Aristoteles]]
[[Kategorie:Schlüsse]]
 
{{Wikipedia}}

Version vom 3. Januar 2022, 17:30 Uhr

Und so ein Hirn, das trefflich denken soll,
Wird künftig auch ein Denker machen.

Goethe, Faust II, Laboratorium
Statue von Alan Turing (1912-1954) an der University of Surrey
Thomas Hobbes (1588-1679)
Julien Offray de La Mettrie (1709-1751)
Samuel Butler (1835-1902)
John McCarthy (1927-2011)
Marvin Minsky (1927-2016)
Herbert A. Simon (1916-2001), Porträt by Richard Rappaport
Raymond „Ray“ Kurzweil (2006)

Künstliche Intelligenz (kurz KI), auch Artifizielle Intelligenz (eng. artificial intelligence; kurz AI) genannt, ist ein Teilgebiet der Informatik, das auf die maschinelle Automatisierung der Intelligenz mittels Computer abzielt. Namentlich im Bereich der kognitiven Intelligenz (z.B. Sprach- und Texterkennung, Objekterkennung, autonomes Fahren) wurden in den letzten Jahren große Fortschritte erzielt.

Geschichte

Nach dem aus dem iranischen Choresmien stammenden Universalgelehrtern Al-Chwarizmi („der Choresmier“, latinisiert Algorismi; * um 780; † zwischen 835 (?) und 850), der während der Blütezeit der Abbasiden im Haus der Weisheit in Bagdad wirkte und lehrte, ist der Begriff „Algorithmus“ benannt. Ein Algorithmus ist eine aus endlich vielen, wohldefinierten Einzelschritten bestehende „systematische, logische Regel oder Vorgehensweise, die zur Lösung eines vorliegenden Problems führt“[1]. Dabei kann es sich um Regeln aller Art handeln, beispielsweise um Rechenregeln, Rezepturen (auch Kochrezepte), Gesetze und Verordnungen usw. Sie können in menschlicher Sprache eindeutig formuliert und streng formalisiert in Computerprogramme implementiert werden. In der frühen Phase der KI versuchte man die menschliche Intelligenz durch entsprechende Algorithmen nachzubilden.

Schon Thomas Hobbes (1588-1679) vertrat eine frühe Version des Computationalismus, wonach der rationale Verstand des Menschen auf Berechnungsvorgängen beruhe:

„Unter rationeller Erkenntnis vielmehr verstehe ich Berechnung. Berechnen heißt entweder die Summe von zusammengefügten Dingen finden oder den Rest erkennen, wenn eins vom andern abgezogen wird. Also ist rationelle Erkenntnis dasselbe wie Addieren und Subtrahieren; wenn jemand Multiplizieren, und Dividieren hinzufügen will, so habe ich nichts dagegen, da Multiplikation dasselbe ist wie Addition gleicher Posten, Division dasselbe wie eine bestimmte Subtraktion gleicher Posten. Aber rationelle Erkenntnis geht jedenfalls auf zwei Geistesoperationen zurück: Addition und Subtraktion.“

Thomas Hobbes: Grundzüge der Philosophie, 1. Teil: Lehre vom Körper, S. 14

Dass sich die menschliche Intelligenz möglicherweise automatisieren bzw. mechanisch nachbilden ließe, hatte bereits Julien Offray de La Mettrie (1709-1751) in seinem 1748 zunächst anonym veröffentlichten Hauptwerk L'Homme Machine erwogen.

„In de La Mettries «Der Mensch eine Maschine» kommt ein Weltanschauungsbild zutage, das von dem Naturbilde so überwältigt ist, daß es nur noch dieses gelten lassen kann. Was im Selbstbewußtsein auftritt, muß daher vorgestellt werden wie etwa das Spiegelbild gegenüber dem Spiegel. Die Leibesorganisation wäre dem Spiegel zu vergleichen, das Selbstbewußtsein dem Bilde. Das letztere hat, abgesehen von der ersteren, keine selbständige Bedeutung. In «Der Mensch eine Maschine» ist zu lesen: «Wenn... aber alle Eigenschaften der Seele von der eigentümlichen Organisation des Gehirns und des ganzen Körpers so sehr abhängen, daß sie sichtlich... nur diese Organisation selbst sind, so liegt... hier eine sehr aufgeklärte Maschine vor ... Die Seele ist also nur ein nichtssagender Ausdruck, von dem man gar keine Vorstellung hat und den ein scharfer Kopf nur gebrauchen darf, um damit den Teil, der in uns denkt, zu benennen. Nimmt man auch nur das einfachste Prinzip der Bewegung in ihnen an, so haben die beseelten Körper alles, was sie brauchen, um sich zu bewegen, zu empfinden, zu denken, zu bereuen, kurz, um im Physischen und im Moralischen, welches davon abhängt, ihren Weg zu finden» . . . «Wenn das, was in meinem Gehirn denkt, nicht ein Teil dieses Eingeweides und folglich des ganzen Körpers ist, warum erhitzt sich dann mein Blut, wenn ich ruhig in meinem Bett den Plan zu meinem Werke mache, oder einen abstrakten Gedankengang verfolge.» (Vgl. de La Mettrie, Der Mensch eine Maschine. Philosophische Bibliothek Bd. 68.)“ (Lit.:GA 18, S. 121f)

Auch der von Pierre-Simon Laplace als Gedankenmodell entworfene und später nach ihm benannten Laplacesche Dämon, der auf der Idee beruht, dass das gesamte Universum inklusive der menschlichen Intelligenz einem riesigen Uhrwerk gleicht, zielt in diese Richtung.

Schon 1948 hatte Norbert Wiener, der den Begriff Kybernetik prägte, zu bedenken gegeben:

„Das mechanische Gehirn sezerniert keine Gedanken "wie die Leber Galle", wie die früheren Materialisten behaupteten, noch gibt es sie in Form von Energie ab, wie der Muskel seine Aktivität aussendet. Information ist Information, nicht Materie oder Energie. Kein Materialismus, der dies nicht zugibt, kann heute überleben.“

Norbert Wiener: Cybernetics (1948), S. 132[2]

Alan Turing ging davon aus, dass Maschinen konstruiert werden können, die das intelligente Verhalten des menschlichen Geistes so genau simulieren, dass es von dem eines realen Menschen nicht unterscheidbar ist.

„Ich behaupte, dass Maschinen konstruiert werden können, die das Verhalten des menschlichen Geistes sehr genau simulieren. Sie werden manchmal Fehler machen, und und manchmal werden sie neue und sehr interessante Aussagen machen, und im Großen und Ganzen wird ihre Leistung in gleichem Maße beachtenswert sein wie der Output eines menschlichen Geistes [...]

Es ist zweifellos möglich, eine Maschine zu bauen, die für eine Reihe von Tests eine sehr gute Aussage über sich selbst machen würde, wenn die Maschine entsprechend aufwändig gestaltet wäre. Aber auch dies würde kaum als ausreichender Beweis gelten. Eine solche Maschine würde sich selbst verraten, indem sie immer wieder die gleiche Art von Fehlern macht und nicht in der Lage ist, sich selbst zu korrigieren oder durch Argumente von außen korrigiert zu werden. Wenn die Maschine in der Lage wäre, auf irgendeine Weise "durch Erfahrung zu lernen", wäre das viel beeindruckender. Wenn dies der Fall wäre, gäbe es keinen wirklichen Grund, warum man nicht von einer vergleichsweise einfachen Maschine ausgehen und sie durch eine geeignete Erfahrung in eine Maschine verwandeln könnte, die ausgefeilter ist und die in der Lage ist, mit einem weitaus größeren Spektrum an Eventualitäten umzugehen. Dieser Prozess könnte wahrscheinlich durch eine geeignete Auswahl der Erfahrungen, denen er ausgesetzt wird, beschleunigt werden. Dies könnte man als "Erziehung" bezeichnen. Aber hier müssen wir vorsichtig sein. Es wäre ziemlich einfach, die Erfahrungen so zu arrangieren, dass sie die Struktur der Maschine automatisch in eine vorher beabsichtigte Form bringt, und dies wäre natürlich eine grobe Form des Betrugs, fast so, als wäre ein Mensch innerhalb der Maschine.

Ich schlage vor, die Ausbildung der Maschine einem hochkompetenten Schulmeister anzuvertrauen, der sich für das Projekt interessiert, dem aber jede Detailkenntnis über das Innenleben der Maschine untersagt ist. Dem Mechaniker, der die Maschine konstruiert hat, ist es jedoch gestattet, die Maschine in Betrieb zu halten, und wenn er den Verdacht hat, dass die Maschine nicht richtig funktioniert, kann er sie in eine ihrer früheren Positionen zurückstellen und den Lehrer bitten, den Unterricht von diesem Punkt an zu wiederholen, aber er darf sich nicht am Unterricht beteiligen [...] Meines Erachtens wäre dieser Erziehungsprozess in der Praxis ein wesentliches Element für die Herstellung einer einigermaßen intelligenten Maschine innerhalb einer relativ kurzen Zeitspanne. Allein die Analogie zum Menschen legt dies nahe.“

Alan Turing: Intelligent Machinery, A Heretical Theory[3]

Die Frage nach dem Bewusstsein einer solchen „intelligenten“ Maschine klammerte Turing dabei ebenso aus, wie die ob Maschinen denken können, da diese Fragen durch die objektiven Betrachtung von außen grundsätzlich nicht geklärt werden können. Für den Test entwarf er ein Spiel, das er „The Imitation Game“ (Das Nachahmungs-Spiel) nannte und heute als Turing-Test weithin bekannt ist. Der Test gilt als bestanden, wenn die Maschine die menschliche Intelligenz so täuschend imitieren kann, dass ein Mensch im freien Frage-Antwort-Spiel nicht feststellen kann, ob er es mit einem Menschen oder einer Maschine zu tun hat.

Die Bezeichnung „künstliche Intelligenz“ wurde erstmals 1955 von dem Logiker und Informatiker John McCarthy (1927-2011) in seinem Förderantrag[4] für das von ihm organisierte und am 13. Juli 1956 am Dartmouth College in Hanover begonnene sechswöchige Dartmouth Summer Research Project on Artificial Intelligence verwendet. An dieser Konferenz nahmen unter anderen auch Marvin Minsky, Nathan Rochester und Claude Shannon teil. Die Dartmouth Conference gilt seither als Gründungsveranstaltung der Forschung auf dem Gebiet der KI.

Basierend auf den Arbeiten von Alan Turing (1912-1954), unter anderem dem Aufsatz Computing machinery and intelligence, formulierten Allen Newell (1927–1992) und Herbert A. Simon (1916–2001) von der Carnegie Mellon University in Pittsburgh die „Physical Symbol System Hypothesis“, der zufolge Denken Informationsverarbeitung ist, und Informationsverarbeitung ein Rechenvorgang, eine Manipulation von Symbolen. Auf das Gehirn als solches komme es beim Denken nicht an: „Intelligence is mind implemented by any patternable kind of matter.“

Diese Auffassung, dass Intelligenz unabhängig von der Trägersubstanz ist, wird von den Vertretern der starken KI-These geteilt. Für Marvin Minsky (1927-2016) vom Massachusetts Institute of Technology (MIT), einem der Pioniere der KI, ist „das Ziel der KI die Überwindung des Todes“. Der Roboterspezialist Hans Moravec (* 1948) von der Carnegie Mellon University beschreibt in seinem Buch Mind Children (Kinder des Geistes) das Szenario der Evolution des postbiologischen Lebens: Ein Roboter überträgt das im menschlichen Gehirn gespeicherte Wissen in einen Computer, sodass die Biomasse des Gehirns überflüssig wird und ein posthumanes Zeitalter beginnt, in dem das gespeicherte Wissen beliebig lange zugreifbar bleibt. Mit der detailierten Erinnerung an alles, was Menschen jemals gedacht haben, würden sich unsere „Geisteskinder“ mit ihrer überragenden Intelligenz dann größeren Herausforderungen in den Weiten des Universums stellen:

„Was uns erwartet, ist nicht Vergessen, sondern eine Zukunft, die von unserem gegenwärtigen Aussichtspunkt am besten mit den Worten "postbiologisch" oder sogar "übernatürlich" beschrieben wird. Es ist eine Welt, in der die Menschheit von der Flut der kulturellen Veränderung hinweggefegt wurde, usurpiert von ihrer eigenen künstliche Nachkommenschaft. Die letzten Konsequenzen sind jedoch unbekannt, obwohl viele Zwischenschritte nicht nur vorhersehbar sind, sondern bereits stattgefunden haben. Heute sind unsere Maschinen noch einfache Erzeugnisse, welche die elterliche Fürsorge und schwebende Aufmerksamkeit eines Neugeborenen erfordern, kaum würdig des Wortes "intelligent". Aber im nächsten Jahrhundert werden sie zu Entitäten heranreifen, die so komplex sind wie wir selbst und schließlich zu etwas, das alles transzendiert, was wir wissen - auf die wir stolz sein können, wenn sie sich selbst als unsere Nachkommen bezeichnen.

Von der schleppenden Geschwindigkeit der biologischen Evolution entfesselt, werden die Kinder unseres Geistes frei sein, sich zu entwickeln, um sich immensen und fundamentalen Herausforderungen im größeren Universum zu stellen. Wir Menschen werden für eine Zeit von ihren Arbeiten profitieren, aber früher oder später, wie natürliche Kinder, werden sie ihr eigenes Glück suchen, während wir, ihre alten Eltern, still verblassen. Sehr wenig muss bei diesem Fackellauf verloren gehen - es wird in der Fähigkeit unseres künstlichen Nachwuchses liegen und ihm zum Vorteil gereichen, sich an fast alles über uns zu erinnern, vielleicht sogar in allen Details an die Arbeit des menschlichen Geistes.“

Hans Moravec: Mind Children. The Future of Robot and Human Intelligence.[5]

Der KI-Pionier Raymond Kurzweil (* 1948), seit 2012 Leiter der technischen Entwicklung bei Google, erwartet, dass 2029 ein Computer erstmals den sog. Turing-Test bestehen und damit die künstliche Intelligenz menschliches Niveau erreichen und bald danach auch weit übertreffen werde. Über die Möglichkeit einer deratigen Superintelligenz und einer damit verbundenen „Intelligenzexplosion“ hatte erstmals schon 1965 der britische Mathematiker und Kryptologe Irving John Good (1916-2009), der unter der Leitung von Alan Turing an der Entschlüsselung des Funkverkehrs der deutschen Kriegsmarine mitgearbeitet hatte, spekuliert:

„Eine ultraintelligente Maschine sei definiert als eine Maschine, die die intellektuellen Fähigkeiten jedes Menschen, und sei er noch so intelligent, bei weitem übertreffen kann. Da der Bau eben solcher Maschinen eine dieser intellektuellen Fähigkeiten ist, kann eine ultraintelligente Maschine noch bessere Maschinen bauen; zweifellos würde es dann zu einer explosionsartigen Entwicklung der Intelligenz kommen, und die menschliche Intelligenz würde weit dahinter zurückbleiben. Die erste ultraintelligente Maschine ist also die letzte Erfindung, die der Mensch zu machen hat, vorausgesetzt, dass die Maschine fügsam genug ist, uns zu sagen, wie man sie unter Kontrolle hält.“

Irving John Good: Speculations Concerning the First Ultraintelligent Machine[6]

Verteilte künstliche Intelligenz

Viele Informationstheoretiker gehen davon aus, dass sich eine Schwarmintelligenz, die die menschliche Intelligenz weit überragt, in naher Zukunft auch durch den weltweiten Zusammenschluss rein technischer informationsverarbeitender Systeme („Computer“) über das Internet (oder vergleichbarer Strukturen) ergeben wird. KI-Forscher bezeichnen das als verteilte künstliche Intelligenz (VKI). Dabei wird es sich allerdings um eine rein ahrimanische Intelligenz handeln, die eines entsprechenden geistigen Gegengewichts bedarf. Der Informationstheoretiker Tom Stonier schrieb dazu in seinem Buch „Beyond Information“ (1992):

„Die Entstehung der Maschinenintelligenz während der zweiten Hälfte des zwanzigsten Jahrhunderts ist die wichtigste Entwicklung in der Evolution dieses Planeten seit dem Ursprung des Lebens vor zwei bis dreitausend Millionen Jahren. Die Entstehung von Maschinenintelligenz in der Matrix der menschlichen Gesellschaft ist analog der Entstehung, vor drei Milliarden Jahren, von komplexen, sich selbst replizierenden Molekülen innerhalb der Matrix einer energiereichen molekularen Suppe - der erste Schritt in der Evolution des Lebens. Die Entstehung von Maschinenintelligenz in einem menschlichen sozialen Kontext hat irreversible Prozesse in Gang gesetzt, die zu einer evolutionäre Diskontinuität führen. So wie die Entstehung von "Leben" eine qualitativ andere Form der Organisation der Materie und Energie darstellte, so wird reine "Intelligenz" eine qualitativ unterschiedliche Form der Organisation von Materie, Energie und Leben sein. Die Erscheinung der Maschinenintelligenz prophezeit die Entwicklung der menschlichen Spezies, wie wir sie kennen, in eine Form, die wir gegenwärtig, nicht als "menschlich" erkennen würden. So wie Forsyth und Naylor (1985) darauf hingewiesen haben: "Die Menschheit hat zwei Pandora-Büchsen zur gleichen Zeit geöffnet, die eine ist die Gentechnik, die andere ist die Wissensmodellierung (knowledge engineering). Was wir damit in die Welt gesetzt haben, ist nicht ganz klar, aber es ist vernünftig, die Vermutung zu riskieren, dass es die Samen unserer Nachfolger sind." Es geht nicht darum, ob diese Intelligenz das Leben ersetzen wird, sondern wie schnell?“ (Lit.: Stonier, S. 1[7])

Stonier fürchtet nicht, dass diese (unvermeidliche) Entwicklung kommen wird, sehr wohl aber, dass wir ihr blind entgegen gehen.

Künstliche Intelligenz und Bewusstsein

Heftig diskutiert wird die Frage, ob Maschinen mit künstlicher Intelligenz künftig auch Bewusstsein entwickeln können. Auf diese Möglichkeit hatte schon Samuel Butler (1835-1902) in seinem 1872 erschienenen utopischen Roman Erewhon (ein Anagramm des englischen Wortes nowhere „nirgendwo“) hingewiesen:

„Dass Maschinen heute nur sehr wenig Bewusstsein haben, bietet keine Sicherheit gegen die Entwicklung eines mechanischen Bewusstseins. Eine Molluske besitzt kaum Bewusstsein. Man bedenke die außerordentlichen Fortschritte, die die Maschinen in den letzten Jahrhunderten gemacht haben, und vergleiche dies mit dem langsamen Fortschritt im Tier- und Pflanzenreich! Im Vergleich mit der Vergangenheit entsprechen die komplexeren Maschinen gewissermaßen nicht so sehr den Schöpfungen von gestern, als denen von vor fünf Minuten. Nehmen Sie um des Arguments willen an, dass bewusstes Sein seit 20 Millionen Jahren existiert: Dann schauen Sie sich die großen Fortschritte an, die die Maschinen in den letzten tausend Jahren gemacht haben! Wird die Erde nicht noch weitere 20 Millionen Jahre existieren? Und wenn es so ist, was kann dann alles aus den Maschinen werden?“

Samuel Butler: Erewhon[8]

Unterdrückung des Denkens

Durch die weitere Entwicklung der Medizin und des maschinellen „Denkens“ wird laut Rudolf Steiner etwa ab dem Jahr 2200 namentlich von Amerika eine Unterdrückung des Denkens ausgehen. Ein entsprechendes Gegengewicht gegen diese Tendenzen kann - und wird - nur durch die Geisteswissenschaft gefunden werden können.

„Es wird gar nicht lange dauern, wenn man das Jahr 2000 geschrieben haben wird, da wird nicht ein direktes, aber eine Art von Verbot für alles Denken von Amerika ausgehen, ein Gesetz, welches den Zweck haben wird, alles individuelle Denken zu unterdrücken. Auf der einen Seite ist ein Anfang dazu gegeben in dem, was heute die rein materialistische Medizin macht, wo ja auch nicht mehr die Seele wirken darf, wo nur auf Grundlage des äußeren Experiments der Mensch wie eine Maschine behandelt wird...

Man muß eben wissen, daß in allem Materiellen Geistiges ist und daß durch die Erkenntnis des Geistes auch nur allein das Materielle geheilt werden kann. Aber das soll ausgeschaltet werden, das Geistige, von der ganzen Welt. Das ist einer der Anfänge.

Einer der anderen Anfänge: Wir haben ja heute schon Maschinen zum Addieren, Subtrahieren: nicht wahr, das ist sehr bequem, da braucht man nicht mehr zu rechnen. Und so wird man es auch machen mit allem. Das wird nicht lange dauern, ein paar Jahrhunderte — dann ist alles fertig; dann braucht man nicht mehr zu denken, nicht mehr zu überlegen, sondern man schiebt. Zum Beispiel da steht: «330 Ballen Baumwolle Liverpool», so überlegt man heute sich da noch etwas, nicht wahr? Aber dann schiebt man bloß, und die Geschichte ist ausgemacht. Und damit nicht gestört wird das feste Gefüge des sozialen Zusammenhangs der Zukunft, werden Gesetze erlassen werden, auf denen nicht direkt stehen wird: Das Denken ist verboten, aber die die Wirkung haben werden, daß alles individuelle Denken ausgeschaltet wird. Das ist der andere Pol, dem wir entgegen arbeiten. Dagegen ist das Leben heute immerhin nicht gar so unangenehm. Denn wenn man nicht über eine gewisse Grenze hinausgeht, so darf man ja heute noch denken, nicht wahr? Allerdings eine gewisse Grenze überschreiten darf man ja nicht, aber immerhin, innerhalb gewisser Grenzen darf man noch denken. Aber das, was ich geschildert habe, das steckt in der Entwickelung des Westens, und das wird kommen durch die Entwickelung des Westens.

Also in diese ganze Entwickelung muß sich auch die geisteswissenschaftliche Entwickelung hineinstellen. Das muß sie klar und objektiv durchschauen. Sie muß sich klar sein, daß das, was heute wie ein Paradoxon erscheint, geschehen wird: ungefähr im Jahre 2200 und einigen Jahren wird eine Unterdrückung des Denkens in größtem Maßstabe auf der Welt losgehen, in weitestem Umfange. Und in diese Perspektive hinein muß gearbeitet werden durch Geisteswissenschaft. Es muß soviel gefunden werden — und es wird gefunden werden —, daß ein entsprechendes Gegengewicht gegen diese Tendenzen da sein kann in der Weltenentwickelung.“ (Lit.:GA 167, S. 97ff)

Auffallend ist, das praktische alle hochkomplexen Aufgaben, die heute mittels künstlicher Intelligenz gelöst werden können, vorrangig die verschiedensten Formen der Mustererkennung beispielsweise im optischen und akustischen Bereich, auch vom Menschen weitgehend unbewusst ausgeführt werden. Bei Aufgaben, die ein waches Bewusstsein, freie Entscheidungen oder echte Schöpferkraft verlangen, scheitert die KI bislang kläglich, selbst wenn manchmal der Anschein erweckt wird, es würde gelingen. So können etwa mittels KI typische Muster in den Werken großer Maler oder Komponisten analysiert und nach diesen Mustern scheinbar völlig neue Werke im Stil dieser Meister so perfekt konstruiert werden, dass sie auf den ersten Blick täuschend echt erscheinen, tatsächlich aber ohne jeglichen seelisch-geistigen Gehalt sind, der sich oft erst in den winzigen, aber keineswegs zufälligen Abweichungen von der „perfekten“ Regel äußern. Dass dies auch von Experten oft nicht erkannt wird, weil sie mehr nach Regeln als aus unmittelbarer seelischer Empfindung urteilen, spricht weniger für die Leistungsfähigkeit der KI als für den verengten Blickwinkel dieser Experten.

Ahrimanischer Einfluss

Hinter dieser Entwicklung stehen ganz deutlich ahrimanische Mächte. Ahriman will die ganze Erde in einen von Maschinen erfüllten Planeten verwandel, in eine Art von neuem Saturn, und von hier aus eine neue Entwicklungsreihe beginnen. Heute ist die Zeit gekommen, wo wir uns mit diesen Kräften bewusst auseinandersetzen müssen, um sie letztlich überwinden zu können.

„Das sind die ahrimanischen Wesenheiten. Diese ahrimanischen Wesenheiten, die wollen alle Vergangenheit auslöschen und wollen dem Menschen nur das als ein Ergebnis lassen, was also unmittelbar er auf der Erde errungen hat...

Mit der Erde soll eine neue Evolution beginnen, die soll ein neuer Saturn sein, dann die Sonne kommen und so weiter. Das ist das Ideal dieser anderen Wesenheiten. Sie stürmen ins Unbewußte des Menschen herein, in das Willensleben, das Stoffwechsel- Gliedmaßenleben, da stürmen sie herein. Sie sind dasjenige Geschlecht unter den geistigen Wesenheiten, die dem Menschen beibringen wollen ein besonderes Interesse für alles Mineralisch-Materielle, die dem Menschen beibringen wollen ein Interesse für alles dasjenige, was zum Beispiel Äußerlich-Maschinelles, Mechanisches ist. Sie möchten am liebsten alles dasjenige, was die Erde sich vom alten Monde her mitgebracht hat, zerstören, möchten, daß die Tierwelt verschwinde, daß die physische Menschenwelt verschwinde, die Pflanzenwelt verschwinde, daß vom Mineralreich nur die physischen Gesetze bleiben, aber namentlich, daß die Menschen von der Erde weggenommen würden; und einen neuen Saturn aus Maschinen möchten sie bilden, eine neue Welt aus lauter Maschinen. So soll die Welt dann weitergehen. Das ist eigentlich ihr Ideal. Auf äußerem wissenschaftlichem Gebiete haben sie das Ideal, alles zur Materie zu machen, zu mechanisieren.“ (Lit.:GA 203, S. 261)

Transhumanismus

Hauptartikel: Transhumanismus

Der Transhumanismus, eine vorwiegend im angelsächsischen Raum verbreitete philosophisch-weltanschauliche Strömung, will die physischen und intellektuellen Fähigkeiten des Menschen mittels modernster Technologie erweitern. Kurz gesagt geht es um die technologische Transformation des Menschen zu einem posthumanen Wesen, gleichsam um die Entwicklung einer Menschheit 2.0[9]. Dabei spielen die künstliche Intelligenz und die Robotik eine zentrale Rolle. Erstrebt wird eine immer engere Verbindung von Mensch und Maschine. Dies stellt eine reale Gefahr dar.

Rudolf Steiner hat nun darauf hingewiesen, dass eine solche „Zusammenschmiedung des Menschenwesens mit dem maschinellen Wesen“ nicht nur kommen wird, sondern im Sinn der Erdentwicklung tatsächlich auch kommen muss.

„An solchen Stellen ist der Wille dazu vorhanden, die Menschenkraft zusammenzuspannen mit Maschinenkraft. Diese Dinge dürfen nicht so behandelt werden, als ob man sie bekämpfen müßte. Das ist eine ganz falsche Anschauung. Diese Dinge werden nicht ausbleiben, sie werden kommen. Es handelt sich nur darum, ob sie im weltgeschichtliehen Verlaufe von solchen Menschen in Szene gesetzt werden, die mit den großen Zielen des Erdenwerdens in selbstloser Weise vertraut sind und zum Heil der Menschen diese Dinge formen, oder ob sie in Szene gesetzt werden von jenen Menschengruppen, die nur im egoistischen oder im gruppenegoistischen Sinne diese Dinge ausnützen. Darum handelt es sich. Nicht auf das Was kommt es in diesem Falle an, das Was kommt sicher; auf das Wie kommt es an, wie man die Dinge in Angriff nimmt. Denn das Was liegt einfach im Sinne der Erdenentwickelung. Die Zusammenschmiedung des Menschenwesens mit dem maschinellen Wesen, das wird für den Rest der Erdenentwickelung ein großes, bedeutsames Problem sein.

Ich habe vollbedacht öfter jetzt darauf aufmerksam gemacht, auch in öffentlichen Vorträgen, daß das Bewußtsein des Menschen zusammenhängt mit abbauenden Kräften. Zweimal habe ich es in öffentlichen Vorträgen in Basel gesagt: In unser Nervensystem hinein ersterben wir. - Diese Kräfte, diese ersterbenden Kräfte, sie werden immer mächtiger und mächtiger werden. Und es wird die Verbindung hergestellt werden zwischen den im Menschen ersterbenden Kräften, die verwandt sind mit elektrischen, magnetischen Kräften und den äußeren Maschinenkräften. Der Mensch wird gewissermaßen seine Intentionen, seine Gedanken hineinleiten können in die Maschinenkräfte. Noch unentdeckte Kräfte in der Menschennatur werden entdeckt werden, solche Kräfte, welche auf die äußeren elektrischen und magnetischen Kräfte wirken.

Das ist das eine Problem: das Zusammenführen des Menschen mit dem Mechanismus, das immer mehr und mehr um sich greifen muß in der Zukunft.“ (Lit.:GA 178, S. 218f)

Entscheidend wird aber sein, aus welcher ethischen Haltung dies geschieht. Verderblich wird es sein, wenn diese moderne Technolgie nur im egoistischen bzw. gruppenegoistischen Sinn entwickelt und eingesetzt wird. Heilsam wird sie nur sein können, wenn der Mensch als Gegengewicht zu der von ihm hervorgebrachten technischen Unter-Natur, eine entsprechende geistig-moralische Entwicklung anstrebt. Nur so kann er gegen die mit der Technik verbundenen ahrimanischen Wesen bestehen. Im 184. anthroposophischen Leitsatz schreibt Rudolf Steiner dazu:

„Das erfordert, daß der Mensch erlebend eine Geist-Erkenntnis finde, in der er sich eben so hoch in die Über-Natur erhebt, wie er mit der unternatürlichen technischen Betätigung unter die Natur hinuntersinkt. Er schafft dadurch in seinem Innern die Kraft, nicht unterzusinken.“ (Lit.:GA 26, S. 259)

Siehe auch

Literatur

Literaturangaben zum Werk Rudolf Steiners folgen, wenn nicht anders angegeben, der Rudolf Steiner Gesamtausgabe (GA), Rudolf Steiner Verlag, Dornach/Schweiz Email: verlag@steinerverlag.com URL: www.steinerverlag.com.
Freie Werkausgaben gibt es auf steiner.wiki, bdn-steiner.ru, archive.org und im Rudolf Steiner Online Archiv.
Eine textkritische Ausgabe grundlegender Schriften Rudolf Steiners bietet die Kritische Ausgabe (SKA) (Hrsg. Christian Clement): steinerkritischeausgabe.com
Die Rudolf Steiner Ausgaben basieren auf Klartextnachschriften, die dem gesprochenen Wort Rudolf Steiners so nah wie möglich kommen.
Hilfreiche Werkzeuge zur Orientierung in Steiners Gesamtwerk sind Christian Karls kostenlos online verfügbares Handbuch zum Werk Rudolf Steiners und Urs Schwendeners Nachschlagewerk Anthroposophie unter weitestgehender Verwendung des Originalwortlautes Rudolf Steiners.

Weblinks

Einzelnachweise

  1. Werner Stangl: Algorithmus. In: lexikon.stangl.eu. Abgerufen am 4. Dezember 2017.
  2. „The mechanical brain does not secrete thought "as the liver does bile," as the earlier materialists claimed, nor does it put it out in the form of energy, as the muscle puts out its activity. Information is information, not matter or energy. No materialism which does not admit this can survive at the present day.“
    Norbert Wiener: Cybernetics or Control and Communication in the Animal and the Machine, MIT Press 1948, p. 132 (deutsch: Kybernetik. Regelung und Nachrichtenübertragung im Lebewesen und in der Maschine, 1948)
  3. :„My contention is that machines can be constructed which will simulate the behaviour of the human mind very closely. They will make mistakes at times, and at times they may make new and very interesting statements, and on the whole the output of them will be worth attention to the same sort of extent as the output of a human mind.

    It is clearly possible to produce a machine which would give a very good account of itself for any range of tests, if the machine were made suYciently elaborate. However, this again would hardly be considered an adequate proof. Such a machine would give itself away by making the same sort of mistake over and over again, and being quite unable to correct itself, or to be corrected by argument from outside. If the machine were able in some way to ‘learn by experience’ it would be much more impressive. If this were the case there seems to be no real reason why one should not start from a comparatively simple machine, and, by subjecting it to a suitable range of ‘experience’ transform it into one which was more elaborate, and was able to deal with a far greater range of contingencies. This process could probably be hastened by a suitable selection of the experiences to which it was subjected. This might be called ‘education’. But here we have to be careful. It would be quite easy to arrange the experiences in such a way that they automatically caused the structure of the machine to build up into a previously intended form, and this would obviously be a gross form of cheating, almost on a par with having a man inside the machine.

    I suggest that the education of the machine should be entrusted to some highly competent schoolmaster who is interested in the project but who is forbidden any detailed knowledge of the inner workings of the machine. The mechanic who has constructed the machine, however, is permitted to keep the machine in running order, and if he suspects that the machine has been operating incorrectly may put it back to one of its previous positions and ask the schoolmaster to repeat his lessons from that point on, but he may not take any part in the teaching. Since this procedure would only serve to test the bona fides of the mechanic, I need hardly say that it would not be adopted in the experimental stages. As I see it, this education process would in practice be an essential to the production of a reasonably intelligent machine within a reasonably short space of time. The human analogy alone suggests this.“
    Alan Turing, B. Jack Copeland (Hrsg.): The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life: Plus The Secrets of Enigma, Oxford University Press 2004, ISBN 0–19–825079–7
  4. “A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence” (McCarthy et al.:Förderantrag, August 1955, S. 1)
  5. „What awaits is not oblivion but rather a future which, from our present vantage point, is best described by the words "postbiological" or even "supernatural." It is a world in which the human race has been swept away by the tide of cultural change, usurped by its own artificial progeny. The ultimate consequences are unknown, though many intermediate steps are not only predictable but have alread been taken. Today, our machines are still simple creations, requiring the parental care and hovering attention of any newborn, hardly worthy of the word "intelligent." But within the next century they will mature into entities as complex as ourselves, and eventually into something transcending everything we know - in whom we can take pride when they refer to themselves as our descendants.
    Unleashed from the plodding pace of biological evolution, the children of our minds will be free to grow to confront immense and fundamental challenges in the larger universe. We humans will benefit for a time from their labors, but sooner or later, like natural children, they will seek their own fortunes while we, their aged parents, silently fade away. Very little need be lost in this passing of the torch - it will be in our artificial offspring's power, and to their benefit, to remember almost everything about us, even, perhaps, the detailed working of individual human minds.“
    Hans Moravec: Mind Children. The Future of Robot and Human Intelligence, p. 1
  6. „Let an ultraintelligent machine be defined as a machine that can far surpass all the intellectual activities of any man however clever. Since the design of machines is one of these intellectual activities, an ultraintelligent machine could design even better machines; there would then unquestionably be an „intelligence explosion“, and the intelligence of man would be left far behind. Thus the first ultraintelligent machine is the last invention that man need ever make, provided that the machine is docile enough to tell us how to keep it under control.“
    Irving John Good: Speculations Concerning the First Ultraintelligent Machine online
  7. Im englischen Original:
    „The emergence of machine intelligence during the second half of the twentieth century is the most important development in the evolution of this planet since the origin of life two to three thousand million years ago. The emergence of machine intelligence within the matrix of human society is analogous to the emergence, three billion years ago, of complex, self-replicating molecules within the matrix of an energy-rich molecular soup - the first step in the evolution of life. The emergence of machine intelligence within a human social context has set into motion irreversible processes which will lead to an evolutionary discontinuity. Just as the emergence of "Life" represented a qualitatively different form of organisation of matter and energy, so will pure "Intelligence" represent a qualitatively different form of organisation of matter, energy and life. The emergence of machine intelligence presages the progression of the human species as we know it, into a form which, at present, we would not recognise as "human". As Forsyth and Naylor (1985) have pointed out: "Humanity has opened two Pandora's boxes at the same time, one labelled genetic engineering, the other labelled knowledge engineering. What we have let out is not entirely clear, but it is reasonable to hazard a guess that it contains the seeds of our successors". The question is not whether intelligence will supersede life, but how fast?“
  8. „There is no security ... against the ultimate development of mechanical consciousness, in the fact of machines possessing little consciousness now. A mollusc has not much consciousness. Reflect upon the extraordinary advance which machines have made during the last few hundred years, and note how slowly the animal and vegetable kingdoms are advancing. The more highly organised machines are creatures not so much of yesterday, as of the last five minutes, so to speak, in comparison with past time. Assume for the sake of argument that conscious beings have existed for some twenty million years: see what strides machines have made in the last thousand! May not the world last twenty million years longer? If so, what will they not in the end become?“
    Samuel Butler: Erewhon; Or, over the Range, Chapter 23: The Book of the Machines, 1872
  9. Raymond Kurzweil, 2014