Ist die Menge aller wahren bedingten Aussagen gleich der Menge aller wahren Aussagen?

Denn die Konjunktion eines wahren kontingenten Satzes und eines notwendigen Satzes ist kontingent und daher in der Menge aller kontingenten Sätze enthalten. Bedeutet das, dass die Menge aller kontingenten Aussagen die gleiche Menge ist wie die Menge aller wahren Aussagen?

Das hätte ich nicht gedacht.
"Wahr" wo? Wahrheit ist relativ zu der möglichen Welt, auf der die Aussage bewertet wird. Nur notwendige Sätze sind in jeder möglichen Welt wahr, zufällige sind irgendwo wahr und irgendwo falsch, unmögliche sind überall falsch.
Wahrheit ist nicht relativ. Etwas Wahres kann relativ sein. Wahrheit ist eine universell objektive Sache. Wenn es nicht so ist, ist es nicht die Wahrheit, sondern höchstens etwas Wahres.
@overmind, Sie begehen eine voreilige Verallgemeinerung. Es gibt klare unterschiedliche Arten von Wahrheit. Einige Wahrheiten sind für immer wahr, die objektive Wahrheiten sind; Einige Wahrheiten über Behauptungen sind KEINE Konstanten. Das heißt, manchmal ist die Behauptung wahr und manchmal ist sie falsch: dh es regnet gerade jetzt, wo ich bin. Wo ich jetzt bin, regnet es nicht immer. Es gibt semantische Wahrheiten wie Dreiecke haben drei Seiten oder ein Junggeselle ist ein unverheirateter Mann. Es gibt notwendige Wahrheiten, wie zum Beispiel, dass alle Frauen Menschen sind. Sie müssen sich darüber im Klaren sein, welche Art von WAHRHEIT Sie meinen. Werfen Sie sie nicht in einen Topf, da dies zu Verwirrung führt.
Eine Wahrheit, die nicht objektiv allgemein wahr ist, ist keine Wahrheit.
@Overmind Sie möchten sicherlich sagen, dass es einige "Wahrheiten" gibt, die nicht universell sind, aber sie können loca sein.

Antworten (2)

Nein. Nennen wir T die Menge wahrer Aussagen und T* die Menge wahrer kontingenter Aussagen. Sei P ein notwendiger Satz.

Alle notwendigen Aussagen sind wahr, also P in T.

Aber kein notwendiger Satz ist kontingent, denn kontingent bedeutet eben weder notwendig noch unmöglich. Also P nicht in T*. Dann T /= T*.

Ich habe eine Vermutung, woher deine Verwirrung kommt.

Sei Q ein echter Kontingentsatz. Offensichtlich Q in T, Q in T*. Betrachten Sie nun den Satz "P und Q". Nun ist „P und Q“ ein echter kontingenter Satz. Also "P und Q" in T, "P und Q" in T*.

Aber „P und Q“ ist weder P noch Q. .) „P und Q“ in T* zu sagen bedeutet also nicht P in T*.

Kurz gesagt, die Antwort ist nein, aber ich kann die Intuition dahinter verstehen. Das Problem ergibt sich aus der Natur jedes dieser Dinge; Wahrheit und evtl.

Was möglich ist, lässt sich tendenziell in drei Zweige unterteilen:

1) was logisch möglich ist

2) das, was metaphysisch möglich ist

3) das, was physikalisch möglich ist

Andererseits wird Wahrheit im Allgemeinen als Beziehung zwischen Sprache (oder Aussagen) und Realität verstanden, je nachdem, welche Sichtweise Sie einnehmen. Die populäreren Ansichten über die Wahrheit sind tendenziell Korrespondenz- oder deflationäre Ansichten, die die Wahrheit eines Wahrheitsträgers mit diesem Wahrheitsträger gleichsetzen, der etwas ausdrückt, und diese Sache ist der Fall. In jeder möglichen Welt wird die Menge wahrer Aussagen für diese Welt spezifisch sein; jede Aussage wird in Bezug auf die Realität wahr sein, die in dieser möglichen Welt der Fall ist .

Die Mengen jedes dieser Dinge werden verschieden sein, da die Menge aller möglichen Aussagen weitaus größer ist als die Menge aller wahren Aussagen. Dies liegt daran, dass die Menge aller kontingenten/möglichen Aussagen alle wahren Aussagen enthält, da sie möglich sein müssen, wenn sie wahr sind. Aber die Menge enthält auch unwahre Aussagen; dh "der Eiffelturm ist in London" ist in allen drei oben erwähnten Versionen der Möglichkeit möglich, fällt jedoch nicht in die Menge der wahren Aussagen.

Es wäre richtig, bezüglich der Konjunktion mit notwendigen Sätzen zu behaupten, dass die Menge aller kontingenten Sätze die Menge aller notwendigen Sätze enthält. Aber es wäre nicht so, dass die Menge aller wahren Sätze identisch ist mit der Menge aller bedingten Sätze – letztere Menge ist viel größer.