Lügner-Antinomie

Eine Variante lässt den Kreter Epimenides behaupten, dass alle Leute von Kreta lügen, wobei hinzuzufügen ist, dass die Kreter in der Antike als notorische Lügner galten. Wenn die Behauptung wahr ist, lügt er, die Behauptung muss also falsch sein. Dagegen folgt die Wahrheit der Behauptung nicht aus der Annahme ihrer Falschheit, weshalb es sich in dieser Formulierung nicht um eine eigentliche Antinomie handelt.

Wie A. N. Prior gezeigt hat, ist die Behauptung jedoch falsch, ungeachtet dessen, ob man sie für wahr oder falsch hält, was ein Paradoxon ist.

In anderen Versionen handelt es sich um eine echte Antinomie, z. B. in der Version, die Eubulides von Megara zugeschrieben wird. Die Paradoxie vom Lügner hat er wie folgt formuliert:

"Wenn ein Lügner sagt, dass er lügt, dann bedeutet das, dass er sowohl lügt als auch die Wahrheit spricht, denn wenn er die Wahrheit sagt, so lügt er, und wenn er lügt, so lügt er nicht, sondern sagt die Wahrheit."

Noch eine Variante ist Anlaß für zwei echte Antinomien, nämlich wenn Platon sagt, Sokrates habe recht, und Sokrates sagt, Platon lüge.

Eine neuere Form derselben Antinomie ist von W. V. O. Quine formuliert worden. Hier wird definiert: "S = S ist falsch". Wenn S wahr ist, ist es wahr, dass S falsch ist, S ist also falsch. Aber wenn S falsch ist, dann ist S wahr.

In der Formulierung Tarskis können wir S wie oben definieren. Eine Behauptung ist nun im allgemeinen wahr, wenn es sich so verhält, wie sie sagt, also: S ist wahr, dann und nur dann, wenn S. Wir benutzen nun die Definition von S und setzen "S ist falsch" für das letzte S ein. Wir erhalten nun: S ist wahr, dann und nur dann, wenn S falsch ist.

Bekannt ist die Methode Tarskis zur Umgehung der Lügner-Antinomie. Keine Sprache mit einer gewissen Ausdruckskraft, sagt Tarski, kann semantisch geschlossen sein, d. h. sie kann nicht Ausdrucksmittel besitzen, die eigene Semantik der Sprache zu formulieren. Ihre Bedeutung kann nur in einer Metasprache formuliert werden, die die betreffende Sprache, in diesem Zusammenhang Objektsprache genannt, beschreibt. Die Definition des Satzes S, die in der Formulierung der Lügner-Antinomie enthalten ist, bedeutet eine Verwechslung der Sprachniveaus. Wenn diese Verwechslung entfällt, löst sich die Antinomie auf.

Lust

Die Lust entsteht dadurch, dass ein Streben seinem naturgemäßen Gegenstand in der Wirklichkeit oder in der Vorstellung findet.

Die geistige Befriedigung heißt Freude.

Die Lust, die uns die sinnliche Empfindung schafft, heißt sinnliche Lust.

Die Lust die frei von sinnlichem Reiz und deren Gegenstand ohne Interesse gefällt heißt ästhetische Lust.

Die teleologische Bedeutung der Lust liegt nach Aristoteles darin, dass sie das sachgemäße Handeln unter Kontrolle der Verrnunft hervorrufen soll.

Der Hedonismus lehrt, dass die Lust das höchste Gut und Ziel sittlichen Handelns sei. Der Hedonismus ist eng mit dem Eudämonismus verbunden. Der Grad der Erfüllung des Luststrebens ist das Maß für die ethische Bewertung alles Tuns.

Anhänger des Hedonismus waren die Kyrenaiker, Epikur, Helvétius und La Mettrie.

Eine Variante des Hedonismus ist der hedonistische Utilitarismus (u. a. Bentham).

Nach A. Bain beruht das Gefühl der Lust auf der Harmonie, das der Unlust auf einem Konflikt zwischen unseren Empfindungen.

Mittelbarer Schluss

Beispiele für mittelbare Schlüsse sind:

• der einfache kategorische Syllogismus
• der progressive Syllogismus
• der regressive Syllogismus
• der Syllogismus nach Analogie
• der eduktive Schluss
• der Wahrscheinlichkeitsschluß

Transzendentale Logik

Die transzendentale Logik betrachtet nach Kant die Bedingungen, die dem Wissen einen apriorischen Charakter verleihen und damit allumfassende und unbedingt notwendige Wahrheiten gewährleisten.

Die transzendentale Logik hat es nach Kant ausschließlich mit Gesetzen des Verstandes und der Vernunft zu tun, insofern diese sich nicht apriori auf Gegenstände beziehen.

Wenn als Gegenstand des logischen Denkens Erscheinungen der Erfahrung auftreten, kann nach Kant das Wissen allumfassend und notwendig sein. Sobald das logische Denken die Grenzen der sinnlichen Erfahrung, die Grenze der vom Denken zu ordnenden Welt der Erscheinungen zu überschreiten versucht und gesicherte Kenntnisse von den Dingen an sich zu gewinnen trachtet, gerät es unvermeidlich in Widerspruch mit sich selbst, und dann wird eine Begründung sowohl für eine These als auch für ihre Antithese möglich. Nach Kant entstehen vier Antinomien der kosmologischen Idee von der Vernunft.

Die transzendentale Logik zerfällt nach Kant in die transzendentale Analytik und die transzendentale Dialektik.

Logisches Symbol

Aus diesen Bausteinen werden die wohlgeformten Formeln einer Sprache konstruiert.