Logik

Unter Logik (von altgriechisch logik

tchn denkende Kunst, Vorgehensweise) versteht man
die Lehre des vernnftigen Schlussfolgerns. In der Logik wird die Struktur von Argumenten im Hinblick auf
ihre Gltigkeit untersucht, unabhngig vom Inhalt der
Aussagen. Bereits in diesem Sinne spricht man auch
von formaler Logik. Traditionell ist die Logik ein Teil
der Philosophie. Ursprnglich hat sich die traditionelle Logik in Nachbarschaft zur Rhetorik entwickelt. Seit
dem 20. Jahrhundert versteht man unter Logik berwiegend symbolische Logik, die auch als grundlegende Strukturwissenschaft, z. B. innerhalb der Mathematik
und der theoretischen Informatik, behandelt wird.

Aussagenlogik (Dabei werden sogenannte atomare Aussagen durch Buchstaben ersetzt). Die symbolische Logik
nennt man auch mathematische Logik oder formale Logik im engeren Sinn.

1 Unterschiedliche Bedeutungen
des Begris Logik
Der Ausdruck Logik, im Griechischen logik techn,
steht sowohl in der lteren Stoa wie im lteren Peripatos
fr eine Lehre vom Argumentieren bzw. Schlieen, ist
in dieser Bedeutung jedoch nicht vor dem 1. Jh. v. Chr.
belegt.[1] Der Begri wurde bereits von dem antiken
Stoiker Zenon von Kition geprgt.
Im Deutschen wird das Wort Logik im 19. Jh. vielfach
(etwa bei Immanuel Kant oder Georg Wilhelm Friedrich
Hegel) auch im Sinne einer Erkenntnistheorie, Ontologie
oder einer allgemeinen Dialektik verwendet. Die Logik
im modernen Sinne wurde auf der anderen Seite hug
anders bezeichnet, etwa als Analytik, Dialektik oder Logistik. Auch heute noch sind z. B. in der Soziologie Formulierungen wie Logik des Handelns[2] oder der Literaturwissenschaft wie Logik der Dichtung [3] u.. verbreitet,
bei denen unter Logik keine Theorie des Folgerns verstanden wird, sondern eine Lehre allgemeiner Gesetze
oder Verfahrensweisen, die in einem bestimmten Bereich
gelten. Insbesondere in der Tradition der Philosophie der
normalen Sprache wurde unter einer logischen Analyse
vielfach eine Analyse begriicher Zusammenhnge verstanden.
Die einleitend dargestellte Verwendungsweise des Ausdrucks Logik ist dagegen seit Beginn des 20. Jahrhunderts blich.
In der Umgangssprache werden Ausdrcke wie Logik
oder logisches Denken darber hinaus in einem sehr
viel weiteren oder vllig anderen Sinne verstanden und
etwa einem lateralen Denken gegenbergestellt. Ebenso gibt es den Begri der Frauenlogik, Mnnerlogik,
der Aektlogik und den Begri der Alltagslogik
bekannt auch als gesunder Menschenverstand (common
sense) in der Umgangssprache. In diesen Bereichen
bezieht sich Logik oft auf Formen des Handelns, der
Pragmatik. Ein Argument wird umgangssprachlich als
logisch bezeichnet, wenn dieses stichhaltig, zwingend,
berzeugend, einleuchtend und klar erscheint. In einem
logischen Argument soll die Fertigkeit des Denkens zum
Ausdruck kommen.

Gregor Reisch, Die Logik prsentiert ihre zentralen Themen,

Margarita Philosophica, 1503/08 (?). Die beiden Hunde veritas und falsitas jagen den Hasen problema, die Logik eilt
mit dem Schwert syllogismus bewanet hinterher. Links unten
Parmenides, mit dem die logische Argumentation Einzug in die
Philosophie hielt, in einer Hhle.

Die moderne symbolische Logik verwendet statt der

natrlichen Sprache eine knstliche Sprache (Ein Satz
wie Der Apfel ist rot wird z. B. in der Prdikatenlogik als
f(a) formalisiert, wobei a fr Der Apfel und f fr ist rot
steht) und verwendet streng denierte Schlussregeln. Ein
einfaches Beispiel fr ein solches formales System ist die
1

Auch in gegenwrtigen Debatten ist weithin unbestritten, dass die Theorie des korrekten Folgerns den Kern
der Logik ausmacht; umstritten ist jedoch, welche Theorien genau noch zur Logik zu rechnen sind und welche nicht. Strittige Flle sind etwa die Mengenlehre, die
Argumentationstheorie (die sich etwa unter pragmatischer Rcksicht mit Fehlschlssen beschftigt) und die
Sprechakttheorie.

Geschichte der Logik

Hauptartikel: Geschichte der Logik

TEILGEBIETE

Teilaussagen, dann ist sie aus Sicht der Aussagenlogik

atomar, d. h. nicht weiter zerlegbar.
In der Prdikatenlogik lsst sich auch die innere Struktur von Stzen darstellen, die aussagenlogisch nicht weiter zerlegbar sind. Dargestellt wird die innere Struktur der
Aussagen (Der Apfel ist rot.) dabei durch Prdikate (auch
Aussagefunktionen genannt) (ist rot) einerseits und durch
deren Argumente andererseits (Der Apfel); dabei drckt
das Prdikat zum Beispiel eine Eigenschaft (rot) aus, die
auf sein Argument zutrit, oder eine Relation, die zwischen seinen Argumenten besteht (x ist grer als y). Der
Begri der Aussagefunktion ist aus dem mathematischen
Begri der Funktion abgeleitet. Eine logische Aussagenfunktion hat genau wie eine mathematische Funktion einen Wert, der aber kein numerischer, sondern ein Wahrheitswert ist.

Teilgebiete

Der Unterschied zwischen Prdikatenlogik der ersten Stufe und Prdikatenlogik hherer Stufe besteht darin, worber mittels der Quantoren (alle, mindestens ein)
3.1 Klassische Logik
quantiziert wird: In der Prdikatenlogik erster Stufe wird nur ber Individuen quantiziert (z. B. Alle
Hauptartikel: Klassische Logik
Schweine sind rosa), in der Prdikatenlogik hherer Stufe wird auch ber Prdikate selbst quantiziert (z. B. Es
Von klassischer Logik bzw. von einem klassischen logi- gibt ein Prdikat, das auf Sokrates zutrit).
schen System spricht man genau dann, wenn folgende seFormal bedarf die Prdikatenlogik einer Unterscheimantische Bedingungen erfllt sind:
dung zwischen verschiedenen Ausdruckskategorien wie
Termen, Funktoren, Prdikatoren und Quantoren. Die1. Jede Aussage hat genau einen von genau zwei se wird in der Stufenlogik, einer Form des typisierten
Wahrheitswerten, die meist als wahr und falsch Lambda-Kalkls, berwunden. Dadurch wird zum Beibezeichnet werden. Man nennt dieses Prinzip das spiel die mathematische Induktion eine gewhnliche, abPrinzip der Zweiwertigkeit oder Bivalenzprinzip.
leitbare Formel.
2. Der Wahrheitswert einer zusammengesetzten Aussage ist eindeutig durch die Wahrheitswerte ihrer
Teilaussagen und die Art, wie diese zusammengesetzt sind, bestimmt. Dieses Prinzip heit das
Prinzip der Extensionalitt oder der Kompositionalitt.

Die bis zum 19. Jahrhundert dominante Syllogistik, die

auf Aristoteles zurckgeht, lsst sich als ein Vorlufer der
Prdikatenlogik verstehen. Ein Grundbegri der Syllogistik ist der Begri Begrie; er wird dort nicht weiter
zerlegt. In der Prdikatenlogik werden Begrie als einstellige Prdikate ausgedrckt; mit mehrstelligen Prdikaten lsst sich zustzlich die innere Struktur von Begriffen analysieren und damit die Gltigkeit von Argumenten
zeigen, die syllogistisch nicht fassbar sind. Ein hug zitiertes intuitiv eingngiges Beispiel ist das Argument Alle Pferde sind Tiere; also sind alle Pferdekpfe Tierkpfe, das sich erst in hheren Logiken wie der Prdikatenlogik herleiten lsst.

Der Begri klassische Logik ist mehr im Sinn von etablierter, grundlegender Logik zu verstehen, weil die
nichtklassischen Logiken auf sie aufbauen, denn als historischer Verweis. Vielmehr war es so, dass bereits
Aristoteles, sozusagen der klassische Vertreter der Logik,
sich sehr wohl mit mehrwertiger Logik, also nichtklassiEs ist technisch mglich, die formale Syllogistik des Arisscher Logik beschftigt hat.
toteles so zu erweitern und zu verndern, dass der PrdiDie wichtigsten Teilgebiete der formalen klassikatenlogik gleichmchtige Kalkle entstehen. Solche Unschen Logik sind die klassische Aussagenlogik, die
ternehmungen sind im 20. Jahrhundert vereinzelt von phiPrdikatenlogik der ersten Stufe und Logik hherer
losophischer Seite her vorgenommen worden und sind
Stufe, wie sie am Ende des 19. und am Anfang des
philosophisch motiviert, zum Beispiel aus dem Wunsch
20. Jahrhunderts durch Gottlob Frege, Charles Sanders
heraus, auch rein formal Begrie als elementare BestandPeirce, Bertrand Russell und Alfred North Whitehead
teile von Aussagen ansehen zu knnen und sie nicht prentwickelt wurden. In der Aussagenlogik werden Ausdikatenlogisch zerlegen zu mssen. Mehr zu solchen Kalsagen daraufhin untersucht, ob sie ihrerseits wieder aus
klen und den philosophischen Hintergrnden ndet sich
Aussagen zusammengesetzt sind, die durch Junktoren (z.
im Artikel zur Begrislogik.
B. und, oder) miteinander verbunden sind. Besteht
eine Aussage nicht aus durch Junktoren verbundenen

3.3

3.2

Nichtklassische Logiken

Kalkltypen und logische Verfahren

Die moderne formale Logik widmet sich der Aufgabe,

exakte Kriterien fr die Gltigkeit von Schlssen und
die logische Gltigkeit von Aussagen (semantisch gltige
Aussagen heien Tautologien, syntaktisch gltige Aussagen Theoreme) zu entwickeln. Hierzu wurden verschiedene Verfahren entwickelt.
Insbesondere im Bereich der Aussagenlogik (aber nicht
nur) sind semantische Verfahren gebruchlich, also solche Verfahren, die darauf beruhen, dass den Aussagen
ein Wahrheitswert zugeschrieben wird. Hierzu zhlen einerseits:
Wahrheitstabellen

3
3.3.1 Philosophische Logiken
Hauptartikel: Philosophische Logik
Philosophische Logik ist ein unscharfer Sammelbegri
fr verschiedene formale Logiken, die die klassische
Aussagen- und Prdikatenlogik in unterschiedlicher Weise verndern beziehungsweise erweitern, in der Regel indem sie deren Sprache um weitere Operatoren fr bestimmte Redebereiche anreichern. Philosophische Logiken sind meist nicht von direktem Interesse fr die Mathematik, nden aber Anwendung zum Beispiel in der
Sprachwissenschaft oder Informatik. Sie behandeln vielfach Fragestellungen, die weit in die Geschichte der Philosophie zurckreichen und teilweise schon seit Aristoteles diskutiert werden, zum Beispiel den Umgang mit Modalitten (Mglichkeit und Notwendigkeit).

Whrend Wahrheitstabellen eine vollstndige Auistung

aller Wahrheitswertkombinationen vornehmen (und inso- Der philosophischen Logik zugerechnet werden unter anfern auch nur im aussagenlogischen Bereich verwendbar derem folgende Gebiete:
sind), gehen die brigen (auch prdikatenlogisch verwertbaren) Verfahren nach dem Schema einer Reductio ad
Modallogik fhrt modale Satzoperatoren wie es ist
absurdum vor: Wenn eine Tautologie bewiesen werden
mglich, dass oder es ist notwendig, dass ein
soll, geht man von ihrer Negation aus und versucht einen
und untersucht die Gltigkeitsbedingungen modaler
Widerspruch abzuleiten. Hier sind mehrere Varianten geArgumente;
bruchlich:
Resolution,
Baumkalkl oder Beth-Tableaux (nach Evert Willem Beth)
Zu den logischen Kalklen, die ohne semantische Bewertungen auskommen, zhlen:
Axiomatische Logikkalkle
Systeme natrlichen Schlieens
Sequenzenkalkle
Dialogische Logiken

3.3

Nichtklassische Logiken

Hauptartikel: Nichtklassische Logik

Von nichtklassischer Logik bzw. einem nichtklassischen
logischen System spricht man, wenn mindestens eines
der beiden oben genannten klassischen Prinzipien (Zweiwertigkeit und/oder Extensionalitt) aufgegeben wird.
Wird das Prinzip der Zweiwertigkeit aufgegeben, entsteht
mehrwertige Logik. Wird das Prinzip der Extensionalitt
aufgegeben, entsteht intensionale Logik. Intensional sind
zum Beispiel die Modallogik und die intuitionistische Logik. Werden beide Prinzipien aufgegeben, entsteht mehrwertige intensionale Logik. (Siehe auch: Kategorie: Nichtklassische Logik)

epistemische Logik bzw. doxastische Logik untersucht und formalisiert Aussagen des Glaubens, der
berzeugung und des Wissens sowie aus ihnen gebildete Argumente;
Deontische Logik oder Normenlogik untersucht und
formalisiert Gebote, Verbote und Zugestndnisse
(es ist erlaubt, dass) sowie aus ihnen gebildete
Argumente;
Temporale Logik der Aktionen, die Quantenlogik
und andere temporale Logiken untersuchen und formalisieren Aussagen und Argumente, in denen Bezug auf Zeitpunkte oder Zeitabschnitte genommen
wird;
Interrogativlogik untersucht Fragestze sowie die
Frage, ob sich zwischen Fragestzen logische Beziehungen herstellen lassen;
Konditionalsatzlogik untersucht ber die materiale Implikation hinausgehenden WenndannBedingungen;
Parakonsistente Logiken zeichnen sich dadurch aus,
dass es in ihnen nicht mglich ist, aus zwei widersprchlichen Aussagen jede beliebige Aussage herzuleiten. Hierzu gehrt auch die
Relevanzlogik, die anstelle der materialen Implikation eine Implikation verwendet, die nur dann wahr
ist, wenn ihr Vordersatz fr ihren Nachsatz relevant
ist (siehe auch das nachfolgende Kapitel)

TEILGEBIETE

3.3.2

Intuitionismus, Relevanzlogik und konnexe 3.3.3 Mehrwertige und Fuzzylogik

Logik
Hauptartikel: Mehrwertige Logik und Fuzzylogik
Die meistdiskutierten Abweichungen von der klassischen
Logik stellen solche Logiken dar, die auf bestimmte
Quer hierzu stehen die mehrwertigen Logiken, in denen
Axiome der klassischen Logik verzichten. Die im engedas Prinzip der Zweiwertigkeit und oft auch der aristoren Sinne nicht-klassischen Logiken sind schwcher als
telische Satz vom ausgeschlossenen Dritten nicht gelten,
die klassische Logik, d. h. in diesen Logiken sind weniger
darunter die dreiwertige und die unendlichwertige Logik
Aussagen gltig als in der klassischen Logik, es sind aber
von Jan ukasiewicz (Warschauer Schule). Zahlreiche
alle dort gltigen Aussagen auch klassisch gltig.
Anwendungen in der Steuerungstechnik ndet die unendHierzu gehren die von L. E. J. Brouwer entwickel- lichwertige Fuzzy-Logik, whrend etwa die endlichwerte Intuitionistische Logik, welche das duplex-negatio- tige Logik von Gotthard Gnther (Gnther-Logik) auf
Axiom (aus der doppelten Negation einer Aussage p folgt Probleme der sich selbst erfllenden Voraussagen in der
p)
Soziologie angewandt wurde.
p p

3.3.4 Nichtmonotone Logiken

nicht enthlt, wodurch der Satz tertium non datur (fr Man nennt ein logisches System monoton, wenn jedes
jede Aussage p gilt: p oder nicht-p),
gltige Argument auch dann gltig bleibt, wenn man
zustzliche Prmissen hinzufgt: Was einmal bewiesen
wurde, bleibt in einer monotonen Logik immer gltig,
p p
also auch dann, wenn man zu einem spteren Zeitpunkt
nicht mehr ableitbar ist, der Minimalkalkl I. Johanssons, ber neue Informationen verfgt. Sehr viele logische Syswomit der Satz ex falso quodlibet (aus einem Wider- teme haben diese Monotonie-Eigenschaft, darunter alle
klassischen Logiken wie die Aussagen- und die Prdikaspruch folgt eine beliebige Aussage),
tenlogik.
p (p q)
nicht mehr abgeleitet werden kann, sowie die sich hieran
anschlieenden Relevanzlogiken, in welchen nur solche
Aussagen des Schemas p q gltig sind, in denen p fr
q kausal relevant ist (siehe Implikation#Objektsprachliche
Implikationen). In der Dialogischen Logik und in den Sequenzenkalklen sind sowohl die klassischen als auch die
nicht-klassischen Logiken durch entsprechende Zusatzregeln ineinander berfhrbar.
Auf der anderen Seite sind Logiken zu erwhnen, die
Prinzipien enthalten, die klassisch nicht gltig sind. Der
Satz (p p) scheint zunchst einen intuitiv plausiblen logischen Grundsatz auszudrcken: Denn wenn p
gilt, so kann p, so scheint es, nicht mehr falsch sein.
Dennoch ist der Satz in der klassischen Logik kein gltiges Theorem. Insofern die klassische Logik maximalkonsistent ist, d. h. insofern jede echte Verstrkung eines
klassischen Kalkls zu einem Widerspruch fhren wrde,
knnte dieser Satz auch nicht als weiteres Axiom hinzugefgt werden. Die konnexe Logik, die der vor-formalen
Intuition, die der Satz ausdrckt, gerecht werden will, indem sie ihn als Theorem auszeichnet, muss daher andere
klassisch-logische Theoreme zurckweisen. Whrend also bei intuitionistischer, minimaler und relevanter Logik
die beweisbaren Formeln jeweils eine echte Teilmenge
der klassisch beweisbaren Formeln sind, ist dagegen das
Verhltnis von konnexer und klassischer Logik so, dass
in beiden Formeln beweisbar sind, die in der jeweils anderen Logik nicht gelten.[4]

Im alltglichen und auch wissenschaftlichen Schlieen

werden jedoch oft vorluge Schlussfolgerungen gezogen, die im streng logischen Sinn nicht gltig sind und
die unter Umstnden zu einem spteren Zeitpunkt revidiert werden mssen. Zum Beispiel liee sich aus den
Aussagen Tux ist ein Vogel. und Die meisten Vgel
knnen iegen. vorlug darauf schlieen, dass Tux iegen kann. Wenn wir nun aber die zustzliche Information
Tux ist ein Pinguin. erhalten, dann mssen wir diesen
Schluss korrigieren, denn Pinguine sind nicht ugfhige
Vgel. Um diese Art des Schlieens abzubilden, wurden
nichtmonotone Logiken entwickelt: Sie verzichten auf die
Monotonie-Eigenschaft, das heit ein gltiges Argument
kann durch das Hinzufgen weiterer Prmissen ungltig
werden.
Dies ist freilich nur mglich, wenn eine andere Konsequenzoperation als in einer klassischen Logik verwendet
wird. Ein gngiger Ansatz besteht darin, so genannte Defaults zu verwenden. Ein Default-Schluss ist dann gltig,
wenn sich nicht aus einem klassisch-logischen Schluss ein
Widerspruch zu ihm ergibt.
Die Schlussfolgerung aus dem gegebenen Beispiel wrde dann so aussehen: Tux ist ein Vogel. bleibt die Voraussetzung (prerequisite). Wir kombinieren diese nun mit
einer so genannten Rechtfertigung (justication): Vgel
knnen normalerweise iegen. Aus dieser Begrndung
schlieen wir, dass Tux iegen kann, solange nichts dagegen spricht. Die Konsequenz lautet also Tux kann iegen. Erhalten wir nun die Informationen Tux ist ein
Pinguin. und Pinguine knnen nicht iegen., so er-

5
gibt sich ein Widerspruch. ber den Default-Schluss sind
wir zu der Konsequenz gelangt, dass Tux iegen kann.
Mit einer klassisch-logischen Schlussweise aber konnten
wir nachweisen, dass Tux nicht iegen kann. In diesem
Fall wird der Default revidiert und die Konsequenz des
klassisch-logischen Schlusses weiterverwendet. Dieses
hier grob beschriebene Verfahren wird auch als Reitersche Default-Logik bezeichnet.[5]

Bertrand Russell (18721970):

Alfred Tarski (19011983):

Wichtige Autoren
Aristoteles (384322 v. Chr.):
In der Analytica Priora: Entwicklung der bis ins
19. Jahrhundert verwendeten Syllogistik, einer
Vorform der Prdikatenlogik.
Chrysippos von Soloi (281/76-208/4 v. Chr.):
Entwicklung der stoischen Syllogistik, einer
Vorform des Aussagenkalkls.
Cicero (10643 v. Chr.):
bertrug die griechische Logik ins Lateinische.

Entdeckte die Russellsche Antinomie.

Jan ukasiewicz (18781956):
Entwickelte die Polnische Notation, beschftigte sich mit mehrwertiger Logik.

Herausragend sind seine Arbeiten zur

Modelltheorie und zur formalen Semantik.
Kurt Gdel (19061978):
Vollstndigkeit der Prdikatenlogik. Unvollstndigkeit der Peano-Arithmetik.
Siehe auch: Kategorie:Logiker

5 Siehe auch
Portal: Logik bersicht zu Wikipedia-Inhalten
zum Thema Logik

Gottfried Wilhelm Leibniz (16461716):

Erste Anstze zu einer symbolischen Logik.
George Boole (18151864):

Abstraktion
Formale Sprache (Theorie formaler Sprachen)
Kategorie:Logik

Entwicklung der Booleschen Algebra.

Charles Sanders Peirce (18391914):
Erste Anstze zur Quantorenlogik, Einfhrung
der Relationslogik, Formulierung einer Theorie der Abduktion.
Georg Cantor (18451918):
Entwicklung der Mengenlehre.
Gottlob Frege (18481925):
Entwicklung der modernen Aussagen- und
Prdikatenlogik. Kritik des Psychologismus.
Edmund Husserl (18591938):
Kritik des Psychologismus in der Logik.

6 Klassische Werke
Aristoteles: Lehre vom Schluss oder erste Analytik.
3. Auage. Meiner, Hamburg 1922, ISBN 3-78731092-4.
Gottlob Frege: Begrisschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle/Saale 1879. Auszugsweise abgedruckt z.
B. in: Karel Berka, Lothar Kreiser, Siegfried Gottwald, Werner Stelzner: Logik-Texte. Kommentierte
Auswahl zur Geschichte der modernen Logik. 4. Auflage. Akademie-Verlag, Berlin 1986.
Gottlob Frege: Logische Untersuchungen. Herausgegeben und eingeleitet von Gnther Patzig. 3. Auflage. Vandenhoeck & Ruprecht, Gttingen 1986,
ISBN 3-525-33518-0.
Giuseppe Peano: Notations de logique mathmatique. Turin 1894.

7 LITERATUR
Charles Sanders Peirce: On the algebra of Logic. A
contribution to the philosophy of notation. In: The
American Journal of Mathematics. 7, 1885.

Ansgar Beckermann: Einfhrung in die Logik. 3.

Auage. De Gruyter, Berlin u. a. 2011, ISBN 9783-11-025434-1.

Jan ukasiewicz: Logika dwuwartociowa. In: Przegld Filosoczny. 23, 1921, S. 189.

Irving M. Copi: Einfhrung in die Logik. Fink, Mnchen 1998, ISBN 3-7705-3322-4.

Jan ukasiewicz, L. Borkowski (Hrsg.): Selected

Works. PWN, Warschau 1970.

Wolfgang Detel: Grundkurs Philosophie. Band 1:

Logik. Reclam, Stuttgart, 2007, ISBN 978-3-15018468-4.

Alfred North Whitehead, Bertrand Russell: Principia Mathematica. Cambridge 19101913.

Alfred Tarski: Einfhrung in die mathematische Logik. 5. Auage. Vandenhoeck & Ruprecht, Gttingen 1977, ISBN 3-525-40540-5.

Literatur

Philosophiebibliographie: Logik Zustzliche Literaturhinweise zum Thema

Karel Berka, Lothar Kreiser: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik.
4. Auage. Akademie-Verlag, Berlin 1986.
Thomas M. Seebohm: Philosophie der Logik.
(Handbuch Philosophie, hg. v. Elisabeth Strker
und Wolfgang Wieland). Alber, Freiburg/ Mnchen
1984, ISBN 3-495-47474-9.
Graham Priest: Logic: A Very Short Introduction.
2000, Oxford University Press, ISBN 978-0-19289320-8.
Geschichte der Logik
vgl. die Angaben in
Geschichte der Logik

Dov Gabbay, Franz Guenthner (Hrsg.): Handbook

of Philosophical Logic. 16 Bnde. 2. Auage. Kluwer, Reidel, Dordrecht 2001.
Paul Hoyningen-Huene: Formale Logik. Eine philosophische Einfhrung. Reclam, Stuttgart 1998,
ISBN 3-15-009692-8.
Rdiger Inhetveen: Logik. Eine dialog-orientierte
Einfhrung. Ed. am Gutenbergplatz, Leipzig 2003,
ISBN 3-937219-02-1.
Franz von Kutschera, Alfred Breitkopf: Einfhrung
in die moderne Logik. 8. Auage. Alber, Freiburg
2007, ISBN 978-3-495-47977-3.
E. J. Lemmon: Beginning Logic. 2. Auage. Chapman and Hall, London 1987, ISBN 0-412-38090-0.
Benson Mates: Elementare Logik. Prdikatenlogik
der ersten Stufe mit Identitt. 2. Auage. Vandenhoeck & Ruprecht, Gttingen 1978, ISBN 3-52540541-3.
W.V.O. Quine: Grundzge der Logik. Suhrkamp
1974, ISBN 3-518-27665-4.
Wesley C. Salmon: Logik. Reclam, Stuttgart 1983,
ISBN 3-15-007996-9.

Logische Propdeutik
Formale Logik in der Mathematik
Ernst Tugendhat, Ursula Wolf: Logisch-semantische
Propdeutik. (= RUB 8206). Nachdruck. Reclam,
Stuttgart 2001, ISBN 3-15-008206-4.
Wilhelm Kamlah, Paul Lorenzen: Logische Propdeutik. Vorschule des vernnftigen Redens. 3. Auflage. Metzler, Stuttgart u. a. 1996, ISBN 3-47601371-5.
Axel Bhler: Einfhrung in die Logik. Argumentation und Folgerung. 3. Auage. Alber, Freiburg/
Mnchen 2000, ISBN 3-495-47905-8.
Formale Logik in der Philosophie

Heinz-Dieter Ebbinghaus, Jrg Flum, Wolfgang

Thomas: Einfhrung in die mathematische Logik.
(= Spektrum-Hochschultaschenbuch). 4. Auage.
Spektrum, Akademie, Heidelberg u. a. 1998, ISBN
3-8274-0130-5.
Wolfgang Rautenberg: Einfhrung in die Mathematische Logik. 3. Auage. Vieweg+Teubner,
Wiesbaden 2008, ISBN 978-3-8348-0578-2
(online).
Donald W. Barnes, John M. Mack: An Algebraic Introduction to Mathematical Logic. Springer, Berlin
1975, ISBN 3-540-90109-4. (Ein sehr mathematischer Zugang zur Logik)

Jon Barwise, John Etchemendy: The Language of

First-Order Logic. CSLI Center for the Study of
Language and Information, Leland Stanford Junior
Formale Logik in der Informatik
University 1991, ISBN 0-937073-74-1.

7
Uwe Schning: Logik fr Informatiker. (=
Spektrum-Hochschultaschenbuch). 5. Auage.
Spektrum, Akademie, Heidelberg u. a. 2000, ISBN
3-8274-1005-3.
Bernhard Heinemann, Klaus Weihrauch: Logik
fr Informatiker. Eine Einfhrung. (= Leitfden
und Monographien der Informatik). 2. Auage.
Teubner, Stuttgart 1992, ISBN 3-519-12248-0.

Weblinks

Wiktionary: Logik Bedeutungserklrungen,

Wortherkunft, Synonyme, bersetzungen
Commons: Logik Sammlung von Bildern, Videos
und Audiodateien
Wikiquote: Logik Zitate
Wikisource: Logik Quellen und Volltexte
Wikibooks: Mathe fr Nicht-Freaks: Aussagenlogik Lern- und Lehrmaterialien
Graeme Forbes: Logic, philosophy of. In: E. Craig
(Hrsg.): Routledge Encyclopedia of Philosophy. London 1998.
Introduction to Computational Logic (Skripte, englisch)
Torsten Wilholt: Logik und Argumentation. (ausfhrliches Skript zur Einfhrung in formale Logik und Argumentationstheorie fr Studierende der
Philosophie; PDF; 2,6 MB)
private Seite Crashkurs Aussagen- und Prdikatenlogik
Weblinks zu Autoren / Forscher / Klassiker
L. Geldsetzer: Logik Bibliographie (PDF; 842 kB)
mit Auswahlliteratur zu Einzelthemen
Peter H. Starke: Logische Grundlagen der Informatik. Umfangreiches Skript, das auch als PDF downloadbar ist, HU Berlin

Einzelnachweise

[1] Kuno Lorenz: Logik, II. Die antike Logik. In: Historisches
Wrterbuch der Philosophie. Band 5, 362 nach E. Kapp:
Der Ursprung der Logik bei den Griechen. 1965, 25 und
mit Verweis auf Cicero: De nibus 1, 7, 22
[2] Hartmut Esser, Soziologie. Spezielle Grundlagen, Band 1:
Situationslogik und Handeln, Campus Verlag 1999, Seite
201
[3] Kte Hamburger: Die Logik der Dichtung. 3. Auage.
Klett-Cotta, 1977, ISBN 3-12-910910-2.

[4] Vgl. Heinrich Wansing: Connexive Logic. In: Edward N.

Zalta (Hrsg.): Stanford Encyclopedia of Philosophy
[5] Vgl. G. Aldo Antonielli: Non-monotonic Logic. In: Edward
N. Zalta (Hrsg.): Stanford Encyclopedia of Philosophy

10 TEXT- UND BILDQUELLEN, AUTOREN UND LIZENZEN

10

Text- und Bildquellen, Autoren und Lizenzen

10.1

Text

Logik Quelle: https://de.wikipedia.org/wiki/Logik?oldid=144265451 Autoren: Flups, Ben-Zin, Magnus Manske, Koyaanis Qatsi~dewiki,
Pit, Kku, JakobVoss, Zeno Gantner, Aka, Stefan Khn, Heizer, Mikue, Stefan Birkner, Head, Toto~dewiki, Ninahotzenplotz, Markobr,
Katharina, PyBot, Windy, Atman Sun, Tsor, Leonardo, WKr, Odin, Sansculotte, Hubi, Asthma, Pi~dewiki, Mkleine, Aglarech, Srbauer,
Zwobot, Mawa, Borislav, Larf, Robbot, Triebtter, HaSee, Benowar, Mussklprozz, Hutschi, Nold~dewiki, Terabyte, Radulf, Enslin, Jan
eissfeldt, Peter200, Schmiddtchen, Udo.bellack, Starblue, Martin-vogel, Toebbens, MAK, Gerhardvalentin, Nobody.de, Seefahrt, Matthy,
PeeCee, IcycleMort~dewiki, Robert Kropf, Conny, ChristophDemmer, Ojm, Brombeer, Uwe Gille, DasBee, Lawa, Marilyn.hanson, Jonathan Gro, Bigbug21, Taxiarchos228, Nicor, Martin Bahmann, AndreasPraefcke, Hand der Rose, Diba, Roomsixhu, Invexis, Laza, Hajo
Keer, Gerbil, Ulfbastel, Emes, GottschallCh, Liberal Freemason, Anima, Pacogo7, Godfatherofpolka, Itti, Gunther, Ca$e, JuTa, Tillmo,
Tiranst, STBR, Markus Mueller, Luha, JFKCom, ThePacker, RoswithaC, Pajz, Zahnradzacken, Rtc, RobotQuistnix, WIKImaniac, Stefan B. Link, JonnyJD, Perennis, Lschx, Gamma, Engeser, Schwarze Feder, Jan Schreiber, Shelmton~dewiki, DerHexer, WAH, Roger
McLassus 1951, MelancholieBot, Chatter, Schwall, Allesmller, PortalBot, ZOiDberg, Wombi99, Victor Eremita, Jimi Slang, Trolinus,
Bvo66, BJ Axel, Hans-Jrgen-Streicher, Pendulin, Lemmavonzorn, Hans-Jrgen Streicher, Lupussy, Tnjes, SibFreak, As0607, RainerB.,
Thijs!bot, HubiB, Zickzack, Summ, Apierrot, Jobu0101, Escarbot, Arno Matthias, Majona, JAnDbot, YourEyesOnly, Falschinformation,
Ninabeck, Wolfgang Deppert, Kthe Wohlfahrt, Xqt, Axpde, Bot-Schafter, Wilfried Neumaier, SashatoBot, Complex, Gerakibot, VolkovBot, AlnoktaBOT, Tischbeinahe, La Corona, Rei-bot, Regi51, Gereon K., Idioma-bot, Fehrensp, Synthebot, Tobias1983, Frber, Krawi,
Stephan Kulla, Homer9913, SieBot, Le Pied-bot~dewiki, Engie, Parhamer, Chricho, Anaxo, JMa, Tusculum, Albtalkourtaki, Bjrn Bornhft, Global667, Turicus, Se4598, Agnostizi, DragonBot, Friedrichshagener2, Ontoraul, Cymothoa exigua, TruebadiX, Alexbot, Inkowik,
Tony L., Guandalug, Grey Geezer, Pgallert, LinkFA-Bot, Numbo3-bot, Turan MUC, Zorrobot, RPI, Luckas-bot, Gru Tom, KamikazeBot, Jotterbot, GrouchoBot, Liesbeth, Xqbot, ArthurBot, Howwi, De rien, GhalyBot, Chris09j, Stexan, D'ohBot, MorbZ-Bot, Dhanyavaada,
TobeBot, Daniel5Ko, Leif Czerny, Rwahl, KforAT, TjBot, Hggis, Stratocruiser, EmausBot, Horst bei Wiki, Sokonbud, Theo42, ZroBot, Neun-x, JackieBot, RonMeier, WikitanvirBot, ChuispastonBot, ImmanuelAlpha, CocuBot, CherryX, Movses-bot, Ghostwriter2010,
Mischa004, Siegfried Riecker, WhoisWhoME, MerlIwBot, Metrokles, Weiho, Vissi5, 123qweasd, Flosfa, Cdscds, Wissenhmng, David23x,
Impriale, EssexGirl, A. Kuhdei, Addbot, Bahnhofversteher, Atarust, Kritzolina, Wasserhund, Chameni und Anonyme: 126

10.2

Bilder

Datei:Commons-logo.svg Quelle: https://upload.wikimedia.org/wikipedia/commons/4/4a/Commons-logo.svg Lizenz: Public domain Autoren: This version created by Pumbaa, using a proper partial circle and SVG geometry features. (Former versions used to be slightly warped.)
Ursprnglicher Schpfer: SVG version was created by User:Grunt and cleaned up by 3247, based on the earlier PNG version, created by
Reidab.
Datei:De-Logik-article.ogg Quelle: https://upload.wikimedia.org/wikipedia/commons/7/74/De-Logik-article.ogg Lizenz: CC0 Autoren:
Eigenes Werk Ursprnglicher Schpfer: Jan Schreiber
Datei:Disambig-dark.svg Quelle: https://upload.wikimedia.org/wikipedia/commons/e/ea/Disambig-dark.svg Lizenz: CC-BY-SA-3.0
Autoren: Original Commons upload as Logo Begrisklrung.png by Baumst on 2005-02-15 Ursprnglicher Schpfer: Stephan Baum
Datei:Gregor_Reisch,_Margarita_Philosophica,_Typus_Logice.jpg Quelle: https://upload.wikimedia.org/wikipedia/commons/4/44/
Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg Lizenz: Public domain Autoren: ? Ursprnglicher Schpfer: Gregor
Reisch
Datei:Portal.svg Quelle: https://upload.wikimedia.org/wikipedia/commons/c/c9/Portal.svg Lizenz: CC BY 2.5 Autoren:
Portal.svg
Ursprnglicher Schpfer: Portal.svg: Pepetps
Datei:Qsicon_gesprochen.svg Quelle: https://upload.wikimedia.org/wikipedia/commons/a/a1/Qsicon_gesprochen.svg Lizenz: CC BYSA 3.0 Autoren: Blue coloration of Image:Qsicon exzellent 3.svg by User:Niabot Ursprnglicher Schpfer: Hk kng
Datei:Qsicon_lesenswert.svg Quelle: https://upload.wikimedia.org/wikipedia/commons/4/43/Qsicon_lesenswert.svg Lizenz: CC BY-SA
3.0 Autoren: Image:Qsicon_lesenswert.png basierend auf Image:Qsicon inArbeit.png Ursprnglicher Schpfer: User:Superdreadnought,
User:Niabot
Datei:Wikibooks-logo.svg Quelle: https://upload.wikimedia.org/wikipedia/commons/f/fa/Wikibooks-logo.svg Lizenz: CC BY-SA 3.0
Autoren: Eigenes Werk Ursprnglicher Schpfer: User:Bastique, User:Ramac et al.
Datei:Wikiquote-logo.svg Quelle: https://upload.wikimedia.org/wikipedia/commons/f/fa/Wikiquote-logo.svg Lizenz: Public domain Autoren: ? Ursprnglicher Schpfer: ?
Datei:Wikisource-logo.svg Quelle: https://upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg Lizenz: CC BY-SA 3.0
Autoren: Rei-artur Ursprnglicher Schpfer: Nicholas Moreau
Datei:Wiktfavicon_en.svg Quelle: https://upload.wikimedia.org/wikipedia/commons/c/c3/Wiktfavicon_en.svg Lizenz: CC BY-SA 3.0
Autoren: ? Ursprnglicher Schpfer: ?

10.3

Inhaltslizenz

Creative Commons Attribution-Share Alike 3.0