Необхідність, в логіці та метафізиці, модальна властивість істинного твердження, внаслідок якого неможливо, щоб пропозиція була хибною, і помилкової пропозиції, через яку не можна, щоб пропозиція була істинною. Судження є логічно необхідним, якщо воно створює закон логіки або може бути зроблено для створення закону логіки шляхом заміни дефініційно еквівалентних термінів. Прикладами є «Зараз іде дощ або зараз не йде дощ» та «Усі жінки - це люди» (припускаючи, що «жінок» можна замінити на «жінок-жінок»). Іноді кажуть, що необхідні пропозиції є істинними чи хибними (залежно від обставин) у всіх можливих світах. Таким чином, умовно вірним чи хибним твердженням є те, що є істинним у деяких можливих світах, а помилкове в інших (наприклад, «Франція - це демократія»). Відповідно до традиційної точки зору,всі справжні необхідні положення аналітичні (тавтологічні) і пізнавані апріорі (пізнавані незалежно від досвіду). Деякі філософи визнають другу категорію "метафізично" необхідних положень, які не є аналітичними і, як правило, не апріорними; приклади включають заяви про ідентичність, такі як «Вода - це Н2 О. "
Детальніше про цю тему: епістемологія: необхідні та умовні пропозиції »Пропозицію вважають необхідною, якщо вона виконується (відповідає дійсності) за будь-яких логічно можливих обставин або умов. “Всі чоловіки ... Ця стаття була нещодавно переглянута та оновлена Брайаном Дуйньяном, старшим редактором.
