Kebutuhan, dalam logika dan metafisika, properti modal dari proposisi yang benar dimana tidak mungkin proposisi menjadi salah dan proposisi palsu dimana tidak mungkin proposisi menjadi benar. Proposisi secara logis diperlukan jika itu memberi contoh hukum logika atau dapat dibuat untuk membuat contoh hukum logika melalui substitusi istilah yang ekuivalen secara definisi. Contohnya adalah "Sekarang sedang hujan atau tidak hujan sekarang" dan "Semua wanita adalah manusia" (dengan asumsi "wanita" dapat diganti dengan "wanita manusia"). Proposisi yang diperlukan terkadang dikatakan benar atau salah (tergantung kasusnya) di semua kemungkinan dunia. Proposisi benar atau salah secara kontingen dengan demikian adalah salah satu yang benar di beberapa kemungkinan dunia dan salah di dunia lain (misalnya, "Prancis adalah demokrasi"). Menurut pandangan tradisional,semua proposisi benar yang diperlukan bersifat analitik (tautologous) dan dapat diketahui apriori (dapat diketahui secara independen dari pengalaman). Beberapa filsuf mengenali kategori kedua dari proposisi yang diperlukan secara "metafisik" yang tidak analitik dan umumnya tidak apriori; Contohnya termasuk pernyataan identitas seperti “Air adalah H.2 O. ”
Baca Lebih Lanjut Epistemologi Topik Ini: Proposisi yang diperlukan dan bergantung ”Sebuah proposisi dikatakan perlu jika dipegang (benar) dalam semua keadaan atau kondisi yang mungkin secara logis. “Semua suami ... Artikel ini terakhir kali direvisi dan diperbarui oleh Brian Duignan, Editor Senior.
