Was lässt sich durch Logik beweisen?
Durch Logik lassen sich nur solche Sätze beweisen, die auf Deduktive Logik basiert sind.
Deduktive Logik verlaüft immer vom Generellen zum Speziellen.
Beispiel:
- Alle Katzen haven vier beine.
- Kitty ist eine Katze.
- Es folgt dass Kitty vier Beine hat.
Der Beweis erfolgt nicht durch Logik allein: Der Ausgangsatz muss auch wahr sein.
Beispiel:
- Alle Katzen sind schwarz.
- Kitty ist eine Katze.
- Es folgt dass Kitty schwarz ist.
Das Denken ist logisch richtig, führt aber zum falschem Ergebnis weil der Ausgangsatz falsch ist.
Induktive Logik
Induktive Logik verlaüft vom Speziellen zum Generellen.
Sie kann also nicht für einen festen Beweis vervendet werden.
Beispiel:
- Wir haben nie einen schwarzen Schwan gesehen.
- Es folgt dass es keine schwarze Schwäne gibt.
Die Unmöglichkeit einen Beweis auf Induktiver Logik zu basieren ist der Grund warum man die Existenz Gottes logisch nicht beweisen kann:
Der Beweis wird üblicherweise wie folgt angelegt:
- Alles was existiert hat einen Kreator.
- Das Universum existiert.
- Also hat das Universum einen Kreator.
Die Logik ist richtig, aber der Ausgangsatz ist das Resultat einer Induktivlogik:
- Alles was von Menschen fabriziert worden ist, hat einen Kreator.
- Deshalb muss auch alles was existiert einen Kreator haben.
Die Wahrheit dieses Satzes bleibt unbewiesen.