Was ist der Unterschied (falls vorhanden) zwischen "nicht wahr" und "falsch"?

Eine ziemlich einfache Frage, bei der ich hoffe, dass mir jemand helfen kann.

Abgesehen von den groben Beschränkungen der klassischen Logik: Man denke nur an „weder noch“, „beide“ und vor allem „wir wissen nicht“ = „unbestimmbar“. All dies kann als "nicht wahr" bezeichnet werden, aber "falsch" wäre nicht angemessen.
"Diese Behauptung ist falsch" ist sicherlich nicht wahr. Aber ich glaube nicht, dass Sie behaupten können, dass es falsch ist, es sei denn, Sie definieren "Behauptung" auf ungewöhnliche Weise.
Es scheint einfach, aber tatsächlich ist es eine der komplexesten Fragen in der modernen Logik.
Fragen wie diese unterscheiden Logikisten, die sich um Bedeutungen kümmern, und Formalisten, denen Bedeutungen egal sind.
Es gibt heute viele Logiken im Angebot. einige sind zweiwertig (z. B. wahr oder falsch), aber es gibt auch mehrwertige Logiken. es gibt noch andere, die keine Wahrheitswerte beinhalten. das ist also eine komplexe Frage. in der klassischen 2-wertigen Logik ist nicht wahr gleich falsch. aber zB in der intuitionistischen Logik kann man nicht direkt von „nicht wahr“ zu „falsch“ gehen. Google "Gesetz der ausgeschlossenen Mitte", um zu sehen, warum.
Ich denke, Aphorismus 17 auf Seite 55 hat hier eine gewisse Relevanz.
Abgesehen von vielen gegebenen Antworten finde ich es sehr seltsam, dass niemand auf das Konzept der Unentscheidbarkeit hingewiesen hat. Selbst in der formalen Mathematik ist dies ein sehr bekanntes Konzept in Bezug auf eine Reihe von Sätzen, deren Wahrheit nicht festgestellt werden kann. Ein klassisches Beispiel ist das „Lügnerparadoxon“ (siehe en.wikipedia.org/wiki/Liar_paradox ): In diesem Fall ist ein einfacher Satz nicht wahr, aber auch nicht falsch.
Oder nehmen Sie eine metaphysische Dichotomie oder Antinomie. Im westlichen Denken sind die Extreme entweder wahr oder falsch. Im östlichen Denken (große Verallgemeinerung) wären sie beide nicht wahr, aber weder im aristotelischen Sinne streng wahr noch falsch. Dies wäre in der Tat die vollständige Lösung für die Metaphysik, da es uns erlaubt, alle metaphysischen Dilemmata als logische Missverständnisse aufzulösen. Ich würde Whittakers Buch über Aristoteles' 'De Interpretatione' empfehlen. . .

Antworten (9)

"p ist falsch" impliziert "p ist nicht wahr", aber nicht umgekehrt, weil p auch Unsinn sein kann.

"2 + 2 = 5" ist sowohl falsch als auch nicht wahr.

"2 + 2 > rot" ist weder wahr noch falsch, weil es Unsinn ist. Wenn es falsch wäre, wäre seine Negation "2 + 2 ≤ rot" wahr, was nicht der Fall ist.

Quelle Eine Untersuchung über Bedeutung und Wahrheit

Ich denke, man kann falsch und Unsinn gleichsetzen. In diesem Fall ist auch die Negation einer falschen Aussage falsch.
Während Ihre Unterscheidung zwischen Falschheit und Unsinn insgesamt richtig ist, ist das zweite Beispiel, das Sie gegeben haben, zweifelhaft, da man logischen Atomismus verwenden könnte, um zu zeigen, dass das tatsächlich falsch ist: Sie können "2 + 2 > rot" in (a) ^ zerlegen (b) ^ (c) in (a) „2+2 ist eine Zahl“, (b) „Rot ist eine Zahl“ und (c) „Die Zahl aus (a) > die Zahl (b)“. Da (b) falsch ist, ist auch (a)^(b)^(c) falsch.
@AlexanderSKing - Zum Nachdenken anregen. Eigentlich können wir nach der Typentheorie noch weiter aufschlüsseln: Eine Zahl ist mindestens eine Klasse von Klassen von Dingen; Rot ist eine universelle definiert durch die Klasse aller roten Dinge. Mit anderen Worten, Rot und eine Zahl gehören nicht einmal zum selben Typ. Zu sagen „Rot ist eine Zahl“ ist genauso töricht wie „Huston Rocket ist eine Basketball-Liga“, und nach der Theorie der Typen sind Ausdrücke wie dieser bedeutungslos. Aber ich denke, die Typentheorie hat viel Raum für Erweiterungen; offensichtlich verstehen wir Ausdrücke wie diesen.
Ob Ihr erster Satz gilt oder nicht, hängt davon ab, welche Logik Sie verwenden. unter der klassischen wahrheitsbedingten Logik ist es falsch.
Beachten Sie, dass "not" in der klassischen Logik eine logische Konstante ist, "false" jedoch nicht.
@John Am: Unter klassischer wahrheitsbedingter Logik ist "falsch" definitiv nicht gleichbedeutend mit "Unsinn". Ersteres ist ein Wahrheitswert; Letzteres nicht. es gibt keinen Begriff von „Unsinn“ in der TC-Logik; jeder Satz ist entweder wahr oder falsch. Ein unsinniger Satz ist per definitionem kein Satz.
Ich habe das Gefühl, dass Sie "2 + 2> rot" sinnvoll definieren müssen, bevor Sie berechtigterweise davon sprechen können, die Aussage zu "negieren". Obwohl ich sicherlich zustimme, sind sowohl die Aussage als auch ihre "Negation" undefiniert (unter normaler Mathematik) und daher "nicht wahr", während sie auch "nicht falsch" sind.
@mobileink: In der Frage wurden keine Vorschläge erwähnt.
Sie müssen nicht einmal so weit gehen, in Unsinn zu verfallen. "Wie geht es Ihnen?" ist aus demselben Grund weder wahr noch falsch.
@hvd - zum Nachdenken anregen. Englischsprachige verstehen solche Sätze offensichtlich. Ich denke, es ist eine Aussagefunktion mit einer impliziten Variablen, die darauf wartet, bestätigt zu werden, aber Kommentare wie dieser führen zu tieferen Gedanken. Vielen Dank.
"2 + 2 > rot" ist weder wahr noch falsch, weil es Unsinn ist. Wenn es falsch wäre, wäre seine Negation „2 + 2 ≤ rot“ wahr, was nicht der Fall ist.“ Ich verstehe nicht, wie dies durch das Gesetz der ausgeschlossenen Mitte impliziert wird. Das Gesetz der ausgeschlossenen Mitte impliziert hier, dass „ '2+2 > rot' ist falsch" ist wahr, keine Änderung in der Operation, es sei denn, es kommt von den Axiomen des betrachteten Systems, gegen die ich mich als mathematischer Fiktional wehren werde. Wenn etwas nicht stimmt ' Wenn es ein Kriterium nicht erfüllt, dann hat es keinen Platz auf der Kardinalskala der Dinge, die ein Kriterium erfüllen, also versagt die ordinale Beziehung
@LothropStoddard – regt zum Nachdenken an. Ihr Kommentar führte mich zu vielen verschiedenen Bedeutungen der Wörter "wahr" und "falsch" . Aber seien Sie gewarnt, jede Seite in diesem Teil des Buches verdient Wochen oder vielleicht Monate langsamer Meditation.
@LothropStoddard, Sie verstehen das vorgestellte Konzept nicht. Ihr Missverständnis ist höchstwahrscheinlich, dass Sie Mathematik studieren und denken, dass Mathematik Logik ist. Dies ist eindeutig eine falsche Lehre und Verwirrung für wörtliche Leser. Auch in der Mathematik müssen Sie ähnliche Terme haben, bevor Sie mathematische Operationen durchführen können. Sie wissen offensichtlich, dass Rot keine Zahl ist. Wie können Sie das Konzept multiplizieren oder addieren? Du weißt es besser. Auf diese Weise wird "Unsinn" normalerweise in der Philosophie verwendet, nicht in der Mathematik, dass etwas in der falschen Kategorie verglichen wird oder ein unmögliches Attribut auf ein x angewendet wird, das es nicht aufrechterhalten kann.
@AlexanderSKing ist es möglich, mit Atomismus durch Negation zu einem wahren Satz zu gelangen? Oder funktioniert der Atomismus in einer Logik mit mehr als zwei Wahrheitswerten?

In der klassischen Logik ist etwas weder wahr noch falsch, wenn es grammatikalisch so verzerrt ist, dass es einen Wahrheitswert hat, also sind 2+5 oder „x ist blau“ nicht „wahr“, aber auch nicht „falsch“, sie sind nicht wahrheitsgerecht . Die klassische Annahme war, dass alle wahrheitsgemäßen Ausdrücke allein durch die Syntax unterschieden werden können, dh es gibt eine klare Möglichkeit, an ihrer Bildung zu erkennen, ob sie wahrheitsgemäß sind oder nicht, ohne danach zu fragen, was sie bedeuten. Es ist jedoch leicht, Ausdrücke zu finden, die grammatikalisch wohlgeformt, aber semantisch problematisch sind und manchmal grob als Kauderwelsch bezeichnet werden, z. B. Kategoriefehler wie "Elektronen sind blau". Auch diese sind weder wahr noch falsch, zumindest intuitiv. Wittgenstein schlug sogar vor, dass es in natürlichen Sprachen keine klare Unterscheidung zwischen Syntax und Semantik gibt,Alle Regeln sind "Grammatik" .

Es gibt Ausdrücke ohne Kauderwelsch, die aus anderen Gründen einen problematischen Bezug zur Wahrheit haben, zB "der und der wird morgen die Wahl gewinnen". Ist es heute schon wahr (oder falsch)? Aristoteles und moderne Intuitionisten sagen "nein". Was ist mit unentscheidbaren mathematischen Aussagen wie der Kontinuumshypothese? Gleiche Idee. Der Unterschied zwischen wahr und falsch hat noch eine weitere Dimension. Die klassische Logik geht der Einfachheit halber davon aus, dass dies die einzigen Wahrheitswerte sind, die wahrheitsgerechte Ausdrücke annehmen könnten, dies nennt man Bivalenz, oft verwechselt mit dem Gesetz des ausgeschlossenen Dritten . Mehrwertige Logiken beseitigen diese Annahme. Insbesondere beliebt in Anwendungen Fuzzy-Logikerlaubt bestimmten Behauptungen (normalerweise "vage"), jeden Wahrheitswert zwischen 0 und 1 anzunehmen, wobei 0 falsch und 1 wahr ist. So etwas wie "15 Grad Celsius ist kalt" ist weder wahr noch falsch, sondern hat einen Wahrheitswert von sagen wir 0,6.

All diese Phänomene führten zu der Idee von Logiken mit „Wahrheitswertlücken“, bei denen wir manche Ausdrücke entweder als gar keinen Wahrheitswert oder als einen von „wahr“ und „falsch“ abweichenden Wahrheitswert interpretieren. Manchmal werden wir dazu durch die klassische Logik selbst gezwungen, zB führt der Lügnersatz „Ich bin falsch“ zu einem Widerspruch, wenn wir annehmen, dass er einen der beiden klassischen Wahrheitswerte hat. Es gibt ein ganzes Feld semantischer Paradoxien wie tha Liar, zu deren Lösung Kripke eigens eine ganze semantische Theorie mit Wahrheitswertlücken entwickelt hat . Paradoxe der Unbestimmtheit, wie das Paradoxon des Haufens (ein Korn ist kein Haufen, das Hinzufügen eines einzelnen Korns macht aus einem Haufen keinen Haufen,

In der klassischen Logik sind diese per Definition gleich.

Aber in sehr vorläufigen Logiken wie dem Konstruktivismus oder dem Intuitionismus werden Dinge nur dann als wahr oder falsch bezeichnet, wenn sie ziemlich strenge Bedingungen erfüllen. Menschen, die solche Kriterien verwenden, verlangen, dass eine Wahrheit auf eine bestimmte Weise bewiesen oder durch eine bestimmte Art von Verallgemeinerung erfasst wird, und eine Falschheit, um von einem klaren Gegenbeispiel auszugehen, das den Standard für Wahrheit erfüllt. (Die Idee ist, dass die Wahrheit letztendlich verhandelbar ist, wenn sich unsere Intuition verbessert, oder dass wir es vermeiden sollten, Wahrheiten zu behaupten, die wir nicht durch Berechnungen untermauern können.) Das bedeutet, dass es nicht ausreicht, nicht falsch zu sein, um sie wahr zu machen. Es gibt einen riesigen Mittelweg von Dingen, die für Wahrheit oder Falschheit unzugänglich bleiben.

Ich weiß nicht, was Sie mit "sehr vorsichtig" meinen, viele ernsthafte Mathematiker haben sowohl den Konstruktivismus als auch die intuitionistische Logik studiert.
Ich denke nicht, dass dies so sehr abwertend gemeint ist, um zu sagen, dass die Logiksysteme von Natur aus einen reduzierten Satz deduktiver Axiome akzeptieren und daher "vorläufiger" sind, wenn es darum geht, Schlussfolgerungen zu akzeptieren
wahrheitsbedingte (dh "klassische") Logik verwendet Axiome. konstruktive/intuitionistische Logik verwendet keine Axiome. da ist auch nichts "vorläufig".
Ich denke, Sie wollten damit sagen, dass die konstruktive/intuitionistische Logik auch Axiome verwendet. Nun, dass es sich bei beiden um formale Ableitungssysteme handelt, die auf wohldefinierten Axiomen und Folgerungsregeln basieren.
„Vorläufig“ im Sinne von Zurückhaltung des Urteils. Der Intuitionismus weist Wahrheitswerte nicht aggressiv zu, wenn sie nicht benötigt werden.

Es besteht eine gewisse Mehrdeutigkeit darin, was eine Person genau mit den Ausdrücken meint.

Zum Beispiel verwenden Leute manchmal "P ist wahr" (bzw. "P ist falsch"), um zu bedeuten, dass P in jedem logischen System, das Sie verwenden, tatsächlich bewiesen (bzw. widerlegt) werden kann.

Mit einer solchen Bedeutung, wenn P eine unentscheidbare Aussage wäre – eine, die weder bewiesen noch widerlegt werden kann – dann würde man behaupten „P ist nicht wahr“, aber nicht behaupten „P ist falsch“.


Wenn wir Aussagen in einer mehrwertigen Logik Wahrheitswerte zuweisen, kann die natürliche Sprache in ähnlicher Weise nicht gut unterscheiden

  • Wir haben der Proposition P nicht den Wert „wahr“ zugewiesen
  • Wir haben der Aussage „nicht P“ den Wert „wahr“ zugewiesen.
  • Der Aussage P haben wir den Wert „nicht wahr“ (also „falsch“) gegeben

Also ist es wieder etwas mehrdeutig, was eine Person genau meint, wenn sie sagt "P ist nicht wahr" oder "P ist falsch".

Lassen Sie mich versuchen, den Unterschied zu verdeutlichen. Beginnen wir mit der Zuweisung eines Wertes von -1 zu false und +1 zu true und 0 zu irgendetwas "dazwischen".
Wenn jemand sagt, dass etwas falsch ist, hat es nur einen Wert von -1.
Wenn jemand sagt, dass etwas nicht wahr ist, kann es nicht nur einen Wert von -1, sondern auch von 0 haben. Daher ist nicht wahr (0, -1) nicht dasselbe wie falsch (-1).

Die drei klassischen Denkgesetze , die der Aussagenlogik zugrunde liegen, sind das Identitätsgesetz, das Gesetz der Widerspruchsfreiheit und das „Gesetz des ausgeschlossenen Dritten“ . Letzterer besagt, dass jeder Satz entweder wahr oder falsch ist; es gibt nichts dazwischen. In seinem Buch über Metaphysik stellt Aristoteles das Gesetz der Widerspruchsfreiheit fest und erklärt dann das Gesetz des ausgeschlossenen Dritten wie folgt:

Aber andererseits kann es zwischen Widersprüchen kein Mittelding geben, sondern wir müssen von einem Subjekt ein Prädikat entweder bejahen oder verneinen. Das wird zunächst klar, wenn wir definieren, was das Wahre und das Falsche sind. Zu sagen, was ist, dass es nicht ist, oder was nicht ist, was es ist, ist falsch, während es wahr ist, zu sagen, was ist, dass es nicht ist, und was nicht ist, dass es nicht ist; so dass derjenige, der von irgendetwas sagt, dass es ist oder nicht ist, entweder sagen wird, was wahr oder was falsch ist. (Metaphysik, Buch IV, Teil 7, übersetzt von Ross)

Das Gesetz des ausgeschlossenen Dritten impliziert, dass jede Aussage, die nicht wahr ist, falsch sein muss, und jede Aussage, die nicht falsch ist, muss wahr sein. Die anderen Antworten auf diese Frage weisen zu Recht darauf hin, dass diese in der Logik gleich sind, aber das obige Prinzip zeigt Ihnen das Axiom, von dem dies kommt.

Die LEM sagt nicht, dass jede Behauptung wahr oder falsch ist. Die Regel ist, dass für die Anwendung des LEM auf ein legitimes widersprüchliches Paar eines der Paare wahr und das andere falsch sein muss. Ob dies bei einigen Sätzen der Fall ist, ist eine außerlogische Frage. Dies ist vielleicht das am häufigsten durcheinandergebrachte Thema in der gesamten Philosophie und es verursacht Chaos. Es führt zu einer großen Sammlung hartnäckiger metaphysischer Dilemmata und der Stagnation der Philosophie.

Ich habe andere Antworten überflogen und denke, dass dies niemand erwähnt hat. Nun, wenn wir die klassische Logik betrachten, dann ist ihre "Bedeutung" dieselbe. Wir nennen dies Äquivalenz. Also sind "nicht wahr" und "falsch" gleichwertig . Aber sie sind nicht identisch , zumindest syntaktisch sind sie verschieden und bestehen aus verschiedenen "Symbolen", wenn wir das so sagen können.

Um den Unterschied zu verstehen, können Sie zum Beispiel an die beiden Bürger John und Drake denken. Sie sind rechtlich gleich, dh gleichgestellt. Aber das bedeutet nicht, dass sie dieselbe Sache/Person/Entität sind. Es ist wie zwei 1€-Geldscheine, eines aus Papier und das andere aus Münze. Sie sind gleichwertig, da sie den gleichen Wert haben. Aber nicht identisch, zumindest weil es Automaten gibt, die nur Münzen annehmen und umgekehrt. Wenn Sie also einen Euro in einer nicht geeigneten Form haben, können Sie Ihr Lieblingsgetränk nicht kaufen, obwohl Sie über den genauen Geldbetrag verfügen, um es kaufen zu können.

PS Ich denke, Identität und Äquivalenz sind kontextabhängige Begriffe.

Bitte unterscheiden Sie zwischen etwas, das nicht „wahr“ ist, und etwas, das „nicht wahr“ ist. Im zweiten Fall bedeutet "nicht wahr" genau "falsch", was die strikte Negation dessen ist, dass es wahr ist.

"Das Auto ist nicht weiß"

1) Wenn "Das Auto ist nicht weiß", bedeutet dies, dass es eine andere Farbe hat.

2) Wenn "Das Auto nicht weiß ist", dann wird davon ausgegangen, dass das "Gegenteil" von Weiß existiert (vielleicht Schwarz), und das Auto hat speziell diese Farbe.

Ist im Satz „x is not true“ die Negation des Verbs „not“? Wenn ja, dann könnte x entweder falsch oder unsinnig sein. Wenn „nicht“ Teil des direkten Objekts ist (x ist y, wobei y = „nicht wahr“ oder „unwahr“), dann ist x falsch, weil „falsch“ die Negation von „wahr“ ist.

Diese Antwort ist falsch. Im Bereich des Farbdiskurses ist der Satz nicht (weiß) genau äquivalent zu allen anderen Farben außer Weiß, das „Gegenteil“ von Weiß ist die Vereinigung aller anderen Farben.
Wenn man von Farben spricht, macht es die Physik notwendig, zwischen "weißem" Licht und "weißer" Farbe zu unterscheiden.

In einigen Fällen kann nicht wahr entweder falsch oder null sein, aber meistens bedeutet nicht wahr nur falsch.

Wahrheit ist eine Bedingung für Aussagen (Äußerungen, Aussagen, Sätze und dergleichen – siehe Kapitel 9 von John R. Searles „The Construction of Social Reality“ ). Diese Bedingung ist erfüllt, wenn die Äußerung zu dem passt (passt, entspricht ...) was ist (der Fall, die Welt, Sachverhalte usw.). Das Adjektiv „wahr“ beschreibt die Erfüllung dieser Bedingung.

„Nicht wahr“ und das gleichbedeutende Adjektiv „falsch“ beschreiben einen Zustand, in dem diese Äußerungsbedingung nicht erfüllt ist (erfüllt, erhalten …). geben einen Null- (oder Null-) Status bezüglich des Wahrheitswerts an. Zum Beispiel ist die Aussage, dass "Ruebens ein besserer Maler als Pollock ist" weder wahr noch falsch - einfach eine Frage der Übereinstimmung oder was allgemein als "treu zu Ihnen" (oder mir, oder uns oder ihnen treu) beschrieben wird. . Das sind Gefühlssache, Meinung, poetischer Sprachgebrauch und so weiter. Beachten Sie, dass die Objekte dieses Satzes (Ruenbens, Pollock, ihre Gemälde und die Meinung des Äußerers über sie) nicht fiktiv sind. Ich erwähne dies, um einen Satz mit nur perspektivischem (oder situativem) Wahrheitswert (nicht empirischem oder axiomatischem Wahrheitswert) von Sätzen zu unterscheiden, die keinen rational bewertbaren Wahrheitswert haben, wie z "Yay!" oder "geh weg".

Das heißt, dass solche Sätze nicht falsch sind, sondern nur, dass die Bewertung der Wahrheitsbedingung für den Anlass ihrer Äußerung unzureichend ist. Bedenken Sie, dass sogar ein Satz, der rational als wahr oder falsch beurteilt werden kann, tatsächlich ohne Rücksicht auf eine solche Bewertung geäußert werden kann. Wenn ich zum Beispiel in meiner Dusche stehe, während ich Französisch übe, und den Satz „il pleut“ rezitiere, ist das kein Kommentar zu mikroklimatischen Bedingungen. Wenn ich ein französisches Café betrete, völlig durchnässt von einem plötzlichen Sommerregensturm, von dem die Gäste nichts wussten, und wenn ich seltsame Blicke erhalte, zeige ich nach oben und sage: "il pleut!"

In einem spezialisierten Diskurs haben "Wahrheit" und "Falschheit" eine breitere Verwendung von "nicht wahr", aber nur im technischen Bereich und nicht für empirische Aussagen des Falls.