Notwendigkeitin Logik und Metaphysik eine modale Eigenschaft eines wahren Satzes, wobei es nicht möglich ist, dass der Satz falsch ist, und eines falschen Satzes, wobei es nicht möglich ist, dass der Satz wahr ist. Ein Satz ist logisch notwendig, wenn er ein Gesetz der Logik instanziiert oder dazu gebracht werden kann, ein Gesetz der Logik durch Ersetzen von definitiv äquivalenten Begriffen zu instanziieren. Beispiele sind "Es regnet jetzt oder es regnet jetzt nicht" und "Alle Frauen sind Menschen" (vorausgesetzt, "Frauen" können durch "weibliche Menschen" ersetzt werden). Notwendige Aussagen werden manchmal in allen möglichen Welten als wahr oder falsch (je nach Fall) bezeichnet. Ein bedingt wahrer oder falscher Satz ist somit einer, der in einigen möglichen Welten wahr und in anderen falsch ist (z. B. „Frankreich ist eine Demokratie“). Nach traditioneller Auffassung sind alle wirklich notwendigen Sätze analytisch (tautolog) und a priori erkennbar (unabhängig von der Erfahrung erkennbar). Einige Philosophen erkennen eine zweite Kategorie von „metaphysisch“ notwendigen Sätzen an, die nicht analytisch und im Allgemeinen nicht a priori sind; Beispiele sind Identitätsaussagen wie „Wasser ist H.2 O. ”
Erkenntnistheorie: Notwendige und zufällige Sätze
Ein Satz gilt als notwendig, wenn er unter allen logisch möglichen Umständen oder Bedingungen gilt (ist wahr). „Alle Ehemänner sind
