Bwana Honolulu hat geschrieben:fehlgeleitet hat geschrieben:zen-artige erleuchtung ist doch im wesentlichen, dass man herauskriegt, dass man nicht benötigt was man haben will?
Nee. Ich dachte an die Art von "Erleuchtungserfahrung", die sich nicht in Worte fassen (und somit auch nicht direkt weitergeben) lässt, intuitiv, nicht verstandesgemäß. Dieser Knall im Kopf, wenn die ein Kōan ins Hirn fickt. Etwas, das das den (bewussten) Verstand in gewisser Weise überfordert, weil es zeigt, daß unser Denksystem nicht einfach richtig oder falsch, sondern grundlegend unvollständig ist.
fehlgeleitet hat geschrieben:mächtig bin ich vor allen dingen dann wenn ich auf dem scheißhaus sitze oder so.
tja, da muß man im grunde auch gar nicht auf die entwicklungen der logik im 20. jahrhundert eingehen.
bereits der olle kant, der beileibe kein skeptiker war sagte sinngemäß:
"Der Versuch, rein aus Argumenten die Wahrheit inhaltlicher Aussagen zu begründen, ist eine „Logik des Scheins“. Dialektik verstand Kant „als eine Kritik des dialektischen Scheins."
Ein Argument ist in diesem Kontext eine logische Ableitung.
Edit: Möglich auch das Kant den Begriff Argument weiter fasst. In diesem Fall wäre die Aussage natürlich noch stärker.
Das Problem der Logik ist es, und zwar bis heute, den Sprung von der Syntax zu Semantik im allgemeinen nicht zu schaffen.
Es gibt einen sehr grundlegenden Satz in der theoretischen Informatik, der besagt, dass keine nicht-triviale(d.h. semantische) Eigenschaft von Turingmaschinen entscheidbar ist.
Da eine Turingmaschine eine Teilmenge der Prädikatenlogik darstellt, ist natürlich auch diese dann im allgemeinen nicht entscheidbar.
Entscheidbar bedeutet einfach ausgedrückt, das wenn ich eine Menge A und ein Element x habe, dass ich immer feststellen kann ob x Element A oder x nicht Element A.
Schon mal darüber nachgedacht Latexähnliche Funktionen für das Forum zur verfügung zu stellen? Dann könnte Formelsprache benutzt werden.