В данном разделе представлены словари и энциклопедии по философии и
смежным отраслям знания, отражающие лучшие традиции энциклопедического дела в России и за рубежом. Вы также можете включиться в это дело,
став одним из авторов Открытой философской энциклопедии.
[Помощь]
необходимость В логике и метафизике, модальное свойство истинного высказывания, вследствие которого невозможно, чтобы оно было ложным, а также модальное свойство ложного высказывания, вследствие которого невозможно, чтобы оно было истинным. Высказывание является логически необходимым, если его форма представляет собой логический закон или оно может быть приведено к такой форме путем замены входящих в его состав терминов на дефиниционально эквивалентные. Примерами могут служить высказывания: «Сейчас идет дождь или сейчас не идет дождь» и «Все мужчины – люди» (предполагается, что термин «мужчины» может быть заменен термином «люди мужского пола»). Иногда говорят, что необходимые высказывания должны быть истинными или - в зависимости от обстоятельств - ложными во всех возможных мирах. Таким образом, условно истинным высказыванием можно назвать такое, которое истинно в одних возможных мирах и ложно в других (напр., «Франция – это демократическое государство»). Все истинные логически необходимые высказывания являются аналитическими (различие аналитического и синтетического) и познаваемы априори. Некоторые философы признают вторую категорию «метафизически» необходимых высказываний, которые не являются ни аналитическими, ни, как правило, априорными; примерами здесь могут служить тождественные положения типа «вода – это H2O.»