необходимост, в логиката и метафизиката, модално свойство на истинското предложение, при което не е възможно предложението да бъде невярно и на невярно предложение, при което твърдението да не е вярно. Предложението е логично необходимо, ако то създава закон на логиката или може да бъде направено за създаване на закон на логиката чрез заместване на определено еквивалентни термини. Примери са „Сега вали или не вали сега“ и „Всички жени са човешки същества“ (при условие, че „жените“ могат да бъдат заменени с „женски човешки същества“). Във всички възможни светове понякога се налагат верни или неверни предложения (според случая). Следователно условно вярно или невярно твърдение е вярно в някои възможни светове и неверно в други (напр. „Франция е демокрация“). Според традиционното мнение, всички истински необходими предложения са аналитични (тавтологични) и априорни (познаваеми независимо от опита). Някои философи признават втора категория „метафизически“ необходими предложения, които не са аналитични и като цяло не са априорни; примери включват изявления за идентичност като „Водата е Н“2 О. ”
епистемология: Необходими и условни предложения
„Предложението се казва, че е необходимо, ако то е (вярно) при всички логически възможни обстоятелства или условия. „Всички съпрузи са
