Необходимост

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

оптична илюзия: пречупване на светлинатаПрочетете повече за тази тема Епистемология: Необходими и условни предложения ”Казва се, че предложението е необходимо, ако то е вярно (вярно) при всички логически възможни обстоятелства или условия. „Всички съпрузи са ... Тази статия беше последно преработена и актуализирана от Брайън Дуйнян, старши редактор.