Benutzer-Werkzeuge

Webseiten-Werkzeuge


logik

LOGIK

- WISSENSCHAFT, die untersucht, welche Aussageformen wahre Aussageformen sind → formale Logik
- Wissenschaft von dem WISSEN an sich (HEGEL)
- Wissenschaft, die nichts als die formalen Regeln alles Denkens ausführlich darlegt und strenge beweiset (KANT)
- VORAUSSETZUNG aller theoretischen ERKENNTNIS überhaupt (LEIBNIZ)
- man kann darauf verzichten, wenn ein WIDERSPRUCH aufgezeigt wurde (LOCKE)
- der Zement unserer ZIVILISATION, mit der wir unter Gebrauch unserer VERNUNFT aus dem CHAOS emporsteigen (Surak)
- SCHLÜSSEL für die METAPHYSIK (RUSSELL) → zuerst bei PARMENIDES
- verkappte THEOLOGIE, und die bloße Forderung widerspruchslosen Denkens läuft auf THEISMUS hinaus (Stirner)
- Wissenschaft von den normativen Gesetzen menschlichen Erkennens (Überweg)

freie Logik

- will Platz schaffen für Dinge, die in der klassischen Logik nichts bezeichnen, z.B. künstliche Objekte, für die gilt α = β - der gleiche Gegenstand

Geschichte der Logik

Antike

- zwei Zweige

  1. die das logische Verhältnis ganzer Sätze in den Mittelpunkt rückende megarisch-stoische Logik: EUKLEIDES, Diodor, Philo von Megara, ZENON, CHRYSIPPOS → prägen auch zuerst den BEGRIFF Logik
  2. die die ANALYSE von Begriffsverhältnissen akademisch-peripatetische Logik (Platon, ARISTOTELES, THEOPHRAST) → Aristoteles nennt diese Analysetätigkeit ANALYTIK

- in der Spätantike wurde der STREIT über das WESEN der Logik von AMMONIOS vermittelt; Item: Ist sie Werkzeug, fragten die Peripatetiker der PHILOSOPHIE oder Teil, so die STOIKER, oder beides zugleich, wie die Platoniker meinten?

Logik des Individuellen

- von Max Weber, WINDELBAND, Rickert und DROYSEN entwickelter methodologischer Versuch, die Geschichtswissenschaft im Sinne einer Verbindung von Natur und Geschichte zu diametralisieren und letztlich auf diesen GEGENSATZ zu begründen (Rothacker)

intuitionistische Logik

In der klassischen Logik hat jeder Satz einen bestimmten Wahrheitswert: Er ist entweder WAHR oder falsch. Man spricht auch vom PRINZIP der Zweiwertigkeit.
In der mehrwertigen Logik wird mit mehr als diesen zwei Wahrheitswerten gearbeitet, d.h. das Prinzip vom ausgeschlossenen Dritten aufgegeben.
Die Wahrheitswerte der mehrwertigen Logik werden oft als Quasiwahrheitswerte bezeichnet.
Die intuitionistische Logik akzeptiert nur zwei Wahrheitswerte, schreibt aber nicht jedem Satz einen bestimmten Wahrheitswert zu. Letzteres folgt daraus, daß Wahrheit und Falschheit dort als Behauptbarkeit beziehungsweise nachweisbare Falschheit verstanden werden. Auch hier gilt das Prinzip vom ausgeschlossenen Dritten nicht.
Parakonsistente Logiken verzichten dagegen auf das Prinzip vom ausgeschlossenen Widerspruch und akzeptieren, daß Aussagen mehrere Wahrheitswerte haben können.
In der imaginären Logik gilt weder das Prinzip vom ausgeschlossenen Dritten noch das Prinzip vom ausgeschlossenen Widerspruch.

- ist Teilgebiet der klassischen Logik, steht jedoch in KONKURRENZ zu ihr und kann nicht aufrecht erhalten werden
- wird empirisch begriffen und muß demnach erweiterbar sein, doch 1934 stießen die Forscher an ihre Grenzen
- wurde durch GÖDEL 1935 modalisiert
- Wahrheitswerte sind für sie nicht relevant, weil sie keine Endlichkeit annimmt
- Lorenzen liefert aber wegen der NOTWENDIGKEIT, Arbeitsergebnisse vorzuweisen, ein Verfahren zur Wahrheitsbestimmung → man muß zwischen wahr und beweisbar unterschieden, denn Beweissysteme erfassen nur einen Ausschnitt der Wahrheit

Aufgabe

- Formalisierung mathematischer IDEEN
- besonders von Holländern entwickelt: Heyting, Brouver

Ausgangsthesen

  • natürliche Zahlen sind nur potentiell unendlich
  • Existenzbeweise mathematischer Objekte sind niemals indirekte und können nur über die Konstruktion des Objektes geführt werden → KONSTRUKTIVISMUS, mithin fällt vieles Gedachte weg, weil es nicht als existierend gezeigt werden kann

- ANGRIFF auf das ausgeschlossene Dritte, denn dieses kann nur für endliche Bereiche gelten → im unendlichen Bereich kann das ausgeschlossene Dritte nicht ausgeschlossen werden
- Das GESETZ von der Beseitigung der doppelten NEGATION gilt nicht → es wird nur eine AUSSAGE über den gegenwärtigen Erkenntnisstand getroffen, nicht etwas Schlußfolgerndes behauptet

inverse Logik

- Form der Gesprächsführung, also Teil der RHETORIK
- man erreicht sein Ziel, indem man dem renitenten resp. unentschlossenen Gesprächspartner das Gegenteil von dem unterbreitet, was man selber erreichen will, reizt seinen Widerspruchsgeist und kann ihn so lenken → SYSTEM der Täuschung

klassische Logik

Prinzipien

  • Zweideutigkeitsprinzip

- LOGISCH unanalysierte Elemente können zwei Werte annehmen: wahr, falsch → „vielleicht“ ist nicht zugelassen
- induktives Verfahren führt zu Aussagen

  • Extensionalitätsprinzip

- die Werte zusammengesetzter Ausdrücke lassen sich funktional aus den Werten der Teile bestimmen

nichtklassische Logik

Prämisse

- die Welten des logisch Geltenden können sich entwickeln, so daß die Denkvoraussetzungen nicht mehr gelten

Folgen

- es interessiert nur, was erwiesen ist
- es interessiert nicht, was gelten müßte
- Aufgabe des Zweideutigkeitsprinzips
- entscheidend sind die Vergleichskriterien

Sinnzeichen

  • 𝔸 theoretische Allmenge
  • ALLQUANTOR → ∀ m ∈ M ∃ f ∈ F : (m,f) ∈ g (Für alle Elemente der Quelle m ∈ M gibt es mindestens einen Wert f ∈ F des Ziels, mit dem sie ein geordnetes Paar bilden.)
  • F Bildmenge
  • f ∈ F Bildpunkt
  • ∈ Element-Zeichen
  • ∃ „es gibt mindestens ein“
  • ∌ enthält nicht als Element
  • ↺ Gegensinn
  • ∘ Hintereinanderausführung, Kombination R ∘ C, zuerst R ausführen, dann C
  • |{a,b}| = 2 MÄCHTIGKEIT
  • ∅ leere Menge
  • M ∈ 𝔓{a,…,z} veränderliche Menge |{a,b}| = 2, |𝔓{a,b}| = |{0, {a},{b},X}| = 4 = 2×2 = 2²
  • { … } Mengenklammern
  • 𝔓{a,b} Potenzmenge aller Teilmengen der Menge {a,b}
  • R ⊂ (A × B) Relation
  • ∩ Schnitt von Mengen {2,3,5,7} ∩ {2,4,6,8} = {2} (Schnittmenge aus den geraden Zahlen zwischen 1 und 9 und demn Primzahlen zwischen 1 und 9
  • ⊂ Teilmenge; Reflexivität A ⊂ A
  • A:={a,…,d} Übertragung, Zuweisung
  • ↻ Uhrzeigersinn
  • R⁻¹ ⊂ (A × B)⁻¹ = B × A Umkehrrelation
  • ∪ Untermenge
  • \ Unterschiedsmenge resp. Mengendifferenz erzeugend
  • M Urmenge
  • m ∈ M Urpunkt
  • ¬ (z ∈ X) Verneiner, daß z ein Element von X ist; auch z ∉ X
  • → Zuordnung, Beziehung oder Zusammenhang
  • ⇒ drittwirksame Zuordnung von A zu C: A ⇒ B ⇒ C

Relationen

- sechzehn Variationen, die Entscheidungen begründen helfen, im Kern aus sieben Grundrelationen entstanden

  1. ∧ UND
  2. ∨ ODER
  3. ≠ ⇎ ausschließlich oder XOR, Antivalenz
  4. ¬ NICHT
  5. ¬(∧) NICHT UND - Umkehrung des Wahrheitswertes
  6. ¬(∨) NICHT ODER
  7. ¬(⇎) = ⇔
logik.txt · Zuletzt geändert: 2024/11/11 05:59 von Robert-Christian Knorr