Klassische Logik

Klassische Logik

Unter der klassischen Logik versteht man ein logisches System, das die Aussagen-, die Prädikatenlogik erster oder höherer Stufe sowie im Allgemeinen den Identitätsbegriff enthält. Eine erste Axiomatisierung eines solchen Systems hat Gottlob Frege in seiner Begriffsschrift (1879) entwickelt.

Die klassische Logik ist durch genau zwei Eigenschaften gekennzeichnet:

Das Prinzip der Zweiwertigkeit ist vom Satz vom ausgeschlossenen Dritten zu unterscheiden:

p \or \neg p (z. B. „Es regnet, oder es ist nicht der Fall, dass es regnet.“)

stellt einen Satz der klassischen Aussagenlogik dar, kann also syntaktisch aus den Regeln und Axiomen des logischen Systems hergeleitet werden, ohne dass der Wahrheitsbegriff explizit eine Rolle spielt. Demgegenüber ist das Prinzip der Zweiwertigkeit eine Aussage über die Semantik der Logik, welche jeder Aussage einen Wahrheitswert zuordnet.

In Abgrenzung zur klassischen Logik entstehen nichtklassische Logiksysteme, wenn man das Prinzip der Zweiwertigkeit, das Prinzip der Extensionalität oder sogar beide Prinzipien aufhebt. Nichtklassische Logiken, die durch die Aufhebung des Prinzips der Zweiwertigkeit entstehen, sind Mehrwertige Logiken. Die Zahl der Wahrheitswerte (vielleicht besser: Pseudowahrheitswerte) kann dabei endlich sein (z. B. dreiwertige Logik), ist aber oft auch unendlich (z. B. Fuzzy-Logik). Logiken, die durch die Aufhebung der Extensionalität entstehen, verwenden hingegen Junktoren (Konnektive), bei denen sich der Wahrheitswert des zusammengesetzten Satzes nicht mehr eindeutig aus dem Wahrheitswert seiner Teile bestimmen lässt. Ein Beispiel für nichtextensionale Logik ist die Modallogik, die die einstelligen nichtextensionalen Operatoren „es ist notwendig, dass“ und „es ist möglich, dass“ einführt. Ein anderes Beispiel ist die intuitionistische Logik, die zwar keine neuen Operatoren einführt, aber die bestehenden Operatoren anders interpretiert.

Die algebraische Struktur der klassischen Aussagenlogik ist eine zweielementige Boolesche Algebra. Die formale zweiwertige Logik im modernen Sinn wurde In der zweiten Hälfte des 19. Jahrhunderts von Boole, Frege und anderen entwickelt. Die Bezeichnung „klassische Logik“ entstand dann im 20. Jahrhundert zur Abgrenzung von einer Reihe anderer, als nicht-klassisch bezeichneter Logiken.

Manchmal wird der Begriff klassische Logik auch als historischer Begriff verwendet, d. h. bezogen auf Logiker der Antike. Nun wurde aber in der Antike durchaus nicht nur klassische Logik betrieben; vielmehr behandelte schon Aristoteles, der in historischem Sinn geradezu mustergültig klassische Logiker, Sachverhalte nichtklassischer Logik. Es ist – je nach Zusammenhang – nicht immer ganz leicht zu erkennen, in welchem Sinn ein Sprecher/eine Sprecherin den Begriff „klassische Logik“ verwendet.

Beispiele klassisch gültiger Aussagen

Einige bekannte Aussagen, die in der klassischen Logik gültig sind, sind folgende:

Satz vom ausgeschlossenen Widerspruch
\neg(p \and \neg p) (z. B. „Es ist nicht der Fall, dass es (zugleich und am selben Ort) regnet und nicht regnet.“)
Satz vom ausgeschlossenen Dritten
p \or \neg p (z. B. „Die Erde ist rund, oder es ist nicht der Fall, dass die Erde rund ist.“)
Verum sequitur ex quodlibet (Wahres folgt aus Beliebigem)
p \rightarrow (q \rightarrow p) (z. B. „Wenn es regnet, dann regnet es (auch) unter der Voraussetzung, dass die Erde eine Scheibe ist.“)
Ex falso sequitur quodlibet (aus Falschem folgt Beliebiges)
\neg p \rightarrow (p \rightarrow q) (z. B. „Wenn es nicht regnet, dann ist unter der Voraussetzung, dass es (am selben Ort und zur selben Zeit) regnet, die Erde eine Scheibe.“)
Paradox der materialen Implikation
(p \rightarrow q) \vee (q \rightarrow p) (Von zwei beliebigen Sätzen ist immer mindestens einer die hinreichende Bedingung für den jeweils anderen.)

Literatur

  • Antoine Arnauld, Pierre Nicole: Die Logik oder die Kunst des Denkens. Aus dem Französischen übersetzt und eingeleitet von Christos Axelos. 2. durchgesehene und um eine Einleitung erweiterte Auflage. Wissenschaftliche Buchgesellschaft, Darmstadt 1994, ISBN 3-534-03710-3 (Bibliothek klassischer Texte).
  • Gottlob Frege: Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Nebert, Halle 1879.
  • Dov Gabbay: Classical vs non-classical logic. In: Don M. Gabbay, Christopher J. Hogger, J. A. Robinson, J. Siekmann (Hrsg.): Handbook of Logic in Artificial Intelligence and Logic Programming. Band 2: Deduction Methodologies. Clarendon Press, Oxford 1994, ISBN 0-19-853746-8, Kapitel 2, 6.
  • Lothar Kreiser, Siegfried Gottwald, Werner Stelzner (Hrsg.): Nichtklassische Logik. Eine Einführung. 2. durchgesehene Auflage. Akademie-Verlag, Berlin 1990, ISBN 3-05-000274-3.
  • Jan Łukasiewicz: O zasadzie wyłączonego środka. In: Przegląd filozoficzny. 13, 1910, ISSN 1230-1493, S. 372–373 (Über den Satz vom ausgeschlossenen Dritten).
  • Jan Łukasiewicz: Z historii logiki zdań. In: Przegląd filozoficzny. 37, 1934, S. 417–437 (Entdeckung der stoischen Junktorenlogik).
  • Jan Łukasiewicz: Zur Geschichte der Aussagenlogik. In: Erkenntnis 5, 1935, ISSN 0165-0106, S. 111–131. (Deutsche Übersetzung des Artikels: Z historii logiki zdań).

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Logik — (von altgriechisch λογική τέχνη logiké téchnē „denkende Kunst“, „Vorgehensweise“) ist die Lehre des vernünftigen (Schluss)Folgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der …   Deutsch Wikipedia

  • Logik erster Ordnung — Die Artikel Prädikatenlogik und Prädikat (Logik) überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese Überschneidungen. Bitte entferne diesen… …   Deutsch Wikipedia

  • Logik — Folgerichtigkeit; logische Korrektheit; Übereinstimmung; Stimmigkeit; Dialektik; Analytik; Gesetzmäßigkeit; Vernunft; Konsequenz * * * Lo|gik [ lo:gɪk], die; : 1 …   Universal-Lexikon

  • Logik höherer Stufe — Unter Logik höherer Stufe (englisch: Higher Order Logic, HOL) versteht man eine Erweiterung der Prädikatenlogik erster Stufe. Sie basiert auf dem typisierten Lambda Kalkül und geht auf Alonzo Churchs Theory of Simple Types zurück. Entwickelt um… …   Deutsch Wikipedia

  • Klassische Reitkunst — Die Klassische Reitkunst ist die reiterliche Präsentation eines Pferdes, bei der das Pferd durch eine logische und psychologische Ausbildung gymnastiziert werden soll. Inhaltsverzeichnis 1 Klassische Reitkunst 2 Geschichte und Entwicklung 3… …   Deutsch Wikipedia

  • Klassische Fakultäten — Septem artes liberales aus Hortus Deliciarum der Herrad von Landsberg (um 1180) Die Sieben freien Künste (lat. septem artes liberales, seltener auch studia liberalia) sind ein in der Antike entstandener Kanon von sieben Studienfächern, d …   Deutsch Wikipedia

  • Aristotelische Logik — Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“, Margarita Philosophica, 1503/08 (?). Die beiden Hunde veritas und falsitas jagen de …   Deutsch Wikipedia

  • Zweiwertige Logik — Dieser Artikel schildert die moderne Verwendung der Bezeichnung „klassische Logik“. Für Informationen über Logik in der klassischen Antike und über traditionelle Logik im weiteren Sinn siehe Logik, Syllogistik und Begriffslogik. Unter der… …   Deutsch Wikipedia

  • Polykontexturale Logik — Gotthard Günther (* 15. Juni 1900 in Arnsdorf, Landkreis Hirschberg, Schlesien; † 29. November 1984 in Hamburg) war ein deutscher Philosoph und Logiker. Günther entwarf einen über den klassisch zweiwertigen (aristotelischen) Logikkalkül… …   Deutsch Wikipedia

  • Intuitionistische Logik — Der Intuitionismus (eine Art des Konstruktivismus) ist eine von L. E. J. Brouwer begründete Richtung der Philosophie der Mathematik, bei der die Mathematik als freie, rein intuitive Tätigkeit des exakten Denkens angesehen wird und die den… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”