Konieczność, w logice i metafizyce, modalna właściwość prawdziwego zdania, w którym twierdzenie nie może być fałszywe, i fałszywe zdanie, w którym twierdzenie nie jest możliwe. Twierdzenie jest logicznie konieczne, jeśli tworzy instancję prawa logiki lub może zostać utworzone w celu utworzenia reguły logiki poprzez zastąpienie definicyjnie równoważnych terminów. Przykładami są „Pada teraz lub nie pada teraz” i „Wszystkie kobiety są istotami ludzkimi” (zakładając, że „kobiety” można zastąpić „kobietami”). Niezbędne zdania są czasami uważane za prawdziwe lub fałszywe (w zależności od przypadku) na wszystkich możliwych światach. Zdanie warunkowe prawdziwe lub fałszywe jest zatem tym, które jest prawdziwe w niektórych możliwych światach, a fałszywe w innych (np. „Francja jest demokracją”). Zgodnie z tradycyjnym poglądem wszystkie naprawdę potrzebne zdania są analityczne (tautologiczne) i poznawalne a priori (poznawalne niezależnie od doświadczenia). Niektórzy filozofowie uznają drugą kategorię „metafizycznie” niezbędnych zdań, które nie są analityczne i ogólnie nie są a priori; przykłady obejmują stwierdzenia tożsamości, takie jak „Woda to H.2 O. ”
epistemologia: propozycje konieczne i warunkowe
„Mówi się, że propozycja jest konieczna, jeśli ma (jest prawdziwa) we wszystkich logicznie możliwych okolicznościach lub warunkach. „Wszyscy są mężami
