Hilfe wir verblöden

[Osram]

Original von Aldo:
@ Hetfield1985
Du solltest deinen Vorwurf der Polemik nicht dadurch untermauern, indem du auf die letzten Wahlen anspielst.
Dadurch outest du dich selbst als Troll...
Aber ich versuche mal eine unpolemische Stellungnahme FÜR die Wissenschaft:

Stimme dir teilweise zu weil die Antwort von Hetfield war vielleicht etwas ungeschickt formuliert Muß aber auch teilweise Hetfield recht geben, denn auch ich habe manchmal den Eindruck das es heutzutage schon als \"schick\" angesehen wird Leute, die an etwas \"glauben\", als dumm oder naiv darzustellen, und das ganze mit irgendwelchen abschätzigen Kommentaren die man weder als tolerant noch besonders intelligent bezeichnen kann Wer Toleranz bzgl. seiner eigenen Meinung von anderen erwartet sollte auch anderen gegenüber tolerant sein!

Jetzt mal zum Thema Axiome und Aussagenlogik... (die ja einen ziemlich wichtigen Teil unserer heutigen modernen Wissenschaft darstellen):
Also, einfach ausgedrück ist Aussagenlogik zunächst einmal nur eine Menge von Regeln welche beschreibt wie man Zeichenketten umformen kann.
Diese Zeichenketten bestehen aus Symbolen für Axiome, logische Verknüpfungen wie zB. UND, ODER, NICHT, WAHR, FALSCH und noch so ein paar andere Kleinigkeiten. Mit Hilfe der Umformung dieser Zeichenketten nach dem Regelsystem der Aussagenlogik können aus den Axiomen sogenannte Sätze hergeleitet werden. Alle herleitbaren Sätze gehören zum System der Aussagenlogik, alle Zeichenketten die sich nicht herleiten lassen gehören nicht dazu.
Bis hierhin haben alle Axiome und Sätze der Aussagenlogik erstmal überhaup keine Bedeutung. Erst jetzt kommt der Schritt das man die Axiome mit einer Bedeutung versieht und ebenfalls die Symbole für WAHR und FALSCH so interpretiert wie wir uns die Bedeutung für WAHR und FALSCH vorstellen.

Dieses Methode als sich bisher der Erfahrung nach als recht zuverlässig erwiesen um Voraussagen über die Welt zu machen wie wir sie erfahren. Man sollte aber trotzdem nicht vergessen das auch die Aussagenlogik eigentlich von den Menschen erfunden wurde in dem \"glauben\" das sie etwas sinnvolles darstellt. Sie ist nicht durch irgendeine Art von Naturgesetz gegeben

Hier mal ein kleines Beispiel wie die Verwendung von Aussagenlogik und Axiomen zu ziemlich unterschiedlichen Aussagen in der Geometrie führen können:
Euklid (der alte Grieche ) versuchte damals schon die Geometrie mit Hilfe von Axiomen zu beschreiben. Eines seiner Axiome war, das zwei parallele Geraden sich niemals schneiden. Dies führte zu der Art von Geometrie wie wir sie heute alle aus der Schule kennen. Man kann dieses Axiom aber auch ersetzen durch eines was besagt das sich alle Geraden in genau 2 Punkten schneiden. Dies führt zu einer völlig anderen Art von Geometrie, aber beide Arten von Geometrie bilden ein System von Aussagen das jedes für sich gesehen widerspruchsfrei ist ;D
--
Es gibt Licht, und es gibt Osram... ,-)