Falsch.closs hat geschrieben:Logik ist Folge von SetzungenScrypt0n hat geschrieben:Nein, mit Logik haben deine Behauptungen nun wirklich nichts zu tun.
Logik lässt sich natürlich auch auf eine Setzung verlagern; doch benötigt die Logik keine Setzung!closs hat geschrieben:Auf Basis von Setzung A1 ist A2 logisch
Beispiel?Scrypt0n hat geschrieben:doch benötigt die Logik keine Setzung!
Wenn ich dein direkter Vorgesetzter wäre - und du Hemuls direkter Vorgesetzter wärst - so wäre ich logischerweise ebenfalls Hemuls Vorgesetzter!closs hat geschrieben:Beispiel?Scrypt0n hat geschrieben:doch benötigt die Logik keine Setzung!
Ich habe da vor einiger Zeit in einem Kunstkatalog ein Glas gesehen, das sah aus wie zerbrochen, war vom Künstler aber genauso konstruiert.Scrypt0n hat geschrieben: Ein Glas kann nicht gleichzeitig zerbrochen und nicht zerbrochen sein. Unabhängig jeglicher Setzung.
Du hast doch die Antwort selbst gegeben: Es sah aus wie zerbrochen, also NEIN.ThomasM hat geschrieben:Ich habe da vor einiger Zeit in einem Kunstkatalog ein Glas gesehen, das sah aus wie zerbrochen, war vom Künstler aber genauso konstruiert.Scrypt0n hat geschrieben: Ein Glas kann nicht gleichzeitig zerbrochen und nicht zerbrochen sein. Unabhängig jeglicher Setzung.
Ist das jetzt zerbrochen oder nicht?
Auf das Nein kommt man aber nur, weil man eine Vorinformation (eine Setzung) hineinsteckt, dass nämlich der Künstler dieses Kunstwerk mit Absicht genau so hergestellt hat.Pluto hat geschrieben: Du hast doch die Antwort selbst gegeben: Es sah aus wie zerbrochen, also NEIN.
Nein; man untersucht das Objekt eben - und entweder ist es zerbrochen oder es ist nicht zerbrochen.ThomasM hat geschrieben:Auf das Nein kommt man aber nur, weil man eine Vorinformation (eine Setzung) hineinsteckt, dass nämlich der Künstler dieses Kunstwerk mit Absicht genau so hergestellt hat.Pluto hat geschrieben: Du hast doch die Antwort selbst gegeben: Es sah aus wie zerbrochen, also NEIN.
Ganz bestimmt nicht. Ich bin darauf gekommen, weil kein Mensch so verrückt ist eine Handvoll Scherben zu kaufen, also muss das zerbrochene Aussehen Absicht des Künstlers sein.ThomasM hat geschrieben:Hat man diese Vorinformation nicht bzw. nimmt man diese Tatsache nicht an, hat man keinen Hinweis darauf, ob das Glas nun zerbrochen ist.
Bzw. geht man von der Setzung aus, dass das Aussehen den Sinn bestimmt, dann würde man sagen "klar ist das zerbrochen, das sieht man doch"
Die klassischen Logik (A = A; A ≠B...), ist völlig unabhängig von den Axiomen der Mathematik, ja selbst von einem Beobachter unabhängig sind, und gelten sehr wahrscheinlich überall im Universum.ThomasM hat geschrieben:Das Beispiel, das er bringt, zeigt aber gerade, dass eben auch in der Logik Annahmen notwendig sind. Für jemand, der sich mit Mathematik auskennt, ist das allerdings eine Trivialaussage. Die gesamte Mathematik hängt an Axiomen und Logik ist nichts weiter als eine spezielle Mathematik.
Nein.Scrypt0n hat geschrieben: Nein; man untersucht das Objekt eben - und entweder ist es zerbrochen oder es ist nicht zerbrochen.
Auch ein zerbrochenes, wieder zusammen gesetztes Glas ist ein zerbrochenes...
ThomasM hat geschrieben:Klassische Logik beruht auf Axiomen. Im Zweifel ist das, was du als "gilt für das ganze Universum" bezeichnest, das Axiom. Whitehead und Russel wären sehr traurig über deine Aussage.
Lies einfach in http://de.wikipedia.org/wiki/Aussagenlogik das Kapitel 4.2.4
Wenn man das unter "Axiomatisierung" versteht... bitte. Dannn ist fast jede Aussage ein Axiom.Wikipedia hat geschrieben: Unter der klassischen Logik versteht man ein logisches System, das die Aussagen-, die Prädikatenlogik erster oder höherer Stufe sowie im Allgemeinen den (logischen) Identitätsbegriff enthält. Eine erste Axiomatisierung eines solchen Systems hat Gottlob Frege in seiner Begriffsschrift (1879) entwickelt.
Die klassische Logik ist durch genau zwei Eigenschaften gekennzeichnet:
- Jede Aussage hat einen von genau zwei Wahrheitswerten, meist falsch und wahr (Prinzip der Zweiwertigkeit/Bivalenzprinzip).
- Der Wahrheitswert jeder zusammengesetzten Aussage ist eindeutig durch die Wahrheitswerte ihrer Teilaussagen bestimmt (Prinzip der Extensionalität).
