Kebutuhan, dalam logika dan metafisika, properti modal dari proposisi yang benar di mana proposisi tidak mungkin salah dan proposisi salah dimana proposisi tersebut tidak mungkin benar. Proposisi secara logis diperlukan jika instantiate hukum logika atau dapat dibuat untuk instantiate hukum logika melalui penggantian istilah-istilah yang secara definisi setara. Contohnya adalah "Hujan sekarang atau tidak hujan sekarang" dan "Semua wanita adalah manusia" (dengan asumsi "wanita" dapat diganti dengan "manusia wanita"). Proposisi yang diperlukan kadang-kadang dikatakan benar atau salah (seperti kasusnya) di semua dunia yang mungkin. Dengan demikian, proposisi yang benar-benar benar atau salah adalah yang benar di beberapa dunia yang mungkin dan salah di dunia lain (misalnya, "Prancis adalah demokrasi"). Menurut pandangan tradisional, semua proposisi yang diperlukan adalah analitik (tautologis) dan dapat diketahui apriori (dapat diketahui secara independen dari pengalaman). Beberapa filsuf mengenali proposisi kategori "metafisik" kedua yang diperlukan yang tidak analitik dan umumnya bukan apriori; Contohnya termasuk pernyataan identitas seperti "Air adalah H2 O."
epistemologi: Proposisi yang diperlukan dan kontingen
”Suatu proposisi dikatakan perlu jika berlaku (benar) dalam semua keadaan atau kondisi yang memungkinkan secara logis. “Semua suami
