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?
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.
Mosibur Ullah
Konifold
Überdenken
Logisch
Überdenken
leichtsinnig