Logische Notwendigkeit

In der modernen Logik ist eine wahre Aussage genau dann logisch notwendig, wenn ihre Negation entweder direkt oder in der Form einer logischen Folgerung einen formalen Widerspruch, d. h. eine Aussage der Form sowohl P als auch nicht-P, impliziert.

Der Empirismus akzeptiert nur Aussagen mit logischer Notwendigkeit. Diese Auffassung ist u. a. von Kripke kritisiert worden.

Quine, hat den Versuch der Empiristen, den Begriff der logischen Notwendigkeit mit Hilfe der Begriffe analytisches Urteil und Sinn zu erklären, in Zweifel gezogen.

In Hegels Logik ist etwas eine logische Notwendigkeit, wenn es nicht anders gedacht werden kann.